Focus
How to connect existing workflows.
- Define instance formatting and payout policies.
- Track commit, reveal, attestation, and challenge states.
- Integrate settlement finality into downstream systems.
Builders
Integration Guide
Integrate SAT/CNF pipelines by mapping internal tasks to protocol bounties and consuming verified outcomes through deterministic status transitions.
Next Step
Continue evaluating 3SAT Coin
Review docs for whitepaper context, and explore adjacent sections in the navigation dropdown.