A scalable verification solution for blockchains
Not on the map. Why?
Abstract (arXiv)
Bitcoin and Ethereum, whose miners arguably collectively comprise the most powerful computational resource in the history of mankind, offer no more power for processing and verifying transactions than a typical smart phone. The system described herein bypasses this bottleneck and brings scalable computation to Ethereum. Our new system consists of a financial incentive layer atop a dispute resolution layer where the latter takes form of a versatile "verification game." In addition to secure outsourced computation, immediate applications include decentralized mining pools whose operator is an Ethereum smart contract, a cryptocurrency with scalable transaction throughput, and a trustless means for transferring currency between disjoint cryptocurrency systems.
Key facts. Cited by 10 papers in the map (data through 7 Oct 2026). First posted on arXiv 12 Aug 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 0; 2023: 0; 2024: 3; 2025: 3; 2026: 3.
10 papers.
- 2026Intelligent AI Delegationcited by 16
- 2025Verde: Verification via Refereed Delegation for Machine Learning Programscited by 8
- 2024Optimistic Verifiable Training by Controlling Hardware Nondeterminismcited by 7
- 2024Proof-of-Learning with Incentive Securitycited by 4
- 2024Protocol Learning, Decentralized Frontier Risk and the No-Off Problemcited by 3
- 2021Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Marketscited by 2
- 2025TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networkscited by 1
- 2025On-Chain Decentralized Learning and Cost-Effective Inference for DeFi Attack Mitigationcited by 0
- 2026OVIG: Optimistic Verification of AI Training Integrity via Gradient Signalscited by 0
- 2026SoK: Decentralized Agent Economic Infrastructurecited by 0
- 2026SoK: Decentralized Agent Economic Infrastructure1 Oct 2026
- 2026OVIG: Optimistic Verification of AI Training Integrity via Gradient Signals19 Jun 2026
- 2026Intelligent AI Delegation12 Feb 2026
- 2025TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks15 Oct 2025
- 2025On-Chain Decentralized Learning and Cost-Effective Inference for DeFi Attack Mitigation15 Oct 2025
- 2025Verde: Verification via Refereed Delegation for Machine Learning Programs26 Feb 2025
- 2024Protocol Learning, Decentralized Frontier Risk and the No-Off Problem10 Dec 2024
- 2024Proof-of-Learning with Incentive Security13 Apr 2024
- 2024Optimistic Verifiable Training by Controlling Hardware Nondeterminism14 Mar 2024
- 2021Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets5 Feb 2021