package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-libs.plonk/Plonk/Identities/index.html
Module Plonk.IdentitiesSource
include module type of struct include Identities end
The type for prover identities: functions from a (string) map of polynomials in FFT evaluations form to a (string) map of evaluated identities (also polynomials in FFT evaluations form).
type verifier_identities =
Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t SMap.t SMap.t ->
Plonk.Bls.Scalar.t SMap.tThe type for verifier identities: functions which map an evaluation point ξ an a PC.answer into a (string) map of evaluated identities.
The type for evaluation points. Either X, GX, or a custom point, which must be specified by an evaluation point name paired with a scalar that will multiply ξ. For example:
Xcould be implemented asCustom ("x", Scalar.one)GXcould be implemented asCustom ("gx", generator).
val convert_eval_points :
generator:Plonk.Bls.Scalar.t ->
x:Plonk.Bls.Scalar.t ->
eval_point list ->
Plonk.Bls.Scalar.t SMap.tconvert_eval_points gen x points maps the polynomial protocol points : eval_point list into scalars, by evaluating the underlying "composition" polynomial at x. The generator gen is used in case the eval_point equals GX, in which case the resulting scalar is x * gen.
val get_answer :
Plonk.Bls.Scalar.t SMap.t SMap.t ->
eval_point ->
string ->
Plonk.Bls.Scalar.tget_answer answers p name extracts the evaluation of polynomial name at point p from the given answers.
A function to merge a list of prover identities into one.
A function to merge a list of verifier identities into one.