colibri-prover

The colibri-prover command is used to create proofs for a given method and parameters. It works without any backend.

    # Create a proof for the eth_getBlockByNumber method
    colibri-prover -o block_proof.ssz eth_getBlockByNumber latest false

Options

Option	Argument	Description	Default
-c	<chain_id>	Selected chain	MAINNET (1)
-t	<testname>	Generates test files in test/data/<testname>
-x	<cachedir>	Caches all requests in the cache directory
-o	<outputfile>	SSZ file with the proof	stdout
-d	<chain_store>	Use chain_data from the chain_store found within the path
-i		Include code in the proof
<method>		The method to execute
<params>		Parameters for the method

c4_print_version

cli/prover.c

Main entry point for the colibri-prover CLI tool. Parses command-line arguments, creates a prover context, and executes the proof generation.

int main(int argc, char* argv[]) {
  // Check for --version or -v flag
  if (argc >= 2 && (strcmp(argv[1], "--version") == 0 || strcmp(argv[1], "-v") == 0)) {
    c4_print_version(stdout, "colibri-prover");

Parameters

• argc : Number of command-line arguments

• argv : Array of command-line argument strings

Returns

EXIT_SUCCESS on success, EXIT_FAILURE on error