A scalable verification solution for blockchains
By Jason Teutsch, Christian Reitwießner. 2019
233 citations recorded by the source corpus.
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.
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
Citations in the corpus
- Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts (2018, neutral): “Blockchains for verifiable computations and secure multiparty computations: Several related works offer blockchainbased guarantees of computation integrity, but cannot guarantee privacy [52], [76], [75].”
- Arbitrum: Scalable, private smart contracts (2018, methodology): “, TrueBit [30]) relies on participation games, a mechanism design approach that aims to induce a limited but sufficient number of parties to verify each VM’s execution.”
- Solutions to Scalability of Blockchain: A Survey (2020, background): “Truebit [32] is a system for verifiable computation that outsources complex computing tasks to an off-chain market.”
- Integrated Blockchain and Edge Computing Systems: A Survey, Some Research Issues and Challenges (2019, methodology): “TrueBit system in [88] amplifies the capabilities of Ethereum computer.”
- Security and Privacy on Blockchain (2019, methodology): “In addition, in each round of “verification game", the verifier recursively checks a smaller and smaller subset of the computation, which allows TrueBit to greatly reduce the computational burden on its nodes.”