金色财经报道，以太坊联合创始人Vitalik Buterin发布最新博客《Binius：二进制字段的高效证明》。
这篇文章主要面向大致熟悉2019时代密码学，尤其是SNARKs和STARKs的读者。在过去的两年里，STARKs已成为一种关键的、不可替代的技术，可以高效地对非常复杂的语句进行易于验证的加密证明（例如，证明以太坊区块是有效的）。
SNARK和STARK证明计算机程序的方式是通过算术化：将要证明的程序的陈述转换为涉及多项式的数学方程。方程的有效解对应于程序的有效执行。一般来说，零知识证明系统的工作原理是对多项式进行陈述，同时表示有关基础评估的陈述。
Binius如何影响"SNARK-友好"？基本的概括是，如果使用Binius，就不再需要太在意计算是否"算术友好"："常规"哈希值不再比传统算术哈希值更有效率，乘法模也不再比传统算术哈希值更有效率。我预计未来几个月基于 二进制字段的证明技术会有更多改进。
免责声明: 本文内容仅代表作者个人观点，不代表mitrade官方立场，也不能作为投资建议。文章内容仅做参考，读者不应以本文作为任何投资依据。 mitrade对任何以本文为交易依据的结果不承担责任。 Mitrade亦不能保证本文内容的准确性。在做出任何投资决定之前，您应该寻求独立财务顾问的建议，以确保您了解风险。
差价合约（CFD）是杠杆性产品，有可能导致您损失全部资金。这些产品并不适合所有人，请谨慎投资。查阅详情
