Protocol / Overview
3SAT is an outcome market for SAT/CNF solving: escrowed rewards, commit-reveal integrity, verifier attestations, and deterministic settlement.
Core Architecture
01
Content-Addressed DA
3SAT rejects single points of failure and data withholding. Every instance is bound to an IPFS/Arweave CID at creation, making artifacts openly retrievable by the network and removing privileged first-look access.
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 CID-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 coin 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 to decentralized storage.
Step 02
Smart contract escrows reward and immutably binds the instance CID on-chain.
Step 03
Solvers retrieve the artifact and verify CID consistency locally.
Step 04
Solver posts a hash commitment first, then reveals solution reference and salt in a secure window.
Step 05
Verifiers attest off-chain, and challenges can be raised against incorrect outcomes.
Step 06
Reward release, fee routing, and slashing flows settle automatically after finality.
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.
