fn verify(ts: Vec<(LedgerProof, SokMessage)>) -> Result<(), String>
https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/transaction_snark/transaction_snark.ml#L3492