~/talk

CHAINIAC: Proactive Software-Update Transparency...

links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

CHAINIAC builds a decentralized update pipeline where independent witness servers collectively verify source-to-binary correspondence and produce a single collective signature so clients accept only widely disclosed releases. It combines verified builds (witnesses reproducibly build and attest binaries) with a tamper-evident collectively signed skipchain that embeds forward/backward links for efficient, offline validation. Prototype evaluation on Debian shows ~5 minutes per package validation and ~20 seconds for an aggregate snapshot, with PyPI tests cutting client bandwidth to about one-fifth.

AI-written summary · about

  1. 0:00Intro
  2. 0:19Software Updates
  3. 2:02Software Release Pipeline
  4. 2:38Challenges
  5. 6:07Roadmap to CHAINIAC
  6. 6:19Decentralized Release-Approval
  7. 8:17Background
  8. 8:51Verified Builds
  9. 11:07Anti-equivocation Measures
  10. 12:12Evolution of Developer Keys
  11. 13:02Evolution of Cothority Configuration
  12. 14:43Skipchains
  13. 17:52Implementation
  14. 18:17Evaluation Methodology
  15. 21:36Conclusion
~/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.