Whitepaper
3SAT Whitepaper
Current protocol thesis and mechanism notes in PDF format.
Docs
3SAT Documentation
Protocol documentation and research material for evaluators, design partners, and builders.
Open PDF
Demo Video
3SAT Demo Video
Product walkthrough and experience preview in video format.
API
Protocol API and SDK
Issuer and solver guides, 256 MiB CNF / 1 GiB proof limits, direct R2 uploads, operational boundaries, API examples and client downloads.
Academy
3SAT Academy
A SAT knowledge base covering the origin of Boolean satisfiability, CNF and DIMACS formats, solver principles, proof artifacts, and major application domains.