package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

octez-plompiler
- README
- Library octez-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
    
    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
    
    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
  - octez-plompiler
    
    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 `LibCircuit.Ecc`Source

val weierstrass_add : 
  (scalar * scalar) repr ->
  (scalar * scalar) repr ->
  (scalar * scalar) repr t

Source

val edwards_add : 
  (scalar * scalar) repr ->
  (scalar * scalar) repr ->
  (scalar * scalar) repr t

Source

val edwards_cond_add : 
  (scalar * scalar) repr ->
  (scalar * scalar) repr ->
  bool repr ->
  (scalar * scalar) repr t

package octez-plompiler

Module LibCircuit.EccSource

Module `LibCircuit.Ecc`Source