lita-xyz / valida-releases
Public releases for the Valida toolchain
☆14Updated last week
Alternatives and similar repositories for valida-releases:
Users that are interested in valida-releases are comparing it to the libraries listed below
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 5 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- ☆17Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- A collection of ZK light client libraries for various blockchains☆48Updated 2 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆19Updated 3 months ago
- ☆35Updated 3 months ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆14Updated last month
- ☆31Updated 10 months ago
- Behold the almighty 🗿totem🗿☆17Updated 5 months ago
- ☆51Updated this week
- ☆49Updated 11 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ☆25Updated last month
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- Solidity verifier for Plonk☆41Updated 6 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 10 months ago
- ZKM Development Template/Framework☆24Updated last month
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated last month
- ☆33Updated last year
- Based on https://eprint.iacr.org/2022/1510☆24Updated 4 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- ☆2Updated 11 months ago
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- revm/reth block proving on Valida☆15Updated last week
- ☆31Updated 11 months ago