Make.2-Gates
type t
val create : unit -> t
val add : t -> Fp.t Kimchi_types.circuit_gate -> unit
val get : t -> int -> Fp.t Kimchi_types.circuit_gate
val digest : int -> t -> bytes