以太坊刮开之谜
The Ethereum Scratch Off Puzzle
摘要：
以太坊代表了加密货币领域的新创新，该领域已变得相对停滞，有希望实现许多东西，包括整个程序设计语言和内置于网络中的开发环境。然而，目前的趋势是在进行与证明安全性相关的严格工作之前编写实现和概念证明。Miller最近的论文试图弥补这一点，我们将他的可证明安全技术应用于CASPER的算法描述，CASPER是将在以太坊中实现的新的“权益证明”共识协议方案。最后，我们指出它满足几乎所有的定义，除了一个，留下改进的空间。
英文摘要：
Ethereum represents new innovation in the fields of cryptocurrency which has become relatively stagnate, promising many things, including an entire programming language and development enviroment built into the network. However the current trend is to write implementations and proof of concepts before doing the rigor involved with proving security. Miller's recent thesis is an attempt to remedy this, and we apply his provable security techniques to the algorithm description of CASPER, the new "proof-of-stake" consensus protocol scheme to be implemented in ethereum. We conclude by stating it satisfies almost all the definitions, except one, leaving room for improvement.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
