摘要翻译：
比特币和以太坊的矿工可以说是人类历史上最强大的计算资源，它们在处理和验证交易方面的能力并不比典型的智能手机强。这里描述的系统绕过了这个瓶颈，并给以太坊带来了可伸缩的计算。我们的新系统包括在争议解决层之上的财务激励层，后者采取了多功能的“验证游戏”的形式。除了安全的外包计算之外，即时应用还包括其运营商为以太坊智能合约的分散挖掘池、具有可伸缩事务吞吐量的加密货币，以及在不相交的加密货币系统之间转移货币的不可信手段。
---
英文标题：
《A scalable verification solution for blockchains》
---
作者：
Jason Teutsch, Christian Reitwie{\ss}ner
---
最新提交年份：
2019
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Cryptography and Security        密码学与安全
分类描述：Covers all areas of cryptography and security including authentication, public key cryptosytems, proof-carrying code, etc. Roughly includes material in ACM Subject Classes D.4.6 and E.3.
涵盖密码学和安全的所有领域，包括认证、公钥密码系统、携带证明的代码等。大致包括ACM主题课程D.4.6和E.3中的材料。
--
一级分类：Economics        经济学
二级分类：Theoretical Economics        理论经济学
分类描述：Includes theoretical contributions to Contract Theory, Decision Theory, Game Theory, General Equilibrium, Growth, Learning and Evolution, Macroeconomics, Market and Mechanism Design, and Social Choice.
包括对契约理论、决策理论、博弈论、一般均衡、增长、学习与进化、宏观经济学、市场与机制设计、社会选择的理论贡献。
--

---
英文摘要：
  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.
---
PDF链接：
https://arxiv.org/pdf/1908.04756