Binius: highly efficient proofs over binary fields

from blog Vitalik Buterin's website, | ↗ original
This post cannot be viewed on Minifeed. ↗ Open original

Related

Linear Arithmetic Desecsed
Home on consequently.org | original ↗
The Geometry of Non-Distributive Logics
Home on consequently.org | original ↗
Yair Shenfeld and Ramon van Handel Settled (for polytopes) the Equality Cases For The Alexandrov-Fenchel Inequalities
Combinatorics and more | original ↗
Swiftly Up to Speed: The Power of Swift Types
matt.sh | original ↗
Speech Acts & the Quest for a Natural Account of Classical Proof
Home on consequently.org | original ↗
A subfield-logarithm attack against ideal lattices
cr.yp.to blog | original ↗
Fixing the hashing in "Hashing modulo α-equivalence"
Paul Khuong: some Lisp | original ↗
Reverse Engineering a Neural Network's Clever Solution to Binary Addition
cprimozic.net Blog | original ↗
A quick post on Chen’s algorithm
A Few Thoughts on Cryptographic Engineering | original ↗

More from Vitalik Buterin's website

d/acc: one year later
5 Jan 2025 | original ↗
What I would love to see in a wallet
3 Dec 2024 | original ↗
From prediction markets to info finance
9 Nov 2024 | original ↗
Possible futures of the Ethereum protocol, part 6: The Splurge
29 Oct 2024 | original ↗
Possible futures of the Ethereum protocol, part 5: The Purge
26 Oct 2024 | original ↗