Skip to content

The Intersubjective Consensus Problem

TalkSriram, Venkatesh Rao
researcherpractitioner
The Intersubjective Consensus Problem
Open resource →

Sriram, founder of EigenLayer and University of Washington faculty, explains to Venkatesh Rao how blockchains function as 'verifiable commitment' engines, tracing the evolution from Bitcoin's narrow commitments (coin ownership, fixed supply) to Ethereum's Turing-complete generalization, and then identifies a core gap: blockchains cannot natively verify off-chain facts like GPU inference results, asset prices, or election outcomes. He introduces EigenLayer's restaking model and 'intersubjective consensus' mechanism—using forking tokens and escalating staker adjudication—as a solution for settling social truths (e.g., oracle disputes, prediction market resolution) that fall between pure mathematical verifiability and purely subjective taste.

Topics

autonomous-verifiable-services-avseigenlayer-restakingforking-tokensgovernanceintersubjective-consensus-problemprotocolssocial-truth-vs-mathematicalscientific-truthtechnologytown-hallverifiable-commitments

Related resources

Talk

The State of Climate Protocols

Cory Levenson (Corey Levenson), an engineer and climate tech consultant previously with Regen Network, surveys the state of carbon dioxide removal (CDR) protocols, distinguishing 'closed system' pathways like direct air capture and biochar (easy MRV, high cost) from 'open system' pathways like enhanced rock weathering and ocean alkalinity enhancement (cheaper but harder to quantify due to attribution challenges). He details emerging data protocols—including the Carbon Data Open Protocol, Cascade's ERW Data Query, and Carbon to Sea's Ocean Alkalinity Enhancement Data Protocol—and argues the field should adopt community-governed standards bodies (like OBO Foundry or schema.org's science working group) rather than letting registries like Isometric capture scientific protocol development.

Cory Levenson

Talk

Towards a Formal Theory of Protocols

Venkatesh Rao (referred to as Benitesh Raalo in the transcript) launches a technical-foundations track for the Protocol Institute, proposing to formalize protocol studies the way control theory formalized manufacturing or general equilibrium theory formalized economics. He walks through worked examples—handwashing as a 'micro protocol' modeled via finite automata and grammar rules, and his own 2004-2006 Air Force battlespace simulation work using region connection calculus and temporal interval calculus—to illustrate how protocols might be formalized across a 'basket of protocols' ranging from Ethereum to royal court etiquette. Timber Stinson-Schroff co-hosts, announcing a parallel 'tension field theory' special interest group and a six-month study group culminating in a fall 'Basket of Protocols' workshop.

Venkatesh Rao, Timber Stinson-Schroff

Talk

Protocols in Electronic Design

Engineer Vikram Shaker (Qualcomm RF front-end) surveys protocols across electronic design, from hard standards like NIST's cesium-clock definition of the second and the 50-ohm coaxial impedance convention, to communication standards (USB, chiplet interconnects like UCIe and CXL), validation failures (Intel's Pentium FDIV bug and the resulting birth of formal verification), and documentation disasters (NASA's Mars Climate Orbiter unit mismatch). He frames these through Protocol Institute concepts like 'tension' versus 'trade-off' and the efficiency-thoroughness (ETO) frontier, and closes by examining unwritten cultural, ethical, and geopolitical protocols governing chip industry work.

Vikram Shaker