A summary of a talk on a new language-agnostic approach using abstract interpretation to find critical vulnerabilities in Zero-Knowledge Proof (ZKP) programs by modeling and detecting mismatches between prover computations and verifier constraints.
Circle CEO Jeremy Allaire delves into how programmable money and the Arc blockchain will power the emerging AI agentic economy. He explains how stablecoins like USDC offer an internet-native financial infrastructure for micro-transactions and large settlements, addressing the limitations of traditional banking for AI agents. The discussion covers the foundational principles of full-reserve banking, the unique attributes of Arc blockchain for machine-driven economic activity, the tokenization of real-world assets, and a bold vision for AI's potential to drive double-digit GDP growth and foster new on-chain organizational structures within the next decade.
Balaji Srinivasan discusses the paradoxical nature of AI, which lowers creation costs while simultaneously raising verification costs. He argues this tension pushes society toward a "trusted tribe" model, similar to the Chinese internet, where AI excels within high-trust groups but struggles between them. The conversation covers why physical tasks are easier to automate than digital ones, how AI makes everyone a CEO rather than obsolete, and why crypto, particularly Zcash, serves as a necessary counterbalance for inter-tribe transactions in an AI-driven world.
Alex Blania, cofounder and CEO of Tools for Humanity (Worldcoin), details the critical challenge of proving human uniqueness in the AI era. He explains Worldcoin's iris biometric approach, its sophisticated privacy architecture using Multi-Party Computation and Zero-Knowledge Proofs, and the pervasive impact of AI agents and deepfakes on social media, dating, gaming, and government. Blania also outlines Worldcoin's strategy to scale this proof-of-human network globally, particularly in the US.
The talk presents CROSS and Morph, two compiler frameworks that enable existing AI accelerators, like Google's TPUs, to efficiently execute cryptographic workloads. CROSS focuses on Homomorphic Encryption (HE) and Morph on Zero-Knowledge Proofs (ZKP), demonstrating how to transform high-precision modular arithmetic into low-precision matrix operations that TPUs excel at, thereby achieving state-of-the-art performance and energy efficiency without any hardware modifications.
Victor Youdom Kemmoe from Brown University presents a novel, communication-efficient cryptographic accumulator based on the Module-SIS assumption. This construction is designed for applications like anonymous credential revocation, where elements can be added without needing to update existing membership witnesses, a significant improvement over previous post-quantum schemes.