Eli Ben-Sasson | STARK Maxi ✨🐺 Profile picture
ZK-STARK Co-Inventor | @StarkWareLtd Co-Founder/President Earlier: Prof. CS, ZCash Founding Scientist
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. 2/8 let's start with a couple of slides from a talk that David Levit (ethSTARK lead @starkware ) gave on Ziggy.