From 92c61c5a269acc8f41466ca79e32d18cb615c630 Mon Sep 17 00:00:00 2001 From: AlexandreBelling Date: Sat, 22 Feb 2025 16:40:53 +0100 Subject: [PATCH] fixup(compiler); pass the plonk options to [PlonkCheck] --- prover/protocol/compiler/plonkinwizard/compile.go | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/prover/protocol/compiler/plonkinwizard/compile.go b/prover/protocol/compiler/plonkinwizard/compile.go index 66c9ef56f..84b8d131d 100644 --- a/prover/protocol/compiler/plonkinwizard/compile.go +++ b/prover/protocol/compiler/plonkinwizard/compile.go @@ -53,12 +53,17 @@ func Compile(comp *wizard.CompiledIOP) { func compileQuery(comp *wizard.CompiledIOP, q *query.PlonkInWizard) { + plonkOptions := make([]plonkinternal.Option, len(q.PlonkOptions)) + for i := range plonkOptions { + plonkOptions[i] = q.PlonkOptions[i].(plonkinternal.Option) + } + var ( round = max(q.Data.Round(), q.Selector.Round()) maxNbInstances = q.GetMaxNbCircuitInstances() ctx = &context{ Q: q, - PlonkCtx: plonkinternal.PlonkCheck(comp, string(q.ID), round, q.Circuit, maxNbInstances), + PlonkCtx: plonkinternal.PlonkCheck(comp, string(q.ID), round, q.Circuit, maxNbInstances, plonkOptions...), } )