STARKs, Part I: Proofs with Polynomials

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

Related

A New Paper
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 ↗
My First Paper with Dr. Z. : Bijective and Automated Approaches to Abel Sums
Combinatorics and more | original ↗
Primality Testing in Polynomial Time (Ⅱ)
Fred Akalin | original ↗
Fermat’s Last Theorem — how it’s going
Xena | original ↗
Proof Terms are fun
Home on consequently.org | original ↗
A Concrete Category of Classical Proofs
Home on consequently.org | original ↗
PrimesPrimes is in PP
Home on consequently.org | original ↗
Formalising modern research mathematics in real time
Xena | 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 ↗