Skip to main content

Proof

Data that can be used as proof to validate notices and execute vouchers on the base layer blockchain

type Proof {
outputHashesRootHash: String!
vouchersEpochRootHash: String!
noticesEpochRootHash: String!
machineStateHash: String!
keccakInHashesSiblings: [String!]!
outputHashesInEpochSiblings: [String!]!
}

Fields

outputHashesRootHash (String!)

Merkle root of all output metadata hashes of the related input, given in Ethereum hex binary format (32 bytes), starting with '0x'

vouchersEpochRootHash (String!)

Merkle root of all voucher metadata hashes of the related epoch, given in Ethereum hex binary format (32 bytes), starting with '0x'

noticesEpochRootHash (String!)

Merkle root of all notice metadata hashes of the related epoch, given in Ethereum hex binary format (32 bytes), starting with '0x'

machineStateHash (String!)

Hash of the machine state claimed for the related epoch, given in Ethereum hex binary format (32 bytes), starting with '0x'

keccakInHashesSiblings ([String!]!)

Array of hashes representing a proof that this output metadata is in the metadata memory range, where each hash is given in Ethereum hex binary format (32 bytes), starting with '0x'

outputHashesInEpochSiblings ([String!]!)

Array of hashes representing a proof that this output metadata is in the epoch's output memory range, where each hash is given in Ethereum hex binary format (32 bytes), starting with '0x'

On this page

© 2024 Cartesi Foundation Ltd. All rights reserved.

The Cartesi Project is commissioned by the Cartesi Foundation.

We use cookies to ensure that we give you the best experience on our website. By using the website, you agree to the use of cookies.