pluto / web-prover-circuits
Circuits for Pluto's `web-prover`
☆19Updated last week
Alternatives and similar repositories for web-prover-circuits:
Users that are interested in web-prover-circuits are comparing it to the libraries listed below
- Axiom smart contracts☆26Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 4 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆17Updated last year
- ☆31Updated 11 months ago
- Noir library to verify JWT tokens, and prove claims.☆17Updated this week
- Rust implementation of KZG point evaluation☆30Updated last month
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 5 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆34Updated last month
- Verifying Cairo Programs in SP1☆13Updated 4 months ago
- ☆13Updated 2 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 6 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆49Updated 11 months ago
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 9 months ago
- an introduction to noir, with simple examples☆43Updated last year
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- A monorepo of reusable Noir circuits.☆31Updated this week
- ☆39Updated 2 years ago
- ☆18Updated 2 years ago
- ☆33Updated last year
- ☆16Updated this week
- RLN circuits in Circom☆29Updated 7 months ago
- a reference on testing and constraining circom☆19Updated 4 months ago
- Client side zero-knowledge proving.☆42Updated last week
- ☆17Updated 2 years ago
- RLN on KZG☆20Updated last year
- ☆10Updated 2 years ago