Binding Blockchains Together with Accountability
summary
Claims a working design for repudiable side-chains that aim for credit-card speed while keeping trustless security by provably binding side-chain state to a main chain with logical invariants. Accountability comes from economic bonds and Exit/Enter mechanics; disputes resolve by interactive proofs using computability logic. A prototype is under development with three full-time developers, code not yet public, and the project seeks funding; scalability targets thousands of TPS versus Bitcoin’s ~7 and the approach stresses extracted specs (VM, chain, contracts) from the same logic.
AI-written summary · about
chapters (8)
- 0:00Start
- 1:47Problem Scaling Issue
- 6:37Game Theory
- 7:57Public Choice Theory
- 18:40Game Semantics
- 21:39Computability Logic
- 31:22Why Should You Use Formal Methods
- 44:33Conclusion
related talks
36mThe Future of Sidechains
20mShared Security in the BLOCKCHAIN
15mState Channels Systemic Security Considerations and Solutions
27mWar and Peace: The Multi-Chain Reality
15mBuilding Verifiable Agents with the Triple Verified Stack
09mWhy Institutional Custody Breaks on Shielded Chains
58mBlockchains and Publicly-Verifiable Lotteries
04mRebuilding trust through blockchains and open source