package tezos-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

tezos-plompiler
- README
- Library tezos-plompiler
  - Plompiler
    
    S
    
    NUM
    
    BOOL
    
    COMMON
    
    Input
    
    Num
    
    Bool
    
    Ecc
    
    Poseidon
    
    Anemoi
    
    LIB
    
    Input
    
    Ecc
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Num
    
    Enum
    
    Bytes
    
    Lib
    
    Input
    
    Ecc
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Num
    
    Enum
    
    Bytes
    
    LibResult
    
    Input
    
    Ecc
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Num
    
    Enum
    
    Bytes
    
    LibCircuit
    
    Input
    
    Ecc
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Num
    
    Enum
    
    Bytes
    
    Gadget
    
    HASH
    
    Anemoi128
    
    P
    
    V
    
    AnemoiHelper
    
    AnemoiJive_128_1
    
    Poseidon128
    
    P
    
    V
    
    Poseidon252
    
    P
    
    V
    
    PoseidonFull
    
    P
    
    V
    
    Merkle
    
    P
    
    MERKLE
    
    V
    
    Merkle_narity
    
    HASH
    
    MERKLE_NARITY
    
    P
    
    V
    
    JubjubEdwards
    
    JubjubWeierstrass
    
    Schnorr
    
    P
    
    V
    
    Blake2s
    
    HASH
    
    Anemoi128
    
    AnemoiHelper
    
    AnemoiJive_128_1
    
    Poseidon128
    
    Poseidon252
    
    PoseidonFull
    
    Merkle
    
    Merkle_narity
    
    JubjubEdwards
    
    JubjubWeierstrass
    
    Schnorr
    
    Blake2s
    
    Utils
    
    S
    
    Z
    
    Compare
    
    Linear_algebra
    
    Ring_sig
    
    Field_sig
    
    Module_sig
    
    VectorSpace_sig
    
    Make_Module
    
    Make_VectorSpace
    
    Optimizer
    
    IMap
    
    ISet
    
    Solver
    
    CS
    
    Tables
    
    Encodings
    
    Bounded
    
    Make
    
    P
    
    V
    
    Encoding
    
    VL
    
    Csir
    
    Scalar
    
    Table
    
    Tables
    
    CS
- Sources
  - tezos-plompiler
    
    anemoi_jive128_1.ml
    
    ark_128.ml
    
    ark_252.ml
    
    ark_full.ml
    
    bounded.ml
    
    circuit.ml
    
    csir.ml
    
    encoding.ml
    
    gadget_anemoi.ml
    
    gadget_blake2s.ml
    
    gadget_edwards.ml
    
    gadget_merkle.ml
    
    gadget_merkle_narity.ml
    
    gadget_poseidon.ml
    
    gadget_schnorr.ml
    
    gadget_weierstrass.ml
    
    hash_sig.ml
    
    lang_core.ml
    
    lang_stdlib.ml
    
    linear_algebra.ml
    
    mds_128.ml
    
    mds_252.ml
    
    mds_full.ml
    
    optimizer.ml
    
    optimizer_helpers.ml
    
    plompiler.ml
    
    plompiler__.ml
    
    result.ml
    
    solver.ml
    
    utils.ml
    
    variants.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Plompiler`Source

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

package tezos-plompiler

Module PlompilerSource

Module `Plompiler`Source