Vitalik posts on Binius, an improvement on STARKS and SNARKS that improves the efficiency of proofs by operating over binary fields