Bitget App
Trade smarter
Buy cryptoMarketsTradeFuturesEarnWeb3SquareMore
Trade
Spot
Buy and sell crypto with ease
Margin
Amplify your capital and maximize fund efficiency
Onchain
Going Onchain, without going Onchain!
Convert & block trade
Convert crypto with one click and zero fees
Explore
Launchhub
Gain the edge early and start winning
Copy
Copy elite trader with one click
Bots
Simple, fast, and reliable AI trading bot
Trade
USDT-M Futures
Futures settled in USDT
USDC-M Futures
Futures settled in USDC
Coin-M Futures
Futures settled in cryptocurrencies
Explore
Futures guide
A beginner-to-advanced journey in futures trading
Futures promotions
Generous rewards await
Overview
A variety of products to grow your assets
Simple Earn
Deposit and withdraw anytime to earn flexible returns with zero risk
On-chain Earn
Earn profits daily without risking principal
Structured Earn
Robust financial innovation to navigate market swings
VIP and Wealth Management
Premium services for smart wealth management
Loans
Flexible borrowing with high fund security
Vitalik: Expect more improvements in binary field-based proof technology in the coming months

Vitalik: Expect more improvements in binary field-based proof technology in the coming months

CointimeCointime2024/04/29 12:07
By:Cointime

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.

0

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.

PoolX: Earn new token airdrops
Lock your assets and earn 10%+ APR
Lock now!

You may also like