Skip to content

Actions: Bitcoin-PIR/protocol-proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
Model Payment V1 authorization wire shape Formal proof #11: Commit c519f19 pushed by weikengchen
14m 32s main
main
14m 32s
Model Payment V1 authorization wire shape Formal proof #10: Pull request #1 opened by weikengchen
14m 44s codex/payment-auth-wire-contract
codex/payment-auth-wire-contract
14m 44s
Model Payment V1 authorization wire shape Formal proof #9: Commit c519f19 pushed by weikengchen
15m 23s codex/payment-auth-wire-contract
codex/payment-auth-wire-contract
15m 23s
Use stable implementation surface identifiers Formal proof #8: Commit 64bf4cf pushed by weikengchen
15m 25s main
main
15m 25s
Correct proof lemma count Formal proof #7: Commit ba6b06e pushed by weikengchen
3m 1s main
main
3m 1s
Keep proof checks repeatable Formal proof #6: Commit e63eb15 pushed by weikengchen
3m 37s main
main
3m 37s
Close EasyCrypt proof input set Formal proof #5: Commit 8f9ffd9 pushed by weikengchen
1m 38s main
main
1m 38s
Inventory trusted EasyCrypt axioms Formal proof #4: Commit c1762da pushed by weikengchen
14m 21s main
main
14m 21s
Allow EasyCrypt to write compiled proof output Formal proof #3: Commit def65c4 pushed by weikengchen
9m 37s main
main
9m 37s
Bind formal proof to the implementation contract Formal proof #2: Commit 9cfe579 pushed by weikengchen
11m 45s main
main
11m 45s
Add reproducible formal proof verification Formal proof #1: Commit 61b4aa7 pushed by weikengchen
10m 59s main
main
10m 59s