~/talk

Boundless

Talkat Pragma Denver 2025 · on Tuesday, 2025-02-25· [webassembly, web-performance]
slides:none on file

Boundless is a universal ZK protocol that routes off‑chain execution to a decentralized marketplace of provers, using RISC Zero’s risk-5 ZKVM and hardware/GPU acceleration to push proving costs below on‑chain gas even on low‑cost chains. It ships extensions: steel runs unmodified Solidity views off‑chain with proofs anchored to block roots, and kalyua supports both ZK fault and validity rollups. Testnet is live with bonded provers; mainnet aims to launch this year.

AI-written summary · about

  1. 0:00Introduction: Jeremy Bruestle & RISC Zero
  2. 0:46Boundless Overview: A Universal ZK Protocol
  3. 2:56ZK VMs & RISC-V Performance Enhancements
  4. 4:37Engineering Gains & GPU Acceleration
  5. 6:50Off-Chain Execution vs On-Chain Gas Costs
  6. 8:44“Steel”: Running Solidity Off-Chain
  7. 9:48“Kalyua”: Rollups & ZK Verification
  8. 11:26Data Availability & Decentralized Proofs
  9. 15:57Boundless Marketplace & Prover Incentives
  10. 17:05Atomic Composability & Asynchronous Calls
  11. 20:55Testnet Phase, Mainnet Plans & Future Vision
  12. 21:27Conclusion & Next Steps in ZK Execution
~/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.