CEO Co-Founder @StarkWareLtd | Integrity Matters, opinions my own. Co-Inventor: zkSTARK, FRI, Zcash
Sep 12, 2023 • 5 tweets • 1 min read
Arithmetization thread:
1. What is Arithmetization?
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.