package tezos-plonk
Plonk zero-knowledge proving system
Install
Dune Dependency
Authors
Maintainers
Sources
privacy-team-v1.0.0.tar.gz
md5=c9007a234fbacaddbc652c139cac56db
sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93
doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/MP/PP/index.html
Module MP.PP
module PC : sig ... end
module Evaluations : sig ... end
type prover_public_parameters = PC.Public_parameters.prover
val prover_public_parameters_t : prover_public_parameters Repr.t
type verifier_public_parameters = PC.Public_parameters.verifier
val verifier_public_parameters_t : verifier_public_parameters Repr.t
type prover_identities =
Evaluations.t Plonk.SMap.t ->
Evaluations.t Plonk.SMap.t
type verifier_identities =
PC.Scalar.t ->
PC.Scalar.t Plonk.SMap.t Plonk.SMap.t ->
PC.Scalar.t Plonk.SMap.t
type non_committed =
PC.Scalar.t ->
PC.Scalar.t Plonk.SMap.t Plonk.SMap.t ->
PC.Scalar.t Plonk.SMap.t
type transcript = PC.transcript
val transcript_t : transcript Repr.t
val convert_eval_points :
generator:PC.Scalar.t ->
x:PC.Scalar.t ->
eval_point list ->
PC.Scalar.t Plonk.SMap.t
val get_answer : PC.answer -> eval_point -> string -> PC.Scalar.t
val merge_prover_identities : prover_identities list -> prover_identities
val merge_verifier_identities : verifier_identities list -> verifier_identities
val compute_t :
n:int ->
alpha:PC.Scalar.t ->
nb_of_t_chunks:int ->
Evaluations.t Plonk.SMap.t ->
Evaluations.polynomial Plonk.SMap.t
val setup :
setup_params:PC.Public_parameters.setup_params ->
srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) ->
prover_public_parameters * verifier_public_parameters
val prove :
prover_public_parameters ->
transcript ->
n:int ->
generator:PC.Scalar.t ->
secrets:
(PC.Polynomial.Polynomial.t Plonk.SMap.t * PC.Commitment.prover_aux) list ->
eval_points:eval_point list list ->
evaluations:Evaluations.t Plonk.SMap.t ->
identities:prover_identities ->
nb_of_t_chunks:int ->
proof * transcript
val verify :
verifier_public_parameters ->
transcript ->
n:int ->
generator:PC.Scalar.t ->
commitments:PC.Commitment.t list ->
eval_points:eval_point list list ->
?non_committed:non_committed ->
identities:verifier_identities ->
proof ->
bool * transcript
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>