Expand description
The Universal Seal Primitive — Canonical Right Type
A Right can be exercised at most once under the strongest available guarantee of the host chain. This is the core invariant of the entire system.
§Enforcement Layers
| Level | Name | Chains | Mechanism |
|---|---|---|---|
| L1 | Structural | Bitcoin, Sui | Spend UTXO / Consume Object |
| L2 | Type-Enforced | Aptos | Destroy Move Resource |
| L3 | Cryptographic | Ethereum | Nullifier Registration |
§Client-Side Validation
The chain does NOT validate state transitions. It only:
- Records the commitment (anchor)
- Enforces single-use of the Right
Clients do everything else:
- Fetch the full state history for a contract
- Verify the commitment chain from genesis to present
- Check that no Right was consumed more than once
- Accept or reject the consignment based on local validation
Structs§
- Ownership
Proof - Proof of ownership for a Right.
- Right
- A consumable Right in the USP system.
- RightId
- A unique Right identifier.
Enums§
- Right
Error - Right validation errors.