Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

PR Summary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
summary.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

KZG Correctness + Function Binding PR Summary #71: Pull request #263 synchronize by tobias-rothmann
1m 49s
1m 49s
Batched FRI soundness PR Summary #70: Pull request #273 synchronize by quangvdao
1m 37s
1m 37s
doc: add agent docs and validation helpers PR Summary #69: Pull request #423 synchronize by quangvdao
3m 20s
3m 20s
doc: add agent docs and validation helpers PR Summary #68: Pull request #423 synchronize by quangvdao
2m 37s
2m 37s
doc: add agent docs and validation helpers PR Summary #67: Pull request #423 opened by quangvdao
1m 55s
1m 55s
fix(BCIKS20): finish unique decoding case PR Summary #66: Pull request #422 synchronize by quangvdao
2m 17s
2m 17s
fix(BCIKS20): finish unique decoding case PR Summary #65: Pull request #422 synchronize by quangvdao
1m 43s
1m 43s
fix(BCIKS20): finish unique decoding case PR Summary #64: Pull request #422 synchronize by quangvdao
1m 41s
1m 41s
fix(BCIKS20): finish unique decoding case PR Summary #63: Pull request #422 synchronize by quangvdao
1m 44s
1m 44s
fix(BCIKS20): finish unique decoding case PR Summary #62: Pull request #422 synchronize by quangvdao
2m 14s
2m 14s
fix(BCIKS20): finish unique decoding case PR Summary #61: Pull request #422 synchronize by quangvdao
2m 1s
2m 1s
fix(BCIKS20): finish unique decoding case PR Summary #60: Pull request #422 synchronize by quangvdao
2m 18s
2m 18s
fix(BCIKS20): finish unique decoding case PR Summary #59: Pull request #422 opened by quangvdao
3m 29s
3m 29s
Harvest Aleph proofs: BW machinery, averaging lemma, pg_* infrastructure PR Summary #58: Pull request #421 opened by quangvdao
3m 4s
3m 4s
Proof for weightedDegree_eq_natWeightedDegree PR Summary #57: Pull request #393 synchronize by quangvdao
1m 59s
1m 59s
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_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
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 Summary #52: Pull request #417 opened by chung-thai-nguyen
1m 49s
1m 49s
feat: List-based IOP model with composition & sumcheck security proofs PR Summary #51: Pull request #392 synchronize by quangvdao
2m 36s
2m 36s
RS codes cleanup and refactor PR Summary #50: Pull request #375 synchronize by katyhr
1m 38s
1m 38s
Proof for weighted_correlated_agreement_for_parameterized_curves PR Summary #49: Pull request #416 opened by aleph-prover bot
1m 22s
1m 22s
Proof for average_proximity_implies_proximity_of_linear_subspace PR Summary #48: Pull request #415 opened by aleph-prover bot
2m 11s
2m 11s
Folding Polynomial definition and Fact 4.6 proof from STIR paper PR Summary #47: Pull request #384 synchronize by ElijahVlasov
2m 8s
2m 8s