Plompiler (p.tezos-plompiler.1.0.1.doc.tezos-plompiler.Plompiler)

Sourcemodule S = Csir.Scalar

Sourcemodule type NUM = sig ... end

Sourcemodule type BOOL = sig ... end

Sourcemodule type COMMON = sig ... end

Sourcemodule type LIB = sig ... end

Sourcemodule Lib (C : sig ... end) : sig ... end

Sourcemodule LibResult : sig ... end

Sourcemodule LibCircuit : sig ... end

Sourcemodule Gadget : sig ... end

include module type of struct include Gadget end

Sourcemodule type HASH = Gadget.HASH

Sourcemodule Anemoi128 = Gadget.Anemoi128

Sourcemodule AnemoiHelper = Gadget.AnemoiHelper

Sourcemodule AnemoiJive_128_1 = Gadget.AnemoiJive_128_1

Sourcemodule Poseidon128 = Gadget.Poseidon128

Sourcemodule Poseidon252 = Gadget.Poseidon252

Sourcemodule PoseidonFull = Gadget.PoseidonFull

Sourcemodule Merkle = Gadget.Merkle

Sourcemodule Merkle_narity = Gadget.Merkle_narity

Sourcemodule JubjubEdwards = Gadget.JubjubEdwards

Sourcemodule JubjubWeierstrass = Gadget.JubjubWeierstrass

Sourcemodule Schnorr = Gadget.Schnorr

Sourcemodule Blake2s = Gadget.Blake2s

Sourcemodule Utils : sig ... end

Sourcemodule Linear_algebra : sig ... end

Sourcemodule Optimizer : sig ... end

The optimizer simplifies a constraint system, producing an equivalent one with fewer constraints in essentially three ways:

Sourcemodule Solver : sig ... end

Sourcemodule Encodings (L : sig ... end) : sig ... end

Encoding 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:

Sourcemodule Bounded : sig ... end

Sourcemodule Csir : sig ... end