Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

PR Summary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
summary.yml
441 workflow runs
441 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(ReedSolomon): decode-outcome iff for Gao decoding PR Summary #441: Pull request #268 opened by alexanderlhicks
43s
43s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding PR Summary #440: Pull request #267 opened by Abraxas1010
2m 15s
2m 15s
feat(ReedSolomon): certify the forward NTT as a Reed-Solomon encoder PR Summary #439: Pull request #266 opened by Abraxas1010
1m 0s
1m 0s
feat: add KoalaBear extension and multilinear shift semantics PR Summary #438: Pull request #265 opened by eliasjudin
1m 38s
1m 38s
version bump 4.31.0 PR Summary #437: Pull request #264 opened by dhsorens
7m 35s
7m 35s
ci: re-deploy PR summary workflow on OpenRouter PR Summary #436: Pull request #263 synchronize by alexanderlhicks
21s
21s
ci: re-deploy PR summary workflow on OpenRouter PR Summary #435: Pull request #263 opened by alexanderlhicks
18s
18s
feat(fields): add fast Goldilocks arithmetic PR Summary #434: Pull request #262 synchronize by varunthakore
1m 57s
1m 57s
feat(fields): add fast Goldilocks arithmetic PR Summary #433: Pull request #262 opened by varunthakore
2m 4s
2m 4s
feat(fields): add fast KoalaBear/BabyBear arithmetic PR Summary #432: Pull request #258 synchronize by graikos
1m 55s
1m 55s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Summary #431: Pull request #252 synchronize by DimitriosMitsios
1m 34s
1m 34s
Parameterize CMvPolynomial by a [FinEnum σ] type instead of n : ℕ PR Summary #430: Pull request #261 opened by BoltonBailey
2m 4s
2m 4s
test(fields): add Mersenne31 regression coverage PR Summary #429: Pull request #260 opened by adrienlacombe
1m 44s
1m 44s
perf(bivariate): in-place dense linear solver for GS interpolation (#256) PR Summary #428: Pull request #259 opened by dhsorens
1m 34s
1m 34s
feat(fields): add fast KoalaBear/BabyBear arithmetic PR Summary #427: Pull request #258 opened by graikos
1m 46s
1m 46s
feat(fields): add fast Mersenne31 arithmetic PR Summary #426: Pull request #257 synchronize by varunthakore
1m 29s
1m 29s
feat(Coding Theory): Add Gao decoder and correctness PR Summary #425: Pull request #249 synchronize by alexanderlhicks
1m 15s
1m 15s
feat(Coding Theory): Add Gao decoder and correctness PR Summary #424: Pull request #249 synchronize by alexanderlhicks
1m 34s
1m 34s
feat(multivariate): add degree-bound and partial-evaluation primitives PR Summary #423: Pull request #241 synchronize by alexanderlhicks
1m 24s
1m 24s
Prove uniqueness of getBit binary representation PR Summary #422: Pull request #181 synchronize by alexanderlhicks
1m 39s
1m 39s
Prove uniqueness of getBit binary representation PR Summary #421: Pull request #181 synchronize by alexanderlhicks
1m 11s
1m 11s
feat(fields): add fast Mersenne31 arithmetic PR Summary #420: Pull request #257 opened by varunthakore
1m 42s
1m 42s
perf(bivariate): in-place dense linear solver for GS interpolation PR Summary #419: Pull request #256 opened by olympichek
1m 41s
1m 41s
feat(univariate): Shoup's trace splitter root search PR Summary #418: Pull request #253 synchronize by olympichek
2m 42s
2m 42s
feat(univariate): randomized Cantor-Zassenhaus root search PR Summary #417: Pull request #254 synchronize by olympichek
4m 12s
4m 12s