feat: make shplemini proof constant#8826

Merged

maramihali merged 35 commits intomasterfrom

mm/shplemini-constant-proofs

Sep 26, 2024

Commits on Sep 18, 2024

create a gemini prover and cleanup
maramihali
committed
fix shplemini
maramihali
committed
cleanup
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/gemini-prover
maramihali
committed
more cleanup
maramihali
committed
wops, I forgot to commit an undo for a function removal
maramihali
committed
make ultra keccak depend on ultra flavor
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/keccak-with-gemini
maramihali
committed

Commits on Sep 19, 2024

ultra keccak with gemini, not working yet
maramihali
committed

Commits on Sep 20, 2024

get rid of a separate flavor, will just delete zm from the contract, something still makes proof not verify
maramihali
committed

Commits on Sep 21, 2024

stuff
maramihali
committed
remove Zeromorph
maramihali
committed
undo non-honk related changes
maramihali
committed
rm changes to vks
maramihali
committed
ensure ordering of evaluation is right, still doesn't fix the problem
maramihali
committed

Commits on Sep 23, 2024

made things work
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/keccak-with-gemini
maramihali
committed
Merge branch 'mm/remove-zm-solidity' into mm/keccak-with-gemini
maramihali
committed
remove infos
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/remove-zm-solidity
maramihali
committed
Merge branch 'mm/remove-zm-solidity' into mm/keccak-with-gemini
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/keccak-with-gemini
maramihali
committed

Commits on Sep 24, 2024

fix build and some cleanup
maramihali
committed
some more cleanup
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/keccak-with-gemini
maramihali
committed
draft
maramihali
committed
fix sol honk flow
maramihali
committed
make fold polys and fold comms constant
maramihali
committed

Commits on Sep 26, 2024

constant size shplemini
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/shplemini-constant-proofs
maramihali
committed
cleanup
maramihali
committed
better tests
maramihali
committed
fix typo
maramihali
committed
cleanup from PR review
maramihali
committed
Merge branch 'master' into mm/shplemini-constant-proofs
maramihali
authored