Post by @xichen • 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 equation involving polynomials (or sometimes vectors and matrices)