Skip to content
#software testing Open access

Silent Retrieval: Local-Consensus Reads as Information-Theoretically Unlinkable Receive

Sep 2026 · Zenodo (CERN European Organization for Nuclear Research)
Distributed systems and fault tolerance

Abstract

We formalise a receive-side property of asynchronous messaging that has been implemented before and, in adjacent form, analysed before. It is the property Bitmessage relied on from 2012 — every participant holds every message and decrypts locally, so reception produces no observable event — described in the secondary literature as a form of private information retrieval by the blunt method of "everyone gets everything". Neither the property nor its information-theoretic framing is new: the Pynchon Gate applied information-theoretic private information retrieval to unlinkable pseudonymous mail retrieval in 2005, and later systems continue that line. Our contribution is narrower and is stated as such: a precise statement of the property with explicit substrate axioms under which it holds and fails, the observation that full local replication obtains the guarantee with no non-collusion assumption at all, where the PIR-based systems require multiple servers assumed not to collude, and its instantiation over a global consensus substrate replicated for reasons unrelated to messaging rather than over a bespoke flood network that its own users must sustain. When a receiver retrieves a message from a global consensus substrate (a blockchain, a globally-replicated CRDT, a federation with full replication) by holding a local complete copy of that substrate, the receiver's read operation is information-theoretically unlinkable to any specific message. There is no subscription request and no filter query. The guarantee is conditional on one assumption we make explicit and name A5' — that the client's network behaviour is independent of what the application reads — and §2.1a shows that the earlier formulation of this axiom was circular, that the mathematics given A5' is trivial, and that the real content is an unmeasured empirical claim about client software, with resource-coupled timing the most plausible way it fails. We call this property Silent Retrieval and argue it is a foundational primitive for information-theoretic messaging that has been unavailable in the messenger literature until the emergence of globally-replicated substrates (Bitcoin, Ethereum, Arweave, IPFS clusters) coincided with the availability of user-run full-node clients. Silent Retrieval extends AriaVenona's passive-receive doctrine — historically applied to radio and OTA channels — to global consensus substrates, closing the last computational anonymity gap in async messenger receive-side design. We give the formal definition, a proof that the observer's advantage is exactly zero given A5', an explicit account of the three ways A5' is known to fail, a concrete implementation for Bitcoin OP_RETURN (Substrate B of the companion Dead-Drop Family paper), the SPV/light-client fallback with degraded anonymity guarantees, and open questions for extending the property to other substrates. The experiment that would discharge A5' — instrumenting a full node and testing whether scan and no-scan epochs separate on network timing — is specified and has not been run. Keywords: receiver anonymity, unlinkability, private information retrieval, global consensus, full-node participation, one-time pad, asynchronous messaging, passive receive. ---

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.