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.
Turbo-PLONK verifier and BN254 audit report
2024-05-22
.pdf
HotShot Light Client audit
Espresso Systems commissioned Common Prefix to audit their HotShot light client smart contract implemented in Solidity.
HotShot Light Client audit report
2024-08-29
.pdf
Team on this Client
