Skip to content

Actions: ashandoak/verified-commitments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
wip: change location of scheme structure and namespacing Lean Action CI #63: Commit 29044bf pushed by ashandoak
1m 40s refactor-cslib
refactor-cslib
1m 40s
chore: thesis revisions Lean Action CI #62: Commit fb7cd68 pushed by ashandoak
1m 48s main
main
1m 48s
Thesis revisions Lean Action CI #61: Pull request #13 opened by ashandoak
1m 49s thesis-revisions
thesis-revisions
1m 49s
wip: add oracle tag to adversary names Lean Action CI #60: Commit 893dd8d pushed by ashandoak
1m 41s thesis-revisions
thesis-revisions
1m 41s
wip: thesis edits Lean Action CI #59: Commit 4fef38e pushed by ashandoak
1m 43s main
main
1m 43s
wip: thesis edits Lean Action CI #58: Pull request #12 synchronize by ashandoak
1m 41s thesis-edits
thesis-edits
1m 41s
Merge branch 'main' into thesis-edits Lean Action CI #57: Commit f38dd96 pushed by ashandoak
1m 43s thesis-edits
thesis-edits
1m 43s
wip: refactor some defs Lean Action CI #56: Commit 60e4ddd pushed by ashandoak
1m 48s thesis-edits
thesis-edits
1m 48s
feat: add proof of elgamal binding Lean Action CI #55: Commit 87a3900 pushed by ashandoak
1m 52s thesis-edits
thesis-edits
1m 52s
Elgamal binding Lean Action CI #54: Pull request #11 synchronize by ashandoak
1m 59s elgamal-binding
elgamal-binding
1m 59s
Merge branch 'thesis-edits' into elgamal-binding Lean Action CI #53: Commit 6fe9aad pushed by ashandoak
1m 57s elgamal-binding
elgamal-binding
1m 57s
refactor: reorder elgamal definitions Lean Action CI #52: Commit 5e564eb pushed by ashandoak
1m 48s thesis-edits
thesis-edits
1m 48s
feat: add elgamal binding Lean Action CI #51: Commit 4fca07a pushed by ashandoak
1m 41s main
main
1m 41s
feat: add elgamal binding Lean Action CI #50: Pull request #10 opened by ashandoak
1m 39s elgamal-binding
elgamal-binding
1m 39s
feat: add proof of elgamal binding Lean Action CI #49: Commit d46a3d8 pushed by ashandoak
1m 41s elgamal-binding
elgamal-binding
1m 41s
feat: add pke commitment scheme Lean Action CI #48: Commit c14b33d pushed by ashandoak
1m 53s main
main
1m 53s
feat: add pke commitment scheme Lean Action CI #47: Pull request #9 opened by ashandoak
1m 44s pke-commitments
pke-commitments
1m 44s
feat: computational hiding complete Lean Action CI #46: Commit dba6b2d pushed by ashandoak
1m 58s pke-commitments
pke-commitments
1m 58s
wip: stray parameter changes, add commitmentscheme correctness Lean Action CI #45: Commit f5403d8 pushed by ashandoak
1m 51s pke-commitments
pke-commitments
1m 51s
feat: pedersen correctness Lean Action CI #44: Commit 4cbe19c pushed by ashandoak
2m 5s main
main
2m 5s
feat: pedersen correctness Lean Action CI #43: Pull request #8 opened by ashandoak
1m 49s pedersen-correctness
pedersen-correctness
1m 49s
Cryptolib elgamal Lean Action CI #42: Pull request #7 opened by ashandoak
1m 50s cryptolib-elgamal
cryptolib-elgamal
1m 50s
Cryptolib elgamal (#7) Lean Action CI #41: Commit fac8fd8 pushed by ashandoak
1m 42s main
main
1m 42s
chore: add license note for elgamal Lean Action CI #40: Commit c6eb273 pushed by ashandoak
1m 50s cryptolib-elgamal
cryptolib-elgamal
1m 50s
wip: convert elgamal and dependencies to lean 4 Lean Action CI #39: Commit 8d35bbb pushed by ashandoak
1m 54s cryptolib-elgamal
cryptolib-elgamal
1m 54s