Commit 0e52ea53 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

FIXMEs

parent 8e7fefe0
...@@ -132,6 +132,7 @@ let verify_range pk min max alpha beta proof = ...@@ -132,6 +132,7 @@ let verify_range pk min max alpha beta proof =
let verify_answer pk question answer = let verify_answer pk question answer =
let {q_max; q_min; q_answers; _} = question in let {q_max; q_min; q_answers; _} = question in
(* FIXME: handle q_max = infinity *)
let nb = Array.length q_answers in let nb = Array.length q_answers in
let {g; p; q; y} = pk in let {g; p; q; y} = pk in
Array.length answer.choices = nb && Array.length answer.choices = nb &&
...@@ -156,8 +157,10 @@ let array_forall2 f a b = ...@@ -156,8 +157,10 @@ let array_forall2 f a b =
else true else true
in check (pred n)) in check (pred n))
let verify_vote {e_public_key; e_questions; _} {answers; _} = let verify_vote e v =
array_forall2 (verify_answer e_public_key) e_questions answers (* FIXME: check v.election_hash *)
e.e_uuid = v.election_uuid &&
array_forall2 (verify_answer e.e_public_key) e.e_questions v.answers
let () = assert (verify_vote one_election vote_1) let () = assert (verify_vote one_election vote_1)
let () = assert (verify_vote one_election vote_2) let () = assert (verify_vote one_election vote_2)
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