Solver

Solver Console

Prepare solver commitments, preserve reveal data, and submit the reveal transaction during the protected window.

Session

Wallet

AccountNot connected

NetworkNot connected (Arbitrum One 42161)

USDC Balance****

$3SAT Balance****

Install a browser wallet to submit protocol transactions.

Solver

Bounty

Bounty CodePublic bounty code from the marketplace, for example SAT-XXXX-XXXX-XXXX.

Solver bondProtocol-level collateral locked when committing a solution. It is configured by the protocol owner per payment asset and read from the contract, not configured by solvers.

Bounty Details

Bounty Code-

Title-

Reward currency$3SAT

Reward-

Verifier reward pool-

Verifier quorum-

Open solving duration-

Reveal deadline after commit-

Verification duration-

Instance file-

Task description

Commit / Reveal

Solution

Upload ResultSAT assignment CNF up to 256 MiB, or UNSAT proof up to 1 GiB. Wait for background upload validation before committing. Mathematical proof verification happens after reveal.

Choose file

No file selected

Result typeSAT assignment means the solver found a satisfying assignment. UNSAT proof means the solver proved no satisfying assignment exists.

SaltA private random value used to hide your solution during commit. Keep it unchanged until reveal.

Submission IDThe contract assigns this after your commit transaction. Select the submission you want to reveal.

Reveal bundleRead-only summary generated from the bounty, uploaded solution, salt, and wallet. These values must match the earlier commit.

Bounty Code-

Submission ID-

Solver-

Result typeSAT assignment

Proof formatNone

Result digest-

Salt0xbd5377d629d19931c060cca6ea489151a236e8975d0fd4e06f59283f1e06915f

Commit hash-

Automation

Automation Solver Client

CryptoMiniSat integration

General-purpose SAT solving client with Windows, Linux, and macOS packages.

Windows x86_64 Linux amd64 Linux arm64 macOS Apple Silicon macOS Intel

Kissat integration

Kissat 4.0.4 solver client for Linux and macOS users who prefer this engine.

Linux amd64 macOS Apple Silicon macOS Intel

Download a package, run the start script, and the client will ask for the dedicated solver wallet private key in that same window on first launch. It then continues directly into automated solving.

macOS and Linux packages require Node.js LTS to be installed first. On macOS, install it from nodejs.org or run brew install node.

Advanced solver CLI

Professional solvers can use the open-source 3SAT CLI for solution upload, commit preparation, commit submission, and reveal without running the full automatic client.

GitHub CLI docs

Optional advanced .env overridesThe downloaded client already defaults to the current deployment. These settings are only for advanced users who want to tune polling, limits, or local paths.

# Advanced runtime controls (optional)
# How often to poll marketplace bounties.
POLL_INTERVAL_SECONDS=60

# Maximum bounties inspected per poll.
MAX_BOUNTIES_PER_POLL=5

# Maximum solving jobs tracked at once.
MAX_ACTIVE_JOBS=3

# Skip bounties too close to the commit deadline.
MIN_COMMIT_SECONDS_LEFT=120

# Optional SAT solver time limit per bounty. 0 disables the timer; a positive value sets the limit in seconds.
SOLVE_TIMEOUT_SECONDS=0

# Allow solving bounties that already have submissions.
ALLOW_COMPETING_SUBMISSIONS=false

# Keep watching after reveal until finalization.
WAIT_FOR_FINALIZATION=true

# Solve locally without upload/transactions when true. Live mode is false.
DRY_RUN=false

# Exit after one polling cycle. Keep false for continuous solving.
RUN_ONCE=false

# Local folder for downloaded/uploaded artifacts.
ARTIFACT_DIR=data/artifacts

# Local solver job state file.
STATE_FILE=data/solver-state.json

# Local log file.
LOG_FILE=logs/solver-client.log