package octez-libs
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
type proof = PC_Kzg.BasePC.proof
module Commitment : sig ... end
module Public_parameters : sig ... end
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>