package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-libs.kzg/Kzg/Kate_amortized/index.html

Module `Kzg.Kate_amortized`Source

Sourcetype public_parameters = {

max_polynomial_length : int;
shard_length : int;
srs_g1 : Kzg.Bls.Srs_g1.t;
number_of_shards : int;

}

Sourcetype preprocess

Sourceval preprocess_encoding : preprocess Data_encoding.t

Sourcetype shard_proof = Commitment.Single_G1.t

Sourcetype commitment = Commitment.Single_G1.t

Sourceval preprocess_equal : preprocess -> preprocess -> bool

Sourceval commit : public_parameters -> Kzg.Bls.Poly.t -> commitment

Sourceval preprocess_multiple_multi_reveals : public_parameters -> preprocess

Source

val multiple_multi_reveals : 
  public_parameters ->
  preprocess:preprocess ->
  coefficients:Octez_bls12_381_polynomial.scalar array ->
  shard_proof array

Source

val verify : 
  public_parameters ->
  commitment:commitment ->
  srs_point:Bls.G2.t ->
  domain:Bls.Domain.t ->
  root:Octez_bls12_381_polynomial.scalar ->
  evaluations:Octez_bls12_381_polynomial.scalar array ->
  proof:shard_proof ->
  bool

Source

val verify_multi : 
  public_parameters ->
  commitment:commitment ->
  srs_point:Bls.G2.t ->
  domain:Bls.Domain.t ->
  root_list:Octez_bls12_381_polynomial.scalar list ->
  evaluations_list:Octez_bls12_381_polynomial.scalar array list ->
  proof_list:shard_proof list ->
  bool

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.kzg/Kzg/Kate_amortized/index.html

Module Kzg.Kate_amortizedSource

Module `Kzg.Kate_amortized`Source