Vitalik Buterin 的文章

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文深入探讨了zk-SNARKs技术中的二次算术程序（QAP），详细解释了如何将代码转换为QAP并生成零知识证明。文章通过一个简单的三次方程示例，逐步展示了从代码扁平化到R1CS再到QAP的转换过程，并介绍了如何在多项式上进行约束检查。

zk-SNARKs QAP R1CS 零知识证明多项式 Lagrange插值

发布于 2016-12-15 16:57 阅读(604) 点赞(0)

本文深入探讨了零知识证明（zk-SNARKs）技术背后的数学原理，特别是将计算问题转换为二次算术程序（QAP）的过程。文章通过一个简单的例子详细解释了如何将代码扁平化、转换为R1CS系统，并最终通过拉格朗日插值法生成QAP多项式。

zk-SNARKs QAP R1CS 拉格朗日插值零知识证明

发布于 2016-12-12 22:22 阅读(586) 点赞(0)

本文探讨了区块链与人工智能安全之间的联系，指出两者在如何调控复杂系统以应对不可预测结果方面存在相似性。作者分析了在DAO治理和加密经济学中面临的共同挑战，以及一些正在探索中的解决方案，例如延迟治理和形式化验证。同时，文章提出了未来DAO可能学习到的经验，强调去中心化的重要性。

DAO 加密经济学人工智能安全形式化验证去中心化治理算法

发布于 2016-07-07 23:14 阅读(559) 点赞(0)