feat: GKR2 verifier + SIMD for prover#139

Open

enpsi20481 wants to merge 8 commits intoPolyhedraZK:devfrom enpsi20481:gkr2-verifier

+839-91

Commits on Dec 3, 2024

feat: SIMD support for GKR2 prover
enpsi
committed
wip: gkr2 correctness test
enpsi
committed

Commits on Dec 5, 2024

feat: GKR2 verifier
enpsi
committed
public input test coverage
enpsi
committed
feat: MPI support for GKR2
enpsi
committed
chore: update gkr2 correctness test (M31 only)
enpsi
committed
wip: GF2 field
enpsi
committed
clippy
enpsi
committed