package octez-libs
include Kzg.Interfaces.Polynomial_commitment
type secret = Kzg.Bls.Poly.t Kzg.SMap.t
type query = Kzg.Bls.Scalar.t Kzg.SMap.t
type answer = Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t
module Commitment : Kzg.Interfaces.Commitment
module Public_parameters :
Kzg.Interfaces.Public_parameters
with type commitment = Commitment.public_parameters
val commit :
?all_keys:string list ->
Public_parameters.prover ->
secret ->
Commitment.t * Commitment.prover_aux
val prove :
Public_parameters.prover ->
Kzg.Utils.Transcript.t ->
secret list ->
Commitment.prover_aux list ->
query list ->
answer list ->
proof * Kzg.Utils.Transcript.t
val verify :
Public_parameters.verifier ->
Kzg.Utils.Transcript.t ->
Commitment.t list ->
query list ->
answer list ->
proof ->
bool * Kzg.Utils.Transcript.t
type prover_aux = {
r : Kzg.Bls.Scalar.t;
s_list : Kzg.Bls.Scalar.t Aggregation.Polynomial_commitment.SMap.t list;
}
Auxiliary information needed by the prover for the meta-verification in aPlonK
val prove_super_aggregation :
Public_parameters.prover ->
Kzg.Utils.Transcript.t ->
Kzg.Bls.Poly.t Aggregation.Polynomial_commitment.SMap.t list ->
Commitment.prover_aux list ->
query list ->
Kzg.Bls.Scalar.t Aggregation.Polynomial_commitment.SMap.t
Aggregation.Polynomial_commitment.SMap.t
list ->
(proof * prover_aux) * Kzg.Utils.Transcript.t
val verify_super_aggregation :
Public_parameters.verifier ->
Kzg.Utils.Transcript.t ->
Commitment.t list ->
query list ->
Kzg.Bls.Scalar.t Aggregation.Polynomial_commitment.SMap.t list ->
proof ->
bool * Kzg.Bls.Scalar.t * Kzg.Utils.Transcript.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>