From 02979848ab6dbb721be27c7690faaaa09d12a52a Mon Sep 17 00:00:00 2001
From: arnaucube <git@arnaucube.com>
Date: Fri, 3 Oct 2025 08:10:55 +0000
Subject: [PATCH] update circuit proof to be private witness &
 commoncircuitdata constant

---
 go.mod           | 6 +++---
 verifier/util.go | 8 +++-----
 2 files changed, 6 insertions(+), 8 deletions(-)

diff --git a/go.mod b/go.mod
index e8087cf..00fb7d0 100644
--- a/go.mod
+++ b/go.mod
@@ -1,10 +1,10 @@
 module github.com/succinctlabs/gnark-plonky2-verifier
 
-go 1.20
+go 1.24.4
 
 require (
-	github.com/consensys/gnark v0.9.1
-	github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb
+	github.com/consensys/gnark v0.13.0
+	github.com/consensys/gnark-crypto v0.18.0
 	github.com/consensys/gnark-ignition-verifier v0.0.0-20230527014722-10693546ab33
 )
 
diff --git a/verifier/util.go b/verifier/util.go
index 150ada5..49d1842 100644
--- a/verifier/util.go
+++ b/verifier/util.go
@@ -9,11 +9,9 @@ import (
 
 type ExampleVerifierCircuit struct {
 	PublicInputs            []gl.Variable                     `gnark:",public"`
-	Proof                   variables.Proof                   `gnark:"-"`
-	VerifierOnlyCircuitData variables.VerifierOnlyCircuitData `gnark:"-"`
-
-	// This is configuration for the circuit, it is a constant not a variable
-	CommonCircuitData types.CommonCircuitData
+	Proof                   variables.Proof                   `gnark:",secret"`
+	VerifierOnlyCircuitData variables.VerifierOnlyCircuitData `gnark:",secret"`
+	CommonCircuitData       types.CommonCircuitData           `gnark:",-"`
 }
 
 func (c *ExampleVerifierCircuit) Define(api frontend.API) error {