0xMiden/p3-miden erreicht einen Gesundheitsindex von 24 von 100 und liegt damit im Bereich Kritisch. Am stärksten schneidet es bei Security (69/100) ab, am schwächsten bei Community & Adoption (49/100). Das Repository ist archiviert, weitere Wartung ist daher nicht zu erwarten.
24
gesamt / 100
Kritisch
Software-Gesundheitsindex
Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
24
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
von der Betreuung auf GitHub archiviertGesamtbewertung: Obergrenze Kritisch
Stille allein ist nie der Befund — eine kleine, fertige Bibliothek braucht womöglich jahrelang keinen Commit. Dieser Hinweis verlangt beides: lange keinen menschlichen Commit und Pflichten, denen das Projekt sichtbar nicht nachkommt. Automatisierte Commits gelten nicht als Pflege.
Release-Aktualität — letztes Release vor 137 Tagen
27/27
Release-Rhythmus — ein Release etwa alle 38 Tage
0/10
OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count
3
latest_release_tag
v0.5.0
releases_from_tags
nein
days_since_latest_release
137
mean_days_between_releases
38
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): branch_protection, packaging, signed_releases. Die verbleibenden Gewichte wurden renormalisiert.
Keine offenen Advisories — 1 Paket(e) mit Advisory seit über 90 Tagen unbehandelt; ältestes vor 657 Tagen veröffentlicht
Verwendete Eingangsdaten
source
osv
advisories
1
affected_packages
1
assessed_packages
38
unassessed_packages
0
affected_by_severity
unknown 1
direct_affected_packages
0
Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von crates:p3-miden-lifted-air@0.5.0 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 38 Paketen. Erreichbarkeit wird nicht analysiert.
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
Handhabbare Dateigrößen — 0/98 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_language
Rust
largest_source_bytes
28.396
source_files_sampled
98
oversized_source_files
0
Eckdaten
4GitHub-Sterne
7Mitwirkende
231Commits, letzte 12 Monate
108Tage seit letztem Push
3Releases
1Bus-Faktor
20offene Issues
crates.ioPaket-Ökosysteme
Warnungen zur Datenerhebung
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Could not fetch crates package 'p3-miden-bench' from its registry
Weitere Details
Stern- und Fork-Verlauf 0 ★ / 5 ⇿
0Sterne
5Forks
1Releases
Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.
Major 0Minor 0Patch 1
OpenSSF Scorecard 6.4 / 10
6.4Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).Scorecard v5.5.0 · 2026-07-26 20:22 UTC
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 0 direkte und 0 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
Registry
Paket
Version
Beziehung
Abhängigkeits-Advisories 1
Die Installation von crates:p3-miden-lifted-air@0.5.0 zieht 38 Pakete nach sich, direkt und transitiv: 1 tragen bekannte Advisories, davon 0 direkte Abhängigkeiten.
Paket
Version
Beziehung
Schweregrad
Advisories
Behoben in
paste
1.0.15
indirekt
unbekannt
1
—
Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.
JSON-Rohbericht maschinenlesbar
{
"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"
}
Verwandte Einträge
Geprüfte Repositories, die Katalog-Tags oder Ökosysteme mit 0xMiden/p3-miden teilen. Nebeneinander lesen →
Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.
