Skip to content

Actions: spitters/CatCrypt-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Concrete UC emulation: UCEmulatesCSim bounds the distinguishing gap o… CI #41: Commit 8cc9295 pushed by spitters
5m 1s main
main
5m 1s
AGM representations are checked by the game against the SRS it sample… CI #40: Commit 6b28db6 pushed by spitters
4m 22s main
main
4m 22s
Lean 4.33.1: the simpleSigma SHVZK and special-soundness proofs drop … CI #39: Commit 2adfac7 pushed by spitters
4m 40s main
main
4m 40s
Lean 4.33.1: the simpleSigma SHVZK and special-soundness proofs drop … CI #38: Commit 2adfac7 pushed by spitters
4m 43s lean-upgrade-4.33
lean-upgrade-4.33
4m 43s
Lean 4.33.1: the sigma-protocol definitions unfold at implicit transp… CI #37: Commit 9a9e3b4 pushed by spitters
3m 56s lean-upgrade-4.33
lean-upgrade-4.33
3m 56s
Lean 4.33.1 deprecations: bernoulli through ProbabilityTheory.bernoul… CI #36: Commit b63e21f pushed by spitters
4m 1s lean-upgrade-4.33
lean-upgrade-4.33
4m 1s
Lean 4.33.1: CBC and encrypt-then-MAC coupling goals close by rfl aft… CI #35: Commit 35d3b31 pushed by spitters
5m 8s lean-upgrade-4.33
lean-upgrade-4.33
5m 8s
Tactics, EnvSearch: a live public section [no-golf] [no-docs] CI #34: Commit b581de1 pushed by spitters
4m 59s lean-upgrade-4.32
lean-upgrade-4.32
4m 59s
DiscrTree.insertCore is deprecated; use insertKeyValue CI #33: Commit 364324b pushed by spitters
4m 57s lean-upgrade-4.32
lean-upgrade-4.32
4m 57s
Repin nominalLean to git, which is what CI needs [no-golf] [no-docs] CI #32: Commit 07f2b00 pushed by spitters
5m 6s lean-upgrade-4.32
lean-upgrade-4.32
5m 6s
Minimise imports: the remove-only half of lake shake (net 80) [no-g… CI #31: Commit db9d9cd pushed by spitters
53s lean-upgrade-4.32
lean-upgrade-4.32
53s
Curve25519: derive the base point's additive order from annihilation … CI #30: Commit 3695847 pushed by spitters
5m 53s lean-upgrade-4.32
lean-upgrade-4.32
5m 53s
NonUniform: the unbounded loop over a threaded state [no-golf] [no-docs] CI #29: Commit 91410d2 pushed by spitters
5m 53s main
main
5m 53s
Separation: the owned synchronised write gets its own name [no-golf] … CI #28: Commit f22c037 pushed by spitters
9m 15s main
main
9m 15s
docs: move the Verso manual sub-project to the v4.30.0 series [no-gol… CI #27: Commit a53eca4 pushed by spitters
5m 27s main
main
5m 27s
Cryptobox PKAE game gets its own namespace CI #26: Commit 11f740e pushed by spitters
5m 38s main
main
5m 38s
Migrate OT (Naor-Pinkas oblivious transfer) into core [no-golf] [no-d… CI #25: Commit 4572121 pushed by spitters
4m 43s main
main
4m 43s
Cryptobox: golf Scheme/PKEY/GameHopping (-11 tactic-units) [golfed] [… CI #24: Commit 38ab30e pushed by spitters
5m 37s main
main
5m 37s
Migrate the Commitments cluster into core: Pedersen + KZG [no-golf] [… CI #23: Commit 353cbb1 pushed by spitters
4m 50s main
main
4m 50s
Migrate the UC-DSL chain + AGM into core [no-golf] [no-docs] CI #22: Commit 2d075a5 pushed by spitters
5m 11s main
main
5m 11s
Migrate the Cryptobox cluster into core [no-golf] [no-docs] CI #21: Commit ff8cf80 pushed by spitters
5m 13s main
main
5m 13s
Migrate the PKE multi-instance cluster into core [no-golf] [no-docs] CI #20: Commit 7b4b8ac pushed by spitters
5m 5s main
main
5m 5s
Migrate golfed Examples into core: Sigma, DeepHybrid, PRFMAC, PRFPRG … CI #19: Commit 0f7e807 pushed by spitters
4m 50s main
main
4m 50s
Migrate the EasyCrypt/SSProve methodology roots into core [no-golf] [… CI #18: Commit 9babc3c pushed by spitters
5m 25s main
main
5m 25s
Add worked proofs and reusable machinery (post-alpha batch) CI #17: Commit 57d4255 pushed by spitters
51m 28s main
main
51m 28s