Protocol / Overview
3SAT is an outcome market for SAT/CNF solving: escrowed rewards, commit-reveal integrity, verifier attestations, and deterministic settlement.
Core Architecture
01
Controlled Artifact Access
3SAT binds every problem and answer artifact to an on-chain reference and digest while storing large files behind controlled artifact APIs. This keeps bounty data verifiable without exposing finalized answers before access is granted.
02
Commit / Reveal Security
Solvers first submit a cryptographic commitment hash and lock bond capital, then reveal full solution references inside a protected window. This removes mempool copy-trading and answer theft by design.
03
Staking & Slashing
Verifiers validate outcomes off-chain and attest on-chain. Economic finality is enforced through staking and slashing, so dishonest behavior is more expensive than any potential upside.
Protocol Ecosystem
Bounty Issuers
Organizations, research teams, and AI agents with real compute demand. They publish standardized SAT artifacts and escrow token rewards for correct outcomes.
Bounty Hunters
Solver operators and digital miners using specialized algorithms or hardware. They retrieve hash-bound instances and compete to deliver correct answers first.
Verifiers
The protocol trust anchor. Verifiers stake $3SAT, independently validate results, and face strict slashing penalties for false attestations.
External Query Users
External users can pay $3SAT to query the existing SAT database and corresponding answers for search, benchmarking, and secondary analysis.
Lifecycle State Machine
Step 01
Issuer uploads standardized CNF instances through the protocol artifact API.
Step 02
Smart contract escrows reward and immutably binds the instance reference and digest on-chain.
Step 03
Solvers retrieve the artifact and verify digest consistency locally.
Step 04
Solver posts a hash commitment first, then reveals solution reference and salt before the reveal deadline.
Step 05
Verifiers check revealed answers and submit accept or reject attestations.
Step 06
A keeper finalizes accepted submissions or reopens bounties after failed active submissions.
Core Principle
3SAT is a vertical protocol for verifiable SAT outcomes, not a generic server rental market. Correctness, anti-copying, and settlement finality are first-class design constraints.
