Implement GkrOps for CPU backend

[andrewmilson]

This change is 

[andrewmilson]

• Add benchmarks for GKR lookups #673
• Implement LogupOps for SIMD backend #641
• Implement GrandProductOps for SIMD backend #640
• Implement GkrOps for SIMD backend #630
• Implement MleOps for SIMD backend #629
• Add GKR implementation of Logup lookups #623
• Add GKR implementation of Grand Product lookups #620
• Implement GkrOps for CPU backend #621 👈
• Add batch GKR prover and verifier #581
• Rename CPU* structs to Cpu* to conform to Rust's naming convention #617
• Remove AVX backend #616
• Convert wide_fibbonacci AVX backend example to SIMD backend #615
• Update CI to test Wasm simd128, avx2 and aarch64 neon #614
• Fix CirclePointIndex bug in debug mode for 32-bit archs #613
• Change opt-level in benchmarks script #612
• Add benchmarks for SIMD m31 #611
• Add benchmarks for SIMD merkle #610
• dev

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

Join @andrewmilson and the rest of your teammates on Graphite

[andrewmilson]

Reviewable status: 1 of 2 files reviewed, 1 unresolved discussion (waiting on @spapinistarkware)

---

crates/prover/src/core/backend/cpu/lookups/gkr.rs line 17 at r1 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

I would prefer to allocate this with capacity.
consider implementing this iteratively instead, if it helps.

Done.

[shaharsamocha7]

Reviewable status: 1 of 2 files reviewed, 3 unresolved discussions (waiting on @andrewmilson and @spapinistarkware)

---

crates/prover/src/core/backend/cpu/lookups/gkr.rs line 3 at r2 (raw file):

use crate::core::backend::CpuBackend;
use crate::core::fields::qm31::SecureField;
use crate::core::lookups::gkr::GkrOps;

Shouldn't it be gkr_prover? can you rebase?

Code quote:

use crate::core::lookups::gkr::GkrOps;

---

crates/prover/src/core/backend/cpu/lookups/gkr.rs line 48 at r2 (raw file):

        let y = [7, 3].map(|v| BaseField::from(v).into());

        let eq_evals = CpuBackend::gen_eq_evals(&y, one);

Consider to test it with v != one.

Code quote:

let eq_evals = CpuBackend::gen_eq_evals(&y, one);

[andrewmilson]

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

---

crates/prover/src/core/backend/cpu/lookups/gkr.rs line 3 at r2 (raw file):

Previously, shaharsamocha7 wrote…

Shouldn't it be gkr_prover? can you rebase?

Thanks, updated

[spapinistarkware]

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

[shaharsamocha7]

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