Skip to main content

contract_inclusion

Standalone Functions

prove_contract_deployment

prove_contract_deployment(header, contract_address);

Parameters

NameType
headerHeader
contract_addressAztecAddress

prove_contract_deployment

prove_contract_deployment(self, contract_address);

Parameters

NameType
self
contract_addressAztecAddress

prove_contract_non_deployment

prove_contract_non_deployment(header, contract_address);

Parameters

NameType
headerHeader
contract_addressAztecAddress

prove_contract_non_deployment

prove_contract_non_deployment(self, contract_address);

Parameters

NameType
self
contract_addressAztecAddress

prove_contract_initialization

prove_contract_initialization(header, contract_address);

Parameters

NameType
headerHeader
contract_addressAztecAddress

prove_contract_initialization

prove_contract_initialization(self, contract_address);

Parameters

NameType
self
contract_addressAztecAddress

prove_contract_non_initialization

prove_contract_non_initialization(header, contract_address);

Parameters

NameType
headerHeader
contract_addressAztecAddress

prove_contract_non_initialization

prove_contract_non_initialization(self, contract_address);

Parameters

NameType
self
contract_addressAztecAddress