package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
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 ->
Kzg.Bls.Srs_g1.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 ->
Kzg.Bls.Srs_g1.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 ->
Kzg.Bls.Srs_g1.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 ->
Kzg.Bls.Srs_g1.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