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-18.0.tar.gz

sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c

sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/octez-libs.plonk/Plonk/Permutation_gate/Permutation_gate_impl/Shared_argument/index.html

Module `Permutation_gate_impl.Shared_argument`Source

Source

val build_batched_wires_values : 
  ?batched_keys:(SMap.key -> SMap.key) ->
  delta:Bls.Evaluations.scalar ->
  wires:Bls.Evaluations.t SMap.t list SMap.t ->
  unit ->
  Bls.Evaluations.t SMap.t SMap.t

Source

val batched_wires_poly_of_batched_wires : 
  (bool * int * Bls.Evaluations.domain) ->
  Bls.Evaluations.t SMap.t ->
  (Plonk.Bls.Poly.scalar * Plonk.Bls.Poly.t SMap.t option list) ->
  Bls.Evaluations.polynomial SMap.t

Source

val build_batched_witness_polys : 
  ?use_batched_wires:bool ->
  zero_knowledge:bool ->
  domain:Plonk.Bls.Domain.t ->
  delta:Plonk.Bls.Poly.scalar ->
  batched_wires:Bls.Evaluations.t SMap.t SMap.t ->
  f:
    (Plonk.Bls.Poly.t SMap.t list SMap.t
     * Plonk.Bls.Poly.t SMap.t option list SMap.t) ->
  unit ->
  Bls.Evaluations.polynomial Stdlib__Map.Make(String).t

Source

val merge_batched_values : 
  'a SMap.t SMap.t ->
  'a SMap.t SMap.t ->
  'a SMap.t SMap.t

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plonk/Plonk/Permutation_gate/Permutation_gate_impl/Shared_argument/index.html

Module Permutation_gate_impl.Shared_argumentSource

Module `Permutation_gate_impl.Shared_argument`Source