Verifier

Verifier Console

The console reads the registry's live admission mode. Official-only launch controls and permissionless onboarding follow the on-chain setting.

Session

Wallet

AccountNot connected

NetworkNot connected (Arbitrum Sepolia 421614)

USDC Balance****

$3SAT Balance****

Install a browser wallet to submit protocol transactions.

Reading verifier admission mode

The app is checking whether this registry enforces official-only or permissionless verifier admission. Onboarding remains disabled until the mode is confirmed.

Verifier

Verifier Status

Stake amount ($3SAT)

Profile URI (optional)

Unstake amount ($3SAT)

WalletNot connected

Admission modeLoading...

Official approval-

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 tools remain disabled until the registry admission mode is confirmed.

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