feat(SplitFold): add splitNth_eval_comp_pow evaluation lemma#452

Merged

quangvdao merged 3 commits intoVerified-zkEVM:mainfrom

klausnat:evaluation_level_lemmas

Apr 10, 2026

Commits on Apr 9, 2026

Commits on Apr 10, 2026

Merge branch 'main' into evaluation_level_lemmas
quangvdao
authored