MachineValidityProof
Contains information used to prove the validity of a post-epoch machine state (yielded manually with an 'rx accepted' reason) and its outputs Merkle root (stored at the start of the tx buffer).
struct MachineValidityProof {
LeafProof iflagsYProof;
LeafProof htifTohostProof;
LeafProof txBufferProof;
}
Properties
| Name | Type | Description |
|---|---|---|
iflagsYProof | LeafProof | Proves the iflags_Y register |
htifTohostProof | LeafProof | Proves the HTIF tohost register |
txBufferProof | LeafProof | Proves the first data block of the CMIO tx buffer |