Commit 02ee831c authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Add datatypes election_{public,private}_data

parent 058e02b5
......@@ -119,3 +119,16 @@ type partial_decryption = {
decryption_factors : number list list;
decryption_proofs : proof list;
}
(** {1 Compound datastructures} *)
type election_public_data = {
trustee_public_keys : trustee_public_key list <ocaml repr="array">;
votes : vote list <ocaml repr="array">;
encrypted_tally : encrypted_tally;
partial_decryptions : partial_decryption list <ocaml repr="array">;
}
type election_private_data = {
trustee_private_keys : private_key list <ocaml repr="array">;
}
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