Skip to content

feat(univariate): randomized Cantor-Zassenhaus root search#254

Open
olympichek wants to merge 9 commits into
Verified-zkEVM:masterfrom
formal-land:gs-univariate-las-vegas
Open

feat(univariate): randomized Cantor-Zassenhaus root search#254
olympichek wants to merge 9 commits into
Verified-zkEVM:masterfrom
formal-land:gs-univariate-las-vegas

Finish probability proofs

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

Annotations

1 error and 2 warnings
summarize
failed Jun 13, 2026 in 4m 9s