Evaluating Compiler Optimization Impacts on zkVM Performance

Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos +1

Zero-knowledge proofs (ZKPs) are the cornerstone of programmable cryptography. They enable (1) privacy-preserving and verifiable computation across blockchains, and (2) an expandin…