Refactor Groth16 Proof Handling

[prajwolrg]

Description

This PR refactors the Groth16 proof handling to improve consistency and simplify the interface. Instead of passing the proof and public values separately, they are now bundled together for better cohesion.

Additionally, the Fibonacci prover has been set to use Groth16 as the default. This change ensures that the corresponding proof verification logic can be thoroughly tested with the default configuration.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.

Related Issues

[github-actions]

Commit: 26e461b

SP1 Performance Test Results

program	cycles	success
fibonacci	4,983	✅
sha2	8,158	✅
schnorr	4,457,775	✅

RISC0 Performance Test Results

program	cycles	success
fibonacci	2,544	✅
sha2	8,279	✅
schnorr	5,014,149	✅