AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
