Vitalik introduced the efficient proof of binary fields "Binius" and expects more improvements in binary field proof technology in the coming months

ChainCatcher news, Vitalik Buterin wrote an article introducing the efficient proof of binary fields "Binius," and anticipates more improvements in proof technology based on binary fields in the coming months.

It is reported that Binius employs many mathematical techniques, making it distinctly different from SNARK and STARK from three years ago. Vitalik Buterin also explained the reasons why small fields make proof generation more efficient, the unique powerful features of binary fields, and the techniques Binius uses to enable effective operation of proofs in binary fields.