privacy-scaling-explorations / researches
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for researches
- ☆28Updated 2 years ago
- Andromeda revm execution service☆30Updated 3 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last month
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- ☆17Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆12Updated 6 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- plonky2 implementation of bn254 pairing☆18Updated 9 months ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 2 years ago
- A suite of portable, extensible `std` components for the superchain.☆19Updated this week
- ☆32Updated 10 months ago
- Web Proofs using zk-SXG☆22Updated 2 weeks ago
- ☆24Updated 9 months ago
- Shared peer-to-peer network of zero-knowledge provers☆14Updated 2 months ago
- Groth16 verifier in EVM☆20Updated last year
- ☆14Updated 2 years ago
- Minimal EVM implementation in Rust☆29Updated 6 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- ☆18Updated 7 months ago
- KZG commitments over BLS12-381☆32Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- A tool for single Ethereum archival block state proofs.☆33Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- Axiom smart contracts☆27Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆39Updated 2 years ago