~/talk

Making Bitcoin Productive for Ethereum using Trustless Vaults

Talkat Pragma Buenos Aires 2025 · on Thursday, 2025-11-20· [bitcoin, ethereum]
slides:none on file

Babylon reports 56,000 BTC already on its Bitcoin Stacking Protocol and now implements a Trustless Bitcoin Vault that uses ZK proofs plus an off‑chain verifier and an optimistic challenge game to let native BTC act as collateral on Ethereum lending rails. A 6‑week proof‑of‑concept wires Bitcoin mainnet vaults to a Morpho market, deposits ~9,000 satoshis, and executes challenge and liquidation flows via HTLCs and a garbled‑circuit‑authenticated verifier; demo runs live on Bitcoin and Ethereum mainnets.

AI-written summary · about

  1. 0:00Trustless Bitcoin vaults
  2. 1:51Bitcoin’s unproductivity
  3. 3:57Trusted intermediaries fail Bitcoiners
  4. 5:24Trustless Bitcoin participation
  5. 6:48Math behind cross-chain trustlessness
  6. 8:57Trustless Bitcoin vaults
  7. 9:41Bitcoin back as killer app
  8. 13:37Proof of concept overview
  9. 14:18Deposit flow in experiment
  10. 15:41Repayment and liquidation flows
  11. 17:29Bitcoin and zero-knowledge proofs
  12. 20:21Hash Time Lock Contracts
  13. 21:05Future of Bitcoin-Ethereum integration
~/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.