Skip to content

Salon I: End-to-End Encryption in ActivityPub - 2024 Protocol Symposium

TalkEvan Prodromou, Tom Coates
researcheracademic
Salon I: End-to-End Encryption in ActivityPub - 2024 Protocol Symposium
Open resource →

Evan Prodromou and Tom Coates present their Summer of Protocols research on integrating end-to-end encryption into ActivityPub, arguing that the fediverse's low-trust server operators and high-risk user base (LGBTQ users, activists, infosec community) make E2E encryption necessary despite the protocol's original email-like trust assumptions. They explain why they chose Messaging Layer Security (MLS) over alternatives like PGP, Signal's protocol, or OTR—citing MLS's royalty-free IETF standard status and scalability—and propose a new ActivityPub extension adding a key store and groups mechanism, while Coates details UI challenges around key management, archive restoration, and segregating encrypted from unencrypted messages.

Topics

activitypub-extension-designend-to-end-encrypted-archive-restorationmessaging-layer-security-mlsprotocolspublic-key-encryptionkey-management-uiresearchsignal-protocol-vs-mls-tradeoffssymposium-2024technology

Related resources

Talk

Salon V: Autonomous Realities - 2024 Protocol Symposium

Amber Hu presents research on 'autonomous realities,' the fragmentation of shared experience as personalized mixed-reality (AR/VR) devices proliferate, and proposes a 'decentralized digital chemistry' framework using self-sovereign identity (DIDs) and object capabilities to let people merge disparate mixed-reality worlds when they physically encounter each other. The talk also introduces multi-party computation and private set intersection as a protocol for detecting mutual interest in merging realities before an encounter, illustrated by a planned art piece called 'Quantum Masquerade' for Defcon. Attendees including Dorian and others raise engineering concerns about decentralized access control and cultural parallels to etiquette-based reality negotiation.

Amber Hu

Talk

Hand Washing and Bitcoin Share a Skeleton

Shingai Thornton argues that protocols are formally systems, proving that seven independent systems-theory traditions (Klir, Bunge, Mobus, etc.) share one irreducible structure—a 'walking arrow' or quiver where one thing depends on another. She uses Lean 4 to machine-verify this convergence across three worked examples: handwashing (a contamination-threshold homeostat), TCP/HTTP composition, and Bitcoin's difficulty adjustment (a fixed-point-governed homeostat), proposing this as a candidate 'floor' for a grand unified protocol modeling theory.

Shingai Thornton

Talk

Building Psychohistory: An Infrastructure Field Report

Aneesh Sathe presents an infrastructure field report on 'World Machines Theory,' a framework for reading history as the interaction of long-cycle civilizational 'machines' (Modernity, Divergence, Liveness), and demonstrates the two systems built to operationalize it: the Oracle, a multi-agent RAG pipeline over a shared knowledge lake that generates oracular 'prophecies,' and the Prime Radiant, a typed knowledge graph of ~500 historical 'machine cards' that can be simulated forward to project future institutional ecologies. He frames this as an Asimov-inspired but decentralized, commons-based reimagining of psychohistory, contrasting it with Seldon's mathematical, control-oriented original. The talk opens with context from the Contraptions Book Club, introduced by its host.

Aneesh Sathe