package tezos-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune Dependency

research-development.nomadic-labs.com Readme Edit opam file Versions (6)

Authors

N

Nomadic Labs Privacy Team

Maintainers

P

privacy-team@nomadic-labs.com

Sources

privacy-team-v1.0.0.tar.gz

md5=c9007a234fbacaddbc652c139cac56db

sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93

doc/tezos-plonk.distribution/Distribution/Kzg_pack/Make/BasePC/Commitment/index.html

Module `BasePC.Commitment`Source

Sourcetype t = Pack.commitment

Sourceval t : Pack.commitment Repr.t

Sourcetype prover_aux = PC.Commitment.t * PC.Commitment.prover_aux

Sourceval prover_aux_t : (PC.Commitment.t * PC.Commitment.prover_aux) Repr.t

Source

val commit : 
  ?all_keys:Plonk.SMap.key Plonk.List.t ->
  Public_parameters.prover ->
  PC.Polynomial.Polynomial.t Plonk.SMap.t ->
  Pack.commitment * (PC.Commitment.t * PC.Commitment.prover_aux)

Sourceval cardinal : Pack.commitment -> int