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 each public problem to its on-chain reference and digest, while answers reveal only their content descriptor and remain behind controlled artifact APIs. This keeps results verifiable without publishing private answer locations.
02
Commit / Reveal Security
Solvers first submit a domain-separated cryptographic commitment and lock bond capital, then reveal the result type, proof format, content digest, and salt inside a protected window.
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 the result descriptor 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.
