All workflows

Workflow runs

• wip: change location of scheme structure and namespacing

  failed:
  Lean Action CI#63:Commit29044bfpushedbyashandoak
  refactor-cslib

  Jun 26, 20261m 40s
  More actions for workflow run 63

• chore: thesis revisions

  failed:
  Lean Action CI#62:Commitfb7cd68pushedbyashandoak
  main

  Apr 7, 20261m 48s
  More actions for workflow run 62

• Thesis revisions

  failed:
  Lean Action CI#61:Pull request#13openedbyashandoak
  thesis-revisions

  Apr 7, 20261m 49s
  More actions for workflow run 61

• wip: add oracle tag to adversary names

  failed:
  Lean Action CI#60:Commit893dd8dpushedbyashandoak
  thesis-revisions

  Apr 7, 20261m 41s
  More actions for workflow run 60

• wip: thesis edits

  failed:
  Lean Action CI#59:Commit4fef38epushedbyashandoak
  main

  Mar 11, 20261m 43s
  More actions for workflow run 59

• wip: thesis edits

  failed:
  Lean Action CI#58:Pull request#12synchronizebyashandoak
  thesis-edits

  Mar 11, 20261m 41s
  More actions for workflow run 58

• Merge branch 'main' into thesis-edits

  failed:
  Lean Action CI#57:Commitf38dd96pushedbyashandoak
  thesis-edits

  Mar 11, 20261m 43s
  More actions for workflow run 57

• wip: refactor some defs

  failed:
  Lean Action CI#56:Commit60e4dddpushedbyashandoak
  thesis-edits

  Mar 11, 20261m 48s
  More actions for workflow run 56

• feat: add proof of elgamal binding

  failed:
  Lean Action CI#55:Commit87a3900pushedbyashandoak
  thesis-edits

  Mar 1, 20261m 52s
  More actions for workflow run 55

• Elgamal binding

  failed:
  Lean Action CI#54:Pull request#11synchronizebyashandoak
  elgamal-binding

  Mar 1, 20261m 59s
  More actions for workflow run 54

• Merge branch 'thesis-edits' into elgamal-binding

  failed:
  Lean Action CI#53:Commit6fe9aadpushedbyashandoak
  elgamal-binding

  Mar 1, 20261m 57s
  More actions for workflow run 53

• refactor: reorder elgamal definitions

  failed:
  Lean Action CI#52:Commit5e564ebpushedbyashandoak
  thesis-edits

  Mar 1, 20261m 48s
  More actions for workflow run 52

• feat: add elgamal binding

  failed:
  Lean Action CI#51:Commit4fca07apushedbyashandoak
  main

  Feb 26, 20261m 41s
  More actions for workflow run 51

• feat: add elgamal binding

  failed:
  Lean Action CI#50:Pull request#10openedbyashandoak
  elgamal-binding

  Feb 26, 20261m 39s
  More actions for workflow run 50

• feat: add proof of elgamal binding

  failed:
  Lean Action CI#49:Commitd46a3d8pushedbyashandoak
  elgamal-binding

  Feb 26, 20261m 41s
  More actions for workflow run 49

• feat: add pke commitment scheme

  failed:
  Lean Action CI#48:Commitc14b33dpushedbyashandoak
  main

  Feb 21, 20261m 53s
  More actions for workflow run 48

• feat: add pke commitment scheme

  failed:
  Lean Action CI#47:Pull request#9openedbyashandoak
  pke-commitments

  Feb 21, 20261m 44s
  More actions for workflow run 47

• feat: computational hiding complete

  failed:
  Lean Action CI#46:Commitdba6b2dpushedbyashandoak
  pke-commitments

  Feb 8, 20261m 58s
  More actions for workflow run 46

• wip: stray parameter changes, add commitmentscheme correctness

  failed:
  Lean Action CI#45:Commitf5403d8pushedbyashandoak
  pke-commitments

  Feb 3, 20261m 51s
  More actions for workflow run 45

• feat: pedersen correctness

  failed:
  Lean Action CI#44:Commit4cbe19cpushedbyashandoak
  main

  Jan 27, 20262m 5s
  More actions for workflow run 44

• feat: pedersen correctness

  failed:
  Lean Action CI#43:Pull request#8openedbyashandoak
  pedersen-correctness

  Jan 27, 20261m 49s
  More actions for workflow run 43

• Cryptolib elgamal

  failed:
  Lean Action CI#42:Pull request#7openedbyashandoak
  cryptolib-elgamal

  Jan 27, 20261m 50s
  More actions for workflow run 42

• Cryptolib elgamal (#7)

  failed:
  Lean Action CI#41:Commitfac8fd8pushedbyashandoak
  main

  Jan 27, 20261m 42s
  More actions for workflow run 41

• chore: add license note for elgamal

  failed:
  Lean Action CI#40:Commitc6eb273pushedbyashandoak
  cryptolib-elgamal

  Jan 27, 20261m 50s
  More actions for workflow run 40

• wip: convert elgamal and dependencies to lean 4

  failed:
  Lean Action CI#39:Commit8d35bbbpushedbyashandoak
  cryptolib-elgamal

  Jan 27, 20261m 54s
  More actions for workflow run 39