检查 Binius：一种更快的零知识证明方法
联合创始人
Buterin 探索了“Binius”，这是一种旨在显着加快零知识证明速度的新方法。 Binius 通过直接对二进制位（0 和 1）而不是 zk-SNARK 等传统系统中使用的较大数字执行计算来关注效率。这种方法适合经常使用的数据类型，例如计数器和布尔标志，可能会导致更快的证明。
Binius 利用“二进制有限域”对位进行高效算术运算，并利用多维“超立方体”数据表示。此外，它采用独特的编码/解码过程来保持效率，同时支持通过多项式和 证明。
核心加密证明系统算法的这些进步有望增强复杂加密应用程序的可扩展性和效率。 证明通常在验证过程中使用多项式来隐藏数据和计算，确保仅确认证明的有效性，而不确认底层信息。
虽然 Binius 加密和证明生成的技术细节超出了这个范围，但 Buterin 强调了其显着提高速度的潜力，特别是对于涉及小值和位级运算的计算。该技术基于 Posen 和 Diamond 于 2023 年发布的白皮书。
总体而言，Binius 寻求在速度方面大幅超越现有的证明系统，为未来更快的零知识证明铺平道路。 Buterin 预计未来几个月“基于二进制字段的证明技术”将取得进一步进展。
