This repository holds examples that support the work in the paper: "Proof Engineering in Logika: Synergistically Integrating Automated and Semi-Automated Program Verification" by Stefan Hallerstede, ...

PLONK2 is designed to provide efficient and scalable ZKPs for a wide range of applications, including blockchain, privacy-preserving computation, and secure multiparty computation. It achieves this by ...