Zafny - Framework for Writing Formally Verified Zero-Knowledge Circuit

Watch a conference talk from ETHTaipei 2024 where Dohoon Kim from PSE presents a framework for writing formally verified zero-knowledge circuits. Learn about the innovative approach to developing and verifying zero-knowledge proofs through a specialized framework that ensures mathematical correctness and security in cryptographic implementations. Explore how formal verification techniques can be applied to zero-knowledge circuits to enhance reliability and reduce potential vulnerabilities in blockchain applications.