A class of techniques that solve problems about COMPUTATION by phrasing them as problems about POLYNOMIALS.
It's common in math to solve problem A by phrasing a related problem B and solving B instead.
2. What's the big deal?
A. It's always amazing to see how a different way to look at a problem opens new avenues.
B. Arithmetization takes unstructured problems about computer programs - like, does this program halt? - and converts them to problems that mathematics can address
Oct 7, 2022 • 32 tweets • 8 min read
I'm often asked for STARK Math links, here's a LONG thread on that
Overview [Beginner]
Nov 26, 2020 • 8 tweets • 3 min read
1/8 A short thread on Ziggy - a ZK-STARK based post-quantum secure signature scheme open sourced today.