Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

Check Imports

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-imports.yml
1,936 workflow runs
1,936 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
AffineGeneratorsWithMCA Check Imports #1956: Pull request #596 synchronize by alexanderlhicks
6s Katy/AffineGens
Katy/AffineGens
6s
AffineGeneratorsWithMCA Check Imports #1955: Pull request #596 synchronize by alexanderlhicks
16s Katy/AffineGens
Katy/AffineGens
16s
feat(Hachi): formalize lemma 10 of the paper Check Imports #1954: Pull request #656 synchronize by ErVinuelas
9s ErVinuelas:lemma10-on-650
ErVinuelas:lemma10-on-650
9s
feat(Stir): prove out_of_dom_smpl_1 (out-of-domain sampling bound, 1 sorry removed) Check Imports #1953: Pull request #638 synchronize by latifkasuli
7s latifkasuli:agent/stir-out-of-domain-readiness
latifkasuli:agent/stir-out-of-domain-readiness
7s
feat(oracle-reduction): worst-case round-by-round security + ProtocolSpec RBR game glue [ABF26 split 1/4] Check Imports #1952: Pull request #668 synchronize by alexanderlhicks
14s feat/abf26-split-framework
feat/abf26-split-framework
14s
chore(deps): bump actions/setup-python from 6 to 7 Check Imports #1951: Pull request #675 opened by dependabot Bot
14s dependabot/github_actions/actions/setup-python-7
dependabot/github_actions/actions/setup-python-7
14s
feat(Stir): prove out_of_dom_smpl_1 (out-of-domain sampling bound, 1 sorry removed) Check Imports #1950: Pull request #638 synchronize by latifkasuli
7s latifkasuli:agent/stir-out-of-domain-readiness
latifkasuli:agent/stir-out-of-domain-readiness
7s
docs(skills): resolve the canonical PR base in make-pr-ready Check Imports #1949: Pull request #674 opened by ErVinuelas
10s ErVinuelas:make-pr-ready-canonical-base
ErVinuelas:make-pr-ready-canonical-base
10s
feat(Hachi): formalize lemma 10 of the paper Check Imports #1948: Pull request #656 synchronize by ErVinuelas
9s ErVinuelas:lemma10-on-650
ErVinuelas:lemma10-on-650
9s
Add "even" and "odd" parts of folding Check Imports #1947: Pull request #673 opened by ElijahVlasov
19s NethermindEth:ElijahVlasov/even-odd-folding
NethermindEth:ElijahVlasov/even-odd-folding
19s
feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder Check Imports #1946: Pull request #574 synchronize by olympichek
14s formal-land:guruswami-sudan
formal-land:guruswami-sudan
14s
feat(AppendRun): prove Prover.append_run for challenge-free protocols at general arity Check Imports #1945: Pull request #643 synchronize by Abraxas1010
54s Abraxas1010:feat/append-run-challenge-free
Abraxas1010:feat/append-run-challenge-free
54s
feat(AppendOneMsg): unconditional append perfect completeness at 1-message ++ 1-message Check Imports #1944: Pull request #636 synchronize by Abraxas1010
17s Abraxas1010:feat/append-oneMsg-crown
Abraxas1010:feat/append-oneMsg-crown
17s
feat(Append): completeness composition under init-uniformity + run_pure_verifier Check Imports #1943: Pull request #635 synchronize by Abraxas1010
8s Abraxas1010:feat/append-completeness-uniform-init
Abraxas1010:feat/append-completeness-uniform-init
8s
feat(Append): construct the challenge-oracle SubSpec embeddings Check Imports #1942: Pull request #633 synchronize by Abraxas1010
10s Abraxas1010:feat/append-challenge-subspec
Abraxas1010:feat/append-challenge-subspec
10s
feat(SendWitness): prove reduction completeness; add Prover.runToRound_succ Check Imports #1941: Pull request #631 synchronize by Abraxas1010
10s Abraxas1010:feat/sendwitness-completeness
Abraxas1010:feat/sendwitness-completeness
10s
Polynomial Generators have MCA for RSCodes Check Imports #1940: Pull request #610 synchronize by katyhr
11s Katy/RScodeMCA
Katy/RScodeMCA
11s
Polynomial Generators have MCA for RSCodes Check Imports #1939: Pull request #610 synchronize by katyhr
11s Katy/RScodeMCA
Katy/RScodeMCA
11s
No index for mem_subdomain_0_iff_mem Check Imports #1938: Pull request #671 opened by ElijahVlasov
11s NethermindEth:ElijahVlasov/mem_subdomain_0_iff_mem_no_index
NethermindEth:ElijahVlasov/mem_subdomain_0_iff_mem_no_index
11s
Introduce pullback argument for STIR and WHIR theorems Check Imports #1937: Pull request #667 synchronize by ElijahVlasov
11s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
11s
Introduce pullback argument for STIR and WHIR theorems Check Imports #1936: Pull request #667 synchronize by ElijahVlasov
10s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
10s
Clean-up 🧼 of the SplitFold.lean Check Imports #1935: Pull request #670 synchronize by ElijahVlasov
8s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
8s
Clean-up 🧼 of the SplitFold.lean Check Imports #1934: Pull request #670 synchronize by ElijahVlasov
12s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
12s
Clean-up 🧼 of the SplitFold.lean Check Imports #1933: Pull request #670 opened by ElijahVlasov
8s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
8s
Introduce pullback argument for STIR and WHIR theorems Check Imports #1932: Pull request #667 synchronize by ElijahVlasov
8s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
8s