package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

package octez-libs

Octez-libs: Octez libraries
- Lwtreslib: an Lwt- and Result-friendly addition/replacement for the Stdlib
- Workers: Local, Lwt-based event-loops
- Library aggregation
  - Aggregation
    
    Main_protocol
    
    SMap
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Gates
    
    Perm
    
    Shared_argument
    
    RangeCheck
    
    Make_impl
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Commitment
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Input_commitment
    
    Commitment
    
    PP
    
    Make
    
    PP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Gates
    
    Perm
    
    Shared_argument
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Gates
    
    Perm
    
    Shared_argument
    
    RangeCheck
    
    Pack
    
    Aggregator
    
    Pack_impl
    
    Polynomial_commitment
    
    SMap
    
    S
    
    Commitment
    
    Public_parameters
    
    Make_impl
    
    Commitment
    
    Public_parameters
    
    Make
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Polynomial_protocol
    
    SMap
    
    S
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Make_impl
    
    PC
    
    Answers_commitment
    
    Make_aggregation
    
    PC
    
    Answers_commitment
    
    KZG_Answers_commitment
    
    Commitment
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
- Library bare_functor_outputs
  - Bare_functor_outputs
    
    Hashtbl
    
    S
    
    SeededS
    
    S_ES
    
    Map
    
    S
    
    Set
    
    S
- Library bare_sigs
  - Bare_sigs
    
    Hashtbl
    
    S
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    S
    
    Map
    
    S
    
    S
    
    Make
    
    Monad
    
    S
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Option
    
    S
    
    Result
    
    S
    
    Seq
    
    S
    
    E
    
    S
    
    ES
    
    Seq_e
    
    S
    
    E
    
    S
    
    ES
    
    Seq_es
    
    S
    
    E
    
    S
    
    ES
    
    Seq_s
    
    S
    
    E
    
    S
    
    ES
    
    Set
    
    S
    
    S
    
    Make
    
    Unit
    
    S
    
    WithExceptions
    
    S
    
    Option
    
    Result
    
    List
- Library bare_structs
  - Bare_structs
    
    Hashtbl
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    Map
    
    S
    
    Make
    
    Monad
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Option
    
    Result
    
    Seq
    
    E
    
    S
    
    ES
    
    Seq_e
    
    E
    
    S
    
    ES
    
    Seq_es
    
    E
    
    S
    
    ES
    
    Seq_s
    
    E
    
    S
    
    ES
    
    Set
    
    S
    
    Make
    
    Unit
    
    WithExceptions
    
    Option
    
    Result
    
    List
- Library communication
  - Communication
    
    Distributed_wrapper
    
    Logger
    
    Log
    
    Enriched_message_type
    
    Enriched_process
    
    Remote_config
    
    Local_config
    
    M
    
    Make
    
    Remote_config
    
    Local_config
    
    M
    
    Message
    
    S
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    Make
    
    MP
- Library distribution
  - Distribution
    
    Kzg_pack
    
    SMap
    
    Super_PC_sig
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Kzg_pack_impl
    
    Pack
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Main_protocol
    
    SMap
    
    S
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    Common
    
    Commitment
    
    Make
    
    PP
    
    MP
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Input_commitment
    
    Commitment
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Commitment
    
    MakeSuper
    
    PP
    
    MP
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Commitment
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Input_commitment
    
    Commitment
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Input_commitment
    
    Commitment
    
    Commitment
    
    Polynomial_commitment
    
    SMap
    
    PC_for_distribution_sig
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Kzg_impl
    
    BasePC
    
    Public_parameters
    
    Commitment
    
    Polynomial_protocol
    
    S
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Super
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Make
    
    PC
    
    MakeSuper
    
    PC
    
    Answers_commitment
- Library octez-libs.aplonk
  - Aplonk
    
    Circuit
    
    SMap
    
    V
    
    Gates
    
    Perm
    
    RC
    
    S
    
    Constraints
    
    Main_protocol
    
    SMap
    
    Make_impl
    
    Aggreg_circuit
    
    Gates
    
    Perm
    
    Shared_argument
    
    RC
    
    S
    
    Constraints
    
    L
    
    Input_commitment
    
    Internal_for_tests
    
    Main_KZG
    
    Super_PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Main_Pack
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Gates
    
    Perm
    
    Shared_argument
    
    RangeCheck
    
    Make_raw
    
    Input_commitment
    
    Internal_for_tests
    
    Make
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Pi_parameters
    
    Main_Pack
    
    L
    
    CircuitPI
    
    S
    
    No_public_input
    
    One_public_input
    
    Rollup_example
- Library octez-libs.base
  - Tezos_base
    
    Block_header
    
    Block_locator
    
    Bounded
    
    BOUNDS
    
    S
    
    Int64
    
    Int32
    
    Non_negative_int32
    
    Int31
    
    Int16
    
    Uint16
    
    Int8
    
    Uint8
    
    Dal_srs
    
    Data_encoding_wrapper
    
    Distributed_db_version
    
    Name
    
    Fitness
    
    Genesis
    
    Parameters
    
    Internal_event_config
    
    Mempool
    
    Network_version
    
    Operation
    
    P2p_addr
    
    P2p_connection
    
    Id
    
    Map
    
    Set
    
    Table
    
    Info
    
    P2p_event
    
    P2p_identity
    
    P2p_params
    
    P2p_peer
    
    Id
    
    Map
    
    Set
    
    Table
    
    Error_table
    
    Filter
    
    State
    
    Info
    
    Pool_event
    
    P2p_peer_id
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    P2p_point
    
    Id
    
    Map
    
    Set
    
    Table
    
    Filter
    
    State
    
    Info
    
    Pool_event
    
    P2p_rejection
    
    P2p_stat
    
    P2p_version
    
    Point_parser
    
    Profiler
    
    StringMap
    
    DRIVER
    
    GLOBAL_PROFILER
    
    Protocol
    
    Meta
    
    S
    
    T
    
    HASHABLE
    
    Sized
    
    SizedSet
    
    MakeSizedSet
    
    SizedMap
    
    MakeSizedMap
    
    Skip_list
    
    MONAD
    
    S
    
    MONADIC
    
    Lwt
    
    Make_monadic
    
    Make
    
    MONADIC
    
    Lwt
    
    Make_monadic
    
    Test_chain_status
    
    Time
    
    Protocol
    
    System
    
    Span
    
    Set
    
    Map
    
    Table
    
    TzPervasives
    
    Bits
    
    Bloomer
    
    Bounded_heap
    
    Circular_buffer
    
    Compare
    
    FallbackArray
    
    FunctionalArray
    
    Hash_queue
    
    Hex
    
    Lwt_dropbox
    
    Lwt_idle_waiter
    
    Lwt_pipe
    
    Lwt_utils
    
    Memory
    
    Tag
    
    TzBytes
    
    TzEndian
    
    TzFilename
    
    TzList
    
    TzString
    
    Utils
    
    Error_monad
    
    Data_encoding
    
    Hashtbl
    
    Map
    
    Option
    
    Result
    
    Seq
    
    Seq_e
    
    Seq_s
    
    Seq_es
    
    Set
    
    Unit
    
    WithExceptions
    
    List
    
    String
    
    Hashtbl
    
    Map
    
    Set
    
    Bytes
    
    Time
    
    Fitness
    
    User_activated
    
    Block_header
    
    Genesis
    
    Operation
    
    Protocol
    
    Test_chain_status
    
    Block_locator
    
    Mempool
    
    P2p_addr
    
    P2p_identity
    
    P2p_peer
    
    P2p_point
    
    P2p_connection
    
    P2p_stat
    
    P2p_version
    
    P2p_rejection
    
    P2p_params
    
    Distributed_db_version
    
    Network_version
    
    Block_hash
    
    Block_metadata_hash
    
    Chain_id
    
    Context_hash
    
    Operation_hash
    
    Operation_list_hash
    
    Operation_list_list_hash
    
    Operation_metadata_hash
    
    Operation_metadata_list_hash
    
    Operation_metadata_list_list_hash
    
    Protocol_hash
    
    Signature
    
    Skip_list
    
    Wrapped_error_monad
    
    TzTrace
    
    Lwt_syntax
    
    Result_syntax
    
    Lwt_result_syntax
    
    Legacy_monad_globals
    
    Option_syntax
    
    Lwt_option_syntax
    
    Internal_event
    
    Filename
    
    Infix
    
    Bounded
    
    Empty
    
    Profiler
    
    PRINTABLE
    
    COMPARABLE
    
    ENCODABLE
    
    User_activated
    
    Worker_intf
    
    NAME
    
    VIEW
    
    REQUEST
    
    TYPES
    
    Worker_types
- Library octez-libs.base-test-helpers
  - Tezos_base_test_helpers
    
    Tz_gen
    
    Tztest
    
    Tztestable
- Library octez-libs.bls12-381-hash
  - Bls12_381_hash
    
    PERMUTATION
    
    Permutation
    
    Poseidon
    
    Parameters
    
    Rescue
    
    Parameters
    
    Anemoi
    
    Parameters
    
    Griffin
    
    Parameters
    
    Mode
    
    Jive
- Library octez-libs.bls12-381-polynomial
  - Octez_bls12_381_polynomial
    
    Internal_for_tests
    
    Polynomial_unsafe
    
    Fr_carray
    
    Domain_unsafe
    
    Evaluations_unsafe
    
    Srs_unsafe
    
    Domain
    
    Polynomial
    
    Evaluations_sig
    
    Evaluations
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    G1_carray
    
    G2_carray
- Library octez-libs.bls12-381-signature
  - Bls12_381_signature
    
    MinPk
    
    Basic
    
    Aug
    
    Pop
    
    MinSig
    
    Basic
    
    Aug
    
    Pop
- Library octez-libs.clic
  - Tezos_clic
- Library octez-libs.crypto
  - Tezos_crypto
    
    Intfs
    
    MINIMAL_HASH
    
    RAW_DATA
    
    B58_DATA
    
    ENCODER
    
    PVSS
    
    Clear_share
    
    Commitment
    
    Encrypted_share
    
    Public_key
    
    Secret_key
    
    INDEXES
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    HASH
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    MERKLE_TREE
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    COMMON_SIGNATURE
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    SIGNATURE
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    AGGREGATE_SIGNATURE
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    SPLIT_SIGNATURE
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    FIELD
    
    PRIME_FIELD
    
    CURVE
    
    Scalar
    
    Hashed
    
    Block_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Block_metadata_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Chain_id
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Context_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Version
    
    Operation_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Operation_list_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Operation_list_list_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Operation_metadata_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Operation_metadata_list_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Operation_metadata_list_list_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Protocol_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Smart_rollup_address
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Smart_rollup_commitment_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Smart_rollup_state_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Smart_rollup_inbox_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Smart_rollup_merkelized_payload_hashes_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Signature
    
    Bls
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Primitive
    
    Fr
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    Ed25519
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    P256
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Secp256k1
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    CONV
    
    V_from
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    V_to
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    CONV_OPT
    
    V_from
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    V_to
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    V_latest
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Of_V0
    
    V0
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Of_V_latest
    
    V1
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Of_V0
    
    Of_V_latest
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Of_V_latest
    
    Of_V0
    
    Of_V1
    
    Aggregate_signature
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Logging
    
    Public_key
    
    Secret_key
    
    Base58
    
    Prefix
    
    Alphabet
    
    Make
    
    Blake2B
    
    Name
    
    PrefixedName
    
    Make_minimal
    
    Register
    
    Make
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Crypto_box
    
    Secretbox
    
    Public_key_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Hacl
    
    Rand
    
    Hash
    
    HASH_ALG
    
    DIRECT_HASH
    
    INCREMENTAL_HASH
    
    Make
    
    HMAC
    
    S
    
    HMAC
    
    SHA256
    
    H
    
    HMAC
    
    HMAC
    
    SHA512
    
    H
    
    HMAC
    
    HMAC
    
    SHA3_256
    
    SHA3_512
    
    Keccak_256
    
    Blake2b
    
    Nonce
    
    Secretbox
    
    Box
    
    SIGNATURE
    
    Ed25519
    
    P256
    
    Helpers
    
    MakeRaw
    
    MakeB58
    
    MakeEncoder
    
    MakeIterator
    
    Set
    
    Table
    
    Map
    
    Error_table
    
    WeakRingTable
    
    H
    
    Make
    
    Set
    
    Table
    
    Map
    
    Error_table
    
    WeakRingTable
    
    H
    
    Rand
    
    Timelock_legacy
    
    Timelock
    
    Internal_for_tests
- Library octez-libs.crypto-dal
  - Tezos_crypto_dal
    
    Cryptobox
    
    Verifier
    
    Commitment
    
    Commitment_proof
    
    Commitment_proof
    
    Commitment
    
    Internal_for_tests
    
    Config
    
    Cryptobox_intf
    
    COMMITMENT
    
    VERIFIER
    
    Commitment
    
    Commitment_proof
- Library octez-libs.distributed-plonk
  - Distributed_plonk
    
    Distributed_prover
    
    SMap
    
    S
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Make_common
    
    MP
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    PC_Kzg
    
    PP_Kzg
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Main_Kzg
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    MP
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Input_commitment
    
    Commitment
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Commitment
    
    PC_Pack
    
    PP_Pack
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    Main_Pack
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    MP
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Commitment
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Input_commitment
    
    Commitment
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Answers_commitment
    
    Commitment
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Input_commitment
    
    Commitment
    
    Commitment
    
    Make_aPlonk
    
    Aggreg_circuit
    
    Gates
    
    Perm
    
    Shared_argument
    
    RC
    
    S
    
    Constraints
    
    L
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Super_impl
    
    MP
    
    Aggreg_circuit
    
    Gates
    
    Perm
    
    Shared_argument
    
    RC
    
    S
    
    Constraints
    
    L
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Common
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    D
    
    Msg
    
    Make
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Super
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Distribution_helpers
    
    Scalar
    
    Port
    
    DP_for_tests
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Worker_Main
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    DP_PlonK
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Worker_Main
    
    DP_aPlonk
    
    MP
    
    Aggreg_circuit
    
    Gates
    
    Perm
    
    Shared_argument
    
    RC
    
    S
    
    Constraints
    
    L
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Common
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    D
    
    Msg
    
    Worker_Main
    
    No_public_input_PIs
    
    Rollup_example_PIs
    
    DP_Kzg
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Worker_Main
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    DP_Pack
    
    MP
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Worker_Main
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    DP_Meta
    
    MP
    
    Aggreg_circuit
    
    Gates
    
    Perm
    
    Shared_argument
    
    RC
    
    S
    
    Constraints
    
    L
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Common
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    D
    
    Msg
    
    Worker_Main
    
    Circuit_Builder
    
    Helpers
    
    MP
    
    Runner
    
    Filenames
    
    Master_runner
    
    Make
    
    Worker
    
    S
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
    
    Make
    
    Msg
    
    MP
    
    PP
    
    PC
    
    BasePC
    
    Commitment
    
    Public_parameters
    
    Commitment
    
    Public_parameters
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Prover
    
    D
    
    Remote_config
    
    Local_config
    
    M
- Library octez-libs.epoxy-tx
  - Epoxy_tx
    
    Constants
    
    Bound
    
    Tx_rollup
    
    Constants
    
    Types
    
    Utils
    
    HashPV
    
    MerklePV
    
    P
    
    MERKLE
    
    V
    
    SchnorrPV
    
    Curve
    
    Scalar
    
    Base
    
    P
    
    V
    
    Affine
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Hash
    
    Merkle
    
    Schnorr
    
    Curve
    
    P
    
    V
    
    Hash
    
    Plompiler_Curve
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Schnorr
    
    Affine
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Merkle
    
    T
    
    Schnorr
    
    Affine
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Merkle
    
    Bounded_u
    
    Encodings
    
    Bounded_e
    
    VL
    
    Anemoi
    
    Plompiler_Curve
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Plompiler_Hash
    
    PI_parameters_predicate_private_batch
    
    L
    
    Types
    
    U
    
    HashPV
    
    MerklePV
    
    P
    
    MERKLE
    
    V
    
    SchnorrPV
    
    Curve
    
    Scalar
    
    Base
    
    P
    
    V
    
    Affine
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Curve
    
    Bounded
    
    P
    
    V
    
    Encoding
    
    VL
    
    P
    
    Schnorr
    
    Merkle
    
    Bounded
    
    IMap
    
    Dummy
    
    V
    
    Schnorr
    
    Affine
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Merkle
    
    Bounded_u
    
    Encodings
    
    Bounded_e
    
    VL
    
    Anemoi
    
    Plompiler_Curve
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Plompiler_Hash
    
    Utils
    
    Curve
- Library octez-libs.error-monad
  - Tezos_error_monad
    
    Core_maker
    
    Make
    
    Wrapped_error_monad
    
    Error_classification
    
    Error_monad
    
    Wrapped_error_monad
    
    TzTrace
    
    Lwt_syntax
    
    Result_syntax
    
    Lwt_result_syntax
    
    Legacy_monad_globals
    
    Option_syntax
    
    Lwt_option_syntax
    
    Monad_maker
    
    S
    
    Lwt_syntax
    
    Result_syntax
    
    Lwt_result_syntax
    
    Legacy_monad_globals
    
    Make
    
    Lwt_syntax
    
    Result_syntax
    
    Lwt_result_syntax
    
    Legacy_monad_globals
    
    Sig
    
    ERROR_CATEGORY
    
    PREFIX
    
    CORE
    
    WITH_WRAPPED
    
    Wrapped_error_monad
    
    TRACE
    
    MONAD_EXTENSION
    
    Legacy_monad_globals
    
    TzCore
    
    Wrapped_error_monad
    
    TzLwtreslib
    
    Monad
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Traced_result_syntax
    
    Lwt_traced_result_syntax
    
    Hashtbl
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    Map
    
    S
    
    Make
    
    Option
    
    Result
    
    Seq
    
    E
    
    S
    
    ES
    
    Seq_e
    
    E
    
    S
    
    ES
    
    Seq_s
    
    E
    
    S
    
    ES
    
    Seq_es
    
    E
    
    S
    
    ES
    
    Set
    
    S
    
    Make
    
    Unit
    
    WithExceptions
    
    Option
    
    Result
    
    List
    
    TzMonad
    
    Option_syntax
    
    Lwt_option_syntax
    
    Lwt_syntax
    
    Result_syntax
    
    Lwt_result_syntax
    
    Legacy_monad_globals
    
    TzTrace
- Library octez-libs.event-logging
  - Tezos_event_logging
    
    Internal_event
    
    Level
    
    Section
    
    EVENT_DEFINITION
    
    EVENT
    
    Make
    
    Generic
    
    All_definitions
    
    Simple
    
    SINK
    
    All_sinks
    
    Lwt_worker_logger
- Library octez-libs.event-logging-test-helpers
  - Tezos_event_logging_test_helpers
    
    Mock_sink
    
    Pattern
- Library octez-libs.expect-helper
  - Tezos_expect_helper
- Library octez-libs.hacl
  - Tezos_hacl
    
    Hacl
    
    Rand
    
    Hash
    
    HASH_ALG
    
    DIRECT_HASH
    
    INCREMENTAL_HASH
    
    Make
    
    HMAC
    
    S
    
    HMAC
    
    SHA256
    
    H
    
    HMAC
    
    HMAC
    
    SHA512
    
    H
    
    HMAC
    
    HMAC
    
    SHA3_256
    
    SHA3_512
    
    Keccak_256
    
    Blake2b
    
    Nonce
    
    Secretbox
    
    Box
    
    SIGNATURE
    
    Ed25519
    
    P256
- Library octez-libs.kzg
  - Kzg
    
    Bls
    
    Poly
    
    Pairing
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    Evals
    
    Scalar
    
    Scalar_map
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    GT
    
    Domain
    
    G1_carray
    
    Commitment
    
    Commit
    
    Single
    
    Degree_check
    
    Proof
    
    Interfaces
    
    Commitment
    
    Public_parameters
    
    Polynomial_commitment
    
    Commitment
    
    Public_parameters
    
    DegreeCheck_proof
    
    Commitment_single
    
    Degree_check
    
    Proof
    
    Commitment
    
    Kate_amortized
    
    Polynomial_commitment
    
    Public_parameters
    
    Commitment
    
    SMap
    
    StringMap
    
    M
    
    Aggregation
    
    S
    
    Aggregation
    
    Aggregation
    
    Utils
    
    Transcript
    
    Fr_generation
    
    FFT
- Library octez-libs.lazy-containers
  - Tezos_lazy_containers
    
    Chunked_byte_vector
    
    Chunk
    
    Immutable_chunked_byte_vector
    
    Chunk
    
    Lazy_map
    
    KeyS
    
    S
    
    Map
    
    Make
    
    Map
    
    LwtIntMap
    
    Map
    
    LwtInt32Map
    
    Map
    
    LwtInt64Map
    
    Map
    
    Mutable
    
    S
    
    Map
    
    Map
    
    Make
    
    Map
    
    Map
    
    LwtIntMap
    
    Map
    
    Map
    
    LwtInt32Map
    
    Map
    
    Map
    
    LwtInt64Map
    
    Map
    
    Map
    
    Lazy_vector
    
    KeyS
    
    S
    
    Map
    
    Map
    
    Make
    
    Map
    
    Map
    
    IntVector
    
    Map
    
    Map
    
    Int32Vector
    
    Map
    
    Map
    
    Int64Vector
    
    Map
    
    Map
    
    ZVector
    
    Map
    
    Map
    
    Mutable
    
    ImmutableS
    
    S
    
    Vector
    
    Map
    
    Map
    
    Make
    
    Vector
    
    IntVector
    
    Vector
    
    Int32Vector
    
    Vector
    
    Int64Vector
    
    Vector
    
    ZVector
    
    Vector
- Library octez-libs.lwt-result-stdlib
  - Tezos_lwt_result_stdlib
    
    Lwtreslib
    
    Bare
    
    Hashtbl
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    Map
    
    S
    
    Make
    
    Monad
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Option
    
    Result
    
    Seq
    
    E
    
    S
    
    ES
    
    Seq_e
    
    E
    
    S
    
    ES
    
    Seq_s
    
    E
    
    S
    
    ES
    
    Seq_es
    
    E
    
    S
    
    ES
    
    Set
    
    S
    
    Make
    
    Unit
    
    WithExceptions
    
    Option
    
    Result
    
    List
    
    TRACE
    
    TRACED_MONAD
    
    Traced
    
    Monad
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Traced_result_syntax
    
    Lwt_traced_result_syntax
    
    Hashtbl
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    Map
    
    S
    
    Make
    
    Option
    
    Result
    
    Seq
    
    E
    
    S
    
    ES
    
    Seq_e
    
    E
    
    S
    
    ES
    
    Seq_s
    
    E
    
    S
    
    ES
    
    Seq_es
    
    E
    
    S
    
    ES
    
    Set
    
    S
    
    Make
    
    Unit
    
    WithExceptions
    
    Option
    
    Result
    
    List
- Library octez-libs.mec
  - Mec
    
    Ff
    
    MakeFp
    
    MakeFp2
    
    Curve
    
    BabyJubjub
    
    Affine
    
    Scalar
    
    Base
    
    BabyJubjubReduced
    
    Affine
    
    Scalar
    
    Base
    
    Bandersnatch
    
    AffineEdwards
    
    Scalar
    
    Base
    
    AffineWeierstrass
    
    Scalar
    
    Base
    
    AffineMontgomery
    
    Scalar
    
    Base
    
    BN254
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    BLS12_381
    
    G1
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Curve25519
    
    AffineEdwards
    
    Scalar
    
    Base
    
    AffineMontgomery
    
    Scalar
    
    Base
    
    Curve448
    
    Affine
    
    Scalar
    
    Base
    
    Jubjub
    
    AffineEdwards
    
    Scalar
    
    Base
    
    AffineWeierstrass
    
    Scalar
    
    Base
    
    AffineMontgomery
    
    Scalar
    
    Base
    
    Pallas
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    Iso
    
    Affine
    
    Scalar
    
    Base
    
    Secp256k1
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    Secp256r1
    
    Projective
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Tweedledee
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    Tweedledum
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    Vesta
    
    Projective
    
    Scalar
    
    Base
    
    Affine
    
    Scalar
    
    Base
    
    Jacobian
    
    Scalar
    
    Base
    
    Utils
    
    PBT
    
    MakeEquality
    
    MakeValueGeneration
    
    MakeIsZero
    
    MakeECProperties
    
    MakeEdwardsCurveProperties
    
    MakeSerialisationProperties
    
    MakeCompressedSerialisationAffine
    
    Functor
    
    MakeJacobianWeierstrass
    
    Scalar
    
    Base
    
    MakeAffineWeierstrass
    
    Scalar
    
    Base
    
    MakeProjectiveWeierstrass
    
    Scalar
    
    Base
    
    MakeAffineMontgomery
    
    Scalar
    
    Base
    
    MakeAffineEdwards
    
    Scalar
    
    Base
    
    MakeAffineEdwardsToAffineMontgomery
    
    Scalar
    
    Base
    
    CurveSig
    
    BASE
    
    Scalar
    
    Base
    
    WeierstrassT
    
    Scalar
    
    Base
    
    AffineWeierstrassT
    
    Scalar
    
    Base
    
    ProjectiveWeierstrassT
    
    Scalar
    
    Base
    
    JacobianWeierstrassT
    
    Scalar
    
    Base
    
    MontgomeryT
    
    Scalar
    
    Base
    
    AffineMontgomeryT
    
    Scalar
    
    Base
    
    AffineEdwardsT
    
    Scalar
    
    Base
    
    PAIRING
    
    G1
    
    Scalar
    
    Base
    
    G2
    
    Scalar
    
    Base
    
    GT
    
    Hash
    
    Poseidon252
    
    Constant
    
    Make
    
    Strategy
    
    Hash
    
    Poseidon128
    
    Constant
    
    Make
    
    Strategy
    
    Hash
    
    Orchard
    
    Constant
    
    Make
    
    Strategy
    
    Hash
    
    Neptunus
    
    Constant
    
    Make
    
    Strategy
    
    Hash
    
    PedersenHash
    
    MakePedersenHash
    
    Zcash
    
    Sinsemilla
    
    MakeSinsemilla
    
    Zcash
    
    Permutation
    
    Hades
    
    PARAMETERS
    
    Make
    
    Marvellous
    
    PARAMETERS
    
    Make
    
    HadesLinearOptimisation
    
    PARAMETERS
    
    Make
    
    Signature
    
    RedDSA
    
    SIGNATURE_SCHEME
    
    MakeRedDSA
    
    RedJubjub
    
    Make
    
    Protocol
    
    Sapling
    
    GroupHash
    
    Digestif
    
    S
    
    BLAKE2B
    
    BLAKE2S
    
    Make_BLAKE2B
    
    Make_BLAKE2S
    
    Utils
    
    Iterator
    
    Bit
    
    LinearAlgebra
    
    Ring_sig
    
    Field_sig
    
    Module_sig
    
    VectorSpace_sig
    
    Make_Module
    
    Make_VectorSpace
- Library octez-libs.micheline
  - Tezos_micheline
    
    Micheline
    
    Micheline_diff
    
    Micheline_encoding
    
    Micheline_parser
    
    Micheline_printer
- Library octez-libs.plompiler
  - Plompiler
    
    S
    
    NUM
    
    BOOL
    
    Internal
    
    COMMON
    
    Input
    
    Num
    
    Bool
    
    Internal
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Limb_list
    
    LIB
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Lib
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    LimbN
    
    Encodings
    
    LibResult
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    LibCircuit
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    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
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    JubjubWeierstrass
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Schnorr
    
    Curve
    
    Scalar
    
    Base
    
    P
    
    V
    
    Affine
    
    L
    
    Input
    
    Limb
    
    Ecc
    
    Mod_arith
    
    Poseidon
    
    Anemoi
    
    Bool
    
    Internal
    
    Num
    
    Enum
    
    Bytes
    
    Limbs
    
    Encodings
    
    Edwards25519
    
    Curve
    
    Ed25519
    
    Curve
    
    P
    
    V
    
    Encoding
    
    Blake2s
    
    ArithMod25519
    
    ArithMod64
    
    Sha256
    
    Sha512
    
    HASH
    
    Anemoi128
    
    AnemoiJive_128_1
    
    Poseidon128
    
    Poseidon252
    
    PoseidonFull
    
    Merkle
    
    Merkle_narity
    
    JubjubEdwards
    
    JubjubWeierstrass
    
    Schnorr
    
    Edwards25519
    
    Ed25519
    
    Blake2s
    
    ArithMod25519
    
    ArithMod64
    
    Sha256
    
    Sha512
    
    Utils
    
    S
    
    Z
    
    Compare
    
    Linear_algebra
    
    Ring_sig
    
    Field_sig
    
    Module_sig
    
    VectorSpace_sig
    
    Make_Module
    
    Make_VectorSpace
    
    Optimizer
    
    IMap
    
    ISet
    
    Solver
    
    CS
    
    Tables
    
    Bounded
    
    Make
    
    P
    
    V
    
    Encoding
    
    VL
    
    Csir
    
    Scalar
    
    Table
    
    Tables
    
    CS
- Library octez-libs.plonk
  - Plonk
    
    Arithmetic_gates
    
    L
    
    Params
    
    AddWire
    
    Constant
    
    Multiplication
    
    X2B
    
    X5A
    
    X5C
    
    Public
    
    InputCom
    
    Boolean_gates
    
    L
    
    BoolCheck
    
    CondSwap
    
    Circuit
    
    SMap
    
    Circuit
    
    Cq
    
    Cq_sig
    
    Internal
    
    PC
    
    ISet
    
    IMap
    
    Custom_gates
    
    L
    
    S
    
    Aggregator
    
    Ecc_gates
    
    L
    
    AddWeierstrass
    
    AddEdwards
    
    ConditionalAddEdwards
    
    Evaluations_map
    
    SMap
    
    Evaluations_sig
    
    Make
    
    Gates_common
    
    L
    
    Base_sig
    
    Hash_gates
    
    L
    
    AnemoiDouble
    
    Identities
    
    SMap
    
    Evaluations
    
    Identities
    
    Input_commitment
    
    SMap
    
    S
    
    Commitment
    
    Make_impl
    
    Commitment
    
    Make
    
    Commitment
    
    List
    
    List
    
    Main_protocol
    
    SMap
    
    S
    
    Make_impl
    
    RangeCheck
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Plook
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Gates
    
    Commitment
    
    Input_commitment
    
    Commitment
    
    PP
    
    Prover
    
    Verifier
    
    Preprocess
    
    Internal_for_tests
    
    Make
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Main_protocol_intf
    
    SMap
    
    S
    
    Input_commitment
    
    Commitment
    
    Internal_for_tests
    
    Mod_arith_gates
    
    L
    
    Make_ModAdd
    
    Make_ModMul
    
    AddMod25519
    
    MulMod25519
    
    AddMod64
    
    MulMod64
    
    Permutation_gate
    
    L
    
    Permutation_gate_impl
    
    PP
    
    Commitment
    
    Partition
    
    IntSet
    
    IntMap
    
    Preprocessing
    
    Permutation_poly
    
    Shared_argument
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    Permutation_gate
    
    PP
    
    Shared_argument
    
    Plookup_gate
    
    Plookup_gate_impl
    
    PP
    
    Plookup_poly
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Plookup_gate
    
    PP
    
    Polynomial_protocol
    
    Make_impl
    
    PC
    
    S
    
    PC
    
    Commitment
    
    Public_parameters
    
    Make
    
    PC
    
    PC
    
    Commitment
    
    Public_parameters
    
    Range_check_gate
    
    L
    
    S
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Range_check_gate_impl
    
    PP
    
    Permutation
    
    Perm
    
    PP
    
    PC
    
    Commitment
    
    Public_parameters
    
    Shared_argument
    
    RangeChecks
    
    Range_check_gate
    
    PP
- Library octez-libs.polynomial
  - Polynomial
    
    UNIVARIATE
    
    MakeUnivariate
    
    Utils
- Library octez-libs.requester
  - Tezos_requester
    
    Requester
    
    REQUESTER
    
    FULL_REQUESTER
    
    DISK_TABLE
    
    MEMORY_TABLE
    
    REQUEST
    
    PROBE
    
    HASH
    
    Make
    
    Requester_event
    
    Make
    
    Requester_impl
    
    PARAMETERS
    
    Disk_memory_table
    
    Memory_table
    
    Simple_probe
    
    Simple_request
    
    Make_memory_full_requester
- Library octez-libs.rpc
  - Tezos_rpc
    
    Answer
    
    Arg
    
    Context
    
    gen_simple
    
    gen_streamed
    
    gen
    
    simple
    
    streamed
    
    t
    
    generic
    
    of_directory
    
    Description
    
    Directory
    
    Service
    
    Encoding
    
    Error
    
    Path
    
    Query
    
    Service
    
    MethMap
    
    Internal
- Library octez-libs.rpc-http
  - Tezos_rpc_http
    
    Media_type
    
    Content_type
    
    Command_line
    
    RPC_client_errors
- Library octez-libs.rpc-http-client
  - Tezos_rpc_http_client
    
    RPC_client
    
    S
    
    LOGGER
    
    http_ctxt
    
    Make
    
    LOGGER
    
    http_ctxt
- Library octez-libs.rpc-http-client-unix
  - Tezos_rpc_http_client_unix
    
    RPC_client_unix
    
    LOGGER
    
    http_ctxt
- Library octez-libs.rpc-http-server
  - Tezos_rpc_http_server
    
    RPC_middleware
    
    RPC_server
    
    RPC_logging
    
    Media_type
    
    Directory
    
    Service
    
    Internal
    
    Ty
    
    Curry
    
    Acl
    
    Internal_for_test
- Library octez-libs.srs-extraction
  - Octez_srs_extraction
    
    Libsrs
    
    G1
    
    G2
    
    G1_carray
    
    G2_carray
    
    Checks
    
    Srs
    
    Powers_of_tau
- Library octez-libs.stdlib
  - Tezos_stdlib
    
    Bits
    
    Bloomer
    
    Bounded_heap
    
    Make
    
    Circular_buffer
    
    Compare
    
    COMPARABLE
    
    S
    
    Make
    
    Char
    
    Bool
    
    Int
    
    Int32
    
    Uint32
    
    Int64
    
    Uint64
    
    Float
    
    String
    
    Bytes
    
    Z
    
    Q
    
    List
    
    Option
    
    Result
    
    List_length_with
    
    List_lengths
    
    FallbackArray
    
    FunctionalArray
    
    Hash_queue
    
    Make
    
    Hex
    
    Lwt_dropbox
    
    Lwt_idle_waiter
    
    Lwt_pipe
    
    Bounded
    
    Unbounded
    
    Maybe_bounded
    
    Lwt_utils
    
    Memory
    
    Tag
    
    Key
    
    DSL
    
    TzBytes
    
    TzEndian
    
    TzFilename
    
    Infix
    
    TzList
    
    TzString
    
    Utils
    
    Infix
- Library octez-libs.stdlib-unix
  - Tezos_stdlib_unix
    
    Animation
    
    Key_value_store
    
    Level_config_rules
    
    Lwt_lock_file
    
    Lwt_utils_unix
    
    Json
    
    Moving_average
    
    Stored_data
    
    Sys_info
    
    Systime_os
    
    Unix_error
    
    Utils
- Library octez-libs.test-helpers
  - Tezos_test_helpers
    
    Assert
    
    EQUALITIES
    
    Option
    
    List
    
    Array
    
    List_list
    
    COMPARISONS
    
    Option
    
    List
    
    Array
    
    List_list
    
    Bytes
    
    Option
    
    List
    
    Array
    
    List_list
    
    Bool
    
    Option
    
    List
    
    Array
    
    List_list
    
    String
    
    Option
    
    List
    
    Array
    
    List_list
    
    Int32
    
    Option
    
    List
    
    Array
    
    List_list
    
    Int64
    
    Option
    
    List
    
    Array
    
    List_list
    
    Int
    
    Option
    
    List
    
    Array
    
    List_list
    
    COMPARABLE
    
    EQUALABLE
    
    Make_equalities
    
    Option
    
    List
    
    Array
    
    List_list
    
    Make_comparisons
    
    Option
    
    List
    
    Array
    
    List_list
    
    Lwt_assert
    
    Qcheck2_helpers
    
    MakeMapGen
    
    Qcheck_extra
    
    Non_empty
    
    Functor
    
    S
    
    Applicative
    
    S
    
    Monad
    
    S
    
    Syntax
    
    Identity
    
    Stateful_gen
    
    S
    
    Make
    
    Default
    
    Qcheck_helpers
    
    MakeMapArb
    
    Random_pure
    
    Roundtrip
    
    ROUNDTRIP
    
    Tag
    
    Testable
    
    TESTABLE
    
    Source_code_position
    
    V1
    
    Unix_platform
- Library octez-libs.tezos-context
  - Tezos_context
    
    TEZOS_CONTEXT_UNIX
    
    Context_binary
    
    Context
- Library octez-libs.tezos-gossipsub
  - Tezos_gossipsub
    
    Gossipsub_intf
    
    ITERABLE
    
    Set
    
    Map
    
    AUTOMATON_SUBCONFIG
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    SPAN
    
    TIME
    
    AUTOMATON_CONFIG
    
    Subconfig
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Span
    
    Time
    
    SCORE
    
    Introspection
    
    Internal_for_tests
    
    MESSAGE_CACHE
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Introspection
    
    Map
    
    Internal_for_tests
    
    AUTOMATON
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Span
    
    Score
    
    Introspection
    
    Internal_for_tests
    
    Introspection
    
    Connections
    
    Message_cache
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Introspection
    
    Map
    
    Internal_for_tests
    
    WORKER_CONFIGURATION
    
    GS
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Span
    
    Score
    
    Introspection
    
    Internal_for_tests
    
    Introspection
    
    Connections
    
    Message_cache
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Introspection
    
    Map
    
    Internal_for_tests
    
    Monad
    
    Stream
    
    WORKER
    
    GS
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Span
    
    Score
    
    Introspection
    
    Internal_for_tests
    
    Introspection
    
    Connections
    
    Message_cache
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Introspection
    
    Map
    
    Internal_for_tests
    
    Monad
    
    Stream
    
    Introspection
    
    Automaton
    
    Peer
    
    Topic
    
    Message_id
    
    Message
    
    Time
    
    Span
    
    Score
    
    Introspection
    
    Internal_for_tests
    
    Introspection
    
    Connections
    
    Message_cache
    
    Peer
    
    Set
    
    Map
    
    Topic
    
    Set
    
    Map
    
    Message_id
    
    Set
    
    Map
    
    Message
    
    Time
    
    Introspection
    
    Map
    
    Internal_for_tests
    
    Worker
    
    GS
    
    Peer
    
    Topic
    
    Message_id
    
    Message
    
    Time
    
    Span
    
    Score
    
    Introspection
    
    Monad
    
    Stream
    
    Introspection
- Library octez-libs.tezos-p2p-services
  - Tezos_p2p_services
    
    Connection_metadata
    
    P2p_errors
    
    P2p_limits
    
    P2p_services
    
    S
    
    Connections
    
    S
    
    Points
    
    S
    
    Peers
    
    S
    
    ACL
    
    S
    
    Peer_metadata
    
    Point_reconnection_config
- Library octez-libs.tezos-sapling
  - Tezos_sapling
    
    Core
    
    Raw
    
    R
    
    Spending_key
    
    Viewing_key
    
    DH
    
    Rcm
    
    Commitment
    
    Nullifier
    
    CV
    
    Ciphertext
    
    Hash
    
    UTXO
    
    Legacy
    
    Proving
    
    Verification
    
    Forge
    
    Input
    
    Output
    
    Client
    
    Spending_key
    
    Viewing_key
    
    Rcm
    
    Nullifier
    
    Commitment
    
    CV
    
    Ciphertext
    
    Hash
    
    UTXO
    
    Legacy
    
    Verification
    
    DH
    
    Proving
    
    Forge
    
    Input
    
    Output
    
    Validator
    
    Ciphertext
    
    Commitment
    
    CV
    
    Hash
    
    Nullifier
    
    UTXO
    
    Verification
    
    Validator_legacy
    
    Ciphertext
    
    Commitment
    
    CV
    
    Hash
    
    Nullifier
    
    UTXO
    
    Legacy
    
    Verification
    
    Wallet
    
    Spending_key
    
    Viewing_key
    
    Core_sig
    
    T_bytes
    
    T_encoding
    
    T_encoding_bytes
    
    T_encoding_compare
    
    Spending_key
    
    Viewing_key
    
    Wallet
    
    Spending_key
    
    Viewing_key
    
    Hash
    
    UTXO
    
    Legacy
    
    Validator
    
    Ciphertext
    
    Commitment
    
    CV
    
    Hash
    
    Nullifier
    
    UTXO
    
    Legacy
    
    Verification
    
    DH_esk
    
    Commitment
    
    CV
    
    Nullifier
    
    Rcm
    
    Client
    
    Spending_key
    
    Viewing_key
    
    Rcm
    
    Nullifier
    
    Commitment
    
    CV
    
    Ciphertext
    
    Hash
    
    UTXO
    
    Legacy
    
    Verification
    
    DH
    
    Proving
    
    Forge
    
    Input
    
    Output
    
    Forge
    
    Core
    
    S
    
    Input
    
    Rustzcash
    
    Rustzcash_ctypes_bindings
    
    Bindings
    
    Rustzcash_ctypes_stubs
    
    CI
    
    Rustzcash_sig
    
    T
    
    Storage
    
    Make_Storage
    
    Tree
    
    H
    
    Roots
    
    Map
    
    Nullifiers
    
    Ciphertexts
    
    Map
    
    Client
    
    Storage_sig
    
    STORAGE
- Library octez-libs.tezos-workers
  - Tezos_workers
    
    Worker
    
    T
    
    Name
    
    Request
    
    Types
    
    HANDLERS
    
    BOX
    
    QUEUE
    
    Dropbox
    
    Queue
    
    MakeGroup
    
    MakeWorker
    
    Name
    
    Request
    
    Types
    
    HANDLERS
    
    BOX
    
    QUEUE
    
    Dropbox
    
    Queue
    
    MakeSingle
    
    Name
    
    Request
    
    Types
    
    HANDLERS
    
    BOX
    
    QUEUE
    
    Dropbox
    
    Queue
    
    Worker_events
    
    S
    
    CRITICAL_ERROR
    
    Make
- Library octez-libs.tezt-wrapper
  - Tezt_wrapper
    
    Background
    
    Base
    
    Check
    
    Cli
    
    Diff
    
    JSON
    
    Log
    
    Process
    
    Process_hooks
    
    Runner
    
    Temp
    
    Uses
    
    Test
    
    SCHEDULER
    
    String_tree
    
    Regression
- Library octez-libs.tree-encoding
  - Tezos_tree_encoding
    
    TREE
    
    Wrapped
    
    Runner
    
    S
    
    Make
    
    Encodings_util
    
    Bare_tezos_context_sig
    
    Tree
    
    S
    
    Tree
    
    Tree_encoding_runner
    
    Make
    
    Tree
    
    Tree_encoding_runner
    
    Lazy_map_encoding
    
    Lazy_map_sig
    
    Map
    
    S
    
    Make
    
    Lazy_vector_encoding
    
    Lazy_vector_sig
    
    Map
    
    Map
    
    S
    
    Make
    
    CBV_encoding
    
    CBV_sig
    
    S
    
    Make
- Library octez-libs.version
  - Tezos_version
    
    Node_version
    
    Version
- Library plonk_test
  - Plonk_test
    
    Cases
    
    Scalar
    
    SMap
    
    Unit_tests_for_each_selector
    
    General_circuits
    
    General
    
    Range_Checks
    
    Mod_Arith
    
    Big_circuit
    
    Lookup
    
    Helpers
    
    Time
    
    Make
    
    Singleton
    
    Input_commitment
    
    Internal_for_tests
    
    Plompiler_Helpers
    
    CS
    
    Test
    
    Utils
    
    CS
    
    Test
    
    Utils
- Library tezos_base_p2p_identity_file
  - Tezos_base_p2p_identity_file
    
    Identity_file
- Library tezos_base_unix
  - Tezos_base_unix
    
    File_descriptor_sink
    
    Sink_implementation_path
    
    Sink_implementation_stdout
    
    Sink_implementation_stderr
    
    File_event_sink
    
    Sink_implementation
    
    Query
    
    Time_constraint
    
    Report
    
    Internal_event_unix
    
    Configuration
    
    Logs_simple_config
    
    Output
    
    P2p_resolve
    
    Protocol_files
    
    Simple_profiler
    
    Socket
    
    Syslog
- Library tezos_clic_unix
  - Tezos_clic_unix
    
    Scriptable
- Library tezos_context_disk
  - Tezos_context_disk
    
    TEZOS_CONTEXT_UNIX
    
    Context_binary
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Tree
    
    Checks
    
    Pack
    
    Stat
    
    Reconstruct_index
    
    Integrity_check
    
    Integrity_check_index
    
    Integrity_check_inodes
    
    Stats_commit
    
    Index
    
    Stat
    
    Integrity_check
    
    Context
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Tree
    
    Checks
    
    Pack
    
    Stat
    
    Reconstruct_index
    
    Integrity_check
    
    Integrity_check_index
    
    Integrity_check_inodes
    
    Stats_commit
    
    Index
    
    Stat
    
    Integrity_check
- Library tezos_context_dump
  - Tezos_context_dump
    
    Context_dump
    
    Dump_interface
    
    S
    
    Make
    
    Context_dump_intf
    
    Kinded_hash
    
    Dump_interface
    
    Block_header
    
    Commit_hash
    
    Kinded_hash
    
    Snapshot
    
    S
    
    Context_dump
    
    Dump_interface
    
    S
    
    Make
- Library tezos_context_encoding
  - Tezos_context_encoding
    
    Context
    
    Hash
    
    Conf
    
    Schema
    
    Conf
    
    Context_binary
    
    Hash
    
    Schema
    
    Conf
    
    Conf
- Library tezos_context_helpers
  - Tezos_context_helpers
    
    Context
    
    Env
    
    DB
    
    Make_tree
    
    Proof_encoding
    
    Make_proof
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Make_config
    
    Env
- Library tezos_context_memory
  - Tezos_context_memory
    
    Make
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Tree
    
    Context_binary
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Tree
    
    Context
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Tree
- Library tezos_context_merkle_proof_encoding
  - Tezos_context_merkle_proof_encoding
    
    Merkle_proof_encoding
    
    V1
    
    Tree32
    
    Tree2
    
    V2
    
    Tree32
    
    Tree2
- Library tezos_context_sigs
  - Tezos_context_sigs
    
    Config
    
    Context
    
    VIEW
    
    Kind
    
    TREE
    
    HASH_VERSION
    
    Proof_types
    
    Stream
    
    Internal_for_tests
    
    PROOF
    
    Stream
    
    Internal_for_tests
    
    PROOF_ENCODING
    
    TEZOS_CONTEXT
    
    Proof
    
    Stream
    
    Internal_for_tests
    
    Tree
    
    Storelike
    
    With_get_data
- Library tezos_crypto_dal_octez_dal_config
  - Tezos_crypto_dal_octez_dal_config
    
    Dal_config
- Library tezos_version_parser
  - Tezos_version_parser
- Library traced_functor_outputs
  - Traced_functor_outputs
    
    Hashtbl
    
    S
    
    SeededS
    
    S_ES
    
    Map
    
    S
    
    Set
    
    S
- Library traced_sigs
  - Traced_sigs
    
    Hashtbl
    
    S
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    S
    
    Map
    
    S
    
    S
    
    Make
    
    Monad
    
    S
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Traced_result_syntax
    
    Lwt_traced_result_syntax
    
    Option
    
    S
    
    Result
    
    S
    
    Seq
    
    S
    
    E
    
    S
    
    ES
    
    Seq_e
    
    S
    
    E
    
    S
    
    ES
    
    Seq_es
    
    S
    
    E
    
    S
    
    ES
    
    Seq_s
    
    S
    
    E
    
    S
    
    ES
    
    Set
    
    S
    
    S
    
    Make
    
    Trace
    
    S
    
    Unit
    
    S
    
    WithExceptions
    
    S
- Library traced_structs
  - Traced_structs
    
    Hashtbl
    
    Make
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    Make
    
    Map
    
    Make
    
    S
    
    Make
    
    Monad
    
    Make
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Traced_result_syntax
    
    Lwt_traced_result_syntax
    
    Seq
    
    Make
    
    E
    
    S
    
    ES
    
    Seq_e
    
    E
    
    S
    
    ES
    
    Seq_es
    
    Make
    
    E
    
    S
    
    ES
    
    Seq_s
    
    Make
    
    E
    
    S
    
    ES
    
    Set
    
    Make
    
    S
    
    Make
    
    Structs
    
    Make
    
    Monad
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Traced_result_syntax
    
    Lwt_traced_result_syntax
    
    Seq
    
    E
    
    S
    
    ES
    
    Hashtbl
    
    S
    
    Make
    
    SeededS
    
    MakeSeeded
    
    S_ES
    
    Make_es
    
    List
    
    Map
    
    S
    
    Make
    
    Option
    
    Result
    
    Set
    
    S
    
    Make
    
    Seq_e
    
    Seq_s
    
    E
    
    S
    
    ES
    
    Seq_es
    
    E
    
    S
    
    ES
    
    Unit
    
    WithExceptions
- Library traces
  - Traces
    
    S
    
    EXTENDED
    
    SingletonR
    
    SingletonL
    
    SingletonND
    
    Flat
    
    Full
    
    Unit
- Sources
  - aggregation
    
    aggregation.ml
    
    main_protocol.ml
    
    pack.ml
    
    polynomial_commitment.ml
    
    polynomial_protocol.ml
  - bare_functor_outputs
    
    bare_functor_outputs.ml
    
    hashtbl.ml
    
    map.ml
    
    set.ml
  - bare_sigs
    
    bare_sigs.ml
    
    hashtbl.ml
    
    list.ml
    
    map.ml
    
    monad.ml
    
    option.ml
    
    result.ml
    
    seq.ml
    
    seq_e.ml
    
    seq_es.ml
    
    seq_s.ml
    
    set.ml
    
    unit.ml
    
    withExceptions.ml
  - bare_structs
    
    bare_structs.ml
    
    hashtbl.ml
    
    list.ml
    
    map.ml
    
    monad.ml
    
    option.ml
    
    result.ml
    
    seq.ml
    
    seq_e.ml
    
    seq_es.ml
    
    seq_s.ml
    
    set.ml
    
    unit.ml
    
    withExceptions.ml
  - communication
    
    communication.ml
    
    distributed_wrapper.ml
    
    message.ml
  - distribution
    
    distribution.ml
    
    kzg_pack.ml
    
    main_protocol.ml
    
    polynomial_commitment.ml
    
    polynomial_protocol.ml
  - octez-libs.aplonk
    
    aplonk.ml
    
    circuit.ml
    
    main_protocol.ml
    
    pi_parameters.ml
  - octez-libs.base
    
    block_header.ml
    
    block_locator.ml
    
    bounded.ml
    
    dal_srs.ml
    
    data_encoding_wrapper.ml
    
    distributed_db_version.ml
    
    fitness.ml
    
    genesis.ml
    
    internal_event_config.ml
    
    mempool.ml
    
    network_version.ml
    
    operation.ml
    
    p2p_addr.ml
    
    p2p_connection.ml
    
    p2p_identity.ml
    
    p2p_params.ml
    
    p2p_peer.ml
    
    p2p_peer_id.ml
    
    p2p_point.ml
    
    p2p_rejection.ml
    
    p2p_stat.ml
    
    p2p_version.ml
    
    point_parser.ml
    
    profiler.ml
    
    protocol.ml
    
    s.ml
    
    sized.ml
    
    skip_list.ml
    
    test_chain_status.ml
    
    tezos_base.ml
    
    time.ml
    
    tzPervasives.ml
    
    user_activated.ml
    
    worker_intf.ml
    
    worker_types.ml
  - octez-libs.base-test-helpers
    
    tezos_base_test_helpers.ml
    
    tz_gen.ml
    
    tztest.ml
    
    tztestable.ml
  - octez-libs.bls12-381-hash
    
    anemoi.ml
    
    bls12_381_hash.ml
    
    bls12_381_hash__.ml
    
    griffin.ml
    
    jive.ml
    
    poseidon.ml
    
    poseidon_utils.ml
    
    rescue.ml
    
    s.ml
    
    sponge.ml
  - octez-libs.bls12-381-polynomial
    
    carray.ml
    
    domain.ml
    
    ec_carray.ml
    
    evaluations.ml
    
    fr_carray.ml
    
    helpers.ml
    
    octez_bls12_381_polynomial.ml
    
    octez_bls12_381_polynomial__.ml
    
    polynomial.ml
    
    srs.ml
  - octez-libs.bls12-381-signature
    
    bls12_381_signature.ml
  - octez-libs.clic
    
    tezos_clic.ml
  - octez-libs.crypto
    
    aggregate_signature.ml
    
    base58.ml
    
    blake2B.ml
    
    block_hash.ml
    
    block_metadata_hash.ml
    
    bls.ml
    
    chain_id.ml
    
    context_hash.ml
    
    crypto_box.ml
    
    ed25519.ml
    
    hacl.ml
    
    helpers.ml
    
    operation_hash.ml
    
    operation_list_hash.ml
    
    operation_list_list_hash.ml
    
    operation_metadata_hash.ml
    
    operation_metadata_list_hash.ml
    
    operation_metadata_list_list_hash.ml
    
    p256.ml
    
    protocol_hash.ml
    
    rand.ml
    
    s.ml
    
    secp256k1.ml
    
    signature.ml
    
    signature_v0.ml
    
    signature_v1.ml
    
    smart_rollup_address.ml
    
    smart_rollup_commitment_hash.ml
    
    smart_rollup_inbox_hash.ml
    
    smart_rollup_merkelized_payload_hashes_hash.ml
    
    smart_rollup_state_hash.ml
    
    tezos_crypto.ml
    
    tezos_crypto__.ml
    
    timelock.ml
    
    timelock_legacy.ml
    
    timelock_precompute.ml
  - octez-libs.crypto-dal
    
    cryptobox.ml
    
    cryptobox_intf.ml
    
    tezos_crypto_dal.ml
  - octez-libs.distributed-plonk
    
    distributed_plonk.ml
    
    distributed_prover.ml
    
    distribution_helpers.ml
    
    filenames.ml
    
    master_runner.ml
    
    worker.ml
  - octez-libs.epoxy-tx
    
    constants.ml
    
    epoxy_tx.ml
    
    tx_rollup.ml
    
    types.ml
    
    utils.ml
  - octez-libs.error-monad
    
    TzCore.ml
    
    TzLwtreslib.ml
    
    TzMonad.ml
    
    TzTrace.ml
    
    core_maker.ml
    
    error_classification.ml
    
    error_monad.ml
    
    monad_maker.ml
    
    sig.ml
    
    tezos_error_monad.ml
  - octez-libs.event-logging
    
    internal_event.ml
    
    tezos_event_logging.ml
  - octez-libs.event-logging-test-helpers
    
    mock_sink.ml
    
    tezos_event_logging_test_helpers.ml
  - octez-libs.expect-helper
    
    tezos_expect_helper.ml
  - octez-libs.hacl
    
    hacl.ml
    
    tezos_hacl.ml
  - octez-libs.kzg
    
    bls.ml
    
    commitment.ml
    
    degree_check.ml
    
    interfaces.ml
    
    kate_amortized.ml
    
    kzg.ml
    
    polynomial_commitment.ml
    
    sMap.ml
    
    utils.ml
  - octez-libs.lazy-containers
    
    chunked_byte_vector.ml
    
    immutable_chunked_byte_vector.ml
    
    lazy_map.ml
    
    lazy_vector.ml
    
    tezos_lazy_containers.ml
  - octez-libs.lwt-result-stdlib
    
    lwtreslib.ml
    
    tezos_lwt_result_stdlib.ml
  - octez-libs.mec
    
    ark_neptunus.ml
    
    ark_orchard.ml
    
    ark_poseidon128.ml
    
    ark_poseidon252.ml
    
    babyjubjub.ml
    
    babyjubjub_reduced.ml
    
    baijiu_blake2b.ml
    
    baijiu_blake2s.ml
    
    bandersnatch.ml
    
    bls12_381_ref.ml
    
    bn254.ml
    
    curve25519.ml
    
    curve448.ml
    
    digestif_bi.ml
    
    digestif_by.ml
    
    digestif_conv.ml
    
    digestif_eq.ml
    
    ec.ml
    
    ec_pbt.ml
    
    ec_sig.ml
    
    ff.ml
    
    group_hash.ml
    
    hades.ml
    
    hades_linear_optimisation.ml
    
    iterator.ml
    
    jubjub.ml
    
    linear_algebra.ml
    
    marvellous.ml
    
    mds_orchard.ml
    
    mds_poseidon128.ml
    
    mds_poseidon252.ml
    
    mec.ml
    
    mec__.ml
    
    mec_curve_utils.ml
    
    mec_digestif.ml
    
    neptunus.ml
    
    orchard.ml
    
    pallas.ml
    
    pedersen_hash.ml
    
    poseidon128.ml
    
    poseidon252.ml
    
    poseidon_core.ml
    
    reddsa.ml
    
    redjubjub.ml
    
    secp256k1.ml
    
    secp256r1.ml
    
    sinsemilla.ml
    
    sinsemilla_zcash_generators.ml
    
    tweedledee.ml
    
    tweedledum.ml
    
    vesta.ml
    
    xor.ml
  - octez-libs.micheline
    
    micheline.ml
    
    micheline_diff.ml
    
    micheline_encoding.ml
    
    micheline_parser.ml
    
    micheline_printer.ml
    
    tezos_micheline.ml
  - octez-libs.plompiler
    
    affine_curve_intf.ml
    
    ark_128.ml
    
    ark_252.ml
    
    ark_full.ml
    
    bounded.ml
    
    circuit.ml
    
    csir.ml
    
    gadget_anemoi.ml
    
    gadget_blake2s.ml
    
    gadget_ed25519.ml
    
    gadget_edwards.ml
    
    gadget_edwards25519.ml
    
    gadget_merkle.ml
    
    gadget_merkle_narity.ml
    
    gadget_mod_arith.ml
    
    gadget_poseidon.ml
    
    gadget_schnorr.ml
    
    gadget_sha2.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
    
    range_checks.ml
    
    result.ml
    
    sha2_variants.ml
    
    solver.ml
    
    utils.ml
  - octez-libs.plonk
    
    arithmetic_gates.ml
    
    boolean_gates.ml
    
    circuit.ml
    
    cq.ml
    
    custom_gates.ml
    
    ecc_gates.ml
    
    evaluations_map.ml
    
    gates_common.ml
    
    hash_gates.ml
    
    identities.ml
    
    input_commitment.ml
    
    list.ml
    
    main_protocol.ml
    
    main_protocol_intf.ml
    
    mod_arith_gates.ml
    
    permutation_gate.ml
    
    plonk.ml
    
    plookup_gate.ml
    
    polynomial_protocol.ml
    
    range_check_gate.ml
  - octez-libs.polynomial
    
    polynomial.ml
    
    polynomial__.ml
    
    utils.ml
  - octez-libs.requester
    
    requester.ml
    
    requester_event.ml
    
    requester_impl.ml
    
    tezos_requester.ml
  - octez-libs.rpc
    
    RPC_answer.ml
    
    RPC_arg.ml
    
    RPC_context.ml
    
    RPC_description.ml
    
    RPC_directory.ml
    
    RPC_encoding.ml
    
    RPC_error.ml
    
    RPC_path.ml
    
    RPC_query.ml
    
    RPC_service.ml
    
    tezos_rpc.ml
    
    tezos_rpc__.ml
  - octez-libs.rpc-http
    
    RPC_client_errors.ml
    
    media_type.ml
    
    tezos_rpc_http.ml
  - octez-libs.rpc-http-client
    
    RPC_client.ml
    
    tezos_rpc_http_client.ml
  - octez-libs.rpc-http-client-unix
    
    RPC_client_unix.ml
    
    tezos_rpc_http_client_unix.ml
  - octez-libs.rpc-http-server
    
    RPC_middleware.ml
    
    RPC_server.ml
    
    tezos_rpc_http_server.ml
  - octez-libs.srs-extraction
    
    libsrs.ml
    
    octez_srs_extraction.ml
  - octez-libs.stdlib
    
    bits.ml
    
    bloomer.ml
    
    bounded_heap.ml
    
    circular_buffer.ml
    
    compare.ml
    
    fallbackArray.ml
    
    functionalArray.ml
    
    hash_queue.ml
    
    lwt_dropbox.ml
    
    lwt_idle_waiter.ml
    
    lwt_pipe.ml
    
    lwt_utils.ml
    
    memory.ml
    
    readOnlyArray.ml
    
    tag.ml
    
    tezos_stdlib.ml
    
    tezos_stdlib__.ml
    
    tzBytes.ml
    
    tzEndian.ml
    
    tzFilename.ml
    
    tzHex.ml
    
    tzList.ml
    
    tzString.ml
    
    utils.ml
  - octez-libs.stdlib-unix
    
    animation.ml
    
    key_value_store.ml
    
    level_config_rules.ml
    
    lwt_lock_file.ml
    
    lwt_utils_unix.ml
    
    moving_average.ml
    
    stored_data.ml
    
    sys_info.ml
    
    systime_os.ml
    
    tezos_stdlib_unix.ml
    
    unix_error.ml
    
    utils.ml
  - octez-libs.test-helpers
    
    assert.ml
    
    lwt_assert.ml
    
    qcheck2_helpers.ml
    
    qcheck_extra.ml
    
    qcheck_helpers.ml
    
    random_pure.ml
    
    roundtrip.ml
    
    tag.ml
    
    testable.ml
    
    tezos_test_helpers.ml
  - octez-libs.tezos-context
    
    tezos_context.ml
  - octez-libs.tezos-gossipsub
    
    gossipsub_automaton.ml
    
    gossipsub_intf.ml
    
    gossipsub_worker.ml
    
    message_cache.ml
    
    peers_score.ml
    
    state_monad.ml
    
    tezos_gossipsub.ml
    
    tezos_gossipsub__.ml
  - octez-libs.tezos-p2p-services
    
    connection_metadata.ml
    
    p2p_errors.ml
    
    p2p_limits.ml
    
    p2p_services.ml
    
    peer_metadata.ml
    
    point_reconnection_config.ml
    
    tezos_p2p_services.ml
  - octez-libs.tezos-sapling
    
    core.ml
    
    core_sig.ml
    
    forge.ml
    
    rustzcash.ml
    
    rustzcash_ctypes_bindings.ml
    
    rustzcash_ctypes_stubs.ml
    
    rustzcash_sig.ml
    
    storage.ml
    
    storage_sig.ml
    
    tezos_sapling.ml
  - octez-libs.tezos-workers
    
    tezos_workers.ml
    
    worker.ml
    
    worker_events.ml
  - octez-libs.tezt-wrapper
    
    tezt_wrapper.ml
  - octez-libs.tree-encoding
    
    decoding.ml
    
    encoding.ml
    
    tezos_tree_encoding.ml
    
    tezos_tree_encoding__.ml
    
    tree.ml
  - octez-libs.version
    
    node_version.ml
    
    tezos_version.ml
    
    version.ml
  - plonk_test
    
    cases.ml
    
    helpers.ml
    
    plonk_test.ml
  - tezos_base_p2p_identity_file
    
    identity_file.ml
    
    tezos_base_p2p_identity_file.ml
  - tezos_base_unix
    
    file_descriptor_sink.ml
    
    file_event_sink.ml
    
    internal_event_unix.ml
    
    logs_simple_config.ml
    
    p2p_resolve.ml
    
    protocol_files.ml
    
    simple_profiler.ml
    
    socket.ml
    
    syslog.ml
    
    tezos_base_unix.ml
  - tezos_clic_unix
    
    scriptable.ml
    
    tezos_clic_unix.ml
  - tezos_context_disk
    
    context.ml
    
    tezos_context_disk.ml
    
    tezos_context_disk__.ml
  - tezos_context_dump
    
    context_dump.ml
    
    context_dump_intf.ml
    
    tezos_context_dump.ml
  - tezos_context_encoding
    
    context.ml
    
    context_binary.ml
    
    tezos_context_encoding.ml
  - tezos_context_helpers
    
    context.ml
    
    env.ml
    
    tezos_context_helpers.ml
  - tezos_context_memory
    
    context.ml
    
    tezos_context_memory.ml
    
    tezos_context_memory__.ml
  - tezos_context_merkle_proof_encoding
    
    merkle_proof_encoding.ml
    
    tezos_context_merkle_proof_encoding.ml
  - tezos_context_sigs
    
    config.ml
    
    context.ml
    
    tezos_context_sigs.ml
  - tezos_crypto_dal_octez_dal_config
    
    dal_config.ml
    
    tezos_crypto_dal_octez_dal_config.ml
  - tezos_version_parser
    
    tezos_version_parser.ml
  - traced_functor_outputs
    
    hashtbl.ml
    
    map.ml
    
    set.ml
    
    traced_functor_outputs.ml
  - traced_sigs
    
    hashtbl.ml
    
    list.ml
    
    map.ml
    
    monad.ml
    
    option.ml
    
    result.ml
    
    seq.ml
    
    seq_e.ml
    
    seq_es.ml
    
    seq_s.ml
    
    set.ml
    
    trace.ml
    
    traced_sigs.ml
    
    unit.ml
    
    withExceptions.ml
  - traced_structs
    
    hashtbl.ml
    
    list.ml
    
    map.ml
    
    monad.ml
    
    seq.ml
    
    seq_e.ml
    
    seq_es.ml
    
    seq_s.ml
    
    set.ml
    
    structs.ml
    
    traced_structs.ml
  - traces
    
    traces.ml

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

Module `Plonk.Cq`Source

Sourcemodule type Cq_sig = sig ... end

Sourcemodule Internal : sig ... end

include Cq_sig

Sourceexception Entry_not_in_table

Sourcetype prover_public_parameters

Sourcetype verifier_public_parameters

Sourcetype proof

Source

val setup : 
  srs:(Kzg.Bls.Srs_g1.t * Kzg.Bls.Srs_g2.t) ->
  wire_size:int ->
  table:Plompiler.S.t array list ->
  prover_public_parameters * verifier_public_parameters

Source

val prove : 
  prover_public_parameters ->
  Kzg.Utils.Transcript.t ->
  Plompiler.S.t array Plonk.Identities.SMap.t list ->
  proof * Kzg.Utils.Transcript.t

Source

val verify : 
  verifier_public_parameters ->
  Kzg.Utils.Transcript.t ->
  proof ->
  bool * Kzg.Utils.Transcript.t

package octez-libs

Module Plonk.CqSource

Module `Plonk.Cq`Source