~/talk

Zether Towards Privacy in a Smart Contract World

Talkat 2nd ZKProof Workshop 2019 · 2019-04-10..04-12· [security, web3]
links:none on file
slides:none on file

Zether implements confidential, partly anonymous transfers on Ethereum by replacing clear balances with homomorphic encryptions and zero-knowledge proofs, using ElGamal-in-exponent encryptions so recipients can always decrypt. It introduces Sigma-bullets (Bulletproofs combined with Sigma protocols), account locking to smart contracts, and a temporary vs stable accounts rollover to avoid race conditions and double-spend denial. Prototype is an Ethereum smart contract, needs no trusted setup, fits gas/block limits, and runs at roughly a $1 transaction cost; applies to most account-based chains (7 of top 10).

AI-written summary · about

  1. 0:00Intro
  2. 0:34Bitcoin vs. Ethereum Transactions
  3. 5:23Confidentiality vs. Anonymity
  4. 6:24Building block: Commitment
  5. 7:22Confidential Transactions
  6. 9:39Zether Smart Contract
  7. 14:16Anonymous Transfer
  8. 17:44Zether Locking/Unlocking
  9. 18:36Applications
  10. 21:54Zether and the Flash Boys
  11. 22:05Preventing Front running and Replay Attacks • Accounting for changing accounts • Account based systems are notoriously prone to replay attacks • Ethereum uses a nonce and every transactions signs the current
  12. 23:43Zether (Stable and Volatile Accounts)
  13. 25:27Implementation
  14. 25:51Zether Summary
~/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.