package octez-plonk
val commit_to_wires :
?all_keys:string list ->
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
circuit_prover_input list Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t option list
Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t
* Input_commitment.public
* PP.PC.Commitment.prover_aux
val build_f_map_plook :
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
gate_randomness ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t
val build_f_map_rc_1 :
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
gate_randomness ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t
Plonk_for_distribution.Main_protocol.SMap.t
val build_perm_rc2_identities :
prover_public_parameters ->
gate_randomness ->
Plonk.Identities.prover_identities
val build_gates_plook_rc1_identities :
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
gate_randomness ->
circuit_prover_input list Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Identities.prover_identities
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>