Skip to content

Actions: zkICAO/circuits

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 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
docs: comments and inventories caught up with the code they describe ci #48: Commit c4512cf pushed by wstran
8m 23s main
main
8m 23s
feat: Active Authentication, the one statement a copy cannot make ci #47: Commit a198bce pushed by wstran
8m 52s main
main
8m 52s
ci: install protoc, which the witness calculator's build script needs ci #46: Commit b7ea7a8 pushed by wstran
7m 34s main
main
7m 34s
fix: the indentation the previous edit left in the embedded script ci #45: Commit 5094fac pushed by wstran
7m 34s main
main
7m 34s
fix: the vector tool needs no witness file, which continuous integrat… ci #44: Commit e3f7b16 pushed by wstran
8m 8s main
main
8m 8s
ci: check that the two proving stacks agree ci #43: Commit 481e8f1 pushed by wstran
8m 11s main
main
8m 11s
feat: Brainpool P-384r1 and RSA-3072, the last algorithm gaps with a … ci #42: Commit 5a9c537 pushed by wstran
8m 15s main
main
8m 15s
feat: the bundle takes its scope from the environment ci #41: Commit 9a931ea pushed by wstran
5m 8s main
main
5m 8s
feat: proving with rapidsnark, over its C interface ci #40: Commit 6fc50ce pushed by wstran
5m 23s main
main
5m 23s
ci: fail when a recursive circuit pins a stale key hash ci #39: Commit 55caf8c pushed by wstran
6m 9s main
main
6m 9s
feat: all three Groth16 predicates, and the Rust proving path ci #38: Commit 2209ff4 pushed by wstran
6m 12s main
main
6m 12s
feat: Poseidon2 in circom, and the first Groth16 predicate ci #37: Commit 8cdeab8 pushed by wstran
5m 58s main
main
5m 58s
feat: RSA-4096 and P-384, the algorithm sizes Doc 9303 also permits ci #36: Commit 97d3f10 pushed by wstran
5m 43s main
main
5m 43s
feat: TD2, the third layout Doc 9303 defines ci #35: Commit d6f59ba pushed by wstran
4m 4s main
main
4m 4s
feat: an input template beside every circuit, and fixtures kept to th… ci #34: Commit 9924510 pushed by wstran
3m 53s main
main
3m 53s
docs: the tree format a verifier has to follow ci #33: Commit 1f9b0b7 pushed by wstran
4m 8s main
main
4m 8s
feat: real Merkle trees, so inclusion is proved against a set ci #32: Commit d136c9e pushed by wstran
4m 2s main
main
4m 2s
docs: name the mechanism generically where core states it ci #31: Commit c715cab pushed by wstran
4m 20s main
main
4m 20s
refactor: keep the generic layers free of any one standard, and delet… ci #30: Commit 921f206 pushed by wstran
4m 43s main
main
4m 43s
docs: the new circuits in the tables, and what is fixed against what … ci #29: Commit d85de34 pushed by wstran
3m 50s main
main
3m 50s
feat: the registration that walks the whole chain ci #28: Commit 5257a48 pushed by wstran
3m 55s main
main
3m 55s
feat: session_compare_member, two predicates of a session as one proof ci #27: Commit 6d0ff56 pushed by wstran
4m 6s main
main
4m 6s
feat: registration, the four document proofs verified recursively as one ci #26: Commit b43d83b pushed by wstran
3m 34s main
main
3m 34s
refactor: group libraries by what a second ICAO standard would reuse ci #25: Commit 5919fff pushed by wstran
3m 33s main
main
3m 33s
fix: clippy on the manifest tool ci #24: Commit 4a49e58 pushed by wstran
3m 45s main
main
3m 45s