LibMachineValidityProof
Functions
validate
Validate a machine and prove its outputs Merkle root.
May raise InvalidSiblingsArrayLength, InvalidMachineMerkleProof,
InvalidPostEpochMachineIflagsYRegister, or
InvalidPostEpochMachineHtifTohostRegister.
function validate(MachineValidityProof calldata v, bytes32 machineMerkleRoot)
internal
pure
returns (bytes32 outputsMerkleRoot);
Parameters
| Name | Type | Description |
|---|---|---|
v | MachineValidityProof | The machine validity proof |
machineMerkleRoot | bytes32 | The machine Merkle root |
Returns
| Name | Type | Description |
|---|---|---|
outputsMerkleRoot | bytes32 | The proven outputs Merkle root |