package octez-plonk
type secret = PC.secret
type query = PC.query
type answer = PC.answer
type transcript = PC.transcript
module Public_parameters : sig ... end
module Commitment : sig ... end
type proof = {
pc_proof : PC.proof;
packed_values : Aggregation.Pack.packed list;
pack_proof : Aggregation.Pack.proof;
}
val batch_polys :
Plonk.Bls.Poly.scalar ->
Plonk.Bls.Poly.t Plonk.SMap.t ->
Plonk.Bls.Poly.t
val batch_answers :
Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t ->
Plonk.Bls.Scalar.t Plonk.SMap.t
val prove_pack :
Public_parameters.prover ->
Stdlib.Bytes.t ->
Plonk.Bls.Poly.t Plonk.SMap.t list ->
Commitment.prover_aux list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
(proof * prover_aux) * bytes
val prove :
Public_parameters.prover ->
bytes ->
Plonk.Bls.Poly.t Plonk.SMap.t list ->
Commitment.prover_aux list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
proof * bytes
val prove_super_aggregation :
Public_parameters.prover ->
bytes ->
Plonk.Bls.Poly.t Plonk.SMap.t list ->
Commitment.prover_aux list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
(proof * prover_aux) * bytes
val verify_pack :
Public_parameters.verifier ->
Aggregation.Pack.randomness ->
Aggregation.Pack.transcript ->
Aggregation.Pack.commitment list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.List.t ->
proof ->
bool * bytes
val verify :
Public_parameters.verifier ->
bytes ->
Aggregation.Pack.commitment list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
proof ->
bool * bytes
val verify_super_aggregation :
Public_parameters.verifier ->
bytes ->
Aggregation.Pack.commitment list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.List.t ->
proof ->
bool * Plonk.Bls.Scalar.t * bytes
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>