Post by @0xray • Hey
BInius: highly efficient proofs over binary fields https://vitalik.eth.limo/general/2024/04/29/binius.html
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 equation involving polynomials (or sometimes vectors and matrices)