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

Golden Finance reported that Ethereum co-founder Vitalik Buterin published his latest blog "Binius: Efficient Proofs of Binary Fields". The way SNARK and STARK prove computer programs is through arithmetic: converting the statement of the program to be proved into a mathematical equation involving polynomials. A valid solution to the equation corresponds to a valid execution of the program. In general, zero-knowledge proof systems work by making statements about polynomials while expressing statements about underlying evaluations. Binius uses a number of mathematical tricks that make it very different from SNARK and STARK three years ago. Vitalik Buterin also introduced why small fields make proof generation more efficient, why binary fields are uniquely powerful, and the tricks that Binius uses to make proofs of binary fields work efficiently. More improvements in binary field-based proof technology are expected in the coming months.