privacy-scaling-explorations / researches
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for researches
- ☆28Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- Circuits for Pluto's `web-prover`☆12Updated this week
- Andromeda revm execution service☆30Updated 4 months ago
- ☆24Updated 9 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆12Updated 7 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Groth16 verifier in EVM☆20Updated last year
- A puzzle for Curta CTF☆26Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- Partial Block Building with TEEs☆17Updated 7 months ago
- Macros + Primitives for PADE format☆26Updated this week
- ECDSA gadgets for plonky2☆18Updated last year
- Zig EVM☆25Updated 5 months ago
- ☆39Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year
- Minimal Merkle Tree implementations☆26Updated last month
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last month
- ☆21Updated last year
- DATO: Decentralized Approximate Timekeeping Oracle☆15Updated 3 months ago
- Shared peer-to-peer network of zero-knowledge provers☆15Updated 3 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Axiom smart contracts☆27Updated last year
- prove eth_call result☆15Updated 8 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- ☆30Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- A set of tools for use with the huff language.☆21Updated 2 years ago