chore: clean up proof lengths and IPA#11020

Merged

codygunton merged 13 commits intomasterfrom

lx/proof-formalas-in-flavor

Jan 6, 2025

Commits on Dec 24, 2024

added formuli to ultra and ultra rollup flavors
lucasxia01
committed

Commits on Jan 2, 2025

Commits on Jan 3, 2025

Commits on Jan 4, 2025

Commits on Jan 6, 2025

added proof length test to ultra transcript tests
lucasxia01
committed
Merge remote-tracking branch 'origin/master' into lx/proof-formalas-in-flavor
lucasxia01
committed
Merge branch 'master' into lx/proof-formalas-in-flavor
codygunton
authored