unionlabs / risczero-pocLinks
☆13Updated 9 months ago
Alternatives and similar repositories for risczero-poc
Users that are interested in risczero-poc are comparing it to the libraries listed below
Sorting:
- Hyper-parallel ZK coprocessing.☆15Updated this week
- Seismic's Trusted Execution Environment: client, server & cryptography☆14Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 9 months ago
- Rust crate to generate and verify proofs for Noir circuits☆18Updated this week
- ☆36Updated last week
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 3 months ago
- Poseidon hash circuit☆101Updated 8 months ago
- ☆63Updated last year
- customizable halo2 circuits batcher☆31Updated last week
- ☆14Updated this week
- Tendermint consensus in Rust☆26Updated 3 years ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- Core smart contracts for Axiom V2.☆32Updated last year
- Reference implementation of the node for the Miden blockchain☆69Updated this week
- ☆15Updated 5 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
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Expander Compiler☆37Updated this week
- Celestia Implementation of Modular Data Availability Interface☆19Updated 2 months ago
- plonky2 proving over paladin☆22Updated last year
- ☆51Updated this week
- ☆52Updated this week
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- ☆21Updated last month
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 11 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated last year
- ☆22Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated 11 months ago
- ☆25Updated last week