Skip to content

feat(Data/Fin): prove fflatten_embedSum and fflatten₂_embedSum - #607

Merged
alexanderlhicks merged 1 commit into
Verified-zkEVM:mainfrom
aryaethn:feat/fin-sigma-flatten-lemmas
Jul 7, 2026
Merged

feat(Data/Fin): prove fflatten_embedSum and fflatten₂_embedSum#607
alexanderlhicks merged 1 commit into
Verified-zkEVM:mainfrom
aryaethn:feat/fin-sigma-flatten-lemmas

feat(Data/Fin): prove fflatten_embedSum and fflatten₂_embedSum

ec39932
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
summarize
succeeded Jul 5, 2026 in 2m 0s