Proof-Oriented Programming and the Future of Trust
In a time of rapid advances in cryptography, AI, and distributed systems, how do we reimagine trust? At the ETHSF “Verifiable Computation: From Zero-Knowledge to Infinite Intelligence” event, four leading thinkers came together to explore this question through the lens of proof-oriented programming — a new paradigm for building software that
-
3 min read