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.☆37Updated last week
- The fhEVM Decryptions Database is a key-value database of decryption results.☆12Updated last year
- An API compatible port of the Stone prover.☆19Updated 8 months ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Updated 9 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 4 months ago
- ☆17Updated 7 months ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆35Updated this week
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆87Updated this week
- One-click toolkit for provisioning servers to deploy and serve Large Language Models (LLMs).☆43Updated last year
- ZK Theorem Proving☆10Updated 11 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆17Updated 3 months ago
- Starter examples for deploying to Infernet.☆34Updated 6 months ago
- Cryptography libraries for ZKsync☆32Updated 2 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- GPU-acceselerated cryptography libraries for ZKsync☆19Updated last month
- A privacy-preserving key-value database on Arweave.☆64Updated last year
- Minimal Merkle Tree implementations☆30Updated last month
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- Pint, the constraint-based programming language for declarative blockchains☆19Updated last week
- Herodotus Data Processor using SP1 as backend☆17Updated 8 months ago
- Solidity contracts for the decentralized Prime Network protocol☆24Updated last week
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20Updated last year
- ☆21Updated last month
- Source, toolchain, and examples for using programs on Entropy☆20Updated 3 months ago
- Configuration and scripts for running Astria☆21Updated 11 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 7 months ago
- ☆12Updated last year