Module ReceiptClaimLib

Module containing a contract’s types and functions.

library ReceiptClaimLib {
    using OutputLib for Output;
    using SystemStateLib for SystemState;
    bytes32 constant TAG_DIGEST = <expr>;
    bytes32 constant SYSTEM_STATE_ZERO_DIGEST = <expr>;
    function ok(bytes32 imageId, bytes32 journalDigest) internal pure returns (ReceiptClaim memory) { <stmts> }
    function digest(ReceiptClaim memory claim) internal pure returns (bytes32) { <stmts> }
}

Structs

ReceiptClaimLibInstance

A ReceiptClaimLib instance.

digestCall

Function with signature digest((bytes32,bytes32,(uint8,uint8),bytes32,bytes32)) and selector 0x357ad72b.

digestReturn

Container type for the return parameters of the digest((bytes32,bytes32,(uint8,uint8),bytes32,bytes32)) function.

okCall

@notice Construct a ReceiptClaim from the given imageId and journalDigest. Returned ReceiptClaim will represent a successful execution of the zkVM, running the program committed by imageId and resulting in the journal specified by journalDigest. @param imageId The identifier for the guest program. @param journalDigest The SHA-256 digest of the journal bytes. @dev Input hash and postStateDigest are set to all-zeros (i.e. no committed input, or final memory state), the exit code is (Halted, 0), and there are no assumptions (i.e. the receipt is unconditional). Function with signature ok(bytes32,bytes32) and selector 0xdfc1245e.

okReturn

@notice Construct a ReceiptClaim from the given imageId and journalDigest. Returned ReceiptClaim will represent a successful execution of the zkVM, running the program committed by imageId and resulting in the journal specified by journalDigest. @param imageId The identifier for the guest program. @param journalDigest The SHA-256 digest of the journal bytes. @dev Input hash and postStateDigest are set to all-zeros (i.e. no committed input, or final memory state), the exit code is (Halted, 0), and there are no assumptions (i.e. the receipt is unconditional). Container type for the return parameters of the ok(bytes32,bytes32) function.

Enums

ReceiptClaimLibCalls

Container for all the ReceiptClaimLib function calls.

Functions

new

Creates a new wrapper around an on-chain ReceiptClaimLib contract instance.