According to Foresight News, Vitalik Buterin has introduced an efficient proof for binary fields, known as 'Binius'. He anticipates that in the coming months, there will be significant improvements in proof technology based on binary fields. Binius employs numerous mathematical techniques, making it distinctly different from SNARK and STARK, which were introduced three years ago.
Buterin also explained why smaller fields make proof generation more efficient, the reasons for the unique and powerful capabilities of binary fields, and the techniques Binius uses to make the proof of binary fields work effectively.