SNARKs n’ STARKs

on YouTube ↗26m

" summary

Argues STARKs trade shorter trust and quantum safety for larger proof sizes and deliver far greater amortized scale in practice: current STARK proofs land around 50–100 KB proofs but using recursion and batching they attest to massive workloads—claiming 10 million mints via recursion in production—so cost per item falls to bytes. Describes the Cairo language and Starknet stack as the implemented toolchain (Cairo language), notes account abstraction is native, sequencing remains centralized today but migration to Tendermint-style decentralization is planned.

AI-written summary · about

" chapters (23)

1. 0:00Intro and welcoming Eli Ben-Sasson
2. 0:43From academia to Zcash and StarkWare
3. 2:46Origins of STARKs and focus on scalability
4. 3:59SNARKs vs STARKs: key differences
5. 5:22Improving STARK efficiency and recursion
6. 7:13Amortized proof cost and real-world usage
7. 8:27STARKs enabling blockchain scalability
8. 9:42Privacy and fractal scaling with Layer 3s
9. 10:16Starknet, Cairo, and developer onboarding
10. 11:33Applications on Starknet and account abstraction
11. 12:41Why Cairo instead of EVM compatibility
12. 13:48Fine print of EVM-compatible ZK systems
13. 15:02Why Cairo will dominate future smart contracts
14. 16:20Starknet developer growth and ecosystem
15. 17:38STARK-based systems becoming the norm
16. 18:58Ethereum as base layer, not competition
17. 19:34What Starknet still needs to improve
18. 20:50Community building and global expansion
19. 21:25Lessons learned in company building
20. 22:58Flat teams and decentralized leadership
21. 24:16Timeline predictions and confidence
22. 24:48What scalable blockchain infrastructure looks like
23. 25:29Closing thoughts and thank you

" related talks

• 34mSNARKs and their Practical ApplicationsEran Tromer · Securing Computation (Simons Institute, June 2015)
• 30mCryptocurrencies and Smart ContractsElaine Shi · Securing Computation (Simons Institute, June 2015)
• 57mPractical Groth16 AggregationAnca Nitulescu, Nicolas Gailly · 4th ZKProof Workshop (Home Edition)
• 48mzkSNARKs — Cryptographic Proofs for Scaling and Security ChallengesSergey Prilutskiy · HighLoad++ 2023
• 25mWhy Account Abstraction is a Game-Changer for DappsItamar Lesuisse, Julien Niset · Devcon 6
• 25mHigh-Speed zkSNARKs without Trusted SetupSrinath Setty · 4th ZKProof Workshop (Home Edition)
• 30mPractical Zero Knowledge ProofsRemi Gai, Kautuk Kundan, Danilo Kim · Pragma India 2023
• 09mWhy Institutional Custody Breaks on Shielded ChainsLukas Helminger · ETHConf 2026