Commit ce28c728 authored by Stephane Glondu's avatar Stephane Glondu

Handle corner case in check_shuffle_proof with no ballots

parent 9d3b8679
Pipeline #77294 failed with stages
in 16 minutes and 53 seconds
......@@ -205,7 +205,7 @@ module Make (M : RANDOM) (G : GROUP) = struct
let c = get_nizkp_challenge ("shuffle-challenge|" ^ str2 ^ str3) in
let c_bar = (Array.fold_left ( *~ ) one cc) *~ invert (Array.fold_left ( *~ ) one hh) in
let u = Z.(Array.fold_left ( * ) one uu mod G.q) in
let c_hat = cc_hat.(pred n) *~ invert (h **~ u) in
let c_hat = (if n = 0 then h else cc_hat.(pred n)) *~ invert (h **~ u) in
let c_tilde = Array.fold_left ( *~ ) one (Array.map2 ( **~ ) cc uu) in
let a' = Array.fold_left ( *~ ) one (Array.map2 (fun x u -> x.beta **~ u) ee uu) in
let b' = Array.fold_left ( *~ ) one (Array.map2 (fun x u -> x.alpha **~ u) ee uu) in
......
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