[Feat] - Add dynamic chain config to template

[thedarkjester]

Description

Fixes # (issue)

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update

How has this been tested?

• Test A
• Test B

How has this been benchmarked?

• Benchmark A, on Macbook pro M1, 32GB RAM
• Benchmark B, on x86 Intel xxx, 16GB RAM

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• golangci-lint does not output errors locally
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

---

Note

Introduces configurable hooks for the Solidity verifier generators and updates templates accordingly.

• Update groth16/bn254/solidity.go and plonk/bn254/solidity.go templates to support optional SortedImports, InterfaceDeclaration, extra Constants, Constructor, and Functions blocks
• Add backend/solidity/solidity.go with ExportOptions: WithImport, WithInterface, WithConstants, WithConstructor, WithFunctions, plus helpers SortedImports() and InterfaceDeclaration()
• New tests in backend/solidity/options_test.go and expanded solidity_test.go; add snapshot contracts in backend/solidity/testdata/* demonstrating all options

^{Written by Cursor Bugbot for commit 38416cb. This will update automatically on new commits. Configure here.}

[ivokub]

The plan to integrate the configuration is as follows:

• add Solidity export options:
  • Withlmport -- multiple options. Every line goes to separate row
  • WithInheretance -- can allow multiple. In this case have to format accordingly
  • WithConstants -- additional constants to whatever is defined in the template
  • WithFunctions -- aditionnal functions which can be included in the template
    And then we replace during contract generation. On Linea side we then provide the corresponding parameters for different cases (test case generation).

Timeline-wise -- can do after new year's.

[ivokub]

I made the changes. I'll double check soon.

[ivokub]

Made parametric. Otherwise looks good to me.

[ivokub]

Also added @ThomasPiellard to confirm