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

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.aplonk/Aplonk/Main_protocol/Main_Pack/Perm/Shared_argument/index.html

Module `Perm.Shared_argument`

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

val batched_wires_poly_of_batched_wires : 
  (bool * int * Plonk.Bls.Domain.t) ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t ->
  (Plonk.Bls.Scalar.t * Plonk.Bls.Poly.t Plonk.SMap.t option list) ->
  Plonk.Bls.Poly.t Plonk.SMap.t

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

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