与目前流行的SNARK和STARK不同,Binius 采用了一些新的数学技巧——这些技巧在零知识(ZK)证明的领域相对较新,但在传统密码学中已经被使用过。Vitalik Buterin 在他的文章中解释了为什么较小的数域(small fields)可以使证明生成更加高效,Binius 的工作流程简化,二进制数域的工作原理,以及完整的 Binius 流程。
来自Langlands的Harold将基于Vitalik的原文结构,并结合他自己的深入理解,为我们带来三场关于Binius的解读,这些解读将帮助大家了解零知识证明技术的最新进展和动态。本周二(5.21)北京时间 20 点为第一次分享:Simple Binius 。
Vitalik 原文:https://vitalik.eth.limo/general/2024/04/29/binius.html…
中文版 + 阅读笔记 https://github.com/langlands-io/Blog/tree/main/binius_vitalik…