Prover/limitless standardization

[AlexandreBelling]

This PR does a large number of changes focusing on:

• Standardizing the segment proofs
• Being able to run the bootstrapper with very high-limits and limiting the impact on the memory and runtime
• Improving the speed of the proof aggregation overall

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.53%. Comparing base (13603c9) to head (32502be).

Additional details and impacted files

@@                            Coverage Diff                            @@
##             prover/limitless-top-level-rebased     #857       +/-   ##
=========================================================================
+ Coverage                                 67.82%   98.53%   +30.70%     
=========================================================================
  Files                                       326       32      -294     
  Lines                                     13412      953    -12459     
  Branches                                   1355      230     -1125     
=========================================================================
- Hits                                       9097      939     -8158     
+ Misses                                     3753       14     -3739     
+ Partials                                    562        0      -562     

Flag	Coverage Δ
hardhat	98.53% <ø> (ø)
kotlin	?

see 294 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[Copilot]

Copilot reviewed 118 out of 119 changed files in this pull request and generated no comments.

Files not reviewed (1)

• prover/go.mod: Language not supported

Comments suppressed due to low confidence (3)

prover/maths/common/smartvectors/smartvectors.go:335

• Changing the behavior to return (nil, false) for vectors of length <= 1 may break downstream logic if callers expected a constant vector. Consider adding a comment or review caller assumptions to ensure this change is intended.

if len(w) <= 1 {

prover/crypto/mimc/gkrmimc/factory.go:242

• Using %d to format big.Int values may cause formatting issues; consider using %s or %v to safely print big integers.

utils.Panic("Not the BLS field %d != %d", f, field.Modulus())

prover/.golangci.yml:7

• [nitpick] Disabling gofmt in the linter configuration may lead to inconsistent formatting; verify that formatting is being enforced through other means to avoid style issues.

# - gofmt