#VitalikButerin 检查 Binius：一种更快的零知识证明方法

#Ethereum 联合创始人 #Vitalik Buterin 探索“Binius”，这是一种旨在显著加快零知识证明速度的新方法。Binius 专注于效率，直接对二进制位（0 和 1）进行计算，而不是在 zk-SNARKs 等传统系统中使用的较大数字。这种方法迎合了计数器和布尔标志等常用数据类型，可能带来更快的证明。

Binius 利用“二进制有限域”对位进行有效的算术运算，并利用多维“超立方体”数据表示。此外，它采用独特的编码/解码过程来保持效率，同时通过多项式和 #Merkle 证明进行处理。

这些核心加密证明系统算法的进步有望增强复杂加密应用的可扩展性和效率。#zero-knowledge 证明通常使用多项式在验证过程中隐藏数据和计算，确保仅确认证明有效性，而不是底层信息。

虽然 Binius 加密和证明生成的技术细节超出了这个范围，但 Buterin 强调了其显着提高速度的潜力，特别是对于涉及小值和位级操作的计算。这项技术基于 Posen 和 Diamond 于 2023 年发布的白皮书。

总体而言，Binius 寻求在速度方面大大超越现有的证明系统，为未来更快的零知识证明铺平道路。Buterin 预计未来几个月“基于二进制字段的证明技术”将取得进一步进展。