package octez-plonk
val eval_points :
Prover.circuit_prover_pp Plonk.SMap.t ->
Plonk.Identities.eval_point list list
val degree_evaluations :
nb_wires:int ->
gates:'a Plonk.SMap.t ->
ultra:bool ->
int
val domain_evaluations :
zero_knowledge:bool ->
n:int ->
int ->
Plonk.Bls.Domain.t
val preprocessing :
int ->
Plonk.Bls.Evaluations.domain ->
Plonk.Circuit.t ->
Plonk.Bls.Evaluations.polynomial Plonk.SMap.t
* Plonk.Bls.Scalar.t array Plonk.SMap.t
* int array array
* Plonk.Bls.Scalar.t array list
* (int list * int)
val preprocess_map :
Plonk.Bls.Evaluations.domain ->
Plonk.Bls.Evaluations.domain ->
int ->
(Plonk.Circuit.t * 'a) Plonk.SMap.t ->
Prover.circuit_prover_pp Plonk.SMap.t
* Verifier.circuit_verifier_pp Plonk.SMap.t
* Plonk.Bls.Poly.t Plonk.SMap.t
val compute_sizes : Plonk.Circuit.t -> int -> int * int * int
val get_sizes :
zero_knowledge:bool ->
(Plonk.Circuit.t * int) Plonk.SMap.t ->
Plonk.Bls.Domain.t * int * int * Plonk.Bls.Domain.t * bool * int
val setup_circuits :
zero_knowledge:bool ->
(Plonk.Circuit.t * int) Plonk.SMap.t ->
srs:
(Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
* Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t) ->
prover_public_parameters * verifier_public_parameters
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>