package octez-plonk
type secret = Plonk.Bls.Poly.t Plonk.SMap.t
type query = Plonk.Bls.Scalar.t Plonk.SMap.t
type answer = Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t
val prove :
Public_parameters.prover ->
transcript ->
secret list ->
Commitment.prover_aux list ->
query list ->
answer list ->
proof * transcript
val verify :
Public_parameters.verifier ->
transcript ->
Commitment.t list ->
query list ->
answer list ->
proof ->
bool * transcript
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>