implemented geometric_till in gnark and some small optimizations

[x-senpai-x]

resolves #258
Implements geometricTill optimization for computing multilinear extension of geometric sequences in gnark circuits.

Changes

• Replaced O(2^m) EQ polynomial approach with O(m) geometricTill algorithm
• Added equivalence and edge case tests

Performance

Constraint reduction scales with domain size:

• m=10: 42.77x fewer constraints (2063 → 47)
• m=14: 507.1x fewer constraints (32963 → 65)

Reduced zkPassport attestation circuit t_attest from 5,252,539 → 5,114,167 constraints (~138k reduction, ~2.6% improvement).

[Copilot]

Pull request overview

Implements the geometricTill (“geometric_till”) approach for evaluating public-input geometric weights inside the gnark recursive verifier, and applies small constraint-count optimizations by precomputing RLC powers in batch paths.

Changes:

• Add geometricTill and switch computePublicWeightEvaluation to use it (replacing the O(2^m) EQ-polynomial dot product).
• Optimize batch RLC combinations by precomputing powers (γ powers in RunZKWhirBatch, and B powers in rlcBatchedLeaves).
• Extend test/fixture parsing to include public_weights_evaluations and adjust witness linear statement sizing when public inputs are present; add a new benchmark/test file for constraint comparisons.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
recursive-verifier/app/circuit/whir.go	Precomputes γ powers once and reuses them for batch RLC combinations to reduce repeated multiplications.
recursive-verifier/app/circuit/mtUtilities.go	Precomputes B powers in rlcBatchedLeaves to avoid recomputing powers per element.
recursive-verifier/app/circuit/matrix_evaluation.go	Adds geometricTill implementation for O(k) MLE evaluation of geometric vectors; introduces fmt import.
recursive-verifier/app/circuit/circuit.go	Switches public weight evaluation to geometricTill and removes the unused m parameter.
recursive-verifier/app/circuit/circuit_test.go	Parses public_weights_evaluations, allocates/assigns PublicInputs and PubWitnessEvaluations, and adjusts witness eval sizing when public inputs exist.
recursive-verifier/app/circuit/public_weight_bench_test.go	Adds new tests/benchmarks comparing naive vs optimized approaches (constraint counts + Groth16 benchmark).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[ashpect]

Lgtm, added some comments for tests robustness.

Also please add description about constraints saved switching to geometric_till and more details.