Skip to content

Actions: stateset/stateset-starks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 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: note the optional adoption of Rp64_256's round constants CI #103: Commit 6821925 pushed by domsteil
6m 59s master
master
6m 59s
test(crypto): prove our permutation's components are the audited Rp64… CI #102: Commit b27afad pushed by domsteil
6m 54s master
master
6m 54s
Merge crypto/canonical-rescue-prime — v0.7.0 CI #101: Commit df865e5 pushed by domsteil
6m 58s master
master
6m 58s
docs: record what sequencer V2 emission actually requires (read from … CI #100: Commit f33cf4a pushed by domsteil
6m 40s master
master
6m 40s
test(verifier): prove the V2 binding fires through the agent-auth path CI #99: Commit 2095b13 pushed by domsteil
7m 6s master
master
7m 6s
docs: sharpen batch V2 gap — soundness (custom prover), not honest-pr… CI #98: Commit 8d57542 pushed by domsteil
7m 12s master
master
7m 12s
docs: correct batch V2 binding — it needs an AIR change, not a verifi… CI #97: Commit 2d3c238 pushed by domsteil
5m 20s master
master
5m 20s
fix(ci): force gnu triple for fuzz runs (musl is sanitizer-incompatible) CI #96: Commit 1a11c5a pushed by domsteil
6m 37s master
master
6m 37s
Release v0.6.0 — payload-bound compliance (V2), CI fuzz-job fix CI #95: Commit 5050320 pushed by domsteil
2m 12s master
master
2m 12s
Release v0.5.0 — bounded proof deserialization, verifier builder, nig… CI #94: Commit c2cd52c pushed by domsteil
1h 12m 19s master
master
1h 12m 19s
docs(changelog): record the fuzzing findings and hardening CI #93: Commit 05e7620 pushed by domsteil
2m 8s master
master
2m 8s
Merge viability-amount-binding — v0.4.0 CI #92: Commit 46b4b47 pushed by domsteil
2m 11s master
master
2m 11s
Add validation branch-coverage section to the verification matrix CI #91: Commit 718ddd6 pushed by domsteil
2h 0m 48s master
master
2h 0m 48s
Cover malformed registry-address branches in config validation CI #90: Commit 0ddaf85 pushed by domsteil
5m 26s master
master
5m 26s
Test policy-parsing error branches in from_public_inputs CI #89: Commit 3ca1cbf pushed by domsteil
19m 18s master
master
19m 18s
Test all authorize_execution rejection branches (incl. spend cap) CI #88: Commit 16a239c pushed by domsteil
5m 46s master
master
5m 46s
Independently test each payload-amount-binding context branch CI #87: Commit 417ee29 pushed by domsteil
18m 30s master
master
18m 30s
Independently test each authorization-receipt context-binding branch CI #86: Commit 24df949 pushed by domsteil
43m 45s master
master
43m 45s
Independently test within-batch store_id mismatch rejection CI #85: Commit 1f40e32 pushed by domsteil
33m 22s master
master
33m 22s
Document batch AIR compile-time characteristics for contributors CI #84: Commit 82094de pushed by domsteil
33m 22s master
master
33m 22s
Make the verification matrix self-verifying CI #83: Commit cb94f3f pushed by domsteil
42m 0s master
master
42m 0s
Document batch state-transition soundness argument CI #82: Commit 510579b pushed by domsteil
7m 14s master
master
7m 14s
Add audit-readiness verification matrix; make perf claims honest CI #81: Commit 6d0b365 pushed by domsteil
3m 0s master
master
3m 0s
Test CompliancePublicInputs canonical hash commits to every field CI #80: Commit 26c70d2 pushed by domsteil
19m 42s master
master
19m 42s
Test CommerceIntent hash commits to every field CI #79: Commit 66ad870 pushed by domsteil
17m 1s master
master
17m 1s