Post by @junzhang • Hey
BInius: highly efficient proofs over binary fields vitalik.eth.limo/general/2024…
Stats
Actions: 0
Comments: 1
Likes: 0
Mirrors: 0
Quotes: 0
Comments
SNARKs rely on "arithmetization": a way of converting a statement about a program into an equatiblob:https://firefly.mask.social/44079cf2-65a9-4a05-890a-cc2fa19bad57on involving polynomials (or sometimes vectors and matrices)