Practical Zero Knowledge Proofs

on YouTube ↗30m

" summary

Panelists demonstrate three concrete systems: EVM with on-chain confidentiality (Inco Network) uses fully homomorphic encryption to store encrypted state and run math on-chain — currently ~5–10 TPS on CPU, targeting ~100–1,000 TPS with FPGA hardware, and a live on‑chain Mafia demo exists; micro rollup state machine (Stackr) compiles app-specific state machines (token transfer example) into provable batches, lets teams write in Rust/JS/Go and drops the need for Solidity; EVM implemented in Cairo (Kakarot) produces STARK proofs, ships ~10k LOC, supports 8/9 EVM precompiles. Practical takeaways: use existing libraries, avoid slapping ZK on problems that don’t need it.

AI-written summary · about

" chapters (28)

1. 0:00Panel intro: ZK, FHE, and rollup builders
2. 0:44What is Inco Network? Confidential EVM with FHE
3. 1:18What is Stackr? Micro rollup framework explained
4. 1:52What is Kakarot? EVM written in Cairo
5. 2:31What is fully homomorphic encryption (FHE)?
6. 3:36Real-world FHE use cases: games, DeFi, coordination
7. 5:10ZK vs FHE: key differences in computation
8. 6:43What are micro rollups and why they matter
9. 7:41Example: token transfer via micro rollup
10. 8:40Building rollups in any general-purpose language
11. 9:11Why Kakarot chose Cairo: speed, safety, and trade-offs
12. 10:25Cairo advantages over raw circuits
13. 12:20Why build an EVM in Cairo? Compatibility benefits
14. 13:28Kakarot compatibility and remaining limitations
15. 14:41Why Inco chose EVM for encrypted smart contracts
16. 15:17Stackr’s broader vision: web2-like UX in web3
17. 16:54Real-world dapps without Solidity: rideshare, ticketing
18. 18:45Stackr’s trust model and verification layers
19. 21:05Do we need powerful provers? Hardware and costs
20. 22:11FHE scaling with FPGA and validator roadmap
21. 23:40ZK parallel proving, mobile-friendly validation
22. 24:42The future of cryptography and consumer devices
23. 25:42Advice for hackers building ZK apps at ETHIndia
24. 26:46How to approach ZK hackathon projects
25. 28:23Use libraries, avoid reinventing the wheel
26. 28:50Hackathons = the birthplace of innovation
27. 29:18Try FHE with Inco Network during ETHIndia
28. 29:46Final thoughts and closing thanks

" related talks

• 01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge ProofsIzaak Meckler, Daira Hopwood, Zac Williamson, Pratyush Mishra, Jordi Baylina · 4th ZKProof Workshop (Home Edition)
• 25mSuccinct Proofs in EthereumBarry Whitehat · 2nd ZKProof Workshop 2019
• 32mSoK: Private Programmability on Blockchain SystemsYing Tong Lai, Daniel Benarroch · ZKProof 6 in Berlin
• 51mPanel: Zero Knowledge in the EnterpriseMike Hearn, Yael Tauman Kalai, Carlos Kuchkovsky, Jonathan Levi · 2nd ZKProof Workshop 2019
• 44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacyTjerand Silde · NDC Security 2026
• 51mWhy you shouldn't trust meKeerthana Ganesh, Shubham Patil · NDC Oslo 2022
• 35mEfficient Zero Knowledge Protocols: The Modular ApproachYuval Ishai · 2nd ZKProof Workshop 2019
• 26mApplications of Zero Knowledge Proofs in the Banking IndustryEduardo Moraes · 2nd ZKProof Workshop 2019