Public proof record operations

A distributed operating system, verb first

The primitive is not consensus. It is a distributed operation with a meaning.

Consensus can order bytes. A distributed operation says what the group did: elected a leader, allocated a scarce thing, opened only a result, joined histories, or exchanged resources atomically.

01

The repertoire

Seven families of shared action.

A status belongs to an individual operation, never automatically to its family.

01

Turn order & election

Who acts, and in what order—fairly or secretly?

VRF · verified shuffle · sortition · threshold-sealed order

02

Hidden information

What may be used without becoming visible?

legal-move proof · hidden hand · FHE state · MPC · PIR

03

Randomness & fairness

Which uncertainty is shared, unbiased, and checkable?

beacon · commit–reveal · weighted draw · anti-abort consequence

04

Matching & allocation

Who receives which scarce thing, under which optimum?

sealed auction · assignment · barter ring · nullifier

05

Shared-state agreement

Which history may independent parties use as common footing?

finality · conflict-free merge · light client · dispute

06

Identity & roles

Who may act, under authority that can narrow or end?

attenuable capability · anonymous credential · revocation · reputation

07

Economics & incentives

What makes an exchange atomic and a promise costly to break?

bond · escrow · conserving turn · private AMM · metered mandate

02

Representative record

Concrete operations, at their present resolution.

running

Threshold randomness

DKG, FROST/hybrid quorum machinery, VRFs, beacons, and epoch rotation have executable implementations and refusal tests.

Hiding proof

Private uniform clearing

The Dark Bazaar proves a volume-maximizing clearing price over committed private orders; proof consumers see only the result.

machine-checked

Atomic multi-party turn

Participant legs share one turn identity and one aggregate conservation equation; agreement follows from the common apex.

running

Capability attenuation and revocation

Authority can be delegated only in narrower form and rechecked at the committed state where it is exercised.

frontier

No-single-viewer production

FHE, MPC, threshold custody, and masked boundaries exist, but not every private relation yet has maliciously secure distributed witness production end to end.