Proof roadmap
PlannedThe four planned proofs, their public and hidden inputs, what each guarantees and what it does not.
Planned Not built.
Proof of correct clearing#
Planned
| Public inputs | Batch commitments, reference price samples, midpoint, total crossed, commitment to the fill list |
| Hidden inputs | Every order (side, size, limit, salt), per-order fills |
| Guarantees | Every fill follows the published clearing rules for the committed orders |
| Does not guarantee | That the reference price was fair, or that participants are who they claim |
Cluster-cap proof#
Planned
| Public inputs | Launch cap, merged cluster set commitment |
| Hidden inputs | Wallets in each cluster, their allocations |
| Guarantees | No cluster received more than the cap |
| Does not guarantee | That the clustering itself was correct |
Membership proof#
Planned
| Public inputs | Merkle root of a published list |
| Hidden inputs | Your address and its path in the tree |
| Guarantees | You are in the list |
| Does not guarantee | That the list is accurate or complete |
Agent policy proof#
Planned
| Public inputs | Policy commitment, action commitment |
| Hidden inputs | Policy details, action details |
| Guarantees | The action satisfied the declared policy |
| Does not guarantee | That the policy is a good one |
Last updated 2026-09-28