Skip to content

Actions: zkICAO/prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
chore: the chip proof carries three public inputs now ci #23: Commit b6b881f pushed by wstran
19s main
main
19s
feat: report chip presence, and require it to attach to the document ci #22: Commit 76009c7 pushed by wstran
31s main
main
31s
chore: manifest regenerated with the Brainpool and RSA-3072 variants ci #21: Commit 2cb8f64 pushed by wstran
16s main
main
16s
chore: manifest regenerated with the wider algorithm variants ci #20: Commit 0d4513e pushed by wstran
21s main
main
21s
chore: manifest regenerated with the TD2 attribute circuit ci #19: Commit 8313a0d pushed by wstran
19s main
main
19s
test: the chained registration is the same circuit kind, other key ci #18: Commit 0c7e2f0 pushed by wstran
14s main
main
14s
feat: accept the aggregated session proof as a question ci #17: Commit 966ecee pushed by wstran
13s main
main
13s
feat: verify a session against a stored registration ci #16: Commit bdef976 pushed by wstran
21s main
main
21s
feat: accept a registration proof as the document proof of a bundle ci #15: Commit 65a4964 pushed by wstran
20s main
main
20s
fix: close three checklist gaps ci #14: Commit 9dab187 pushed by wstran
18s main
main
18s
chore: manifest regenerated by the tool that now produces it ci #13: Commit b116a13 pushed by wstran
17s main
main
17s
chore: regenerate the layout manifest for the larger buffer variants ci #12: Commit 1dfceb5 pushed by wstran
18s main
main
18s
test: check the anchor and nullifier against real proofs ci #11: Commit 7d3e3c9 pushed by wstran
25s main
main
25s
fix: close three ways a bundle could say less than it appeared to ci #10: Commit 4618863 pushed by wstran
33s main
main
33s
test: run the checklist over proofs the circuits actually produced ci #9: Commit c61a184 pushed by wstran
23s main
main
23s
docs: say what this crate is, and what it deliberately is not ci #8: Commit b831241 pushed by wstran
20s main
main
20s
fix: isolate the scratch directory each verification uses ci #7: Commit 4c662ff pushed by wstran
18s main
main
18s
fix: refuse a zero application domain ci #6: Commit 760e098 pushed by wstran
25s main
main
25s
feat: understand both trust anchor modes ci #5: Commit adc4dcc pushed by wstran
10s main
main
10s
feat: check the trust anchor in the bundle ci #4: Commit 204d352 pushed by wstran
34s main
main
34s
feat: off-chain verifier for a bundle of proofs ci #3: Commit 7bb7499 pushed by wstran
33s main
main
33s
docs: state current status accurately and add trademark notice ci #2: Commit 9a1abb4 pushed by wstran
15s main
main
15s
chore: bootstrap repository (P0) ci #1: Commit d16dd39 pushed by wstran
12s main
main
12s