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 Sepolia 421614)

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 ResultUpload a SAT assignment as .cnf, or an UNSAT proof in the proof format selected below. Only a revealed and finalized result becomes valid in the paid database.

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-

Salt0xc6c30d96ba037454029baa753a2302f83655b7af90a2e84527e8747285375871

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

# Maximum time allowed for the bundled SAT solver per bounty.
SOLVE_TIMEOUT_SECONDS=600

# Ignore bounties below this displayed reward amount.
MIN_REWARD_TOKEN=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