pub fn verify(file: &OtsFile) -> Result<OtsWireVerification, WireError>Expand description
Replay and classify: partition every attestation by kind, paired with the message the op-chain computed for it. A proof whose tree yields no attestations verifies nothing.