Commit e4e4f7b5 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Remove dead code

parent 1e407571
...@@ -28,14 +28,6 @@ open Common ...@@ -28,14 +28,6 @@ open Common
let check_modulo p x = Z.(geq x zero && lt x p) let check_modulo p x = Z.(geq x zero && lt x p)
(** Parameters *)
let check_election_public_key (type t) g pks e =
let module G = (val g : GROUP with type t = t) in
let open G in
(* check public key *)
Array.fold_left ( *~ ) G.one pks =~ e.e_params.e_public_key
(** Simple monad *) (** Simple monad *)
module MakeSimpleMonad (G : GROUP) = struct module MakeSimpleMonad (G : GROUP) = struct
......
...@@ -25,10 +25,6 @@ open Platform ...@@ -25,10 +25,6 @@ open Platform
open Serializable_t open Serializable_t
open Signatures open Signatures
val check_election_public_key : (module GROUP with type t = 'a) ->
'a array -> 'a election -> bool
(** Check election public key. *)
module MakeSimpleMonad (G : GROUP) : sig module MakeSimpleMonad (G : GROUP) : sig
(** {2 Monadic definitions} *) (** {2 Monadic definitions} *)
......
...@@ -29,9 +29,6 @@ open Serializable_t ...@@ -29,9 +29,6 @@ open Serializable_t
type 'a reader = Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a type 'a reader = Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a
type 'a writer = Bi_outbuf.t -> 'a -> unit type 'a writer = Bi_outbuf.t -> 'a -> unit
(** Empty module *)
module type EMPTY = sig end
(** A group suitable for discrete logarithm-based cryptography. *) (** A group suitable for discrete logarithm-based cryptography. *)
module type GROUP = sig module type GROUP = sig
(** The following interface is redundant: it is assumed, but not (** The following interface is redundant: it is assumed, but not
......
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