OT4.mli

(** Oblivious transfer 1 among 4 *)

(* Copyright Xavier Leroy.
   License: LGPL 2.1 or later with OCaml LGPL Linking Exception *)

type value = Algebra.P256.t

val request: provider:Multiparty.participant -> int -> value
    (** Request one value among four from the provider.
        The integer argument is the value number, between 0 and 3. *)

val provide: requester:Multiparty.participant ->
             value -> value -> value -> value -> unit
    (** Provide four values [v0] to [v3] to the requester.
        The requester will learn [vi] if it requests [i].
        Nothing else is learned. *)

(** Specialization to Boolean values *)

val request_bool: provider:Multiparty.participant -> int -> bool
    (** Request one Boolean among four from the provider.
        The integer argument is the value number, between 0 and 3. *)

val provide_bool: requester:Multiparty.participant ->
                  bool -> bool -> bool -> bool -> unit
    (** Provide four Boolean values [v0] to [v3] to the requester.
        The requester will learn [vi] if it requests [i].
        Nothing else is learned. *)