~/panel

Fireside Chat

Panelat Pragma Prague 2025 · on Thursday, 2025-05-29· [large-language-models, web3]
slides:none on file

ZISK by Polygon ZKVM aims for real-time proof generation and trades cost for subsecond latency, using a transpiler that runs RISC5 logic as Intel assembly to reach 1.5GHz RISC5 execution, parallelizing proofs across server clusters and leveraging GPUs when cost-effective, plus an aggregation stack that hits 100–150 ms aggregation. Work is production-ready: optimized compilers, multi-air arithmetization, and security learnings. Also explores program obfuscation with embedded keys to enable a Bitcoin–Ethereum bridge without forks and flags centralized sequencers as a decentralization risk.

AI-written summary · about

  1. 0:00Introduction to Jordi Baylina and Polygon ZKVM
  2. 0:54Focus on zkISK and real-time proof generation
  3. 1:28Optimizing ZK technology for latency vs cost
  4. 2:02Redesigning protocols for fast block proofs
  5. 2:38Parallelization and execution optimization strategies
  6. 3:09Aggregation layer improvements for speed
  7. 3:40Hardware vs software optimization breakdown
  8. 4:09RISK5 execution optimization breakthroughs
  9. 5:21Achieving 1.5GHz RISK5 execution speeds
  10. 5:54Proof aggregation time optimizations
  11. 6:59GPU utilization lessons from Polygon
  12. 7:37When GPU acceleration becomes cost-effective
  13. 8:09Security learnings from zkEVM deployment
  14. 8:39Production-ready ZK implementations
  15. 9:12Introducing obfuscation as next-gen ZK tech
  16. 9:51Bitcoin bridge potential without forks
  17. 10:29Concept of program obfuscation explained
  18. 11:01Embedded keys in obfuscated programs
  19. 11:31Bitcoin-Ethereum bridge example
  20. 12:05Current state of obfuscation research
  21. 12:39Interdisciplinary approaches to obfuscation
  22. 13:44Potential for trustless private blockchains
  23. 14:16Running L2s on Bitcoin via obfuscation
  24. 14:51Decentralization challenges in real-time proving
  25. 15:27Market pressures vs decentralization values
  26. 16:08Centralized sequencers in current rollups
  27. 16:48Importance of censorship resistance
  28. 17:24Missing values in L2 decentralization
  29. 18:00Need for decentralized sequencers
  30. 18:33Universal access requirements
  31. 19:05User demand driving decentralization
  32. 19:37Business priorities vs security tradeoffs
  33. 20:17Advice for new L2 founders
  34. 20:52Web3 vs Web2 architecture decisions
  35. 21:22Measuring decentralization levels
  36. 22:23Application-specific decentralization needs
  37. 22:54Ethereum's base layer decentralization
  38. 23:50Stack decentralization inheritance
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.