feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder #252

Open

DimitriosMitsios wants to merge 21 commits into

Verified-zkEVM:masterfrom

DimitriosMitsios:cz-root-finding

Commits on Jun 11, 2026

feat(univariate): Cantor–Zassenhaus linear-factor splitter (algorithm + soundness)

DimitriosMitsios
and
claude
committed
feat(univariate): CZ shifted modexp evaluation (eval_shiftedPowModWith)

DimitriosMitsios
and
claude
committed
feat(univariate): CZ quadratic-residue routing lemma

DimitriosMitsios
and
claude
committed
feat(univariate): CZ root-isolation lemma (gcd with linear factor)

DimitriosMitsios
and
claude
committed
feat(univariate): CZ monicNormalize_linearFactor

DimitriosMitsios
and
claude
committed
feat(univariate): CZ base emit lemma + represented-factor helpers

DimitriosMitsios
and
claude
committed
feat(univariate): CZ completeness over prime fields (czComplete)

DimitriosMitsios
and
claude
committed
feat(univariate): package CZ splitter (czLinearFactorProductSplitter)

DimitriosMitsios
and
claude
committed
feat(univariate): CZ completeness over ZMod prime fields (czComplete_zmod)

DimitriosMitsios
and
claude
committed
test(univariate): Cantor-Zassenhaus splitter regression tests over ZMod 7

DimitriosMitsios
and
claude
committed
docs(univariate): refine CZ docstrings (concise, completeness proved)

DimitriosMitsios
and
claude
committed
refactor(univariate): flatten CZ completeness statements via HasRootFactor

DimitriosMitsios
and
claude
committed
chore(univariate): author name Dimitris in CZ files
DimitriosMitsios
committed
feat(univariate): end-to-end CZ root finder czRoots over ZMod q

DimitriosMitsios
and
claude
committed
docs(univariate): tighten CZ docstrings to state-what-not-how

DimitriosMitsios
and
claude
committed
docs(test): tighten CZ test section comments

DimitriosMitsios
and
claude
committed
docs(univariate): clarify short-schedule completeness is future work

DimitriosMitsios
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder #252

feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder #252
DimitriosMitsios wants to merge 21 commits into
Verified-zkEVM:masterfrom
DimitriosMitsios:cz-root-finding

Commits on Jun 11, 2026

feat(univariate): Cantor–Zassenhaus linear-factor splitter (algorithm + soundness)

feat(univariate): CZ shifted modexp evaluation (eval_shiftedPowModWith)

feat(univariate): CZ quadratic-residue routing lemma

feat(univariate): CZ root-isolation lemma (gcd with linear factor)

feat(univariate): CZ monicNormalize_linearFactor

feat(univariate): CZ base emit lemma + represented-factor helpers

feat(univariate): CZ completeness over prime fields (czComplete)

feat(univariate): package CZ splitter (czLinearFactorProductSplitter)

feat(univariate): CZ completeness over ZMod prime fields (czComplete_zmod)

test(univariate): Cantor-Zassenhaus splitter regression tests over ZMod 7

docs(univariate): refine CZ docstrings (concise, completeness proved)

refactor(univariate): flatten CZ completeness statements via HasRootFactor

chore(univariate): author name Dimitris in CZ files

feat(univariate): end-to-end CZ root finder czRoots over ZMod q

docs(univariate): tighten CZ docstrings to state-what-not-how

docs(test): tighten CZ test section comments

docs(univariate): clarify short-schedule completeness is future work

Commits on Jun 12, 2026

style(univariate): use maps-to arrow (fun x ↦) in CZ lambdas

Merge branch 'master' into cz-root-finding

Commits on Jun 27, 2026

Merge branch 'master' into cz-root-finding

Commits on Jul 14, 2026

Merge branch 'master' into cz-root-finding