A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"

TL;DR

This paper critically refutes the widely accepted blockchain trilemma by demonstrating it is based on semantic confusion and methodological errors, arguing that scalability is an engineering issue rather than an inherent trade-off.

Contribution

It provides a formal critique of the trilemma, clarifies misconceptions, and offers criteria for evaluating blockchain research claims.

Findings

The trilemma is based on semantic equivocation.

Bitcoin's design is mischaracterized in trilemma claims.

Scalability can be achieved without trade-offs through engineering.

Abstract

This paper presents a comprehensive refutation of the so-called "blockchain trilemma," a widely cited but formally ungrounded claim asserting an inherent trade-off between decentralisation, security, and scalability in blockchain protocols. Through formal analysis, empirical evidence, and detailed critique of both methodology and terminology, we demonstrate that the trilemma rests on semantic equivocation, misuse of distributed systems theory, and a failure to define operational metrics. Particular focus is placed on the conflation of topological network analogies with protocol-level architecture, the mischaracterisation of Bitcoin's design--including the role of miners, SPV clients, and header-based verification--and the failure to ground claims in complexity-theoretic or adversarial models. By reconstructing Bitcoin as a deterministic, stateless distribution protocol governed by evidentiary trust, we show that scalability is not a trade-off but an engineering outcome. The paper concludes by identifying systemic issues in academic discourse and peer review that have allowed such fallacies to persist, and offers formal criteria for evaluating future claims in blockchain research.