module S = Csir.Scalarmodule type NUM = sig ... endmodule type BOOL = sig ... endmodule type COMMON = sig ... endmodule type LIB = sig ... endmodule LibResult : sig ... endmodule LibCircuit : sig ... endmodule Gadget : sig ... endinclude module type of struct include Gadget endmodule type HASH = Gadget.HASHmodule Poseidon128 = Gadget.Poseidon128module Poseidon252 = Gadget.Poseidon252module PoseidonFull = Gadget.PoseidonFullmodule Merkle = Gadget.Merklemodule Merkle_narity = Gadget.Merkle_naritymodule JubjubEdwards = Gadget.JubjubEdwardsmodule JubjubWeierstrass = Gadget.JubjubWeierstrassmodule Schnorr = Gadget.Schnorrmodule Blake2s = Gadget.Blake2smodule Utils : sig ... endmodule Linear_algebra : sig ... endmodule Optimizer : sig ... endThe optimizer simplifies a constraint system, producing an equivalent one with fewer constraints in essentially three ways:
module Solver : sig ... endEncoding type for encapsulating encoding/decoding/input functions. This type enables us to use more structured types for data in circuits. For that, encoding is parameterized by 3 types:
module Bounded : sig ... endmodule Csir : sig ... end