colibri-verifier
Last updated
The colibri-verifier command is used to verify a proof for a given method and parameters. You can pass either a proof file as input or a url to a prover-service. If none are specified the default prover-service will be used.
# Verify a proof for the eth_getBlockByNumber method
colibri-verifier -i block_proof.ssz eth_getBlockByNumber latest false-c
<chain_id>
Chain name or ID
-l
<log_level>
Log level (0=silent, 1=error, 2=info, 3=debug, 4=debug_full)
-C
<block_hash>
Trusted checkpoint
-s
<cache_dir>
cache-directory
-t
<test_dir>
Test directory (if -DTEST=1)
-i
<proof_file>
Proof file to verify
-o
<proof_file>
Proof file to write
-p
<prover_url>
URL of the prover
-r
<rpc_url>
URL of the rpc-prover
-b
<beacon_url>
URL of the beacon-api
-x
<checkpointz_url>
URL of a checkpointz or beacon-api
-m
<mode>
Prover mode: local, remote, hybrid
-P
Enable PAP (Pragmatic Adaptive Privacy) mode
-W
Skip the Weak Subjectivity Period check (sets VERIFY_FLAG_SKIP_WSP_CHECK). SECURITY: only safe when another trust anchor (witness signatures, hard-coded checkpoint, signed package) is in place; raises the risk of long-range attacks across periods older than the WSP.
-A
<seconds>
Maximum age (in seconds) accepted for proofs whose request uses the "latest" block tag. Currently active for eth_call, eth_estimateGas, and colibri_simulateTransaction. 0 disables the check.
60
-h
Display this help message
<method>
Method to verify
<args>
Arguments for the method
Last updated