1
2
3
4
5
6
7
8

module String = Core.String
module List = Core.List

let verify ~pub ~msg ~signature =
  let indexed_keys = Utils.indexed_keys msg in
  let hashes = String.split signature ~on:'-' in
  let proofs = List.zip_exn indexed_keys hashes in
  Utils.verify_with ~matrix:pub ~digest:Hash.digest proofs