Turn order & election
Who acts, and in what order—fairly or secretly?
VRF · verified shuffle · sortition · threshold-sealed order
proof-native semantic computer
Public proof record operations
A distributed operating system, verb first
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
A status belongs to an individual operation, never automatically to its family.
Who acts, and in what order—fairly or secretly?
VRF · verified shuffle · sortition · threshold-sealed order
What may be used without becoming visible?
legal-move proof · hidden hand · FHE state · MPC · PIR
Which uncertainty is shared, unbiased, and checkable?
beacon · commit–reveal · weighted draw · anti-abort consequence
Who receives which scarce thing, under which optimum?
sealed auction · assignment · barter ring · nullifier
Which history may independent parties use as common footing?
finality · conflict-free merge · light client · dispute
Who may act, under authority that can narrow or end?
attenuable capability · anonymous credential · revocation · reputation
What makes an exchange atomic and a promise costly to break?
bond · escrow · conserving turn · private AMM · metered mandate
02
Representative record
DKG, FROST/hybrid quorum machinery, VRFs, beacons, and epoch rotation have executable implementations and refusal tests.
The Dark Bazaar proves a volume-maximizing clearing price over committed private orders; proof consumers see only the result.
Participant legs share one turn identity and one aggregate conservation equation; agreement follows from the common apex.
Authority can be delegated only in narrower form and rechecked at the committed state where it is exercised.
FHE, MPC, threshold custody, and masked boundaries exist, but not every private relation yet has maliciously secure distributed witness production end to end.