Espresso Systems
Espresso Systems are the team behind the Espresso Sequencer and the Jellyfish library. The Espresso Sequencer is a decentralized network that can be shared by rollups, composed of HotShot consensus and Tiramisu data availability. Jellyfish is an efficient Rust-based cryptographic toolkit, featuring an implementation of the Turbo-PLONK zero-knowledge proof system. Common Prefix has been actively working with Espresso Systems to audit core components of Espresso protocols.
Turbo-PLONK verifier and BN254 audit
Espresso Systems commissioned Common Prefix to audit their Solidity implementation of the Plonk verifier and its BN254 curve dependency. The audit report will be made public as soon as all findings have been addressed.
Turbo-PLONK verifier and BN254 audit report
2024-09-02
.pdf