firstbatchxyz / dria-dockerLinks
All-in-one environment to use Dria, the collective knowledge for AI.
☆12Updated last year
Alternatives and similar repositories for dria-docker
Users that are interested in dria-docker are comparing it to the libraries listed below
Sorting:
- Evaluation repository of wikipedia index with Dria☆10Updated last year
- Cross-platform launcher for Dria Compute Node.☆37Updated last month
- ☆15Updated last year
- Python SDK for FirstBatch: Real-time personalization using vectorDBs☆16Updated last year
- ☆16Updated 9 months ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆119Updated last month
- The entry point for Rust projects to be run on Valida☆10Updated 6 months ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated 2 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆20Updated last week
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Updated last month
- Solidity contracts for the decentralized Prime Network protocol☆25Updated 2 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- An API compatible port of the Stone prover.☆19Updated 10 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- One-click toolkit for provisioning servers to deploy and serve Large Language Models (LLMs).☆59Updated last year
- A privacy-preserving key-value database on Arweave.☆65Updated last year
- High performance EraVM for zkSync.☆23Updated 4 months ago
- ZK Theorem Proving☆10Updated last year
- Smart contracts for onchain verification of SP1.☆114Updated last week
- Dria SDK is for building and executing synthetic data generation pipelines on Dria Knowledge Network.☆28Updated 5 months ago
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆42Updated 5 months ago
- A decentralized vector database for building vector search applications☆98Updated last year
- Bringing off-chain compute workloads to on-chain smart contracts.☆112Updated 9 months ago
- ☆22Updated 3 months ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated 9 months ago
- Source, toolchain, and examples for using programs on Entropy☆20Updated 5 months ago
- Minimal Merkle Tree implementations☆30Updated 3 months ago
- Projects from the Succinct ZK Residency☆19Updated 10 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 months ago
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆46Updated this week