Submit and check ZK proofs with basectl proofs

basectl proofs submits and checks ZK proof requests on the internal prover service. You use it to speed up finality for a range of blocks when needed.

The prover service is internal, so the built-in configs don’t include its address. Provide it in one of these ways (checked in this order): the --prover-rpc flag, the BASECTL_PROVER_RPC environment variable, or a prover_rpc value in your config.

Commands

basectl proofs finalize <START_BLOCK> <NUM_BLOCKS> requests a proof for a range of consecutive L2 blocks.
basectl proofs status <SESSION_ID> shows the status and result of a proof request.
basectl proofs list lists your proof requests.

Flags

proofs finalize

Flag	Description
`--session-id <ID>`	A unique ID for the request. If you leave it out, `basectl` builds one from the network name and block range, so re-running the same command reuses the existing request instead of creating a duplicate.
`--l1-head <HASH>`	The L1 head hash to use. If you leave it out, the prover service picks one.
`--sequence-window <N>`	The sequencing window to pass to the prover.
`--intermediate-root-interval <N>`	The intermediate output-root interval to pass to the prover.
`--wait`	Wait for the proof to finish, then exit with an error if it failed or didn’t complete in time.
`--prover-rpc <URL>`	The prover-service URL. Can also come from `BASECTL_PROVER_RPC` or `prover_rpc` in your config.
`--yes`	Skip the confirmation prompt.
`--json`	Print the result as JSON. Requires `--yes` so an automated run never waits for input.

proofs status

Flag	Description
`--prover-rpc <URL>`	The prover-service URL. Can also come from `BASECTL_PROVER_RPC` or `prover_rpc` in your config.
`--json`	Print JSON instead of text.
`--raw`	Add to `--json` to print the raw response from the prover service. Using `--raw` without `--json` is an error.

proofs list

Flag	Description
`--status <STATUS>`	Show only proofs with this status: `queued`, `running`, `succeeded`, or `failed`.
`--offset <N>`	Number of rows to skip. Default `0`.
`--limit <N>`	Maximum number of rows to return. Default `50`.
`--prover-rpc <URL>`	The prover-service URL. Can also come from `BASECTL_PROVER_RPC` or `prover_rpc` in your config.
`--json`	Print JSON instead of text.

Examples

Work with proofs

# Request a proof for 10 blocks (asks for confirmation first)
basectl -c devnet proofs finalize 820122 10 --prover-rpc https://your-prover.example/

# Request a proof without a prompt and wait for it to finish
basectl -c devnet proofs finalize 820122 10 --prover-rpc https://your-prover.example/ --yes --wait

# Check the status of a request
basectl -c devnet proofs status <SESSION_ID> --prover-rpc https://your-prover.example/

# List running requests as JSON
basectl -c devnet proofs list --status running --prover-rpc https://your-prover.example/ --json | jq .

Beryl Upgrade

Introduction

Core Concepts

Node Operators

Network Reference

API Reference

Protocol Specifications

Security

Submit and check ZK proofs with basectl proofs

Commands

Flags

proofs finalize

proofs status

proofs list

Examples

​Commands

​Flags

​proofs finalize

​proofs status

​proofs list

​Examples

​Related

Commands

Flags

proofs finalize

proofs status

proofs list

Examples

Related