trust-{free, minimized} technologies

Research on where protocol formalization leaves judgment, operation, and institutional responsibility.

Scope

The programme studies systems that reduce or discipline reliance on discretionary intermediaries through protocol rules, cryptographic verification, and distributed coordination. Its central question is Residual Authority After Formalization. Adjacent cases, wider blockchain studies, and work on public institutions remain analytically distinct.

Residual Authority After Formalization

Research question

When trust is minimized, where does the residual work settle, and when does it become authority?

Method

When blockchain systems formalize selected institutional functions, judgment, repair, dependence, and distributive control can resettle in settlement operators, governance thresholds, legal wrappers, oracle routes, validator markets, and institutional interfaces. The programme traces where that residual work settles, who carries it, and the conditions under which it becomes consequential. Authority is the umbrella term for that consequence: it covers decision-bearing control, the dependence that confers it, and cases in which a token's claim to it is engineered away.

Formalized coreLocate the function disciplined by protocol, cryptography, token mechanics, execution, or legal wrapper.
Residual authorityTrace the actor, dependency, legal form, market practice, or repair process that can still decide outcomes.
Institutional burdenRead the displaced work: settlement, judgment, compliance, recovery, governance, and distribution.

Evidence standardPrimary cases connect a formalized function to a residual authority site through public evidence.

Threshold concept

Distributive CaptureInfrastructure theory
A threshold concept for infrastructure dependence and distributive control

Primary cases

Bit OffBittensor: stake-weighted evaluation
Effective stake weights validator judgments within Bittensor's consensus, bonds, and reward pipeline.
Forced Tenderx402: payment authorization and settlement
x402 separates payment authorization from the verification, settlement, and operational work that follows.
Missing LinkChainlink: oracle settlement architecture
A reconstructed LINK-denominated provider payout is paired with a separate CCIP fee-token trace.
UndoneOndo: tokenized-finance claims
Ondo's public architecture assigns eligibility, redemption, custody, and bankruptcy terms to product tokens while ONDO remains governance-centred; adjacent operating and issuing equity retains the product-layer residual claims.

Adjacent cases

Institutional boundary cases

Cases that extend the programme's central question into further institutional domains.

Cases

AtonementCosmos: sovereignty and institutional maintenance
Selected Cosmos episodes trace relayer, reporting, maintenance, and security-provider work around protocol operation.
Reconnecting the DotsPolkadot: protocol transition
Designer optionality identifies the asymmetry between participant commitment and institutional flexibility across Polkadot's protocol transitions.
EtherealEthereum: infrastructure dependence
A participant-relative dependency graph traces when Ethereum's protocol-adjacent operators become decision-bearing.
After MidnightMidnight: privacy architecture
A source-level analysis follows Compact, proof generation, key custody, maintenance authority, consensus, governance, and the Cardano bridge.

Related studies

Wider blockchain studies

Studies outside the primary claim set, grouped by shared methods of code, legal, and institutional analysis.

Blockchain studies

Automaticgovernance study
A block-pinned map places legacy owners alongside Protocol Council infrastructure, governance proposals, and staked-POL signaling.
Out of Scopecredibility study
The former market-causation thesis is withdrawn. The reconstruction separates what Sui's papers prove, its benchmarks measure, its source permits, and its deployment and governance records show.
Race Conditionmetric-capture study
Repository continuity and incentive-funded activity place Sei's shifting technical narratives and adoption metrics under a shared evidentiary test.
Unstableclassification study
Payment measurement requires an attribution bridge from stablecoin transfers to economic purpose.
Gnot Quitecode-audit study
Gno's Go-compatibility claim is tested across source, consensus execution, authority, gas, storage, and runtime continuity.
To No Availdata-availability study
The substitution thesis is withdrawn. The surviving record establishes selected protocol capabilities while leaving deployment, demand, pricing, and category-level substitution unproved.
Undertonelegal-form study
The former regulatory-form-substitution thesis is withdrawn. The reconstruction defines the evidence needed to distinguish continuity of artefacts from continuity of institutions.

Public institutions and infrastructure

Public administration, energy infrastructure, accountability, and institutional design work with its own publication path, connected to the blockchain package through a shared concern with institutional form.

Visible Is Not Yet VerifiableCanadian public administration
An evidence audit withdraws the comparative accountability scores and policy recommendation, corrects a duplicated-aggregate error, and specifies the conditions for a supportable comparison.
When Can Bitcoin Mining Count as Circular Energy Policy?Bitcoin mining and provincial energy policy
A source-frozen institutional test separates operative law from proposals and requires auditable evidence for curtailment, useful heat, emissions, and ratepayer risk.

Residual Authority After Formalization

When trust is minimized, where does the residual work settle, and when does it become authority?

Distributive CaptureInfrastructure theory

Bit OffBittensor: stake-weighted evaluation

Forced Tenderx402: payment authorization and settlement

Missing LinkChainlink: oracle settlement architecture

UndoneOndo: tokenized-finance claims

Institutional boundary cases

AtonementCosmos: sovereignty and institutional maintenance

Reconnecting the DotsPolkadot: protocol transition

EtherealEthereum: infrastructure dependence

After MidnightMidnight: privacy architecture

Wider blockchain studies

Automaticgovernance study

Out of Scopecredibility study

Race Conditionmetric-capture study

Unstableclassification study

Gnot Quitecode-audit study

To No Availdata-availability study

Undertonelegal-form study

Public institutions and infrastructure

Visible Is Not Yet VerifiableCanadian public administration

When Can Bitcoin Mining Count as Circular Energy Policy?Bitcoin mining and provincial energy policy