agglayer / pessimistic-proofLinks
Pessimistic proof for the AggLayer.
☆26Updated last year
Alternatives and similar repositories for pessimistic-proof
Users that are interested in pessimistic-proof are comparing it to the libraries listed below
Sorting:
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 6 months ago
- ☆31Updated last year
- ☆23Updated 6 months ago
- RLN on KZG☆20Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- High performance EraVM for zkSync.☆24Updated 2 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Delve into low-level RISC Zero machine☆27Updated last year
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- ☆50Updated last year
- ☆25Updated 2 weeks ago
- ☆17Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated 2 years ago
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- zkEVM benchmarking toolbox☆26Updated this week
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- ☆20Updated this week
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- customizable halo2 circuits batcher☆31Updated last month
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 7 months ago
- plonky2 implementation of bn254 pairing☆18Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- ☆33Updated last year
- ☆24Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last month
- ☆23Updated last year