RustApache-2.0★ 4 stars⑂ 5 forkssince Dec 2025archivedView on GitHub ↗
0xMiden/p3-miden holds a health index of 24 out of 100, placing it in the Critical band. It scores highest on Security (69/100) and lowest on Community & Adoption (49/100). The repository is archived, so no further maintenance is expected.
24
overall / 100
Critical
Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At risk ceiling of 49. AI Readiness sits outside the overall score.
24
Excellent85-100Exemplary; meets essentially all checked criteria
Good70-84Healthy; minor gaps
Moderate50-69Acceptable with notable gaps; review recommended
At risk30-49Significant weaknesses; adoption warrants caution
Critical1-29Severe problems (abandoned, single-maintainer, no hygiene)
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
archived on GitHub by its maintainersOverall rating: Critical ceiling
Silence alone is never the finding — a small, finished library may need no commits for years. This alert requires both: no human commit for a long time, and obligations the project is visibly not discharging. Automated commits do not count as maintenance.
Direct dependencies free of known advisories — no direct dependency carries a known advisory
19/25
Indirect dependencies free of known advisories — 1 affected: paste 1.0.15 (unknown)
37.2/40
No advisories left outstanding — 1 advisory-carrying package(s) unaddressed past 90 days; oldest published 657 days ago
Inputs used
source
osv
advisories
1
affected_packages
1
assessed_packages
38
unassessed_packages
0
affected_by_severity
unknown 1
direct_affected_packages
0
Matched the crates:p3-miden-lifted-air@0.5.0 runtime dependency closure — what installing the published package pulls in — 38 packages. Reachability is not analyzed.
How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score.
Manageable file sizes — 0/98 source files over 60KB
Inputs used
primary_language
Rust
largest_source_bytes
28,396
source_files_sampled
98
oversized_source_files
0
Key facts
4GitHub stars
7contributors
231commits, last 12 months
108days since last push
3releases
1bus factor
20open issues
crates.iopackage ecosystems
Data collection warnings
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Could not fetch crates package 'p3-miden-bench' from its registry
More detail
Star and fork history 0 ★ / 5 ⇿
0Stars
5Forks
1Releases
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Major 0Minor 0Patch 1
OpenSSF Scorecard 6.4 / 10
6.4aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).Scorecard v5.5.0 · 2026-07-26 20:22 UTC
Full resolved dependency set from the GitHub dependency graph: 0 direct and 0 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
Registry
Package
Version
Relation
Dependency advisories 1
Installing crates:p3-miden-lifted-air@0.5.0 pulls in 38 packages, direct and transitive: 1 carry known advisories, of which 0 are direct dependencies.
Package
Version
Relation
Severity
Advisories
Fixed in
paste
1.0.15
indirect
unknown
1
—
An advisory means the version recorded in the dependency graph falls inside an advisory’s affected range. Reachability is not analysed, and the graph includes development and test pins — a finding may concern tooling rather than shipped software.
Raw JSON report machine-readable
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 1709,
"has_wiki": false,
"homepage": null,
"languages": {
"Rust": 658169,
"Shell": 1152,
"Makefile": 4274
},
"pushed_at": "2026-04-09T07:14:09Z",
"created_at": "2025-12-17T18:21:37Z",
"owner_type": "Organization",
"updated_at": "2026-04-09T13:48:08Z",
"description": "Miden-specific Plonky3-based crates",
"is_archived": true,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "main",
"license_spdx_raw": "Apache-2.0",
"primary_language": "Rust",
"significant_languages": [
"Rust"
]
},
"owner": {
"blog": "https://miden.xyz",
"name": "Miden",
"type": "Organization",
"login": "0xMiden",
"company": null,
"location": null,
"followers": 405,
"avatar_url": "https://avatars.githubusercontent.com/u/190780847?v=4",
"created_at": "2024-12-05T21:16:22Z",
"is_verified": null,
"public_repos": 52,
"account_age_days": 597
},
"license": {
"state": "standard",
"spdx_id": "Apache-2.0",
"raw_spdx": "Apache-2.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.5.0",
"kind": "minor",
"published_at": "2026-03-11T05:28:49Z"
},
{
"tag": "v0.4.2",
"kind": "patch",
"published_at": "2026-01-14T18:02:45Z"
},
{
"tag": "v0.4.0",
"kind": "minor",
"published_at": "2025-12-25T06:23:29Z"
}
],
"recent_commits": [
{
"oid": "e38846817f5a3d63da881034c5343738d2ec70de",
"body": null,
"is_bot": false,
"headline": "docs: add archival notice to README (#67)",
"author_name": "François Garillot",
"author_login": "huitseeker",
"committed_at": "2026-04-09T07:14:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b45e1bec05251c371f9adac1a1779719623c03d3",
"body": "* Move `lmcs`, `fri`, `dev-utils`, `examples` into `stark`\n\n* lint: format\n\n* refactor: centralize re-exports in lib.rs, use fully qualified internal paths\n\n- Remove all `pub use` re-exports from internal modules (lmcs/mod.rs,\n pcs/mod.rs, pcs/deep/mod.rs, pcs/fri/mod.rs, prover/constraints/)\n- All\n[…]\nply@anthropic.com>\n\n* Fix bench validation and feature checks\n\n---------\n\nCo-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>\nCo-authored-by: François Garillot <francois@garillot.net>",
"is_bot": false,
"headline": "Consolidate workspace into single p3-miden-lifted-stark crate (#66)",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-04-07T11:02:15Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "5ed16364897a3f2b3b2f1719fe5e69f4df252070",
"body": null,
"is_bot": false,
"headline": "Merge pull request #59 from 0xMiden/robin/blake3-192",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-31T13:30:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a236ca99eb42e064b92b2fbe2dc33e76c5b838dd",
"body": null,
"is_bot": false,
"headline": "refactor: define TruncatingHasher and leverage it for Blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-30T03:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6ecef892838ea5003b5df6dbb15917b7988e8e62",
"body": null,
"is_bot": false,
"headline": "Merge remote-tracking branch 'origin/main' into robin/blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-30T03:58:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4817b5a1a1a71c0bc3c16b0572679fc1e727a82b",
"body": null,
"is_bot": false,
"headline": "Merge remote-tracking branch 'origin/main' into robin/blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-30T03:32:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bca559daa9129bd5a72437ec2692ba4eb8689cf2",
"body": "…(#62)\n\n* chore(release): document publish skew and add feature validation\n\n* chore(release): advance the release line after LMCS changed\n\n* chore(deps): relax plonky patch pins and gate bench deps\n\n* chore: make sure workspace dependencies are properly used & pin internal versions to \"0.5\"",
"is_bot": false,
"headline": "ci: Advance workspace to 0.5.1 and harden release dry-run validation …",
"author_name": "François Garillot",
"author_login": "huitseeker",
"committed_at": "2026-03-28T07:04:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7a54942296ace0b9e50b785762eff385b236eb05",
"body": null,
"is_bot": false,
"headline": "Merge pull request #61 from 0xMiden/adr1anh/logging",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-27T15:43:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0c5c94d394d23d04dd8e0f3082b34dd808ddc7c9",
"body": "Wrap each absorb_matrix invocation (including salt) in info_span! with\nheight/width fields, and wrap all three prover grind calls (DEEP, FRI\nfolding, query) in info_span! with bits field for timing visibility.\n\nCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add info-level tracing to absorb_matrix and grind calls",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-27T11:51:27Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "79aa43d88bebd26f4d46a09775a5ed5caa4c5d2d",
"body": "Add info_span! to previously uninstrumented expensive operations in the\nprover: per-trace LDE, quotient iDFT/scaling/DFT. Promote eval_instance,\ncompress tree layers, and build aux traces from debug to info level.\n\nCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add info-level tracing to prover path (#61)",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-26T14:59:51Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5d68be4d479d44bb9f9a8c5d3daea76a7662698d",
"body": null,
"is_bot": false,
"headline": "chore: remove Cargo.lock from committed files (#58)",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T13:40:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bab71dd1c15eae778d623eec37c0fe5747dc9fc5",
"body": "perf: faster constraint evaluation for wide matrices",
"is_bot": false,
"headline": "Merge pull request #57 from 0xMiden/robin/miden/wide_matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T13:35:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3fd2c919865ed6ffff05552fd4613d1f981f69e6",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into robin/miden/wide_matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T08:55:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20bfca0f3b127a2d3839f83e5ebc7815844348de",
"body": null,
"is_bot": false,
"headline": "Merge pull request #52 from 0xMiden/adr1anh/lmcs-cleanup",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-26T08:10:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e491a66311a7abd8b5f0a28becf2915b0ace7931",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into robin/miden/wide_matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T07:55:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f292c266e103ad6bb678e0bd150b44a30d423c56",
"body": null,
"is_bot": false,
"headline": "chore: remove baby_bear support",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T05:55:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b5f0a2381e2ac8313547af04fa115169ce1b8231",
"body": null,
"is_bot": false,
"headline": "Merge remote-tracking branch 'origin/main' into robin/blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T05:50:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "539d9f873c0024ec0ab9e0c47f20b160e0fd0852",
"body": "This reverts commit ee3255e9194dc5b4f58446d330cbe8f3b5c4a093.",
"is_bot": false,
"headline": "Revert \"feat: add AIR for blake3-192\"",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T05:34:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ba800aff6aa32517ca734aa67441f08d84abca33",
"body": "…into build_with_alignment\n\nAdd `materialize_bitrev` to `bitrev.rs` as a bridge for DFT output types\nthat implement the upstream `BitReversibleMatrix` but not the local copy.\nThis replaces the triple `.bit_reverse_rows().to_row_major_matrix().bit_reverse_rows()`\npattern in commit.rs and quotient.rs.\n[…]\n>` bound)\nand perform bit-reversal internally. This eliminates duplicated bit-reverse\n+ build logic across `LmcsConfig` and `HidingLmcsConfig`.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(lmcs): extract materialize_bitrev helper, fold bit-reversal …",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:14Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2277ce43558be9f6cfe1b099ae567f59b451c123",
"body": "Expose PCS parameters and batch proof data needed by the Miden VM\nrecursive verifier, which deserializes STARK proofs and reconstructs\nFiat-Shamir advice inputs for the MASM verifier.\n\n- PcsParams: add `deep_pow_bits`, `folding_pow_bits`, `log_folding_arity`,\n `log_final_degree` accessors (previous\n[…]\nomparison in the verifier\n- Lmcs::BatchProof: add `BatchProofView` bound so consumers can access\n batch proof data through the associated type\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add API accessors for Miden VM integration",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:13Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "3ba50121aa413541eba76d23cf2b48ffe25a0a7a",
"body": "- Use saturating_sub in TreeIndices::shrink_depth (shrinking a root-only\n set is now a no-op instead of wrapping/panicking)\n- Fix LmcsTree::height() doc to clarify it returns the height of the\n largest matrix (number of Merkle tree leaves)\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: address PR #52 review comments",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:12Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ffe3b028e5e1c40463f10c2092d7e58cf37fd31f",
"body": "…d BitReversibleMatrix\n\nRestructure LMCS with new types (TreeIndices, MerkleWitness, NodeId,\nRowList), remove mmcs/ and utils.rs, change Lmcs trait API to accept\nTreeIndices and BitReversibleMatrix inputs, encapsulate bit-reversal\ninside LMCS. Adapt lifted-fri and lifted-stark callers.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(lmcs): restructure proof types, encapsulate bit-reversal, ad…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:09Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5dadf46f7dbb2bcb9eff2c0231ba23b77e62d2a9",
"body": null,
"is_bot": false,
"headline": "Merge pull request #56 from 0xMiden/adr1anh/dev-refactor",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T11:40:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "00000006fa92536629d094d37c7f44894664e6f3",
"body": null,
"is_bot": false,
"headline": "chore: update CHANGELOG.md",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-25T09:44:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0000000c4b194cdc61ee8965b268f0f4fefffc45",
"body": null,
"is_bot": false,
"headline": "perf: improve wide matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-25T09:44:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bcd7d5081b7c0aaf8211895d11dccbd106bddb8d",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: add --features testing to bench doc comments",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-24T16:50:08Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5cd8b52718865bdb98b484a577189140c5003d63",
"body": "…move misleading comment\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: address PR feedback — thread testing feature through bench, re…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-24T11:18:28Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "431e1ce207b0ba3a7bbeb640f2792b04996bb404",
"body": null,
"is_bot": false,
"headline": "chore: update CHANGELOG",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b42833efb0ca1f9328e4ebbbbf719a938fe3891",
"body": null,
"is_bot": false,
"headline": "bench: add benchmark comparison with Blake3-256",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee3255e9194dc5b4f58446d330cbe8f3b5c4a093",
"body": null,
"is_bot": false,
"headline": "feat: add AIR for blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e9dff540e2cb3577a6ceee4dc4841520fd2b5272",
"body": null,
"is_bot": false,
"headline": "feat: add blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5779ec8e728d3b05f7bdaf0220cc3ad4d2a03876",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: update CHANGELOG.md",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T15:19:40Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "743a0bd211b9a17e1277d27cde316b29da83c2d5",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: remove unused dependencies flagged by cargo-machete",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T09:37:31Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "c037a56573cb653e88b00cca4aadd31d68f512bc",
"body": "…frastructure\n\nDrop BabyBear from all tests, benchmarks, and dev-utils. Migrate\neverything to Goldilocks + Poseidon2. Move examples to bins, remove\nbench.rs, simplify configs and matrix helpers.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: migrate to Goldilocks-only, simplify dev-utils and bench in…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T09:37:30Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ff7696d599e5fbc52505266d762477bfef816bad",
"body": "Add `testing` feature-gated modules to `p3-miden-lmcs` and\n`p3-miden-lifted-fri` with shared test config aliases, channel helpers,\nmatrix scenario generators, and LDE matrix utilities.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add crate-local testing modules",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T09:37:29Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "c2103f0e349ee875e19c59e4bc028eef53967ead",
"body": null,
"is_bot": false,
"headline": "Merge pull request #48 from 0xMiden/adr1anh/deps-cleanup",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-17T06:20:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "43fc791af4e230ad5810981c73799fd9522191d5",
"body": "Move concrete implementation crates (baby-bear, goldilocks, keccak, blake3)\nto dev-dependencies in core library crates. Remove 10 unused workspace deps.\nConvert lifted-examples from [[bin]] to [[example]] targets, enabling further\ndep cleanup. Organize all Cargo.toml files with consistent section ordering\n(Internal → Plonky3 → Third-party).\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: clean up workspace dependencies",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-11T14:48:50Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "77c1b3dc7160fcf75437d57f48b03aacd0c78238",
"body": null,
"is_bot": false,
"headline": "chore: update CHANGELOG",
"author_name": "Bobbin Threadbare",
"author_login": "bobbinth",
"committed_at": "2026-03-11T05:18:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a2393a692c1cd8ac62854240f5e19cb327af461",
"body": "prep v0.5.0 release: bump Plonky3 deps",
"is_bot": false,
"headline": "Merge pull request #34 from Nashtare/robin/miden_upstream_update",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T19:55:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b33784726b898016f338e9d8e5d533575f577993",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: track Cargo.lock",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T19:47:43Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "25aba0b5b124f41712e38b1b5794fee623f118fc",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: switch Plonky3 deps from git to published 0.5.0",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T19:45:22Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "e5664e099e723fec8f30598435a5c892789745e0",
"body": "…rkTranscript\n\nStarkTranscript::from_proof() called instances.last().unwrap() which\npanicked on empty input. Now calls validate_instances() upfront,\nmatching the same validation path used by verify_multi.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(proof): replace panic with typed error for empty instances in Sta…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T12:33:34Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5a94917b5bd1ff3c95d45be0a0582d4c8e1bab89",
"body": "…rams\n\nLog-height values (log_trace_height, log_lde_height, log_blowup,\nlog_folding_arity, log_final_degree) are changed from usize to u8\nacross all crates. These represent small logarithms (typical values\n1–30) and encoding them as u8 prevents confusion between domain\nsizes and their logarithms at \n[…]\nhelper (thin wrapper: log2_strict_usize(n) as u8)\nin p3-miden-lmcs and p3-miden-lifted-air to replace log2_strict_usize\ncalls at u8 boundaries.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(params): narrow log-height types to u8 and encapsulate PcsPa…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T11:09:47Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "d6a9360668fb14adc9212029233bd9ca6749ed88",
"body": "…ocol\n\nUpdate Plonky3 to latest upstream (69270b5) and adopt the new\nCanFinalizeDigest trait for transcript finalization.\n\nKey changes:\n- ProverTranscript::finalize() replaces into_data(), returning a\n (Digest, TranscriptData) pair after a final challenger state transition.\n- VerifierTranscript::fi\n[…]\nript, FriTranscript, PcsTranscript,\n StarkTranscript::from_proof) to verify structured views consume data\n in the same order as the verifier.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat(transcript): integrate CanFinalizeDigest and binding digest prot…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T16:38:41Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "0aa070611806a97532b45195c45af7dcdb808384",
"body": "Lightweight row-by-row constraint checker that panics on the first\nnonzero constraint, avoiding the full STARK pipeline during development.\nSupports single and multi-instance traces with var-len public inputs.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat(stark): add debug constraint checker for lifted AIRs",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T13:46:14Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "0cf919228f6a050af37da53b1fb99afde1f62da2",
"body": "In lifted-air, replace `pub use p3_air::*` with an explicit item list\nand a `pub mod symbolic` / `pub mod utils` for submodules. Symbolic\ntypes are no longer re-exported at the crate root — they live\nexclusively in the `symbolic` submodule.\n\nIn the lifted-stark facade, replace `pub use p3_miden_lifted_air::*`\nwith explicit items and forward the `symbolic`, `auxiliary`, and\n`utils` submodules.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): replace glob re-exports with explicit items",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T12:39:57Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "dbe7ce432fecd2d68823f7788e74763928360c23",
"body": "4341702be337f95d1f8f7f7e9188199b98726d92\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: update Plonky3 to latest upstream rev",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T12:22:29Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ed27bfc90e86d02181b61375984a71509abaeb06",
"body": "- README.md: remove deleted crates from table and architecture diagram,\n update entry point paths to lifted-stark\n- SECURITY.md: fix references to deleted p3-miden-lifted-verifier\n- lifted-stark/README.md: update entry points table to namespaced paths,\n remove Selectors (now pub(crate))\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "docs: update markdown for crate merge and namespaced re-exports",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T11:36:19Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ad97963799599e67a5700d2a76876ac03f1c91b7",
"body": "The lifted-stark crate now acts as a single-dependency facade.\nInstead of flat `pub use` re-exports that pollute the root namespace,\nsub-crate types are grouped into namespaced modules:\n\n - `air::` — LiftedAir, AirInstance, AirWitness, and all of p3-air\n - `fri::` — PcsParams, DeepParams, FriParam\n[…]\npler to maintain and ensures\nupstream additions are automatically available.\n\nAlso applies workspace-wide import formatting (rustfmt grouping).\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(stark): replace flat re-exports with namespaced facade modules",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T11:28:43Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "862b65e56a3fd6be67ef86fcc4cab136cf3240e0",
"body": "Nightly Rust now eagerly evaluates inline `const { panic!() }` blocks\nat monomorphization time, even when the function is never called. This\nbroke the no-std wasm32 build. Use `unreachable!()` instead — AIR\nvalidation already prevents preprocessed access at a higher level.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(air): replace const panic with unreachable in EmptyWindow",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T09:59:30Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5d0201f6d374d85b3726493097731d69ecf6ca4d",
"body": "…ndow split\n\nUpstream Plonky3 replaced `type M` with separate `type PreprocessedWindow`\nand `type MainWindow` associated types. Adapt all three AirBuilder impls\nto the new API, using a new `EmptyWindow` type for preprocessed traces\nthat causes a compile-time error if accessed (lifted AIRs forbid the\n[…]\n.\n\nAlso add `LiftedAir::air_layout()` as the single source of truth for\nconstructing `AirLayout`, replacing two duplicate manual constructions.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): adapt to upstream AirBuilder PreprocessedWindow/MainWi…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-07T14:42:10Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "23312d6b7211fc527c0972e14ca8f71e8f64174b",
"body": "- Remove the `AirWithPeriodicColumns` trait and `periodic.rs` module\n- Move `periodic_columns()` and `periodic_columns_matrix()` into `LiftedAir`\n with a default empty-vec implementation, eliminating boilerplate for AIRs\n without periodic columns\n- Change `periodic_columns()` return type from `&[V\n[…]\nic_columns_matrix()` instead of duplicating the column-repetition logic\n- Make `num_var_len_public_inputs` a required trait method (no default)\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): merge AirWithPeriodicColumns into LiftedAir",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-07T14:16:01Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "e9a4471efb64602afcfe184ce2979b88238be0b6",
"body": "The fork was only used as a dev-dependency for benchmark comparisons.\nMigrated fri_comparison and quotient_commit benchmarks to upstream\np3-fri API (FriParameters field renames, fold_matrix log_arity arg).",
"is_bot": false,
"headline": "cleanup: remove p3-miden-fri crate, use upstream p3-fri instead",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T14:18:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8bf941bfb2434ffa8c15caa46335629a312dba5",
"body": "…stark\n\nMove all prover and verifier logic into p3-miden-lifted-stark as\n`prover/` and `verifier/` submodules. This eliminates the cross-crate\ndependency and simplifies the crate hierarchy.\n\n- Move prover sources into src/prover/{mod,commit,quotient,periodic,constraints/}\n- Move verifier sources int\n[…]\nover crate\n- Update p3-miden-lifted-examples to depend on lifted-stark only\n- Remove p3-miden-lifted-prover and p3-miden-lifted-verifier crates\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(stark): merge lifted-prover and lifted-verifier into lifted-…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T14:02:01Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2286e836641c8f01d8ec52a4fda57bfdb1582ae4",
"body": null,
"is_bot": false,
"headline": "bump Plonky3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-06T11:39:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "196ed00d3d926c69e608bf5093ea0ff85372d3cd",
"body": "… folder\n\nReplace RowMajorMatrix with RowWindow<'a, EF> for the verifier's\nConstraintFolder (type M and MP), eliminating clone overhead on\nmain()/permutation() calls. Use Matrix::row_slice() for direct row\naccess instead of row_slices() iterator. Reorder AirBuilder trait\nimpl methods to match upstream trait definition order across all\nthree builders.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(verifier): use RowWindow and direct row access in constraint…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T10:23:31Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "842f81fd4cf57a59201fd79553a9f7958b186046",
"body": "Replace the separate `BuilderMismatchError` enum with a single\n`AirValidationError::BuilderMismatch` variant using a `TracePart` enum\nto identify the mismatched component. This simplifies error handling in\nthe verifier by removing a dedicated `VerifierError` variant.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): merge BuilderMismatchError into AirValidationError",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T09:23:12Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "4bac5952a3f16d0cae8a9b37f9d3f8458bc1d21e",
"body": "…ten visibility\n\nThe function logically belongs on LiftedCoset since it operates on\nthe coset's domain membership checks. This removes the util.rs module\nentirely and updates all call sites to use the method form.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(stark): move sample_ood_point to LiftedCoset method and tigh…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T09:13:23Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "79e640902b753f008721bdc86d1be96c960114e9",
"body": null,
"is_bot": false,
"headline": "chore: bring back check on next row",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-06T01:32:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5edc3948d09b5048bfcd0f1559cb35173a0e09b6",
"body": null,
"is_bot": false,
"headline": "bump P3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-06T01:22:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5b50b6bbb532897e77e34999a68ad5277c3d1d94",
"body": null,
"is_bot": false,
"headline": "cleanup: remove p3-miden-air and p3-miden-prover crates entirely",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T16:32:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "81a32bf6ff5e9c79257e494534f379710ef70d9e",
"body": null,
"is_bot": false,
"headline": "partial review",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T16:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8f199ede8c469b7e5559afa42f8ad7356b1a0c82",
"body": null,
"is_bot": false,
"headline": "cleanup: remove p3-miden-uni-stark entirely",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:42:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6245390b3fbc091e4f5fe3144a877378b90152fa",
"body": null,
"is_bot": false,
"headline": "machete",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:30:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "35bbd700d8e757afa178c96bf1b77f7a9225cc45",
"body": null,
"is_bot": false,
"headline": "cleanup p3-miden-uni-stark crate",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:26:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d147a43b40aec53feb4fbb56654ce74304a12086",
"body": null,
"is_bot": false,
"headline": "bump to latest P3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:02:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f67b4e2291091e7ff7ccc7aa4e9afb66b864b259",
"body": "…pdate",
"is_bot": false,
"headline": "Merge remote-tracking branch 'miden/main' into robin/miden_upstream_u…",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T13:40:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8518323992decef6f520924247ec3d846be7030c",
"body": "refactor(air): add validation helpers and improve error handling",
"is_bot": false,
"headline": "Merge pull request #45 from 0xMiden/adr1anh/air-validation",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T12:07:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "53c539442e14031b08fecaa0e73055add2252370",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "docs: expand validate() docstring per review feedback",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:47:26Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "2b95241ae2d7bacdbe34cc307cd782fbda1dd57b",
"body": "Introduce `LiftedAir::validate()` and `AirInstance::validate()` to\ncheck AIR properties and instance dimensions before proving/verifying.\nAdd `is_valid_builder()` to guard `eval()` against dimension mismatches.\n\nUnify the old `ValidationError` into a richer `AirValidationError` with\nper-check varian\n[…]\nd verifier.\n\nDocument the three-tier trust model (trusted AIR, validated instance,\nuntrusted proof) in the `p3-miden-lifted-stark` module docs.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): add validation helpers and improve error handling",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:39:03Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "459d2f41ae58a14689047dc71f851220ccc3d5da",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: remove unused tracing dependency from p3-miden-lifted-air",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:39:02Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "d5d685bbf7a8f9f82daf46ceaf4539042e190af7",
"body": "Introduce p3-air-next, a local fork of Plonky3's p3-air that merges\nPublicVar/preprocessed into AirBuilder and adds PermutationVal +\npermutation_values() to PermutationAirBuilder. This eliminates the\nneed for lifted-air's parallel symbolic module.\n\nKey changes:\n- Add p3-air-next with extended AirBui\n[…]\nrifier\n- Add UpstreamCompat adapter for crates.io AIR delegation in examples\n- Remove BaseAirWithPublicValues (merged into BaseAir in the fork)\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): fork p3-air as p3-air-next and unify AIR trait hierarchy",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:39:00Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "940b8d6f58c246dce54c6cbe1b13474e40caad05",
"body": "…traints module\n\nMove constraint layout discovery from the AIR crate to the prover crate\nsince it's only used there. Replace the heavy SymbolicAirBuilder-based\nget_constraint_layout (which built Arc<SymbolicExpression> AST trees) with\na lightweight ConstraintLayoutBuilder that uses concrete field ze\n[…]\nrs: ProverConstraintFolder, finalize_constraints, batched helpers\n- layout.rs: ConstraintLayout, ConstraintLayoutBuilder, get_constraint_layout\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: add lightweight ConstraintLayoutBuilder and reorganize cons…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:38:53Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "ea0588cdc7265f9d754726ce17f6e326fead81d3",
"body": "refactor: decouple aux trace building from AIR trait",
"is_bot": false,
"headline": "Merge pull request #35 from 0xMiden/lifted-stark-aux",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T10:06:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "21f29d77ebed8ccdd3f588b3ee094398dca07565",
"body": "- Update expression.rs doc to note algebra over any algebraic extension\n- Document var-len public input validation in LiftedAir trait\n- Update multi_aux_alignment test for AuxBuilder refactor\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: address review comments and fix multi_aux_alignment test",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T09:25:01Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "c5331bce3196eda019fccb6ff46426e86694d243",
"body": "- Rename \"scalars\" to \"values\"/\"elements\" in aux-related docs\n- Add doc comments on Algebra impls for SymbolicExpression\n- Clarify ExprEF bound: Algebra<Expr> for mixed arithmetic,\n Algebra<EF> for extension-field constants\n- Validate var-len public inputs count in prover (new\n VarLenPublicInputsMismatch error variant)\n- Update num_var_len_public_inputs doc to note prover validation\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: address remaining PR review comments",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:09Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "13ba7b9424957c042fce6f9e82ba836cb74ce33f",
"body": "StarkTranscript::from_verifier_channel was missing the aux values\nreceive step between the aux commitment and alpha/beta sampling,\ncausing a transcript mismatch with verify_multi. Added the\nall_aux_values field and receive calls, and documented why aligned\nwidths are needed for PCS transcript parsing.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(proof): receive aux values in StarkTranscript to match verifier",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:08Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "4d6171a1dde75fb22f915a9e23a21eee230fe662",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "docs: add changelog entry for aux trace refactor",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:07Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "589e8531ea4466b10d154f309c7f27e844fe227a",
"body": "`aux` is a reserved device name on Windows (alongside CON, PRN, NUL,\netc.), causing `git checkout` to fail with \"invalid path\" on Windows CI\nrunners before any code can compile.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(ci): rename `aux` module to `auxiliary` to fix Windows checkout",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:06Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "aa8b43fdd1f4f8e59698b4e048f88185488d38bd",
"body": "Remove default implementations from `num_randomness()`, `aux_width()`,\nand `num_aux_values()` on the `LiftedAir` trait, making them required.\nRemove all `Option` wrappers and `has_aux` conditional branching from\nthe prover and verifier. Hash AIRs (keccak, blake3, poseidon2) now\ndeclare a minimal 1-column dummy aux, with `DummyAuxBuilder` in the\nexamples crate producing the zero trace.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: make aux trace mandatory for all LiftedAir instances",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:05Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "f559c6a89167004b3d850a3c4a787e2f18d97e4f",
"body": "- Flatten VarLenPublicInputs from &[&[&[F]]] to &[&[F]], moving bus-level\n grouping from protocol concern to AIR concern\n- Add var_len_public_inputs to AirWitness (prover witness), propagate\n through to_instance()\n- Add num_var_len_public_inputs() to LiftedAir trait\n- Make reduced_aux_values() ret\n[…]\ngh\n- Document Fiat-Shamir commitment requirement for var_len_public_inputs\n- Add bus_wrong_input_count_fails test exercising fallible reduction\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): flatten VarLenPublicInputs and make reduction fallible",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:03Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f5a62c1e92481e5dde5d01ae90abdb929b995d07",
"body": "Replace `LiftedAir::build_aux_trace` with a separate `AuxBuilder` trait\npassed to the prover per instance, and decouple aux values from aux\ncolumn count. Add cross-AIR bus identity checking via\n`LiftedAir::reduced_aux_values` with `ReducedAuxValues { prod, sum }`.\n\nThis makes the protocol less presc\n[…]\nr constraint evaluation\n- Add `bus_test.rs` end-to-end test for multiset + logup buses\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>\n\n\u0001 Conflicts:\n\u0001\tp3-miden-lifted-verifier/src/verifier.rs",
"is_bot": false,
"headline": "refactor(air): decouple aux trace building from AIR trait",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:47:59Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f110a83b05a0d15ab6e1a8045f167bfd2e55c1fa",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T03:57:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "38f22c6f460ed61703566fe46cf15299055ba0e5",
"body": null,
"is_bot": false,
"headline": "update CHANGELOG",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T03:00:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f40dda6feae68f9de2e69b7353abd886d516eb",
"body": null,
"is_bot": false,
"headline": "remove PeriodicAirBuilder",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T03:00:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2ab1447ea7693b01c371cfdc3571072297290827",
"body": null,
"is_bot": false,
"headline": "fix error message",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:56:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e0c539fdfabc5ca155417366cdabcb813265735d",
"body": null,
"is_bot": false,
"headline": "clippy",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:51:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "377316882f1a7a47f0f23d8b714078db507d2a61",
"body": null,
"is_bot": false,
"headline": "cleanup",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:50:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3012c0160c456b3aed5f97668b6dfed18983cbad",
"body": null,
"is_bot": false,
"headline": "bump",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:32:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d428a111fcdd24d840a600937b7f7ca3bbcc413f",
"body": "…pdate",
"is_bot": false,
"headline": "Merge remote-tracking branch 'miden/main' into robin/miden_upstream_u…",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:12:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "be0e82e085db7d0ad05d9836d07f9f4a8ff031f9",
"body": "Lifted STARK",
"is_bot": false,
"headline": "Merge pull request #17 from 0xMiden/p3-miden-lifted-stark",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-04T15:39:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ddfbaff92d9f4415b6e4032fd0f2588e89fea7a9",
"body": "test: Add lifted multi-trace aux alignment tests",
"is_bot": false,
"headline": "Merge pull request #43 from 0xMiden/tests/multi-aux-alignment",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-04T08:49:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0109fc00d6ad92d3bffd2b6bb37aadcd7e8d3ee5",
"body": null,
"is_bot": false,
"headline": "Add lifted multi-trace aux alignment tests",
"author_name": "François Garillot",
"author_login": "huitseeker",
"committed_at": "2026-03-03T17:06:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b7d714f5ba9ba26e33bd3ec76f710b66b8ed1224",
"body": "LiftedCoset::new and upsample_matrix are public functions whose\ninvariants (trace height ordering, power-of-two heights) guard\nagainst silent corruption in release builds. debug_assert is\nstripped in release mode, so these checks must be full asserts.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: upgrade soundness-critical debug_assert to assert in public APIs",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-03T14:54:28Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "6319b656a77b3bbf13e964753ec61c19aae123ec",
"body": "…e fn\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: use Iterator::chain method instead of core::iter::chain fre…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-03T11:18:45Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "2335542b114e0c39f9560f07cb4dda857724966a",
"body": null,
"is_bot": false,
"headline": "refactor: remove extension.rs module and reuse upstream one",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-03T04:03:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4f38be264886084dad4fcd15b4c51f1a972d82a7",
"body": null,
"is_bot": false,
"headline": "bump with latest P3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-03T04:00:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "76fd90dba79849e7c7de4cdaacbcfb71682403a5",
"body": null,
"is_bot": false,
"headline": "Merge branch 'p3-miden-lifted-stark' into robin/miden_upstream_update",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-03T03:55:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34aa82c678af03692438abebf3adf2af4a6c29df",
"body": "Replace DeepEvals with plain OpenedValues<EF> (= Vec<Vec<RowMajorMatrix<EF>>>)\nand add a verify_aligned entry point that handles width alignment and\ntruncation internally. The STARK verifier now passes original (unpadded)\nwidths and receives already-truncated matrices, removing scattered\naligned_wid\n[…]\nify_with_channel_strict →\nverify_strict, and delete the DeepEvals wrapper (deep/evals.rs) in\nfavour of the standard RowMajorMatrix return type.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: centralize LMCS alignment in verify_aligned",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-02T17:36:08Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "fe13f31988a311324b258f34c86d22aea1b48259",
"body": "Introduce a `Channel` trait in `p3-miden-transcript` that unifies the\nprover and verifier transcript interfaces behind a common API for\n`observe`, `hint`, and `consume` operations. This simplifies generic\ncode that needs to work with either side of the Fiat-Shamir channel.\n\nAlso extracts shared help\n[…]\nil`\nand streamlines proof deserialization in the verifier.\n\nBased on the design from PR #33.\n\nCo-Authored-By: Robin Salen <salenrobin@gmail.com>\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: add Channel abstraction for prover and verifier",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-02T08:44:43Z",
"body_truncated": true,
"is_coding_agent": true
}
],
"releases_count": 3,
"commits_last_year": 231,
"latest_release_at": "2026-03-11T05:28:49Z",
"latest_release_tag": "v0.5.0",
"releases_from_tags": false,
"days_since_last_push": 108,
"active_weeks_last_year": 16,
"days_since_latest_release": 137,
"mean_days_between_releases": 38
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 62,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "p3-miden-lifted-air",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-lifted-air",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54521,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9344,
"first_published_at": "2026-03-11T05:30:22.916477Z",
"latest_published_at": "2026-03-11T05:30:22.916477Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
},
{
"name": "p3-miden-transcript",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-transcript",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54594,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9361,
"first_published_at": "2026-03-11T05:30:23.608209Z",
"latest_published_at": "2026-03-11T05:30:23.608209Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
},
{
"name": "p3-miden-lifted-stark",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-lifted-stark",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54032,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9246,
"first_published_at": "2026-03-11T05:50:19.282632Z",
"latest_published_at": "2026-03-11T05:50:19.282632Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
},
{
"name": "p3-miden-stateful-hasher",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-stateful-hasher",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54623,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9370,
"first_published_at": "2026-03-11T05:30:23.324159Z",
"latest_published_at": "2026-03-11T05:30:23.324159Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
}
]
},
"popularity": {
"forks": 5,
"stars": 4,
"watchers": 2,
"fork_history": {
"days": [
{
"date": "2026-01-06",
"count": 1
},
{
"date": "2026-01-12",
"count": 1
},
{
"date": "2026-02-02",
"count": 1
},
{
"date": "2026-02-08",
"count": 1
},
{
"date": "2026-02-24",
"count": 1
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 20
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [
"Cargo.toml",
"p3-miden-bench/Cargo.toml",
"p3-miden-lifted-air/Cargo.toml",
"p3-miden-lifted-stark/Cargo.toml",
"p3-miden-stateful-hasher/Cargo.toml",
"p3-miden-transcript/Cargo.toml"
],
"largest_source_bytes": 28396,
"source_files_sampled": 98,
"oversized_source_files": 0,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"Cargo.toml",
"p3-miden-bench/Cargo.toml",
"p3-miden-lifted-air/Cargo.toml",
"p3-miden-lifted-stark/Cargo.toml",
"p3-miden-stateful-hasher/Cargo.toml",
"p3-miden-transcript/Cargo.toml"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [
{
"name": "paste",
"direct": false,
"version": "1.0.15",
"severity": "unknown",
"ecosystem": "crates",
"cvss_score": null,
"advisory_ids": [
"RUSTSEC-2024-0436"
],
"fixed_version": null,
"advisory_count": 1,
"oldest_advisory_days": 657
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"unknown": 1
},
"advisory_count": 1,
"affected_count": 1,
"assessed_count": 38,
"malicious_count": 0,
"assessed_package": "crates:p3-miden-lifted-air@0.5.0",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"crates"
],
"dependencies": [
{
"name": "p3-miden-lifted-stark",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-batch-stark",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-commit",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-dft",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-fri",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-goldilocks",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-lookup",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-matrix",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-merkle-tree",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-poseidon2-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-symmetric",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-uni-stark",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "clap",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "postcard",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "rand",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing-forest",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing-subscriber",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-air",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-matrix",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-util",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-miden-lifted-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-miden-stateful-hasher",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-miden-transcript",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-challenger",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-dft",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-goldilocks",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-matrix",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-maybe-rayon",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-symmetric",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-util",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-poseidon2-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "rand",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-stateful-hasher/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-symmetric",
"manifest": "p3-miden-stateful-hasher/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-challenger",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [],
"collected": true,
"truncated": false,
"total_count": 0,
"direct_count": 0,
"indirect_count": 0
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 24,
"open_issues": 20,
"closed_ratio": 0.459,
"closed_issues": 17,
"closed_unmerged_prs": 7
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "adr1anh",
"commits": 145,
"avatar_url": "https://avatars.githubusercontent.com/u/304966?v=4"
},
{
"type": "User",
"login": "Nashtare",
"commits": 41,
"avatar_url": "https://avatars.githubusercontent.com/u/30937548?v=4"
},
{
"type": "User",
"login": "huitseeker",
"commits": 29,
"avatar_url": "https://avatars.githubusercontent.com/u/4142?v=4"
},
{
"type": "User",
"login": "Al-Kindi-0",
"commits": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/82364884?v=4"
},
{
"type": "User",
"login": "bobbinth",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/43513081?v=4"
},
{
"type": "User",
"login": "claude",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/81847?v=4"
},
{
"type": "User",
"login": "Leo-Besancon",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/29632494?v=4"
}
],
"contributors_sampled": 7,
"top_contributor_share": 0.628
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"build.yml",
"changelog.yml",
"lint.yml",
"release-dry-run.yml",
"release-publish.yml",
"test.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": null,
"reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "9 out of 9 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 10,
"reason": "all changesets reviewed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 4 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 0,
"reason": "project is archived",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 10,
"reason": "SAST tool is run on all commits",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 4,
"reason": "security policy file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 10,
"reason": "GitHub workflow tokens follow principle of least privilege",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e38846817f5a3d63da881034c5343738d2ec70de",
"ran_at": "2026-07-26T20:22:39Z",
"aggregate_score": 6.4,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": true,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-04-09T07:16:03Z",
"oldest_open_prs": [],
"last_merged_pr_at": "2026-04-09T07:14:09Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 14,
"created_at": "2026-01-27T16:47:47Z",
"last_comment_at": "2026-03-11T08:10:08Z",
"last_comment_author": "adr1anh"
},
{
"number": 23,
"created_at": "2026-02-23T09:42:57Z",
"last_comment_at": "2026-02-27T11:41:42Z",
"last_comment_author": "adr1anh"
},
{
"number": 24,
"created_at": "2026-02-23T10:15:37Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 25,
"created_at": "2026-02-23T10:25:52Z",
"last_comment_at": "2026-03-11T08:16:03Z",
"last_comment_author": "adr1anh"
},
{
"number": 26,
"created_at": "2026-02-23T10:37:57Z",
"last_comment_at": "2026-03-11T08:28:08Z",
"last_comment_author": "adr1anh"
},
{
"number": 28,
"created_at": "2026-02-23T10:55:17Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 29,
"created_at": "2026-02-23T11:00:14Z",
"last_comment_at": "2026-03-12T12:19:23Z",
"last_comment_author": "adr1anh"
},
{
"number": 31,
"created_at": "2026-02-23T11:11:17Z",
"last_comment_at": "2026-04-06T14:34:37Z",
"last_comment_author": "Nashtare"
},
{
"number": 38,
"created_at": "2026-03-02T03:10:08Z",
"last_comment_at": "2026-03-12T12:21:52Z",
"last_comment_author": "adr1anh"
},
{
"number": 39,
"created_at": "2026-03-02T03:11:15Z",
"last_comment_at": "2026-03-12T12:16:48Z",
"last_comment_author": "adr1anh"
},
{
"number": 42,
"created_at": "2026-03-03T06:36:19Z",
"last_comment_at": "2026-03-12T12:13:16Z",
"last_comment_author": "adr1anh"
},
{
"number": 47,
"created_at": "2026-03-09T13:17:02Z",
"last_comment_at": "2026-03-19T05:11:57Z",
"last_comment_author": "Nashtare"
},
{
"number": 49,
"created_at": "2026-03-12T12:06:54Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 50,
"created_at": "2026-03-12T12:25:43Z",
"last_comment_at": "2026-03-13T09:08:50Z",
"last_comment_author": "adr1anh"
},
{
"number": 51,
"created_at": "2026-03-16T10:49:22Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 53,
"created_at": "2026-03-18T22:02:13Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 60,
"created_at": "2026-03-23T10:07:47Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 63,
"created_at": "2026-03-31T15:03:45Z",
"last_comment_at": "2026-03-31T15:09:31Z",
"last_comment_author": "adr1anh"
},
{
"number": 64,
"created_at": "2026-03-31T15:13:54Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 65,
"created_at": "2026-04-01T11:17:04Z",
"last_comment_at": "2026-04-02T02:06:02Z",
"last_comment_author": "Nashtare"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/0xMiden/p3-miden",
"host": "github.com",
"name": "p3-miden",
"owner": "0xMiden"
},
"metrics": {
"overall": {
"key": "overall",
"band": "critical",
"name": "Overall health",
"note": "Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.",
"notes": [
{
"code": "abandonment_overall_adjustment",
"params": {
"cap": 29,
"pct": 40
}
}
],
"value": 24,
"inputs": {
"security": 69,
"vitality": 59,
"community": 49,
"governance": 61,
"engineering": 57,
"abandonment_cap": 29,
"abandonment_state": "declared",
"abandonment_multiplier": 40,
"weighted_overall_before_abandonment": 59,
"overall_after_abandonment_multiplier": 24
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "moderate",
"name": "Vitality",
"value": 59,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "at_risk",
"name": "Development activity",
"note": null,
"notes": [],
"value": 39,
"inputs": {
"commits_last_year": 231,
"human_commit_share": 1,
"days_since_last_push": 108,
"active_weeks_last_year": 16
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 108 days ago",
"points": 9.9,
"status": "partial",
"details": [
{
"code": "push_recency",
"params": {
"days": 108
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "16/52 weeks with commits",
"points": 11.1,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 16
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "231 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 231
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "project is archived",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 90,
"inputs": {
"releases_count": 3,
"latest_release_tag": "v0.5.0",
"releases_from_tags": false,
"days_since_latest_release": 137,
"mean_days_between_releases": 38
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "3 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 3
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 137 days ago",
"points": 27,
"status": "partial",
"details": [
{
"code": "release_recency",
"params": {
"days": 137
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~38 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 38
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "at_risk",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"cap": 29,
"state": "declared",
"guards": [],
"signals": [],
"red_flag": true,
"multiplier_pct": 40,
"declared_reason": "archived",
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "the repository is archived on GitHub",
"points": 40,
"status": "partial",
"details": [
{
"code": "abandonment_archived",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 49,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 13,
"inputs": {
"forks": 5,
"stars": 4,
"watchers": 2,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "4 stars",
"points": 7.7,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 4
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "5 forks",
"points": 5,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 5
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "2 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 2
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "good",
"name": "Community health",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (Apache-2.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "Apache-2.0"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 18,
"status": "met",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
},
{
"key": "ecosystem_adoption",
"band": "good",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 76,
"inputs": {
"packages": [
"p3-miden-lifted-air",
"p3-miden-transcript",
"p3-miden-lifted-stark",
"p3-miden-stateful-hasher"
],
"dependents": null,
"ecosystems": "crates",
"total_downloads": 217770,
"monthly_downloads": 37321
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "37,321 downloads/month across crates",
"points": 61,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 37321,
"ecosystems": "crates"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 61,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 37,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 7,
"top_contributor_share": 0.628
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 63% of commits",
"points": 8.4,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 63
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "7 contributors",
"points": 9.5,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 7
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 66,
"inputs": {
"merged_prs": 24,
"open_issues": 20,
"closed_issues": 17,
"issue_closed_ratio": 0.459,
"closed_unmerged_prs": 7
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "46% of issues closed",
"points": 21.5,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 46
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "24/31 decided PRs merged",
"points": 29.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 24,
"decided": 31
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "all changesets reviewed",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"followers": 405,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "0xMiden",
"public_repos": 52,
"account_age_days": 597
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "405 followers of 0xMiden",
"points": 18.8,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 405,
"login": "0xMiden"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "52 public repos, account ~1 yr old",
"points": 15.8,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 52
}
},
{
"code": "account_age_years",
"params": {
"years": 1
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "good",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 84,
"inputs": {
"packages": [
"p3-miden-lifted-air",
"p3-miden-transcript",
"p3-miden-lifted-stark",
"p3-miden-stateful-hasher"
],
"ecosystems": "crates",
"any_deprecated": false,
"min_days_since_publish": 137
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "4 package(s) on crates",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 4,
"ecosystems": "crates"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 137 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 137
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "1 published versions",
"points": 4,
"status": "partial",
"details": [
{
"code": "published_versions",
"params": {
"count": 1
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 57,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "6 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 6
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "9 out of 9 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "at_risk",
"name": "Documentation",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"topics": [],
"has_wiki": false,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 69,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Branch-Protection, Packaging, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"branch_protection",
"packaging",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 64,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 15,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 3,
"scorecard_aggregate": 6.4
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "9 out of 9 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "all changesets reviewed",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "project is archived",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is run on all commits",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file detected",
"points": 2,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "GitHub workflow tokens follow principle of least privilege",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "excellent",
"name": "Dependency advisories",
"note": "Matched the crates:p3-miden-lifted-air@0.5.0 runtime dependency closure — what installing the published package pulls in — 38 packages. Reachability is not analyzed.",
"notes": [
{
"code": "advisories_scope_published",
"params": {
"package": "crates:p3-miden-lifted-air@0.5.0",
"assessed": 38
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 91,
"inputs": {
"source": "osv",
"advisories": 1,
"affected_packages": 1,
"assessed_packages": 38,
"unassessed_packages": 0,
"affected_by_severity": "unknown 1",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "1 affected: paste 1.0.15 (unknown)",
"points": 19,
"status": "partial",
"details": [
{
"code": "advisories_affected",
"params": {
"count": 1,
"packages": "paste 1.0.15 (unknown)"
}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "1 advisory-carrying package(s) unaddressed past 90 days; oldest published 657 days ago",
"points": 37.2,
"status": "partial",
"details": [
{
"code": "advisories_stale",
"params": {
"days": 90,
"count": 1,
"oldest": 657
}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 38,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 3
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 60,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "at_risk",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.76,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "76 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 76,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"Makefile"
],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": 0.48,
"toolchain_manifests": [
"Cargo.toml",
"p3-miden-bench/Cargo.toml",
"p3-miden-lifted-air/Cargo.toml",
"p3-miden-lifted-stark/Cargo.toml",
"p3-miden-stateful-hasher/Cargo.toml",
"p3-miden-transcript/Cargo.toml"
],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "Rust (statically typed)",
"points": 11,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "48 of the last 100 commits agent-authored or agent-credited",
"points": 10,
"status": "met",
"details": [
{
"code": "agent_authored_commits",
"params": {
"count": 48,
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"primary_language": "Rust",
"largest_source_bytes": 28396,
"source_files_sampled": 98,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rust (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "0/98 source files over 60KB",
"points": 55,
"status": "met",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 98,
"oversized": 0
}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch crates package 'p3-miden-bench' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-26T20:22:56.679722Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/0/0xMiden/p3-miden.svg",
"full_name": "0xMiden/p3-miden",
"license_state": "standard",
"license_spdx": "Apache-2.0"
}
Related records
Inspected repositories sharing catalogue tags or ecosystems with 0xMiden/p3-miden. Read them side by side →
Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v1.13.0, schema v0.27.0 — full methodology · metrics wiki.
