0xMiden/p3-miden має індекс здоров’я 24 зі 100, що відповідає смузі «Критичний». Найвищий показник — Security (69/100), найнижчий — Community & Adoption (49/100). Репозиторій заархівовано, тож подальшої підтримки не очікується.
24
загалом / 100
Критичний
Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
24
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
мейнтейнери архівували репозиторій на GitHubЗагальна оцінка: стеля «Критичний»
Сама лише тиша ніколи не є підставою — невеликій завершеній бібліотеці коміти можуть бути не потрібні роками. Ця ознака вимагає двох умов водночас: тривалої відсутності людських комітів і зобов'язань, які проєкт очевидно не виконує. Автоматичні коміти супроводженням не вважаються.
Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень
19/25
Непрямі залежності без відомих сповіщень — уражено 1: paste 1.0.15 (unknown)
37.2/40
Немає задавнених сповіщень — 1 пакет(ів) зі сповіщеннями без реакції понад 90 дн.; найдавніше опубліковано 657 дн. тому
Використані вхідні дані
source
osv
advisories
1
affected_packages
1
assessed_packages
38
unassessed_packages
0
affected_by_severity
unknown 1
direct_affected_packages
0
Звірено з runtime-замиканням залежностей crates:p3-miden-lifted-air@0.5.0 — тим, що тягне за собою встановлення опублікованого пакета, — 38 пакетів. Досяжність не аналізується.
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
Керовані розміри файлів — 0/98 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_language
Rust
largest_source_bytes
28 396
source_files_sampled
98
oversized_source_files
0
Ключові факти
4зірок GitHub
7контриб'юторів
231комітів за останні 12 місяців
108днів від останнього пушу
3релізів
1бас-фактор
20відкритих issue
crates.ioпакетних екосистем
Попередження щодо збору даних
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Could not fetch crates package 'p3-miden-bench' from its registry
Докладніше
Історія зірок і форків 0 ★ / 5 ⇿
0Зірки
5Форки
1Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 0Патчі 1
OpenSSF Scorecard 6.4 / 10
6.4сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-07-26 20:22 UTC
Повний розв'язаний набір залежностей із графа залежностей GitHub: 0 прямих і 0 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
Реєстр
Пакет
Версія
Зв'язок
Сповіщення про залежності 1
Встановлення crates:p3-miden-lifted-air@0.5.0 тягне 38 пакетів, прямих і транзитивних: 1 мають відомі сповіщення, з них 0 — прямі залежності.
Пакет
Версія
Зв'язок
Критичність
Сповіщень
Виправлено в
paste
1.0.15
непряма
невідома
1
—
Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.
Звіт у форматі JSON машиночитний
{
"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"
}
Пов’язані записи
Перевірені репозиторії, що мають спільні каталожні теги або екосистеми з 0xMiden/p3-miden. Читати поруч →
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.27.0 — повна методологія · вікі метрик.
