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
- ☆15Updated last year
- Cross-platform launcher for Dria Compute Node.☆36Updated last week
- ☆16Updated 8 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 5 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆19Updated 4 months ago
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Updated last month
- Python SDK for FirstBatch: Real-time personalization using vectorDBs☆16Updated last year
- An API compatible port of the Stone prover.☆19Updated 9 months ago
- ZK Theorem Proving☆10Updated last year
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Updated 10 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆115Updated last month
- GPU-acceselerated cryptography libraries for ZKsync☆20Updated last week
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆38Updated last month
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆40Updated 4 months ago
- A privacy-preserving key-value database on Arweave.☆65Updated last year
- A decentralized vector database for building vector search applications☆98Updated last year
- Herodotus Data Processor using SP1 as backend☆16Updated 9 months ago
- An observatory fork of SP1☆73Updated 6 months ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated 8 months ago
- Solidity contracts for the decentralized Prime Network protocol☆26Updated last month
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆17Updated this week
- Minimal Merkle Tree implementations☆30Updated 2 months ago
- ☆24Updated 8 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆27Updated 2 weeks ago
- customizable halo2 circuits batcher☆31Updated last month
- One-click toolkit for provisioning servers to deploy and serve Large Language Models (LLMs).☆58Updated last year
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆45Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 months ago