package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
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.