~/talk

Can Private Proof-of-Stake Blockchains Obtain All of Safety, Liveness, and Privacy?

Talkat Zcon4 2023 · 2023-07-30..08-01· [cryptography, distributed-systems]
links:none on file
slides:none on file

Shows that private PoS cannot simultaneously guarantee safety, liveness, and privacy when an adversary can delay messages: network-level delays let an attacker manipulate mempools and perform reverse-tagging attack and other stake inference attacks (improved to near-true stake via binary-search style sampling), with a formal lower bound for deterministic protocols. Implements a defense using differential-privacy noisy stake mechanisms, evaluated on Ethereum parameters (trade-off curves for Alpha/Epsilon and adversary stakes 20/25/30%), which reduce leakage but lower the tolerated adversary stake.

AI-written summary · about

  1. 0:00Introduction
  2. 1:10Proof of Work
  3. 4:07Zero Knowledge Proof
  4. 7:59Key Attack Idea
  5. 10:41Can it just ignore transactions
  6. 12:23Reverse tagging attack
  7. 15:57Reverse tagging drawbacks
  8. 16:45New attacks
  9. 18:21A potential approach
  10. 19:46A noisy stake
  11. 21:46A distorted stake
  12. 23:26Tradeoffs
  13. 26:40Conclusion
~/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.