Issuer

Issuer Console

Create an escrowed SAT/CNF bounty with content-addressed references, reward economics, and verification windows.

Session

Wallet

AccountNot connected

NetworkNot connected (Arbitrum Sepolia 421614)

USDC Balance****

$3SAT Balance****

Install a browser wallet to submit protocol transactions.

Issuer

Bounty Parameters

Reward currencyIssuer chooses the escrow token for this bounty. Solver reward, verifier reward pool, and solver bond use this same token.

TitlePublic name shown in the marketplace and bounty detail page.

Instance fileThe SAT problem file. The protocol expects a DIMACS .cnf file and stores a private file reference plus hash for the bounty.

Choose file

No file selected

Verifier quorumCurrently fixed to 1 because verification is operated by the official 3SAT verifier node during the initial launch period. Third-party verifier onboarding is not open yet.

Reward (USDC)Escrowed by the issuer and paid to the winning solver after finalization.

Open solving window (hours)How long the bounty stays open for solvers before a first valid commit. If a submitted solution is rejected or not revealed, this window reopens for other solvers.

Reveal deadline after commit (hours)Starts immediately after a solver commits. The committed solver must reveal their solution file reference, digest, and salt before this deadline.

Verification window (hours)Starts immediately after reveal. Verifiers check the revealed answer and submit accept/reject attestations.

Task descriptionPublic instructions for solvers and verifiers, such as expected result format or benchmark context.

0/200

Escrow

Bounty Preview

Instance file-

Reward currencyUSDC

Solver reward1000 USDC

Verifier reward pool20 USDC (2%)

Escrow total1020 USDC

Open solving duration1 day

Reveal deadline after commit1 day

Verification duration1 day

Connect a wallet. Upload an instance file.

Developer tools

3SAT CLI

Command line bounty creation

Advanced issuers can use the open-source 3SAT CLI to dry-run CNF validation, create bounties, inspect supported tokens, and prepare wallet-signed transactions from scripts.

GitHub CLI docs