ibc.prove

Contract

Overview

Actions (10)

Structs (32)

Tables (14)

ABI

The data structures defined by this contract.

action

Struct property of actionproof

{
  "name": "action",
  "base": "",
  "fields": [
    {
      "name": "account",
      "type": "name"
    },
    {
      "name": "name",
      "type": "name"
    },
    {
      "name": "authorization",
      "type": "permission_level[]"
    },
    {
      "name": "data",
      "type": "bytes"
    }
  ]
}

actionproof

Struct property of checkproofb

Struct property of checkproofc

Struct property of checkproofe

Struct property of checkprooff

Table row type of actionproof

{
  "name": "actionproof",
  "base": "",
  "fields": [
    {
      "name": "action",
      "type": "action"
    },
    {
      "name": "receipt",
      "type": "actreceipt"
    },
    {
      "name": "returnvalue",
      "type": "bytes"
    },
    {
      "name": "amproofpath",
      "type": "checksum256[]"
    }
  ]
}

actreceipt

Struct property of actionproof

Table row type of actreceipt

{
  "name": "actreceipt",
  "base": "",
  "fields": [
    {
      "name": "receiver",
      "type": "name"
    },
    {
      "name": "act_digest",
      "type": "checksum256"
    },
    {
      "name": "global_sequence",
      "type": "uint64"
    },
    {
      "name": "recv_sequence",
      "type": "uint64"
    },
    {
      "name": "auth_sequence",
      "type": "authseq[]"
    },
    {
      "name": "code_sequence",
      "type": "varuint32"
    },
    {
      "name": "abi_sequence",
      "type": "varuint32"
    }
  ]
}

anchorblock

Struct property of heavyproof

Table row type of anchorblock

{
  "name": "anchorblock",
  "base": "",
  "fields": [
    {
      "name": "block",
      "type": "sblockheader"
    },
    {
      "name": "active_nodes",
      "type": "uint16[]"
    },
    {
      "name": "node_count",
      "type": "uint64"
    }
  ]
}

authseq

Struct property of actreceipt

Table row type of authseq

{
  "name": "authseq",
  "base": "",
  "fields": [
    {
      "name": "account",
      "type": "name"
    },
    {
      "name": "sequence",
      "type": "uint64"
    }
  ]
}

block_signing_authority_v0

{
  "name": "block_signing_authority_v0",
  "base": "",
  "fields": [
    {
      "name": "threshold",
      "type": "uint32"
    },
    {
      "name": "keys",
      "type": "key_weight[]"
    }
  ]
}

blockheader

Struct property of lightproof

Struct property of sblockheader

Table row type of blockheader

{
  "name": "blockheader",
  "base": "",
  "fields": [
    {
      "name": "timestamp",
      "type": "block_timestamp_type"
    },
    {
      "name": "producer",
      "type": "name"
    },
    {
      "name": "confirmed",
      "type": "uint16"
    },
    {
      "name": "previous",
      "type": "checksum256"
    },
    {
      "name": "transaction_mroot",
      "type": "checksum256"
    },
    {
      "name": "action_mroot",
      "type": "checksum256"
    },
    {
      "name": "schedule_version",
      "type": "uint32"
    },
    {
      "name": "new_producers",
      "type": "producer_schedule?"
    },
    {
      "name": "header_extensions",
      "type": "pair_uint16_bytes[]"
    }
  ]
}

chain

Table row type of chains

{
  "name": "chain",
  "base": "",
  "fields": [
    {
      "name": "name",
      "type": "name"
    },
    {
      "name": "chain_id",
      "type": "checksum256"
    },
    {
      "name": "return_value_activated",
      "type": "uint32"
    },
    {
      "name": "enabled",
      "type": "bool"
    }
  ]
}

chainschedule

Table row type of schedules

{
  "name": "chainschedule",
  "base": "",
  "fields": [
    {
      "name": "version",
      "type": "uint64"
    },
    {
      "name": "producer_schedule_v1",
      "type": "producer_schedule"
    },
    {
      "name": "producer_schedule_v2",
      "type": "schedulev2"
    },
    {
      "name": "hash",
      "type": "checksum256"
    },
    {
      "name": "first_block",
      "type": "uint32"
    },
    {
      "name": "last_block",
      "type": "uint32"
    },
    {
      "name": "expiry",
      "type": "time_point"
    }
  ]
}

checkproofa

Action parameter in checkproofa

{
  "name": "checkproofa",
  "base": "",
  "fields": [
    {
      "name": "contract",
      "type": "name"
    }
  ]
}

checkproofb

Action parameter in checkproofb

{
  "name": "checkproofb",
  "base": "",
  "fields": [
    {
      "name": "contract",
      "type": "name"
    },
    {
      "name": "actionproof",
      "type": "actionproof"
    }
  ]
}

checkproofc

Action parameter in checkproofc

{
  "name": "checkproofc",
  "base": "",
  "fields": [
    {
      "name": "contract",
      "type": "name"
    },
    {
      "name": "actionproof",
      "type": "actionproof"
    }
  ]
}

checkproofd

Action parameter in checkproofd

{
  "name": "checkproofd",
  "base": "",
  "fields": [
    {
      "name": "blockproof",
      "type": "heavyproof"
    }
  ]
}

checkproofe

Action parameter in checkproofe

{
  "name": "checkproofe",
  "base": "",
  "fields": [
    {
      "name": "blockproof",
      "type": "heavyproof"
    },
    {
      "name": "actionproof",
      "type": "actionproof"
    }
  ]
}

checkprooff

Action parameter in checkprooff

{
  "name": "checkprooff",
  "base": "",
  "fields": [
    {
      "name": "blockproof",
      "type": "lightproof"
    },
    {
      "name": "actionproof",
      "type": "actionproof"
    }
  ]
}

disable

Action parameter in disable

{
  "name": "disable",
  "base": "",
  "fields": [
    {
      "name": "chain_name",
      "type": "name"
    }
  ]
}

enable

Action parameter in enable

{
  "name": "enable",
  "base": "",
  "fields": [
    {
      "name": "chain_name",
      "type": "name"
    }
  ]
}

heavyproof

Struct property of checkproofd

Struct property of checkproofe

Struct property of hpstruct

Table row type of heavyproof

{
  "name": "heavyproof",
  "base": "",
  "fields": [
    {
      "name": "chain_id",
      "type": "checksum256"
    },
    {
      "name": "hashes",
      "type": "checksum256[]"
    },
    {
      "name": "blocktoprove",
      "type": "anchorblock"
    },
    {
      "name": "bftproof",
      "type": "sblockheader[]"
    }
  ]
}

hpstruct

Table row type of hpstruct

{
  "name": "hpstruct",
  "base": "",
  "fields": [
    {
      "name": "id",
      "type": "uint64"
    },
    {
      "name": "hp",
      "type": "heavyproof"
    }
  ]
}

inita

Action parameter in inita

{
  "name": "inita",
  "base": "",
  "fields": [
    {
      "name": "chain_name",
      "type": "name"
    },
    {
      "name": "chain_id",
      "type": "checksum256"
    },
    {
      "name": "return_value_activated",
      "type": "uint32"
    },
    {
      "name": "initial_schedule",
      "type": "producer_schedule"
    }
  ]
}

initb

Action parameter in initb

{
  "name": "initb",
  "base": "",
  "fields": [
    {
      "name": "chain_name",
      "type": "name"
    },
    {
      "name": "chain_id",
      "type": "checksum256"
    },
    {
      "name": "return_value_activated",
      "type": "uint32"
    },
    {
      "name": "initial_schedule",
      "type": "schedulev2"
    }
  ]
}

key_weight

Struct property of block_signing_authority_v0

{
  "name": "key_weight",
  "base": "",
  "fields": [
    {
      "name": "key",
      "type": "public_key"
    },
    {
      "name": "weight",
      "type": "uint16"
    }
  ]
}

lastproof

Table row type of lastproofs

{
  "name": "lastproof",
  "base": "",
  "fields": [
    {
      "name": "id",
      "type": "uint64"
    },
    {
      "name": "block_height",
      "type": "uint32"
    },
    {
      "name": "block_merkle_root",
      "type": "checksum256"
    },
    {
      "name": "expiry",
      "type": "time_point"
    }
  ]
}

lightproof

Struct property of checkprooff

Struct property of lpstruct

Table row type of lightproof

{
  "name": "lightproof",
  "base": "",
  "fields": [
    {
      "name": "chain_id",
      "type": "checksum256"
    },
    {
      "name": "header",
      "type": "blockheader"
    },
    {
      "name": "root",
      "type": "checksum256"
    },
    {
      "name": "bmproofpath",
      "type": "checksum256[]"
    }
  ]
}

lpstruct

Table row type of lpstruct

{
  "name": "lpstruct",
  "base": "",
  "fields": [
    {
      "name": "id",
      "type": "uint64"
    },
    {
      "name": "lp",
      "type": "lightproof"
    }
  ]
}

pair_uint16_bytes

Struct property of blockheader

{
  "name": "pair_uint16_bytes",
  "base": "",
  "fields": [
    {
      "name": "first",
      "type": "uint16"
    },
    {
      "name": "second",
      "type": "bytes"
    }
  ]
}

permission_level

Struct property of action

{
  "name": "permission_level",
  "base": "",
  "fields": [
    {
      "name": "actor",
      "type": "name"
    },
    {
      "name": "permission",
      "type": "name"
    }
  ]
}

producer_authority

Struct property of schedulev2

{
  "name": "producer_authority",
  "base": "",
  "fields": [
    {
      "name": "producer_name",
      "type": "name"
    },
    {
      "name": "authority",
      "type": "block_signing_authority"
    }
  ]
}

producer_key

Struct property of producer_schedule

{
  "name": "producer_key",
  "base": "",
  "fields": [
    {
      "name": "producer_name",
      "type": "name"
    },
    {
      "name": "block_signing_key",
      "type": "public_key"
    }
  ]
}

producer_schedule

Struct property of blockheader

Struct property of chainschedule

Struct property of inita

{
  "name": "producer_schedule",
  "base": "",
  "fields": [
    {
      "name": "version",
      "type": "uint32"
    },
    {
      "name": "producers",
      "type": "producer_key[]"
    }
  ]
}

sblockheader

Struct property of anchorblock

Struct property of heavyproof

Table row type of sblockheader

{
  "name": "sblockheader",
  "base": "",
  "fields": [
    {
      "name": "header",
      "type": "blockheader"
    },
    {
      "name": "producer_signatures",
      "type": "signature[]"
    },
    {
      "name": "previous_bmroot",
      "type": "checksum256"
    },
    {
      "name": "bmproofpath",
      "type": "uint16[]"
    }
  ]
}

schedulev2

Struct property of chainschedule

Struct property of initb

Table row type of schedulev2

{
  "name": "schedulev2",
  "base": "",
  "fields": [
    {
      "name": "version",
      "type": "uint32"
    },
    {
      "name": "producers",
      "type": "producer_authority[]"
    }
  ]
}