CLI Command Overview

In this tutorial, you will learn about the command line introduction related to fiammad zkpverify.

Note! that the cli here refers to transactions and queries in the fiamma verification network and doesn't include the regular cosmos application chain.

Use cli tools fiammad you can send transactions with tx zkpverify [command] [flags] and queries with query zkpverify [command] [flags].

Global Flags usually contains: --from, --chain-id, --gas, --node, --keyring-backend.

command currently support:

Tx Type CLI

• submit-proof

• submit-community-verification

submit-proof

A (zkpverify) operation for verifying a proof by proof_system, proof, public_input and vk.

request params:

{
  "proof_system": "string",
  "proof": "string",
  "public_input": "string",
  "vk": "string"
}

submit-community-verification

A community (zkpverify) operation for verifying a proof by proof_id and verify_result.

request params:

{
  "proof_id": "string",
  "verify_result": bool
}

Query Type CLI

• get-proof-data

• get-bitvm-witness

• get-verify-result

• pending-proof

get-bitvm-witness

Query bitVM witness stored in the fiamma by proof_id.

request params:

{
  "proof_id": "string",
}

response:

{
  "witness": "string"
}

get-proof-data

Query Proof data stored in the fiamma by proof_id.

request params:

{
  "proof_id": "string",
}

response:

{
  "proof_data": {
    "proof_system": "string",
    "proof": "string",
    "public_input": "string",
    "vk": "string"
  }
}

get-verify-result

Query Proof verify status stored in the fiamma by proof_id.

request params:

{
  "proof_id": "string",
}

response:

  {
      "proof_id": "string",
      "proof_system": "string",
      "data_commitment": "string",
      "data_location": "string",
      "result": bool,
      "status": "string",
      "community_verification_count": "string"
    },

pending-proof

Queries a list of pending proof verification items.

response:

{
  "pending_proofs": [
    {
      "proof_id": "string",
      "proof_system": "string",
      "data_commitment": "string",
      "data_location": "string",
      "result": bool,
      "status": "string",
      "community_verification_count": "string"
    },
    ...
  ],
  "pagination": {
    "next_key": "string",
    "total": "string"
  }
}