NilFoundation / zkllvm-blueprintLinks
Circuit components definition library for zkLLVM circuit compiler
☆43Updated 9 months ago
Alternatives and similar repositories for zkllvm-blueprint
Users that are interested in zkllvm-blueprint are comparing it to the libraries listed below
Sorting:
- Solidity verifier for Plonk☆42Updated 10 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last week
- Cryptography libraries for ZKsync☆32Updated last month
- On-chain Ethereum light client built with SP1☆57Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated 11 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ☆23Updated 6 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- ☆25Updated last month
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated last month
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆14Updated 3 months ago
- ☆12Updated last year
- ☆20Updated last week
- ☆31Updated last year
- EraVM implementation☆19Updated 9 months ago
- Batch ECDSA in circom☆33Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Updated this week
- Template for zkGraph.☆19Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- High performance EraVM for zkSync.☆24Updated 2 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆56Updated last month
- Installation tooling for Noir☆27Updated 3 weeks ago
- circom runtime☆19Updated 8 months ago
- ☆30Updated last year