automata-network / dcap-rsLinks
☆28Updated last week
Alternatives and similar repositories for dcap-rs
Users that are interested in dcap-rs are comparing it to the libraries listed below
Sorting:
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- On-chain Ethereum light client built with SP1☆67Updated 2 weeks ago
- ☆15Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- zkSNARKs as a service using secure multi-party computation.☆31Updated last year
- Polynomial Expression Engine☆35Updated last year
- Spartan on Arkworks☆42Updated 3 weeks ago
- Delve into low-level RISC Zero machine☆28Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- Rust implementation of KZG point evaluation☆33Updated last month
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- ☆30Updated 2 years ago
- polynomial commitments from linear codes☆46Updated 8 months ago
- A Rust library for proof-carrying disclosures☆21Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 7 months ago
- A collection of ZK light client libraries for various blockchains☆58Updated 9 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- Fiat-Shamir for the masses.☆76Updated last month
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated 7 months ago
- An observatory fork of SP1☆73Updated 7 months ago
- ☆42Updated last year
- ☆31Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆49Updated this week
- Client side zero-knowledge proving.☆78Updated this week
- OS for next iteration of the world computer☆43Updated 2 years ago
- ☆123Updated 10 months ago