package octez-plonk
module Perm : sig ... end
val preprocessing :
permutation:int array ->
domain:Plonk.Bls.Domain.t ->
Plonk.Bls.Poly.t SMap.t
val f_map_contribution :
permutation:int array ->
beta:Plonk.Bls.Scalar.t ->
gamma:Plonk.Bls.Scalar.t ->
domain:Plonk.Bls.Domain.t ->
values:Bls.Evaluations.t SMap.t ->
Plonk.Bls.Poly.t SMap.t
val prover_identities :
?circuit_prefix:(string -> string) ->
beta:Plonk.Bls.Scalar.t ->
gamma:Plonk.Bls.Scalar.t ->
domain_size:int ->
unit ->
Identities.prover_identities
val verifier_identities :
?circuit_prefix:(string -> string) ->
nb_proofs:int ->
beta:Plonk.Bls.Scalar.t ->
gamma:Plonk.Bls.Scalar.t ->
delta:Plonk.Bls.Scalar.t ->
domain_size:int ->
generator:Plonk.Bls.Scalar.t ->
unit ->
Identities.verifier_identities
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>