Why Bitcoin Belongs in This Sidebar
This is not a sidebar about cryptocurrency markets, investment strategy, or the libertarian politics that often accompany Bitcoin advocacy. It is a structural analysis of a protocol — one that happens to encode moral constraints in code with unusual clarity and consistency.
Bitcoin is examined here because its architecture is a working demonstration of encoded objective law in operation. The constraints it encodes — censorship resistance, verification over permission, supply discipline, append-only history — are not aspirational features. They are structural properties of the protocol's design. The protocol does not ask participants to be virtuous. It makes certain categories of violation structurally impossible. That is what makes it instructive — and what makes its tradeoffs honest tests of the design philosophy this unit constructs.
A scope note, stated plainly. Bitcoin exercises no delegated or public force over anyone, and participation in it is fully declinable. It was never an instance of the article's adjudication requirement — that pattern governs the exercise of public force and private action taken under state compulsion or delegated enforcement authority, and Bitcoin's protocol is neither. What Bitcoin demonstrates instead is narrower and, for this unit's purposes, still load-bearing: a feasibility proof for the underlying technique. It shows that rules can be encoded so as to bind their own operator — no exceptions, no override — which is evidence that hard-encoding of this kind is possible at all. It is not a worked example of the adjudication requirement itself; the article's court-order case supplies that instead. The distinction matters for a structural reason, not a rhetorical one: Bitcoin's own irreversibility — no customer-service reversal, no undo — is exactly the property that would make it fail Requirement B (irreversible consequences forbid unilateral automation) if it were treated as an instance of the adjudication requirement rather than as proof that the encoding technique itself works.
What the Protocol Encodes
Censorship resistance. No single participant, node, or institution can prevent a valid transaction from being included in the shared ledger. The constraint is enforced in code: the network's consensus mechanism accepts valid transactions regardless of the sender's identity, political status, or institutional approval. This is not a policy — it is a structural property. The protocol does not prohibit censorship through a rule that must be obeyed. It makes censorship structurally impractical through distributed validation.
Verification over permission. Participants do not need to request approval from an authority to transact. They need only present a valid cryptographic signature. The verification is mathematical, not institutional — no intermediary decides whether the transaction should be allowed. This embeds the principle of least privilege at the protocol level: the system verifies the minimum necessary condition (valid signature) and grants the minimum necessary action (transaction inclusion). Nothing more is required. Nothing more is examined.
Supply discipline. The protocol enforces a hard cap on the total supply of bitcoin — a constraint that no participant, developer, or institutional actor can override without altering the protocol's consensus rules, which would require majority agreement across a distributed network. This is enforce-in-code applied to monetary policy: the constraint cannot be violated by a central authority because no central authority exists within the protocol. The discipline is architectural.
Append-only history. Every transaction is recorded in a chain of cryptographically linked blocks. Once confirmed, a transaction cannot be silently altered, deleted, or reversed. The history of the system is auditable by anyone who runs a node. This embeds provenance (1.2.1) into the protocol's design: the chain of custody for every unit of value is permanently and publicly traceable.
The Honest Tradeoffs
A sidebar that presents Bitcoin's architecture without naming its costs would be advocacy, not analysis. Encoded objective law requires that design choices be assessed structurally — including the costs those choices impose.
Latency. The protocol's consensus mechanism — proof of work — requires approximately ten minutes per block confirmation, with full settlement confidence requiring multiple confirmations. This latency is the structural cost of censorship resistance: distributing validation across thousands of independent nodes takes time. The tradeoff is real. A system that must settle transactions in milliseconds cannot use this architecture. A system that must resist censorship pays for that resistance in speed.
Energy expenditure. Proof of work consumes substantial energy. The expenditure is not a design flaw — it is the mechanism by which the protocol makes attack economically prohibitive. The cost of overwriting the ledger exceeds the value of doing so. This is enforcement cost analysis applied to protocol security: the energy expenditure is the structural price of making the ledger tamper-resistant without relying on trusted institutions. Whether that price is justified depends on whether the constraint it purchases (censorship resistance, institutional independence) is valued more than the resource it consumes.
User experience. The protocol's security model places responsibility on the participant: private keys must be managed, transactions are irreversible once confirmed, and there is no customer service line. This is the user-facing cost of removing intermediaries — and it is the same irreversibility named in the scope note above, here experienced from the participant's side rather than the protocol's. A system that offers the protections of an intermediary (dispute resolution, fraud reversal, account recovery) necessarily reintroduces the centralization that the protocol was designed to eliminate. The design is honest about this tradeoff. It does not pretend that trustlessness is costless.
Governance limitations. Bitcoin's protocol changes require rough consensus among a globally distributed set of participants — developers, miners, node operators, users — with no formal governance structure. This makes the protocol highly resistant to capture but also resistant to adaptation. Necessary upgrades are slow, contentious, and politically fraught. The governance limitation is the structural cost of the protocol's resistance to centralized modification: the same property that prevents a single actor from corrupting the protocol also prevents a single actor from improving it.
What This Demonstrates
Bitcoin demonstrates that the enforce-in-code model works — that moral constraints can be structurally embedded in a protocol so that they bind even the protocol's own operators, with no exceptions and no override. Censorship resistance, verification over permission, supply discipline, and append-only history are not cultural norms that depend on the community's values. They are structural properties that persist because the protocol makes their violation economically or computationally prohibitive. That is the feasibility proof this sidebar draws from Bitcoin — evidence that the technique works, not a worked instance of the article's adjudication requirement, which needs a duty-bearer exercising force under state compulsion or delegation, and which needs a reversible consequence at the point where a finding is contested. Bitcoin supplies neither: no delegated force, and no reversal.
Bitcoin also demonstrates the limits of the model. Not every constraint can be enforced in code. The tradeoffs — latency, energy, UX friction, governance rigidity — are real costs that cannot be dismissed as temporary inconveniences. They are structural consequences of the design choices the protocol makes. A mature encoded objective law framework does not celebrate the model without accounting for its costs, and does not dismiss the costs without acknowledging what they purchase.
The companion sidebar in (1.2.8) examines Bitcoin from the hazard-prevention angle — how its architecture structurally eliminates specific moral-hazard failure modes. Here, the focus is narrower: Bitcoin as a working case of non-coercion by code, with its constraints and its costs presented honestly.
Change Log
- 18 Aug 26 — Reframed Bitcoin as a feasibility proof for the hard-encoding technique rather than a worked example of the adjudication requirement, since Bitcoin exercises no delegated or public force and participation in it is fully declinable; updated the closing section to match.
- 17 Aug 26 — Corrected the topic tags to match the companion article.
- 14 Mar 26 — Initial publication. Four encoded constraints analyzed. Four honest tradeoffs specified.