
Technical content
Learn about: Binius - A proof system on binary fields
Recently, Vitalik Buterin wrote on binary fields and their potential to generate zero-knowledge proofs. Binary fields are finite fields with characteristic equal to two. We can view them as polynomials whose coefficients can only take the values 0 and 1, so 1 + x^2 + x^6 are elements in some