Commit 2c65376f authored by Stephane Glondu's avatar Stephane Glondu
Browse files

big_hs is more trustworthy than proof, use it first

parent 66e282ed
...@@ -108,8 +108,8 @@ let verify_disjunct pk big_g big_h proof_item = ...@@ -108,8 +108,8 @@ let verify_disjunct pk big_g big_h proof_item =
true true
let verify_disj_proof pk big_g big_hs proof = let verify_disj_proof pk big_g big_hs proof =
let n = Array.length proof in let n = Array.length big_hs in
n = Array.length big_hs && n = Array.length proof &&
(let rec check i = (let rec check i =
i = n || (verify_disjunct pk big_g big_hs.(i) proof.(i) && check (i+1)) i = n || (verify_disjunct pk big_g big_hs.(i) proof.(i) && check (i+1))
in check 0) in check 0)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment