package tezos-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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 `Merkle_narity.V`Source

Parameters

module H : HASH

module L : sig ... end

Signature

Sourcetype direction = L.scalar

Sourcetype proof = (L.scalar * (L.scalar list * direction) list) L.repr

Sourcetype root = L.scalar L.repr

Sourceval merkle_proof : int -> proof -> root -> bool L.repr L.t

package tezos-plompiler

Module Merkle_narity.VSource

Parameters

Signature

Module `Merkle_narity.V`Source