Vitalik: Expect more improvements in binary field-based proof technology in the coming months
Vitalik Buterin, co-founder of Ethereum, has released a new blog post entitled "Binius: Efficient Proofs for Binary Fields". This article is mainly aimed at readers who are familiar with cryptography in the 2019 era, especially SNARKs and STARKs. Over the past two years, STARKs have become a critical and irreplaceable technology that can efficiently provide easily verifiable encrypted proofs for very complex statements (such as proving that Ethereum blocks are valid). The way SNARK and STARK proofs compute programs is through arithmetic: transforming the statement of the program to be proven into mathematical equations involving polynomials. The effective solution of the equation corresponds to the effective execution of the program. Generally speaking, the working principle of zero-knowledge proof systems is to make statements about polynomials while representing statements about basic evaluations. How does Binius affect "SNARK-friendliness"? The basic summary is that if Binius is used, it is no longer necessary to care too much about whether the calculation is "arithmetically friendly": "conventional" hash values are no longer more efficient than traditional arithmetic hash values, and multiplication models are no longer more efficient than traditional arithmetic hash values. I expect that in the coming months, there will be more improvements in proof technology based on binary fields.
Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.
You may also like
SWELL在Hyperliquid平台的拍卖中以42万美元的价格成交
昨日ARKB净流出1.12亿美元,BITB净流出3600万美元
Volatility Shares申请推出基于Solana期货的杠杆型ETF
上周以太坊NFT交易额升至1.86亿美元,为近3个月来最高水平