pluto / web-prover-circuits
Circuits for Pluto's `web-prover`
☆12Updated this week
Related projects ⓘ
Alternatives and complementary repositories for web-prover-circuits
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last month
- Noir library to verify JWT tokens, and prove claims.☆13Updated last week
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- An arkworks implementation of the superspartan PIOP☆14Updated 2 months ago
- ☆17Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- BN254 Pairing Implementation in Noir☆21Updated last year
- halo2-lib-eddsa☆11Updated 9 months ago
- ☆12Updated 10 months ago
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- Verifying Cairo Programs in SP1☆13Updated last month
- Andromeda revm execution service☆30Updated 4 months ago
- plonky2 implementation of bn254 pairing☆18Updated 9 months ago
- Axiom smart contracts☆27Updated last year
- ☆17Updated last year
- Herodotus Data Processor using SP1 as backend☆14Updated 2 weeks ago
- ☆12Updated last year
- ☆32Updated 10 months ago
- Base64 encoding for Aztec's noir language☆14Updated 10 months ago
- ☆24Updated 7 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- ☆28Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Breathe air☆22Updated 6 months ago
- ☆31Updated 8 months ago
- Rust implementation of KZG point evaluation☆27Updated 2 months ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- ☆14Updated last year