Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,113 workflow runs
2,113 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
Add "even" and "odd" parts of folding CI #2133: Pull request #673 opened by ElijahVlasov
23m 33s NethermindEth:ElijahVlasov/even-odd-folding
NethermindEth:ElijahVlasov/even-odd-folding
23m 33s
feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder CI #2132: Pull request #574 synchronize by olympichek
20m 22s formal-land:guruswami-sudan
formal-land:guruswami-sudan
20m 22s
feat(AppendRun): prove Prover.append_run for challenge-free protocols at general arity CI #2131: Pull request #643 synchronize by Abraxas1010
25m 35s Abraxas1010:feat/append-run-challenge-free
Abraxas1010:feat/append-run-challenge-free
25m 35s
feat(AppendOneMsg): unconditional append perfect completeness at 1-message ++ 1-message CI #2130: Pull request #636 synchronize by Abraxas1010
23m 4s Abraxas1010:feat/append-oneMsg-crown
Abraxas1010:feat/append-oneMsg-crown
23m 4s
feat(Append): completeness composition under init-uniformity + run_pure_verifier CI #2129: Pull request #635 synchronize by Abraxas1010
26m 57s Abraxas1010:feat/append-completeness-uniform-init
Abraxas1010:feat/append-completeness-uniform-init
26m 57s
feat(Append): construct the challenge-oracle SubSpec embeddings CI #2128: Pull request #633 synchronize by Abraxas1010
27m 23s Abraxas1010:feat/append-challenge-subspec
Abraxas1010:feat/append-challenge-subspec
27m 23s
feat(SendWitness): prove reduction completeness; add Prover.runToRound_succ CI #2127: Pull request #631 synchronize by Abraxas1010
26m 5s Abraxas1010:feat/sendwitness-completeness
Abraxas1010:feat/sendwitness-completeness
26m 5s
Polynomial Generators have MCA for RSCodes CI #2126: Pull request #610 synchronize by katyhr
26m 30s Katy/RScodeMCA
Katy/RScodeMCA
26m 30s
Polynomial Generators have MCA for RSCodes CI #2125: Pull request #610 synchronize by katyhr
10m 58s Katy/RScodeMCA
Katy/RScodeMCA
10m 58s
No index for mem_subdomain_0_iff_mem CI #2124: Pull request #671 opened by ElijahVlasov
25m 33s NethermindEth:ElijahVlasov/mem_subdomain_0_iff_mem_no_index
NethermindEth:ElijahVlasov/mem_subdomain_0_iff_mem_no_index
25m 33s
Introduce pullback argument for STIR and WHIR theorems CI #2123: Pull request #667 synchronize by ElijahVlasov
27m 22s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
27m 22s
Introduce pullback argument for STIR and WHIR theorems CI #2122: Pull request #667 synchronize by ElijahVlasov
16m 13s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
16m 13s
Clean-up 🧼 of the SplitFold.lean CI #2121: Pull request #670 synchronize by ElijahVlasov
26m 43s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
26m 43s
Clean-up 🧼 of the SplitFold.lean CI #2120: Pull request #670 synchronize by ElijahVlasov
3m 26s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
3m 26s
Clean-up 🧼 of the SplitFold.lean CI #2119: Pull request #670 opened by ElijahVlasov
1m 32s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
1m 32s
Introduce pullback argument for STIR and WHIR theorems CI #2118: Pull request #667 synchronize by ElijahVlasov
32m 22s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
32m 22s
Polynomial Generators have MCA for RSCodes CI #2117: Pull request #610 synchronize by katyhr
22m 59s Katy/RScodeMCA
Katy/RScodeMCA
22m 59s
MCA for MDS codes CI #2116: Pull request #662 synchronize by katyhr
25m 49s Katy/MCA_MDS
Katy/MCA_MDS
25m 49s
MCA for MDS codes CI #2115: Pull request #662 synchronize by katyhr
4m 13s Katy/MCA_MDS
Katy/MCA_MDS
4m 13s
feat(LogUp): Implemented Logup protocol and its correctness proofs depending on propext, sorryAx, Classical.choice and Quot.sound CI #2114: Pull request #503 synchronize by jCabala
26m 18s jCabala:logup-definition
jCabala:logup-definition
26m 18s
feat(LogUp): Implemented Logup protocol and its correctness proofs depending on propext, sorryAx, Classical.choice and Quot.sound CI #2113: Pull request #503 synchronize by jCabala
25m 22s jCabala:logup-definition
jCabala:logup-definition
25m 22s
refactor(Hachi/CWSS): cwss packages with escape CI #2112: Pull request #659 synchronize by tobias-rothmann
18m 41s tr/cwss-packages-with-escape
tr/cwss-packages-with-escape
18m 41s
feat/refactor(Hachi): ring switching subprotocol CI #2111: Pull request #654 synchronize by tobias-rothmann
26m 5s tr/ring-switching-subprotocol
tr/ring-switching-subprotocol
26m 5s
feat(oracle-reduction): worst-case round-by-round security + ProtocolSpec RBR game glue [ABF26 split 1/4] CI #2110: Pull request #668 synchronize by alexanderlhicks
25m 41s feat/abf26-split-framework
feat/abf26-split-framework
25m 41s
feat(oracle-reduction): worst-case round-by-round security + ProtocolSpec RBR game glue [ABF26 split 1/4] CI #2109: Pull request #668 synchronize by alexanderlhicks
25m 41s feat/abf26-split-framework
feat/abf26-split-framework
25m 41s