agglayer / pessimistic-proof
Pessimistic proof for the AggLayer.
☆26Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for pessimistic-proof
- ☆24Updated 7 months ago
- Shared peer-to-peer network of zero-knowledge provers☆15Updated 3 months ago
- An API compatible port of the Stone prover.☆19Updated 3 weeks ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- ☆32Updated 10 months ago
- customizable halo2 circuits batcher☆30Updated this week
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- Rust implementation of KZG point evaluation☆27Updated 2 months ago
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last month
- Circuits for Pluto's `web-prover`☆12Updated this week
- ☆17Updated last year
- Delve into low-level RISC Zero machine☆27Updated 11 months ago
- ☆17Updated last year
- Starky implementation of Bls12-381☆12Updated 6 months ago
- ☆32Updated 7 months ago
- RLN on KZG☆17Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- verify cairo execution in Halo2☆17Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated 2 months ago
- A parallel proving service for ZKM.☆18Updated 2 months ago
- plonky2 implementation of bn254 pairing☆18Updated 9 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Extractable Witness Encryption for KZG Commitments☆26Updated last month
- Integration of the Kakarot Ethereum execution layer in the Reth client.☆29Updated this week
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- ☆24Updated 3 weeks ago