package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/octez-libs.crypto-dal/Tezos_crypto_dal/Cryptobox/Internal_for_tests/index.html

Module Cryptobox.Internal_for_testsSource

Sourceval parameters_initialisation : parameters -> initialisation_parameters

The initialisation parameters can be too large for testing purposes. This function creates an unsafe initialisation parameters using parameters. The running time of this function is linear with respect to parameters.slot_size. Order of magnitude can be around 1 minute for a size of 1MiB.

Sourceval load_parameters : initialisation_parameters -> unit

Same as load_parameters except it erase parameters if they were already loaded. This is used to circumvent limitation from test frameworks where tests with various parameters could be run using the same binary.

Sourceval make_dummy_shards : t -> state:Random.State.t -> shard Seq.t

Returns a randomized valid sequence of shards using the random state state for the given parameters.

Sourceval polynomials_equal : polynomial -> polynomial -> bool

polynomials_equal p1 p2 returns true if and only if p1 and p2 represent the same polynomial.

Sourceval page_proof_equal : page_proof -> page_proof -> bool

page_proof_equal proof1 proof2 returns true if and only if proof1 and proof2 represent the same proof.

Sourceval alter_page_proof : page_proof -> page_proof

alter_page_proof page_proof returns a different page proof than the input.

Sourceval alter_shard_proof : shard_proof -> shard_proof

alter_shard_proof shard_proof returns a different shard proof than the input.

Sourceval alter_commitment_proof : commitment_proof -> commitment_proof

alter_commitment_proof commitment_proof returns a different commitment proof than the input.

Sourceval minimum_number_of_shards_to_reconstruct_slot : t -> int

minimum_number_of_shards_to_reconstruct_slot t returns the minimum number of shards to reconstruct a slot using polynomial_from_shards.

Sourceval dummy_commitment : state:Random.State.t -> unit -> commitment
Sourceval dummy_page_proof : state:Random.State.t -> unit -> page_proof
Sourceval dummy_shard_proof : state:Random.State.t -> unit -> shard_proof
Sourceval make_dummy_shard : state:Random.State.t -> index:int -> length:int -> shard
Sourceval number_of_pages : t -> int
Sourceval shard_length : t -> int
Sourceval dummy_polynomial : state:Random.State.t -> degree:int -> polynomial
Sourceval srs_size_g1 : t -> int
Sourceval select_fft_domain : int -> int * int * int

select_fft_domain domain_size selects a suitable domain for the FFT.

The domain size domain_size is expected to be strictly positive. Return (size, power_of_two, remainder) such that: * If domain_size > 1, then size is the smallest integer greater or equal to domain_size and is of the form 2^a * 3^b * 11^c * 19^d, where:

a ∈ ⟦0, 32⟧, b ∈ {0, 1}, c ∈ {0, 1}, d ∈ {0, 1}

* If domain_size = 1, then size = 2. * size = power_of_two * remainder, power_of_two is a power of two, and remainder is not divisible by 2.

Sourceval reset_initialisation_parameters : unit -> unit
Sourceval encoded_share_size : t -> int
Sourceval ensure_validity : parameters -> bool

ensure_validity parameters returns true if the parameters are valid. See implementation file for details.