Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,832 workflow runs
3,832 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Harvest Aleph proofs: BW machinery, averaging lemma, pg_* infrastructure CI #843: Pull request #421 opened by quangvdao
10m 40s aleph-harvest
aleph-harvest
10m 40s
Harvest Aleph proofs: BW machinery, averaging lemma, pg_* infrastructure PR Review #354: Pull request #421 opened by quangvdao
7m 48s aleph-harvest
aleph-harvest
7m 48s
Proof for weightedDegree_eq_natWeightedDegree PR Review #353: Issue comment #393 (comment) created by quangvdao
1s
1s
Harvest weightedDegree_eq_natWeightedDegree from #393 Build and Deploy Website to GitHub Pages #157: Commit b248bd6 pushed by quangvdao
19m 35s main
main
19m 35s
Proof for weightedDegree_eq_natWeightedDegree PR Summary #57: Pull request #393 synchronize by quangvdao
1m 59s
1m 59s
Proof for concentration_bounds (#397) Build and Deploy Website to GitHub Pages #156: Commit 2377c76 pushed by quangvdao
12m 8s main
main
12m 8s
Proof for degreeX_mul (#396) Build and Deploy Website to GitHub Pages #155: Commit 6f2992c pushed by quangvdao
10s main
main
10s
Proof for resultant_is_divisible_by_leadingCoeff (#395) Build and Deploy Website to GitHub Pages #154: Commit 1eb93a9 pushed by quangvdao
11s main
main
11s
Proof for natDeg_sum_eq_of_unique (#394) Build and Deploy Website to GitHub Pages #153: Commit 2dced9b pushed by quangvdao
9s main
main
9s
Partial proof for weighted_correlated_agreement_over_affine_spaces' PR Summary #56: Pull request #420 opened by aleph-prover bot
1m 56s
1m 56s
Partial proof for weighted_correlated_agreement_over_affine_spaces' PR Review #352: Pull request #420 opened by aleph-prover bot
Skipped ai-prover-20260310_065811
ai-prover-20260310_065811
Skipped
Partial proof for weighted_correlated_agreement_over_affine_spaces' Check Imports #782: Pull request #420 opened by aleph-prover bot
5s ai-prover-20260310_065811
ai-prover-20260310_065811
5s
Partial proof for weighted_correlated_agreement_over_affine_spaces' CI #842: Pull request #420 opened by aleph-prover bot
9m 54s ai-prover-20260310_065811
ai-prover-20260310_065811
9m 54s
Partial proof for weighted_correlated_agreement_for_parameterized_curves' CI #841: Pull request #419 opened by aleph-prover bot
10m 13s ai-prover-20260310_063640
ai-prover-20260310_063640
10m 13s
Partial proof for weighted_correlated_agreement_for_parameterized_curves' PR Review #351: Pull request #419 opened by aleph-prover bot
1s ai-prover-20260310_063640
ai-prover-20260310_063640
1s
Partial proof for weighted_correlated_agreement_for_parameterized_curves' Check Imports #781: Pull request #419 opened by aleph-prover bot
6s ai-prover-20260310_063640
ai-prover-20260310_063640
6s
Partial proof for weighted_correlated_agreement_for_parameterized_curves' PR Summary #55: Pull request #419 opened by aleph-prover bot
2m 15s
2m 15s
Partial proof for weighted_correlated_agreement_over_affine_spaces PR Summary #54: Pull request #418 opened by aleph-prover bot
2m 25s
2m 25s
Partial proof for weighted_correlated_agreement_over_affine_spaces Check Imports #780: Pull request #418 opened by aleph-prover bot
9s ai-prover-20260310_063234
ai-prover-20260310_063234
9s
Partial proof for weighted_correlated_agreement_over_affine_spaces PR Review #350: Pull request #418 opened by aleph-prover bot
2s ai-prover-20260310_063234
ai-prover-20260310_063234
2s
Partial proof for weighted_correlated_agreement_over_affine_spaces CI #840: Pull request #418 opened by aleph-prover bot
10m 17s ai-prover-20260310_063234
ai-prover-20260310_063234
10m 17s
feat: soundness of FRI-Binius protocols PR Summary #53: Pull request #417 synchronize by chung-thai-nguyen
1m 52s
1m 52s
feat: soundness of FRI-Binius protocols PR Review #349: Pull request #417 opened by chung-thai-nguyen
29m 7s soundness-of-binius
soundness-of-binius
29m 7s
feat: soundness of FRI-Binius protocols PR Summary #52: Pull request #417 opened by chung-thai-nguyen
1m 49s
1m 49s
feat: List-based IOP model with composition & sumcheck security proofs Check Imports #779: Pull request #392 synchronize by quangvdao
7s quang/iop-refactor
quang/iop-refactor
7s