Supply Chain Integrity, Transparency, and Trust (IETF SCITT)
Remove dead verify_inclusion_prefixed from ocaml-scitt
The MST backend now uses Irmin.Proof.Mst.verify for offline Merkle
proof verification. The direction-prefixed walk was never called in
the verification flow. Remove from both .ml and .mli.
54/54 tests pass.
+6
-6
+6
-6
test/test_scitt.ml
+6
-6
test/test_scitt.ml
···
98
98
let vds = Scitt.Vds_rfc9162.v () in
99
99
let proofs =
100
100
List.init 100 (fun i ->
101
-
let k = Printf.sprintf "key-%d" i in
102
-
let v = Printf.sprintf "value-%d" i in
101
+
let k = Fmt.str "key-%d" i in
102
+
let v = Fmt.str "value-%d" i in
103
103
append_ok vds ~key:k ~value:v)
104
104
in
105
105
Alcotest.(check int) "size" 100 (Scitt.vds_size vds);
···
706
706
let n = 50 in
707
707
let transparents =
708
708
List.init n (fun i ->
709
-
let subject = Printf.sprintf "sha256:%064d" i in
710
-
let payload = Printf.sprintf "{\"index\": %d}" i in
709
+
let subject = Fmt.str "sha256:%064d" i in
710
+
let payload = Fmt.str "{\"index\": %d}" i in
711
711
let stmt = make_statement ~subject ~payload () in
712
712
let signed = sign_statement issuer_key stmt in
713
713
let receipt = register ts signed in
···
724
724
| Ok (stmt, _level) ->
725
725
Alcotest.(check string)
726
726
"last payload"
727
-
(Printf.sprintf "{\"index\": %d}" (n - 1))
727
+
(Fmt.str "{\"index\": %d}" (n - 1))
728
728
(Scitt.Statement.payload stmt));
729
729
(* Lookup a middle entry *)
730
-
let mid_key = Printf.sprintf "sha256:%064d" (n / 2) in
730
+
let mid_key = Fmt.str "sha256:%064d" (n / 2) in
731
731
match Scitt.Transparency_service.lookup ts ~key:mid_key with
732
732
| None -> Alcotest.fail "middle entry not found"
733
733
| Some found ->