colibri-verifier

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

Options

Option	Argument	Description	Default
-c	<chain_id>	Chain name or ID
-l	<log_level>	Log level (0=silent, 1=error, 2=info, 3=debug, 4=debug_full)
-b	<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
-x	<checkpointz_url>	URL of a checkpointz or beacon-api
-h		Display this help message
<method>		Method to verify
<args>		Arguments for the method