fs in solidity compliant with the go implem

[ThomasPiellard]

Description

Fiat Shamir changes in plonk are added in the solidity template

[gbotrel]

@ThomasPiellard the solidity template is missing the function hex . that is:

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.
		"inc": func(i int) int {
			return i + 1
		},
--> missing hex here, you probably forgot to modify the .go.tmpl file

[github-actions]

Summary

✅ Passed: 5709
❌ Failed: 0
🚧 Skipped: 21

🚧 Skipped

• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bls12-377/mpcsetup)
• TestSetupCircuit (github.com/consensys/gnark/backend/groth16/bls12-377/mpcsetup)
• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bls24-315/mpcsetup)
• TestSetupCircuit (github.com/consensys/gnark/backend/groth16/bls24-315/mpcsetup)
• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bls12-381/mpcsetup)
• TestSetupCircuit (github.com/consensys/gnark/backend/groth16/bls12-381/mpcsetup)
• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bls24-317/mpcsetup)
• TestSetupCircuit (github.com/consensys/gnark/backend/groth16/bls24-317/mpcsetup)
• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bn254/mpcsetup)
• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bw6-633/mpcsetup)
• TestSetupCircuit (github.com/consensys/gnark/backend/groth16/bw6-633/mpcsetup)
• TestContributionSerialization (github.com/consensys/gnark/backend/groth16/bw6-761/mpcsetup)
• TestSetupCircuit (github.com/consensys/gnark/backend/groth16/bw6-761/mpcsetup)
• TestCircuitInclusionProof (github.com/consensys/gnark/examples/rollup)
• TestCircuitUpdateAccount (github.com/consensys/gnark/examples/rollup)
• TestCircuitFull (github.com/consensys/gnark/examples/rollup)
• TestFrobeniusFp12 (github.com/consensys/gnark/std/algebra/native/fields_bls12377)
• TestMulByNonResidueFp2 (github.com/consensys/gnark/std/algebra/native/fields_bls12377)
• TestMulByFp2Fp6 (github.com/consensys/gnark/std/algebra/native/fields_bls12377)
• TestIssue348UnconstrainedLimbs (github.com/consensys/gnark/std/math/emulated)
• TestSolverConsistency (github.com/consensys/gnark/test)