Supply Chain Integrity, Transparency, and Trust (IETF SCITT)
irmin: remove Any wrapper — step/up return cursor directly
+4
-4
+2
-2
lib/atp/scitt_atp.ml
+2
-2
lib/atp/scitt_atp.ml
···
174
174
let proof, _value =
175
175
S.produce C.heap repo_schema tree_root (fun c ->
176
176
match S.step c rk with
177
-
| Some (S.Any leaf) -> (S.Any leaf, S.get leaf)
178
-
| None -> (S.Any c, None))
177
+
| Some leaf -> (leaf, S.get leaf)
178
+
| None -> (c, None))
179
179
in
180
180
(* Encode proof as CBOR: [repo_key, [before, after, [[cid, block], ...]]] *)
181
181
let proof_cbor =
+2
-2
lib/proof.ml
+2
-2
lib/proof.ml
···
169
169
match
170
170
S.verify proof repo_schema (fun c ->
171
171
match S.step c repo_key with
172
-
| Some (S.Any leaf) -> (S.Any leaf, S.get leaf)
173
-
| None -> (S.Any c, None))
172
+
| Some leaf -> (leaf, S.get leaf)
173
+
| None -> (c, None))
174
174
with
175
175
| Ok (Some dagcbor) -> (
176
176
match extract_cose dagcbor with