Whitepaper Reading Club: Formal Verification in Cryptography

Formal Verification in Cryptography We will focus on the core mechanism, the key design tradeoffs, and the real-world implications of this topic: which assumptions matter most, and which questions are still unresolved? Paper / source: [DESCRIPTION COMING SOON] Format Short introduction and context setting to start. A short walkthrough of the paper and its key ideas. Questions and discussion grounded in the original source. Moderator-led discussion with no promotions. Session Guides: Kobi Gurkan About Whitepaper Reading Club We are a community of founders, researchers, and builders across Singapore, Malaysia, San Francisco, Bangkok, New York, Lagos, Taipei, and Hong Kong. We meet in person every month to read, discuss, and pressure-test the latest blockchain papers, protocols, and technical ideas. Learn more: Website · Summaries · Calendar We create detailed, easy-to-understand summaries for each paper and have held 80+ sessions since June 2023, covering Account Abstraction, Parallel Chains, EIPs, the Bitcoin ecosystem, and AI x Crypto. We are ecosystem-agnostic, not for profit, and focused on projects with technical, product, or social innovation.