contract_inclusion
Standalone Functions
prove_contract_deployment
prove_contract_deployment(header, contract_address);
Parameters
| Name | Type |
|---|---|
| header | Header |
| contract_address | AztecAddress |
prove_contract_deployment
prove_contract_deployment(self, contract_address);
Parameters
| Name | Type |
|---|---|
| self | |
| contract_address | AztecAddress |
prove_contract_non_deployment
prove_contract_non_deployment(header, contract_address);
Parameters
| Name | Type |
|---|---|
| header | Header |
| contract_address | AztecAddress |
prove_contract_non_deployment
prove_contract_non_deployment(self, contract_address);
Parameters
| Name | Type |
|---|---|
| self | |
| contract_address | AztecAddress |
prove_contract_initialization
prove_contract_initialization(header, contract_address);
Parameters
| Name | Type |
|---|---|
| header | Header |
| contract_address | AztecAddress |
prove_contract_initialization
prove_contract_initialization(self, contract_address);
Parameters
| Name | Type |
|---|---|
| self | |
| contract_address | AztecAddress |
prove_contract_non_initialization
prove_contract_non_initialization(header, contract_address);
Parameters
| Name | Type |
|---|---|
| header | Header |
| contract_address | AztecAddress |
prove_contract_non_initialization
prove_contract_non_initialization(self, contract_address);
Parameters
| Name | Type |
|---|---|
| self | |
| contract_address | AztecAddress |