CLI

colibri.stateless includes a native command-line interface. It can generate proofs and verify them, enabling use in shell scripts, cron jobs, tests, and development workflows.

Configuration

Arguments can be passed directly to the prover or verifier. Backend API settings can also be provided through a config file. colibri tools search for configuration in the following order:

1. use the path set in the C4_CONFIG environment variable

2. search the current directory for c4_config.json

3. fall back to built-in defaults

This file is a JSON file in the form:

{
  "eth_rpc": ["https://nameless-sly-reel.quiknode.pro/<APIKEY>/", "https://eth-mainnet.g.alchemy.com/v2/<APIKEY>", "https://rpc.ankr.com/eth/<APIKEY>"],
  "beacon_api": ["https://lodestar-mainnet.chainsafe.io"]
}