Vitalik 推出 Binius：零知识证明的突破

以太坊联合创始人 Vitalik Buterin 推出了 Binius，这是一种新颖的加密证明系统，可提高零知识证明的效率。 Binius 利用二进制字段和位级计算来实现比 zk-SNARK 等传统证明系统显着的性能提升。该系统通过将数据表示为多维“超立方体”并采用专门的编码和解码过程，可以有效地处理小值、计数器和布尔标志。

Ethereum Co-Founder Unveils Groundbreaking Cryptographic System for Enhanced Zero-Knowledge Proofs

以太坊联合创始人推出突破性的加密系统，用于增强零知识证明

Ethereum's visionary co-founder, Vitalik Buterin, has unveiled a novel cryptographic proving system, "Binius," poised to revolutionize the efficiency of zero-knowledge proofs.

以太坊富有远见的联合创始人 Vitalik Buterin 推出了一种新颖的密码证明系统“Binius”，有望彻底改变零知识证明的效率。

In a comprehensive blog post, Buterin meticulously explains the inner workings of Binius, a system designed specifically for binary fields. This pioneering approach promises substantial performance enhancements over existing proof systems such as zk-SNARKs.

在一篇综合性的博客文章中，Buterin 细致地解释了 Binius（一个专为二进制字段设计的系统）的内部工作原理。这种开创性的方法有望比现有的证明系统（例如 zk-SNARK）显着增强性能。

Efficiency Through Binary Bits

通过二进制位提高效率

Binius achieves its remarkable efficiency by performing computations directly on individual binary bits—zeros and ones—a departure from traditional systems that handle larger numbers. The motivation behind this innovation stems from the realization that underlying data often comprises small values like counters, indices, and boolean flags. By operating on bits directly, Binius can process this data with unparalleled efficiency.

Binius 通过直接对各个二进制位（零和一）执行计算来实现其卓越的效率，这与处理较大数字的传统系统不同。这项创新背后的动机源于这样的认识：底层数据通常包含计数器、索引和布尔标志等小值。通过直接对位进行操作，Binius 可以以无与伦比的效率处理这些数据。

Multidimensional Hypercubes and Finite Fields

多维超立方体和有限域

Binius conceptualizes data as a multidimensional "hypercube" of bits and employs binary "finite fields" to facilitate efficient arithmetic operations on bits and bit sequences. This approach allows for meticulous processing of small values, a task often encountered in cryptographic applications.

Binius 将数据概念化为位的多维“超立方体”，并采用二进制“有限域”来促进对位和位序列的高效算术运算。这种方法允许对小值进行细致的处理，这是加密应用程序中经常遇到的任务。

Specialized Encoding and Decoding

专门的编码和解码

Binius utilizes a specialized encoding and decoding process that transforms bit-level data into a format compatible with "polynomial" processing and Merkle proofs. This ingenious technique preserves the efficiency benefits of working in binary while enabling the verification of proofs without disclosing underlying information—a hallmark of zero-knowledge proofs.

Binius 利用专门的编码和解码过程，将位级数据转换为与“多项式”处理和 Merkle 证明兼容的格式。这种巧妙的技术保留了二进制工作的效率优势，同时能够在不泄露底层信息的情况下验证证明——这是零知识证明的标志。

Unlocking Efficiency in Cryptographic Proofs

释放密码证明的效率

The binary system employed by Binius unlocks significant improvements for the core arithmetic of cryptographic proof systems. This efficiency translates into enhanced performance and scalability for complex crypto applications. Polynomials, commonly used in zk-proofs, are seamlessly encoded and processed in Binius, enabling efficient proof generation and verification.

Binius 采用的二进制系统为密码证明系统的核心算法带来了重大改进。这种效率转化为复杂加密应用程序的增强性能和可扩展性。 zk-proofs 中常用的多项式在 Binius 中无缝编码和处理，从而实现高效的证明生成和验证。

Proof of Concept and Future Prospects

概念验证和未来前景

Buterin meticulously demonstrates the Binius protocol with intricate mathematical formulations, showcasing its data encoding capabilities, proof generation, and efficient verification. The concept was initially proposed in a 2023 whitepaper by cryptographers Benjamin E. Diamond and Jim Posen, entitled "Succinct Arguments over Towers of Binary Fields."

Buterin用复杂的数学公式精心演示了Binius协议，展示了其数据编码能力、证明生成和高效验证能力。这一概念最初由密码学家本杰明·戴蒙德 (Benjamin E. Diamond) 和吉姆·波森 (Jim Posen) 在 2023 年的白皮书中提出，题为“关于二进制域塔的简洁论证”。

Overall, Binius holds the promise of significant performance gains over conventional proof systems, particularly for computations involving small values and bit-level operations. Buterin remains optimistic about the future of Binius and anticipates further advancements in binary-field-based proving techniques in the near future.

总体而言，Binius 有望比传统证明系统显着提高性能，特别是对于涉及小值和位级操作的计算。 Buterin 对 Binius 的未来保持乐观，并预计在不久的将来基于二进制字段的证明技术将取得进一步进步。

Conclusion

结论

Binius, the ingenious cryptographic proving system championed by Vitalik Buterin, represents a monumental leap forward in the realm of zero-knowledge proofs. Its unparalleled efficiency, rooted in binary bit operations and specialized encoding techniques, empowers complex crypto applications with enhanced performance and scalability. As Binius evolves and matures, it is poised to revolutionize the landscape of cryptography and usher in a new era of secure and efficient solutions.

Binius 是 Vitalik Buterin 倡导的巧妙的密码证明系统，代表了零知识证明领域的巨大飞跃。其无与伦比的效率植根于二进制位运算和专门的编码技术，为复杂的加密应用程序提供了增强的性能和可扩展性。随着 Binius 的发展和成熟，它有望彻底改变密码学领域，并开创安全高效解决方案的新时代。