~/talk

Provably Secure Blockchain Protocols and Applications to Secure Computation

on YouTube 34m
Talkat Securing Computation (Simons Institute, June 2015) · 2015-06-08..06-12· [security]

speaker

name:Aggelos Kiayias
links:none on file

resources

video:https://youtu.be/2L25KE61a4w
slides:none on file

summary

Defines a q‑bounded synchronous model and a bitcoin backbone abstraction and proves two concrete properties: common prefix (probability 1 − exp(−k) when unique‑success rounds rate γ exceeds a threshold depending on adversary power β and f) and chain quality (honest block fraction ≥ 1 − 1/λ, yielding a 1/3 adversary bound for a simple anonymous agreement protocol). Shows persistence and liveness for a transaction ledger under honest majority, identifies a composability attack when transactions also use proof‑of‑work and proposes a two‑for‑one pause fix, and gives a compiler achieving robustness with compensation in constant rounds.

AI-written summary · about

chapters (23)

  1. 0:00Intro
  2. 0:24Blockchain protocols
  3. 1:45The Bitcoin Backbone : analysis and applications Eurocrypt 2015, joint work with J. Garay, N. Leonardos
  4. 2:14Our model : g-bounded setting [Eurocrypt 2016, joint works with J. Garay, N. Leonardos]
  5. 4:43The Bitcoin Backbone (1) parameterized by V , R(), /6
  6. 8:17The Bitcoin Backbone (4)
  7. 11:06Backbone Protocol Properties
  8. 12:20CP : will players converge?
  9. 12:35Notation
  10. 13:28Common prefix property (1)
  11. 18:09Chain Quality Property (1)
  12. 21:08Nakamoto's BA protocol [Nakamoto2008b]
  13. 22:45Our first BA protocol
  14. 24:43Summary of results
  15. 25:10Applications of the Backbone Protocol
  16. 26:22Robust transaction ledger = Consensus?
  17. 27:09Our second BA protocol
  18. 27:58Transaction Speed vs. Security
  19. 29:33Analyzing GHOST [joint work with G. Panagiotakos]
  20. 30:06Fair MPC based on
  21. 30:57Modeling Fairness based on
  22. 33:10Robust SFE based on
  23. 33:45Questions

related talks

~/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.