package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-libs.kzg/Kzg/Polynomial_commitment/index.html
Module Kzg.Polynomial_commitmentSource
Source
val commit :
?all_keys:'a ->
Public_parameters.prover ->
Kzg.Bls.Poly.t SMap.t ->
Bls.G1.Srs.elt SMap.t * unitSource
val compute_Ws :
Public_parameters.prover ->
Kzg.Bls.Poly.t SMap.t ->
Kzg.Bls.Poly.scalar SMap.t ->
Bls.Scalar.t SMap.t ->
Bls.G1.Srs.elt SMap.tSource
val verifier_check :
Public_parameters.verifier ->
Bls.G1.t SMap.t ->
Bls.Scalar.t SMap.t SMap.t ->
Bls.Scalar.t SMap.t ->
Bls.Scalar.t SMap.t ->
Bls.G1.t SMap.t ->
boolSource
val sample_ys :
Kzg__Utils.Transcript.t ->
'a SMap.t ->
Bls.Scalar.t SMap.t * Kzg__Utils.Transcript.tSource
val batch_answer :
Bls.Scalar.t SMap.t ->
Bls.Scalar.t SMap.t SMap.t ->
Bls.Scalar.t SMap.t * Bls.Scalar.t SMap.t SMap.tSource
val batch_polys :
Kzg.Bls.Poly.scalar SMap.t SMap.t ->
Kzg.Bls.Poly.t SMap.t ->
Kzg.Bls.Poly.t SMap.tSource
val prove_single :
Public_parameters.prover ->
Kzg__Utils.Transcript.t ->
Kzg.Bls.Poly.t SMap.t ->
Bls.Scalar.t SMap.t ->
Bls.Scalar.t SMap.t SMap.t ->
Bls.G1.Srs.elt SMap.t * Utils.Transcript.tSource
val verify_single :
Public_parameters.verifier ->
Kzg__Utils.Transcript.t ->
Bls.G1.t SMap.t ->
Bls.Scalar.t SMap.t ->
Bls.Scalar.t SMap.t SMap.t ->
Bls.G1.t SMap.t ->
bool * Utils.Transcript.tSource
val prove :
Public_parameters.prover ->
Utils.Transcript.t ->
secret list ->
'a ->
query list ->
answer list ->
Bls.G1.Srs.elt SMap.t * Utils.Transcript.tSource
val verify :
Public_parameters.verifier ->
Utils.Transcript.t ->
Commitment.t list ->
query list ->
answer list ->
Bls.G1.t SMap.t ->
bool * Utils.Transcript.t