pub fn replay(file: &OtsFile) -> Result<Vec<(Vec<u8>, Attestation)>, WireError>Expand description
Replay the proof tree from file.digest, yielding every
(terminal_message, attestation) pair.
This is the verification core: an attestation is only meaningful for the message the op-chain actually computes from the digest — replay computes those messages.