Linked Presentation: CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds