Fix FibonacciAirGenerator test.

[alonh5]

This change is 

[alonh5]

• Fix FibonacciAirGenerator test. #717 👈
• dev

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

Join @alonh5 and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.52%. Comparing base (673e6cc) to head (cfed49b).

Additional details and impacted files

@@           Coverage Diff           @@
##              dev     #717   +/-   ##
=======================================
  Coverage   90.52%   90.52%           
=======================================
  Files          76       76           
  Lines       10165    10165           
  Branches    10165    10165           
=======================================
  Hits         9202     9202           
  Misses        881      881           
  Partials       82       82           

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

[ohad-starkware]

Reviewed all commit messages.
Reviewable status: 0 of 1 files reviewed, all discussions resolved

[ohad-starkware]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @alonh5)

---

crates/prover/src/examples/fibonacci/mod.rs line 259 at r1 (raw file):

        let fib = Fibonacci::new(FIB_LOG_SIZE, CLAIM);
        fib.verify(proof).unwrap();

consider

Suggestion:

        let channel =
            &mut Blake2sChannel::new(Blake2sHasher::hash(BaseField::into_slice(&[CLAIM])));
        let fib_air = Fibonacci::new(FIB_LOG_SIZE, CLAIM).air;
        verify(proof, &fib_air, channel).unwrap();

[alonh5]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @ohad-starkware)

---

crates/prover/src/examples/fibonacci/mod.rs line 259 at r1 (raw file):

Previously, ohad-starkware (Ohad) wrote…

consider

Done.

[ohad-starkware]

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