~/talk

Offer-safe Trade of Mutable Objects

Talkat IWACO 2024 · on Monday, 2024-10-21· [smart-contracts, security]
links:none on file
slides:none on file

Claims a practical solution: Agoric’s Zoe plus an object-capability ledger enforce offer-safety by escrowing purses and issuers so contracts never touch assets, letting auction or vending-contract code run without stealing funds. It implements a two‑phase “ownable” cycle: vacate the mutable object, mint an E‑right invitation (inspectable by issuer identity, installation, call site, details), then redeem to regain an exercisable object. Zoe is live; folding seats and resolvers into ownables is engineering work in progress.

AI-written summary · about

  1. 0:00Introduction
  2. 4:11Ownership with EITS
  3. 9:34Vending machine escrow
  4. 26:36E-rights for money transfer
  5. 36:49Two-phase OCap/E-rights cycle
  6. 52:47Offer safety in Zoe
  7. 1:09:51Upgrade safety in Zoe
  8. 1:10:13Ownables for mutable objects
  9. 1:23:15Q&A
~/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.