# 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.

```sh
    # 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                                      |         |
