Skip to content

Actions: ashandoak/verified-commitments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Pedersen complete (#6) Lean Action CI #37: Commit 35520a9 pushed by ashandoak
1m 44s main
main
1m 44s
feat: Pedersen complete Lean Action CI #36: Pull request #6 opened by ashandoak
1m 54s refactor-clean-up
refactor-clean-up
1m 54s
refactor: change name of Adversary to BindingGuess; golf some proofs Lean Action CI #35: Commit e1eb342 pushed by ashandoak
1m 51s refactor-clean-up
refactor-clean-up
1m 51s
complete pedersen binding and hiding proofs (#5) Lean Action CI #34: Commit fd49227 pushed by ashandoak
1m 39s main
main
1m 39s
complete pedersen binding and hiding proofs Lean Action CI #33: Pull request #5 opened by ashandoak
1m 48s do-reduction
do-reduction
1m 48s
feat: hiding complete Lean Action CI #32: Commit f9b317b pushed by ashandoak
1m 41s do-reduction
do-reduction
1m 41s
wip: minor update to spec notes and pedersen setup Lean Action CI #31: Commit dc08d1e pushed by ashandoak
1m 46s do-reduction
do-reduction
1m 46s
wip: minor update to spec notes and pedersen setup Lean Action CI #30: Commit dc08d1e pushed by ashandoak
1m 41s scheme-refactor
scheme-refactor
1m 41s
wip: move generate_a to pedersenscheme Lean Action CI #29: Commit 8ec70da pushed by ashandoak
1m 41s scheme-refactor
scheme-refactor
1m 41s
chore: bump to 4.27 Lean Action CI #28: Commit 3699a6f pushed by ashandoak
1m 42s scheme-refactor
scheme-refactor
1m 42s
refactor: break pedersen scheme into separate defs Lean Action CI #27: Commit 539abba pushed by ashandoak
1m 30s scheme-refactor
scheme-refactor
1m 30s
chore: bump to 4.27 Lean Action CI #26: Commit f9762b3 pushed by ashandoak
1m 40s main
main
1m 40s
Refactor bijection equiv (#4) Lean Action CI #25: Commit 79527d0 pushed by ashandoak
1m 32s main
main
1m 32s
Refactor bijection equiv Lean Action CI #24: Pull request #4 opened by ashandoak
1m 39s refactor-bijection-equiv
refactor-bijection-equiv
1m 39s
wip: clean up equiv proofs and add new Pedersen scheme defs Lean Action CI #23: Commit 1462003 pushed by ashandoak
1m 33s refactor-bijection-equiv
refactor-bijection-equiv
1m 33s
wip: add probablistitc definitions for hiding property (#3) Lean Action CI #22: Commit e06ac86 pushed by ashandoak
1m 38s refactor-bijection-equiv
refactor-bijection-equiv
1m 38s
wip: refactor bijection equiv Lean Action CI #21: Pull request #3 synchronize by ashandoak
1m 32s hiding-probablistic-defs
hiding-probablistic-defs
1m 32s
Merge branch 'refactor-bijection-equiv' into hiding-probablistic-defs Lean Action CI #20: Commit a9fac82 pushed by ashandoak
1m 30s hiding-probablistic-defs
hiding-probablistic-defs
1m 30s
wip: add alternative formulation for pedersen_commitment_uniform Lean Action CI #19: Commit 2bbe3f0 pushed by ashandoak
1m 29s refactor-bijection-equiv
refactor-bijection-equiv
1m 29s
wip: add probablistitc definitions for hiding property Lean Action CI #18: Commit aaa1506 pushed by ashandoak
1m 42s hiding-probablistic-defs
hiding-probablistic-defs
1m 42s
chore: refactor project (#2) Lean Action CI #17: Commit 35d46d8 pushed by ashandoak
1m 42s main
main
1m 42s
chore: refactor project Lean Action CI #16: Pull request #2 opened by ashandoak
1m 31s pedersen-refactor
pedersen-refactor
1m 31s
fix: update import after refactor Lean Action CI #15: Commit 69fc8eb pushed by ashandoak
1m 45s pedersen-refactor
pedersen-refactor
1m 45s
chore: refactor project Lean Action CI #14: Commit fca1d95 pushed by ashandoak
1m 58s pedersen-refactor
pedersen-refactor
1m 58s
feat: add perfect hiding proof (wip) Lean Action CI #13: Commit f6e0135 pushed by ashandoak
1m 39s main
main
1m 39s