Vitalik Buterin 推出 Binius：一种增强零知识证明的新型加密系统
Summary:
以太坊联合创始人 Vitalik Buterin 讨论了一种名为“Binius”的新提出的加密证明系统，该系统旨在提高零知识证明的效率。与zk-SNARKs等传统方法相比，这种新系统通过直接在单个二进制位而不是更大的数字上进行计算，提供了显着的改进。这种以二进制为中心的方法有可能优化由较小值组成的数据处理，并有望为加密证明应用程序带来重大发展，使其更加高效和可扩展。
以太坊的联合创始人 Vitalik Buterin 传播了一种新颖的加密证明机制，旨在提高零知识证明的效率。在 4 月下旬的一篇博客中，Buterin 介绍了一种名为“Binius”的高性能二进制场加密证明系统。这项新技术有望比 zk-SNARK 等传统方法进行重大改进。Binius 旨在通过处理单个二进制位（1 和 0）的计算命令来提高效率，从而远离处理大量工作。
这种方法基于惯用的加密证明框架，例如 SNARK（简洁的非交互式知识论证）和 STARK（可扩展的透明知识论证），它们通常处理更重要的计数，如 64 位或 256 位整数。正在处理的数据通常包含较小的数字，如计数器、索引和布尔标志。因此，直接对比特进行操作，Binius可以以更高的效率处理这些数据，Buterin说。
Buterin表示，更新的证明范式提供了一些进步，例如将数据设想为比特的多维网格或“超立方体”，使用二进制“有限域”对比特和比特序列进行有效的算术运算。此外，它还采用了量身定制的编码和解码机制，可以更改适合“多项式”计算和默克尔证明的位级信息，同时保留高效的二进制运算。
这种面向二进制的系统为加密证明应用中的基本算术提供了显着的增强功能，使复杂的加密工作更加无缝和可扩展。ZK证明通常使用多项式对数据和计算进行编码，允许在不披露底层内容的情况下进行证明验证，因此使用了术语“零知识”。
Buterin 通过本新闻中未讨论的复杂数学概念展示了 Binius 协议，以演示如何完成数据编码、证明生成和有效的证明验证。对于密码学家来说，Benjamin E. Diamond 和 Jim Posen 在 2023 年的白皮书中首次提出了这个想法，题为“关于二进制场之塔的简洁论证”。
总之，Binius计划比传统的校对系统大幅提升性能，主要用于涉及较小值和位级运算的计算。Buterin期待未来基于二进制场的证明技术会有更多的改进。
Published At
5/1/2024 8:52:03 AM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.