package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

octez-plonk
- Plonk
  - Arithmetic_gates
    
    AddWire
    
    Params
    
    Constant
    
    InputCom
    
    Com
    
    Multiplication
    
    Params
    
    Public
    
    X2B
    
    X5A
    
    X5C
  - Bls
    
    Evaluations
    
    G1
    
    G2
    
    GT
    
    Scalar_map
  - Boolean_gates
    
    BoolCheck
    
    CondSwap
  - Circuit
    
    Circuit
  - Custom_gates
    
    Aggregator
    
    S
  - Ecc_gates
    
    AddEdwards
    
    AddWeierstrass
    
    ConditionalAddEdwards
  - Evaluations_map
    
    Evaluations_sig
    
    Make
  - Gates_common
    
    Base_sig
  - Hash_gates
    
    AnemoiDouble
  - Identities
    
    Identities
  - Input_commitment
    
    Make
    
    Commitment
    
    Make_impl
    
    Commitment
    
    S
    
    Commitment
  - List
  - Main_protocol
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Make
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Make_impl
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Preprocess
    
    Prover
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Verifier
  - Main_protocol_intf
    
    S
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
  - Permutation_gate
    
    Permutation_gate
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Permutation_gate_impl
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Partition
    
    IntMap
    
    IntSet
    
    Permutation_poly
    
    Preprocessing
    
    Shared_argument
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
  - Plookup_gate
    
    Plookup_gate
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Plookup_gate_impl
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Plookup_poly
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
  - Polynomial_commitment
    
    Commitment
    
    Commitment_sig
    
    Kzg_impl
    
    Commitment
    
    Public_parameters
    
    Public_parameters
    
    Public_parameters_sig
    
    S
    
    Commitment
    
    Public_parameters
  - Polynomial_protocol
    
    Make
    
    PC
    
    Commitment
    
    Public_parameters
    
    Make_impl
    
    PC
    
    Commitment
    
    Public_parameters
    
    PC
    
    Commitment
    
    Public_parameters
    
    S
    
    PC
    
    Commitment
    
    Public_parameters
  - Range_check_gate
    
    Range_check_gate
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Range_check_gate_impl
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Permutation
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    RangeChecks
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
  - SMap
    
    Aggregation
    
    S
    
    Aggregation
    
    StringMap
    
    Aggregation
    
    M
  - Utils
    
    Array
    
    Fr_generation
    
    Hash
    
    Transcript
octez-plonk.aggregation
- Aggregation
  - Main_protocol
    
    Gates
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Make
    
    Gates
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    Shared_argument
    
    Make_impl
    
    Commitment
    
    Internal_for_tests
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Preprocess
    
    Prover
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Super_PP
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Verifier
    
    PP
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    Shared_argument
    
    S
    
    Gates
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    Shared_argument
  - Pack
    
    Aggregator
    
    Pack_impl
  - Polynomial_commitment
    
    Commitment
    
    Make
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Public_parameters
    
    Make_impl
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Public_parameters
    
    Public_parameters
    
    S
    
    Commitment
    
    Public_parameters
  - Polynomial_protocol
    
    Answers_commitment
    
    Commitment
    
    KZG_Answers_commitment
    
    Commitment
    
    Make_aggregation
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Make_impl
    
    Answers_commitment
    
    Commitment
    
    Super_PC
    
    Commitment
    
    Public_parameters
    
    PC
    
    Commitment
    
    Public_parameters
    
    S
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
octez-plonk.communication
- Communication
  - Distributed_wrapper
    
    Enriched_message_type
    
    Enriched_process
    
    Local_config
    
    M
    
    Remote_config
    
    Logger
    
    Log
    
    Make
    
    A
    
    Local_config
    
    M
    
    Remote_config
  - Message
    
    Make
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Prover
    
    S
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Prover
octez-plonk.distribution
- Plonk_for_distribution
  - Kzg
    
    Commitment_sig
    
    Kzg_impl
    
    Commitment
    
    PC_for_distribution_sig
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
  - Kzg_pack
    
    Kzg_pack_impl
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Super_PC_sig
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
  - Main_protocol
    
    Common
    
    Commitment
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Make
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    MP
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Preprocess
    
    Prover
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Verifier
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Preprocess
    
    Prover
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Verifier
    
    MakeSuper
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    MP
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Preprocess
    
    Prover
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Verifier
    
    PP
    
    Answers_commitment
    
    Commitment
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Preprocess
    
    Prover
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Verifier
    
    S
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Prover
  - Polynomial_protocol
    
    Make
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    MakeSuper
    
    Answers_commitment
    
    Commitment
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    S
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Super
    
    Answers_commitment
    
    Commitment
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
octez-plonk.plonk-test
- Plonk_test
  - Cases
    
    Big_circuit
    
    General
    
    General_circuits
    
    Lookup
    
    Unit_tests_for_each_selector
  - Helpers
    
    Make
    
    Main
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Singleton
    
    Plompiler_Helpers
    
    Test
    
    L
    
    Anemoi
    
    Bool
    
    Bytes
    
    Ecc
    
    Enum
    
    N
    
    Input
    
    Num
    
    Poseidon
    
    Utils
    
    L
    
    Anemoi
    
    Bool
    
    Bytes
    
    Ecc
    
    Enum
    
    N
    
    Input
    
    Num
    
    Poseidon
    
    Time

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type S = sig ... end

module type Super = sig ... end

module Make (PC : Kzg.PC_for_distribution_sig) : S with module PC = PC

module MakeSuper
  (PC : Kzg_pack.Super_PC_sig)
  (Answers_commitment : Plonk.Input_commitment.S) : 
  Super with module PC = PC with module Answers_commitment = Answers_commitment