package octez-plonk
val get_eqs :
string ->
q:Plonk.Bls.Scalar.t ->
wires:Plonk.Bls.Scalar.t array ->
wires_g:Plonk.Bls.Scalar.t array ->
?precomputed_advice:Plonk.Bls.Scalar.t Plonk.SMap.t ->
unit ->
Plonk.Bls.Scalar.t list
val get_cs :
string ->
q:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
wires:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr array ->
wires_g:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr array ->
?precomputed_advice:
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr Plonk.SMap.t ->
unit ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr list
Plonk.Custom_gates.L.t
val aggregate_blinds : gates:'a Plonk.SMap.t -> int Plonk.SMap.t
val aggregate_prover_identities :
?circuit_prefix:(string -> string) ->
input_coms_size:int ->
proof_prefix:(string -> string) ->
gates:'a Plonk.SMap.t ->
public_inputs:Plonk.Bls.Scalar.t array ->
domain:Plonk.Bls.Domain.t ->
unit ->
Plonk.Identities.prover_identities
val aggregate_verifier_identities :
?circuit_prefix:(string -> string) ->
input_com_sizes:int list ->
proof_prefix:(string -> string) ->
gates:'a Plonk.SMap.t ->
public_inputs:Plonk.Bls.Scalar.t array ->
generator:Plonk.Bls.Scalar.t ->
size_domain:int ->
unit ->
Plonk.Identities.verifier_identities
val aggregate_polynomials_degree : gates:'a Plonk.SMap.t -> int
val exists_gx_composition : gates:'a Plonk.SMap.t -> bool
val cs_pi :
generator:Plonk.Bls.Scalar.t ->
n:Plonk.Bls.Scalar.t ->
x:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
zs:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr list ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr Plonk.Custom_gates.L.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>