Add size estimate for StarkProof

[andrewmilson]

This change is 

[andrewmilson]

• Add FRI layer 0 (WIP) #895
• Return opening positions and query positions per column size in FRI #856
• Make CommitmentSchemeProver::prove_values take ownership #852
• Add arithmetic op counts to InfoEvaluator #832
• Add size estimate for StarkProof #831 👈 (View in Graphite)
• dev

This stack of pull requests is managed by Graphite. Learn more about stacking.

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 16.21622% with 93 lines in your changes missing coverage. Please review.

Project coverage is 91.92%. Comparing base (215b1cd) to head (ba4205c).
Report is 1 commits behind head on dev.

Files with missing lines	Patch %	Lines
crates/prover/src/core/prover/mod.rs	16.21%	93 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #831      +/-   ##
==========================================
- Coverage   92.60%   91.92%   -0.69%     
==========================================
  Files          89       89              
  Lines       12055    12154      +99     
  Branches    12055    12154      +99     
==========================================
+ Hits        11164    11173       +9     
- Misses        784      874      +90     
  Partials      107      107              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[shaharsamocha7]

Reviewed all commit messages.
Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on @andrewmilson)

a discussion (no related file):
Can you add an example of the size_estimate output?

---

---

crates/prover/src/core/prover/mod.rs line 254 at r1 (raw file):

impl SizeEstimate for BaseField {
    fn size_estimate(&self) -> usize {
        mem::size_of::<Self>()

Can you add unit test that the base sizes are correct?

Code quote:

mem::size_of::<Self>()

[andrewmilson]

Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on @shaharsamocha7)

a discussion (no related file):

Previously, shaharsamocha7 wrote…

Can you add an example of the size_estimate output?

Done.

---

---

crates/prover/src/core/prover/mod.rs line 254 at r1 (raw file):

Previously, shaharsamocha7 wrote…

Can you add unit test that the base sizes are correct?

Done.

[shaharsamocha7]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @andrewmilson)