package octez-plonk
val ln_p_1 : int -> Bls.Evaluations.domain -> Bls.Evaluations.polynomial
val compute_aggregation :
Plonk.Bls.Scalar.t array list ->
Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t array
val compute_f_aggregation :
Plonk.Bls.Scalar.t array SMap.t ->
Plonk.Bls.Scalar.t array SMap.t ->
Plonk.Bls.Scalar.t ->
int ->
Plonk.Bls.Scalar.t array
val sort_by :
Bls.Scalar_map.key array ->
Bls.Scalar_map.key array ->
Bls.Scalar_map.key array
val t_poly_from_tables :
Plonk.Bls.Scalar.t array list ->
Plonk.Bls.Scalar.t ->
Bls.Evaluations.domain ->
Bls.Evaluations.polynomial
val compute_s :
Bls.Scalar_map.key array ->
Bls.Scalar_map.key array ->
Bls.Scalar_map.key array
val compute_h :
Bls.Evaluations.scalar array ->
Bls.Evaluations.domain ->
int ->
Bls.Evaluations.polynomial * Bls.Evaluations.polynomial
val compute_z :
Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t array ->
Plonk.Bls.Scalar.t array ->
Plonk.Bls.Scalar.t array ->
int ->
Bls.Evaluations.domain ->
Bls.Evaluations.polynomial
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>