PP.PCUnderlying polynomial commitment scheme on which the polynomial protocol is based. Input of the functor Polynomial_protocol.Make.
type secret = Kzg.Bls.Poly.t Kzg.SMap.ttype query = Kzg.Bls.Scalar.t Kzg.SMap.tval query_t : query Repr.ttype answer = Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.tval answer_t : answer Repr.tval proof_t : proof Repr.tmodule Commitment : Kzg.Interfaces.Commitmentmodule Public_parameters :
Kzg.Interfaces.Public_parameters
with type commitment = Commitment.public_parametersval commit :
?all_keys:string list ->
Public_parameters.prover ->
secret ->
Commitment.t * Commitment.prover_auxval prove :
Public_parameters.prover ->
Kzg.Utils.Transcript.t ->
secret list ->
Commitment.prover_aux list ->
query list ->
answer list ->
proof * Kzg.Utils.Transcript.tval verify :
Public_parameters.verifier ->
Kzg.Utils.Transcript.t ->
Commitment.t list ->
query list ->
answer list ->
proof ->
bool * Kzg.Utils.Transcript.t