fs in solidity compliant with the go implem (#819)

* fix: fs compliant with gnark * fix: added missing template functions * fix: fixed hex * fix: fixed offset derive_gamma * build: re ran go generate --------- Co-authored-by: Gautam Botrel <gautam.botrel@gmail.com>
Consensys · Sep 29, 2023 · 7335a6b · 7335a6b
1 parent 5a4c6a5
commit 7335a6b
Show file tree

Hide file tree

Showing 3 changed files with 66 additions and 41 deletions.
diff --git a/backend/plonk/bn254/solidity.go b/backend/plonk/bn254/solidity.go
diff --git a/backend/plonk/bn254/verify.go b/backend/plonk/bn254/verify.go
diff --git a/internal/generator/backend/template/zkpschemes/plonk/plonk.verify.go.tmpl b/internal/generator/backend/template/zkpschemes/plonk/plonk.verify.go.tmpl
@@ -7,6 +7,7 @@ import (
 	{{ template "import_fr" . }}
 	{{if eq .Curve "BN254"}}
 	"github.com/consensys/gnark-crypto/ecc/bn254/fp"
+	"fmt"
 	{{end}}
 	{{ template "import_kzg" . }}
 	{{ template "import_curve" . }}
@@ -338,7 +339,12 @@ func deriveRandomness(fs *fiatshamir.Transcript, challenge string, points ...*cu
 // Code has not been audited and is provided as-is, we make no guarantees or warranties to its safety and reliability.
 func (vk *VerifyingKey) ExportSolidity(w io.Writer) error {
 	funcMap := template.FuncMap{
-		// The name "inc" is what the function will be called in the template text.
+		"hex": func(i int) string {
+			return fmt.Sprintf("0x%x", i)
+		},
+		"mul": func(a, b int) int {
+			return a*b
+		},
 		"inc": func(i int) int {
 			return i + 1
 		},