RustApache-2.0★ 4 estrellas⑂ 5 forksdesde dic 2025archivadoVer en GitHub ↗
0xMiden/p3-miden tiene un índice de salud de 24 sobre 100, lo que lo sitúa en la banda Crítico. Su puntuación más alta es Security (69/100) y la más baja, Community & Adoption (49/100). El repositorio está archivado, por lo que no cabe esperar más mantenimiento.
24
global / 100
Crítico
Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala de 1 a 100. El resultado global parte de su media; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe el límite 49 (En riesgo). Preparación para IA queda fuera.
24
Excelente85-100Ejemplar; cumple prácticamente todos los criterios evaluados
Bueno70-84Saludable; carencias menores
Moderado50-69Aceptable con carencias notables; se recomienda revisión
En riesgo30-49Debilidades significativas; su adopción exige cautela
Crítico1-29Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
archivado en GitHub por quienes lo mantienenCalificación general: techo Crítico
El silencio por sí solo nunca es el hallazgo: una biblioteca pequeña y terminada puede no necesitar commits durante años. Esta alerta exige ambas cosas: mucho tiempo sin un commit humano y obligaciones que el proyecto visiblemente no atiende. Los commits automatizados no cuentan como mantenimiento.
Sin avisos pendientes — 1 paquete(s) con avisos sin atender más allá de 90 días; el más antiguo publicado hace 657 días
Datos de entrada utilizados
source
osv
advisories
1
affected_packages
1
assessed_packages
38
unassessed_packages
0
affected_by_severity
unknown 1
direct_affected_packages
0
Se cotejó el cierre de dependencias en tiempo de ejecución de crates:p3-miden-lifted-air@0.5.0 —lo que arrastra la instalación del paquete publicado—: 38 paquetes. No se analiza la alcanzabilidad.
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Es una insignia independiente y experimental — peso 0,0, de modo que se presenta por separado y no afecta a la puntuación de salud global.
Código verificable por tipos — Rust (tipado estático)
55/55
Tamaños de archivo manejables — 0/98 archivos fuente de más de 60 KB
Datos de entrada utilizados
primary_language
Rust
largest_source_bytes
28.396
source_files_sampled
98
oversized_source_files
0
Datos clave
4estrellas de GitHub
7contribuidores
231commits en los últimos 12 meses
108días desde el último push
3versiones publicadas
1factor bus
20issues abiertas
crates.ioecosistemas de paquetes
Advertencias de recopilación de datos
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Could not fetch crates package 'p3-miden-bench' from its registry
Más detalle
Historial de estrellas y forks 0 ★ / 5 ⇿
0Estrellas
5Forks
1Versiones
Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.
Mayor 0Menor 0Parche 1
OpenSSF Scorecard 6.4 / 10
6.4agregado
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).Scorecard v5.5.0 · 2026-07-26 20:22 UTC
Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 0 paquetes directos y 0 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.
Registro
Paquete
Versión
Relación
Avisos de dependencias 1
Instalar crates:p3-miden-lifted-air@0.5.0 arrastra 38 paquetes, directos y transitivos: 1 tienen avisos conocidos, de los cuales 0 son dependencias directas.
Paquete
Versión
Relación
Gravedad
Avisos
Corregido en
paste
1.0.15
indirecta
desconocida
1
—
Un aviso significa que la versión registrada en el grafo de dependencias cae dentro del rango afectado de un aviso. No se analiza la alcanzabilidad, y el grafo incluye fijaciones de desarrollo y prueba: un hallazgo puede referirse al utillaje y no al software distribuido.
Informe JSON sin procesar legible por máquina
{
"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"
}
Registros relacionados
Repositorios inspeccionados que comparten etiquetas de catálogo o ecosistemas con 0xMiden/p3-miden. Leer en paralelo →
Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v1.13.0, esquema v0.27.0 — metodología completa · wiki de métricas.
