Minor: Mersenne31 GKR recursive verifier#168

Merged

zhiyong1997 merged 50 commits intodevfrom hs/m31-recursion

Jan 20, 2025

+2,122-833

Commits on Dec 18, 2024

changed interface for transcript - wondering why recursive mimc transcript not matching
tonyfloatersu
committed
so poseidon m31 works for gkr correctness, which is a relief
tonyfloatersu
committed
you squeaky lil bug there you go
tonyfloatersu
committed

Commits on Dec 23, 2024

Revert "you squeaky lil bug there you go"
tonyfloatersu
committed
Revert "so poseidon m31 works for gkr correctness, which is a relief"
tonyfloatersu
committed
Revert "changed interface for transcript - wondering why recursive mimc transcript not matching"
tonyfloatersu
committed
Revert "squeeze, squeeze_state, and set_state in field hash sponge trait"
tonyfloatersu
committed
Revert "morphing field hash transcript, hash from base field output challenge field"
tonyfloatersu
committed
Revert "fkin hell - just wanna specify Transcript baseF challengeF ... didnt expect this comin"
tonyfloatersu
committed
Merge branch 'dev' into hs/poseidon-m31-transcript
tonyfloatersu
committed
revert back to field hasher from previous interface
tonyfloatersu
committed
minor rewrite on field hash transcript - move FiatShamirFieldHash into arith
tonyfloatersu
committed
Merge branch 'dev' into hs/poseidon-m31-transcript
tonyfloatersu
committed
minor changes stashing
tonyfloatersu
committed
refactoring field hash transcript to using hash state (vec of base field elems)
tonyfloatersu
committed
minor rewrite - make transcript impl less lines
tonyfloatersu
committed
minor - move mimc to crate field_hashers under arith, remove hasher mimc impl
tonyfloatersu
committed

Commits on Dec 24, 2024

Commits on Dec 30, 2024

Merge branch 'dev' into hs/poseidon-m31-transcript

niconiconi
authored and
tonyfloatersu
committed

Commits on Jan 1, 2025

minor - typo fixing
tonyfloatersu
committed

Commits on Jan 2, 2025

Commits on Jan 3, 2025

recursion CI setup
tonyfloatersu
committed

Commits on Jan 6, 2025

Commits on Jan 7, 2025

prototyped recursive verifier with CI running
tonyfloatersu
committed

Commits on Jan 13, 2025

Merge branch 'dev' into hs/m31-recursion
tonyfloatersu
committed

Commits on Jan 14, 2025

Commits on Jan 15, 2025

Commits on Jan 17, 2025

update ecc branch - remove prev poseidon impl
tonyfloatersu
committed

Commits on Jan 19, 2025