BInius: highly efficient proofs over binary fields

vitalik.eth.limo/general/2024…