~/talk

When an Intelligent Sequencer Guards a Chain

Talkat Pragma Prague 2025 · on Thursday, 2025-05-29· [security, ai-assisted-development]
slides:none on file

Zircuit deploys an EVM-equivalent ZK rollup that runs AI-powered sequencer-level security to detect and quarantine exploit transactions before they make chain state, claiming models miss one in 200 hacks and protecting a network handling roughly $1–3.6B. The architecture mixes SLS 1.0 transaction-level pre-block scanning with block-aware analysis and an optimistic SLS 3.0 reorg path, uses migrated real-world hacks and a vulnerable DeFi corpus for testing, and addresses sync, forced-inclusion, DOS and false-positive handling.

AI-written summary · about

  1. 0:00Introduction to Martin Derka and Zircuit
  2. 0:47The problem: Recurring blockchain hacks
  3. 1:25Zircuit's mission: Proactive chain security
  4. 1:57Zircuit as EVM-equivalent ZK rollup
  5. 2:34Traditional rollup flow vs SLS architecture
  6. 3:06How sequencer-level security works
  7. 3:37Transaction quarantine process
  8. 4:08System design requirements
  9. 4:40Scanning transactions vs full blocks
  10. 5:10SLS 1.0: Transaction-level analysis
  11. 5:42Advantages of pre-block analysis
  12. 6:16Transaction dependency challenges
  13. 6:43SLS 2.0: Block-level analysis
  14. 7:11Performance tradeoffs
  15. 7:32SLS 3.0: Optimistic execution
  16. 8:04Handling analysis delays
  17. 8:28Zircuit's hybrid SLS approach
  18. 8:48Current architecture evolution
  19. 9:24Training AI to detect hacks
  20. 10:01Leveraging EVM compatibility
  21. 10:33Model accuracy metrics
  22. 11:13Potential impact on historical hacks
  23. 11:39False positive challenges
  24. 12:09Testing methodology
  25. 12:43Porting real-world hacks for testing
  26. 13:14Migration challenges
  27. 13:44Research on contract migration
  28. 14:17Address reference handling
  29. 14:49Phishing protection use case
  30. 15:19Wallet security limitations
  31. 15:50On-chain phishing detection
  32. 16:22Superiority of sequencer-level protection
  33. 16:54Rule-based transaction filtering
  34. 17:25Institutional adoption benefits
  35. 17:58KYC/AML compliance solutions
  36. 18:30System synchronization challenges
  37. 18:59Forced inclusion considerations
  38. 19:32DOS attack prevention
  39. 20:03User experience design
  40. 20:36Future detector development
~/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.