A brief thread about various methods of proof systems. We will be discussing: ✅ Interactive proofs. ✅ Probabilistically Checkable Proofs. ✅ And more. Let’s get started 🧵👇

I am reviewing some interesting aspects of FRI and the STARK protocol in general. Here is a small contribution that may help understand them a little better. Brief compilation of threads 🧵👇

Mainnet 95%, Start Building. █████████▒ 95%

ZK is ready for a builder revolution and Aligned is leading the way. 5 days into our hackathon and we already have 20 teams building everything from games to a fast order book, a p2p payment system, and cool infrastructure projects. 26 days left to hack. Join us today.

SEND PROOFS. After 9 months of development we are happy to announce that Aligned's ZK verification layer – mainnet beta – is now live on Ethereum. This means that developers can verify ZK proofs on Ethereum for less than 10% of the cost and that they can submit thousands of