Whitepaper Reading Club: Formal Verification in Cryptography
- WHO IT IS FOR: Cryptographers, blockchain researchers, and software engineers interested in formal verification and automated security proofs.
- WHAT IT IS ABOUT: An in-depth technical exploration of how machine-checked proofs and AI are transforming secure cryptographic research and implementation.
- FORMAT: A structured paper reading and moderated technical discussion.
Dive deep into the intersection of cryptography and formal verification at the next Whitepaper Reading Club in New York. As AI and tools like Lean reshape mathematics and computer science, we investigate what it truly takes for machine-checked proofs to become a standard in secure cryptographic research. We will examine how researchers formalize security arguments, make critical assumptions explicit, and ensure implementations satisfy their rigorous specifications.
Led by experts in applied cryptography and scalable formal verification, this session moves beyond theory to explore practical applications in circuits, code, and proofs. We will discuss the current capabilities of autoformalization, where AI is lowering the barrier to entry, and identify the areas that still require human specialist judgment. Join a global community of builders and researchers to pressure-test the latest technical advancements in the field.