Other
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.
Latest commits.
Builders behind this project.