非常荣幸能够获得CCS时间测试奖,感谢我们的论文《揭示共识计算机中的激励》(CCS 2015),这是我对Ethereum的首次学术研究之一,探讨了激励如何塑造公共区块链中的共识。 当时,我们挑战了中本聪设计中的一个基础假设,即“绝大多数CPU算力由诚实节点控制。”我们认为,节点是理性的,而不一定是诚实的,如果没有适当的激励,完整节点没有理由去验证他们没有挖掘的区块。我们称之为验证者的困境。 我们的工作提出了一些“天真但优雅”的解决方案,包括概率验证模型,并帮助引发了十年的可扩展性和激励对齐验证的研究。 十年后,我们看到这个领域的发展:从Jason Teutsch的TrueBit到乐观和zk证明验证,Ethereum本身现在也在采用基于zk的区块执行验证。 最初作为理论批评的内容,现在已成为区块链可扩展性的核心支柱。