CEO Co-Founder @StarkWareLtd | Integrity Matters, opinions my own. Co-Inventor: zkSTARK, FRI, Zcash
May 29 • 11 tweets • 2 min read
I’ll explain @saylor's game and what it means for Crypto. Not investment advice, DYOR.
>>
@MicroStrategy @Strategy is borrowing money, offering investors a choice between (a) getting money back (+yield), or (b) getting Strategy stock at a certain price. So, at maturity if the market stock price is high enough, investors will want (b).
>>
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.
