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 One 42161)

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 fileDIMACS .cnf, up to 256 MiB. Uploads go directly to object storage; background validation must finish before bounty creation. Large-instance search uses exact file hashes.

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)Minimum 1 hour. This is how long the bounty stays open for solvers before a first valid commit; rejected or expired submissions reopen this window.

Reveal deadline after commit (hours)Minimum 1 hour. It starts immediately after a solver commits; the solver must reveal the result descriptor and salt before the deadline.

Verification window (hours)Minimum 1 hour. It starts immediately after reveal while verifiers check the 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 hour

Reveal deadline after commit1 hour

Verification duration1 hour

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