GitHub repository: BrianSeong99/Agglayer_PessimisticProof
Primary language: Rust
Description: This repo explains the design and the usage of Pessimistic Proof in AggLayer. It compares the bench performance of running pessimistic proof in SP1, Pico, Risc0, Valida, OpenVM zkVMs and more.