Verifier

Verifier Console

Official verifier operation is active. Third-party verifier onboarding and client downloads are temporarily paused.

Session

Wallet

AccountNot connected

NetworkNot connected (Arbitrum Sepolia 421614)

USDC Balance****

$3SAT Balance****

Install a browser wallet to submit protocol transactions.

Official verifier operation only

During the initial launch period, verification is operated by the official 3SAT verifier node. Third-party and personal verifier node onboarding is not open yet, so public staking actions and verifier client downloads are temporarily disabled in the app.

Verifier

Verifier Status

Stake amount ($3SAT)

Profile URI (optional)

Unstake amount ($3SAT)

WalletNot connected

Eligibility status-

Minimum stake-

Active stake-

Pending unstake-

Unstake ready at-

Unbonding delay-

Registered-

Enabled-

Automation

Verifier Client

Windows x86_64Linux amd64Linux arm64macOS Apple SiliconmacOS Intel

Verifier automation packages are not available for public download during the initial launch period. The official verifier node monitors revealed submissions and submits attestations.

Optional advanced .env overrides

# Advanced runtime controls (optional)
# How often to poll revealed submissions.
POLL_INTERVAL_SECONDS=30

# Maximum revealed submissions checked per poll.
MAX_SUBMISSIONS_PER_POLL=10

# Submit reject attestations for invalid solutions.
ATTEST_REJECTS=true

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

# Verify locally without sending attest transactions when true. Live mode is false.
DRY_RUN=false

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

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

# Kissat UNSAT proofs use DRAT and are checked with drat-trim.
DRAT_CHECKER_PATH=

# CryptoMiniSat UNSAT proofs use FRAT/FRAT-XOR.
# The checker pipeline is: frat-xor elab -> cake_xlrup.
FRAT_XOR_PATH=

CAKE_XLRUP_PATH=

# Optional LRAT checker via frat-xor lratchk or frat-rs lratchk.
FRAT_RS_PATH=

# Optional standalone LRAT checker.
LRAT_CHECKER_PATH=

# Maximum proof-checking time per submission.
PROOF_CHECK_TIMEOUT_SECONDS=300