Core technologies
Last updated
Last updated
Proof of Proof is built upon three core technologies:
Formal semantics and the K framework
Learn how it provides a rigorous way to define programming languages, capturing the precise meaning of programs.
Matching logic
Understand the logical foundation that allows us to translate program executions into mathematical proofs.
Zero-knowledge proofs and zkVMs
Explore the cryptographic tools that enable us to compress and efficiently verify the mathematical proofs.