公开记录危急
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-26 20:22 UTC
0xMiden / p3-miden
Miden-specific Plonky3-based crates
0xMiden/p3-miden 的健康指数为 100 分中的 24 分，处于「危急」区间。 其得分最高的类别是Security（69/100），最低的是Community & Adoption（49/100）。 该仓库已归档，预计不会再有维护。
24
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
24
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 |
|---|---|---|---|---|---|
| crates.io | p3-miden-lifted-air | 0.5.0 | 9,344 | 1 | 137 天前 |
| crates.io | p3-miden-transcript | 0.5.0 | 9,361 | 1 | 137 天前 |
| crates.io | p3-miden-lifted-stark | 0.5.0 | 9,246 | 1 | 137 天前 |
| crates.io | p3-miden-stateful-hasher | 0.5.0 | 9,370 | 1 | 137 天前 |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
59
开发活跃度
39存在风险
疑似弃置
有工作送达，却无人处理
已由维护者在 GitHub 上归档总体评级上限：危急
仅有沉默从不构成判定——一个小而完备的库可能多年无需提交。此提示需同时满足两点：长期没有人类提交，且项目明显未履行应尽的义务。自动化提交不计作维护。
弃置状态如何评估评分方式
| 9.9/36 | 推送新近度 — 最近一次推送于 108 天前 |
| 11.1/36 | 提交节奏 — 52 周中有 16 周有提交 |
| 18/18 | 提交量 — 最近一年 231 次提交 |
| 0/10 | OpenSSF Scorecard：Maintained — project is archived |
所用输入
| commits_last_year | 231 |
| human_commit_share | 1 |
| days_since_last_push | 108 |
| active_weeks_last_year | 16 |
发布纪律
90优秀
评分方式
| 27/27 | 有发布版本 — 已发布 3 个发布版本 |
| 27/36 | 发布时效 — 最近一次发布版本于 137 天前 |
| 27/27 | 发布节奏 — 约每 38 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 3 |
| latest_release_tag | v0.5.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 137 |
| mean_days_between_releases | 38 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
49
流行度与采用
13危急
评分方式
| 7.7/60 | 星标 — 4 个星标 |
| 5/25 | 复刻 — 5 个复刻 |
| 0/15 | 关注者 — 2 位关注者 |
所用输入
| forks | 5 |
| stars | 4 |
| watchers | 2 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
70良好
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（Apache-2.0） |
| 18/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| has_contributing | 是 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| has_pull_request_template | 否 |
生态采用（下载量）
76良好
评分方式
| 61/80 | 月度下载量 — crates 合计每月 37,321 次下载 |
| 0/20 | 注册表被依赖数 — 该生态系统不报告此项 |
所用输入
| packages | p3-miden-lifted-air, p3-miden-transcript, p3-miden-lifted-stark, p3-miden-stateful-hasher |
| dependents | — |
| ecosystems | crates |
| total_downloads | 217,770 |
| monthly_downloads | 37,321 |
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
61
维护者韧性（巴士系数）
37存在风险
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 8.4/22.5 | 提交分布 — 头号贡献者编写了 63% 的提交 |
| 9.5/13.5 | 贡献者广度 — 7 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 4 contributing companies or organizations |
所用输入
| bus_factor | 1 |
| contributors_sampled | 7 |
| top_contributor_share | 0.628 |
议题与 PR 响应能力
66中等
评分方式
| 21.5/46.8 | 议题解决 — 46% 的议题已关闭 |
| 29.6/38.3 | PR 接受 — 已裁定的 PR 中 24/31 已合并 |
| 15/15 | OpenSSF Scorecard：Code-Review — all changesets reviewed |
所用输入
| merged_prs | 24 |
| open_issues | 20 |
| closed_issues | 17 |
| issue_closed_ratio | 0.459 |
| closed_unmerged_prs | 7 |
所有权与托管责任
65中等
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 18.8/25 | 所有者影响力 — 0xMiden 有 405 位关注者 |
| 15.8/25 | 既往记录 — 52 个公开仓库，账户约 1 年 |
所用输入
| followers | 405 |
| owner_type | Organization |
| is_verified | — |
| owner_login | 0xMiden |
| public_repos | 52 |
| account_age_days | 597 |
软件包维护
84良好
评分方式
| 25/25 | 已发布且可解析 — crates 上有 4 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 137 天前 |
| 4/20 | 版本历史 — 1 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | p3-miden-lifted-air, p3-miden-transcript, p3-miden-lifted-stark, p3-miden-stateful-hasher |
| ecosystems | crates |
| any_deprecated | 否 |
| min_days_since_publish | 137 |
工程质量
基础的工程与文档实践是否到位？
57
工程实践
68中等
评分方式
| 24/24 | CI 工作流 — 6 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 9 out of 9 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
文档
40存在风险
评分方式
| 30/30 | README |
| 0/25 | 文档目录 |
| 0/15 | 文档 / 主页站点 |
| 10/10 | 仓库描述 |
| 0/10 | 主题标签 |
| 0/10 | Wiki |
所用输入
| topics | — |
| has_wiki | 否 |
| homepage | — |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
69
安全态势
64中等
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — 无数据 |
| 2.5/2.5 | CI-Tests — 9 out of 9 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 2.5/2.5 | Contributors — project has 4 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 0/7.5 | Maintained — project is archived |
| 0/5 | Packaging — 无数据 |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 5/5 | SAST — SAST tool is run on all commits |
| 2/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — 无数据 |
| 7.5/7.5 | Token-Permissions — GitHub workflow tokens follow principle of least privilege |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 15 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 3 |
| scorecard_aggregate | 6.4 |
已排除计分（无数据或不适用）：branch_protection, packaging, signed_releases。 其余权重已重新归一化。
依赖安全公告
91优秀
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 19/25 | 间接依赖不含已知公告 — 1 个受影响：paste 1.0.15 (unknown) |
| 37.2/40 | 没有长期未处理的公告 — 1 个携带公告的软件包超过 90 天未处理；最早一条发布于 657 天前 |
所用输入
| source | osv |
| advisories | 1 |
| affected_packages | 1 |
| assessed_packages | 38 |
| unassessed_packages | 0 |
| affected_by_severity | unknown 1 |
| direct_affected_packages | 0 |
比对的是 crates:p3-miden-lifted-air@0.5.0 的运行时依赖闭包——安装已发布的软件包时真正被拉取进来的内容——共 38 个软件包。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
60
AI 代理上下文与指引
40存在风险
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 40/40 | 可读的提交历史 — 100 次人类提交中有 76 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| legible_history_share | 0.76 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 18/18 | 一条命令的引导启动 — Makefile |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — Rust（静态类型） |
| 0/10 | 可复现环境 |
| 10/10 | 已体现的代理实践 — 最近 100 次提交中有 48 次由代理编写或署名代理 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | — |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | Makefile |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| 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 |
面向模型的代码可读性
100优秀
评分方式
| 45/45 | 可类型检查的代码 — Rust（静态类型） |
| 55/55 | 可控的文件大小 — 采样的 98 个源文件中有 0 个超过 60KB |
所用输入
| primary_language | Rust |
| largest_source_bytes | 28,396 |
| source_files_sampled | 98 |
| oversized_source_files | 0 |
关键数据
4GitHub 星标
7贡献者
231最近 12 个月提交数
108距最近推送天数
3发布版本数
1巴士系数（bus factor）
20开放议题
crates.io软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch crates package 'p3-miden-bench' from its registry
更多细节
Star 与 Fork 历史 0 ★ / 5 ⇿
0Star
5Fork
1发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 0修订 1
OpenSSF Scorecard 6.4 / 10
6.4综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 不适用 | Branch-Protection | 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 |
| 10 | CI-Tests | 9 out of 9 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 10 | Code-Review | all changesets reviewed |
| 10 | Contributors | project has 4 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 0 | Maintained | project is archived |
| 不适用 | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 10 | SAST | SAST tool is run on all commits |
| 4 | Security-Policy | security policy file detected |
| 不适用 | Signed-Releases | no releases found |
| 10 | Token-Permissions | GitHub workflow tokens follow principle of least privilege |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
直接依赖 54
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| crates.io | p3-miden-lifted-stark | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-air | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-batch-stark | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-blake3 | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-blake3-air | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-commit | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-dft | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-field | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-fri | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-goldilocks | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-keccak | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-keccak-air | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-lookup | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-matrix | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-merkle-tree | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-poseidon2-air | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-symmetric | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-uni-stark | — | p3-miden-bench/Cargo.toml |
| crates.io | clap | — | p3-miden-bench/Cargo.toml |
| crates.io | postcard | — | p3-miden-bench/Cargo.toml |
| crates.io | rand | — | p3-miden-bench/Cargo.toml |
| crates.io | tracing | — | p3-miden-bench/Cargo.toml |
| crates.io | tracing-forest | — | p3-miden-bench/Cargo.toml |
| crates.io | tracing-subscriber | — | p3-miden-bench/Cargo.toml |
| crates.io | p3-air | — | p3-miden-lifted-air/Cargo.toml |
| crates.io | p3-field | — | p3-miden-lifted-air/Cargo.toml |
| crates.io | p3-matrix | — | p3-miden-lifted-air/Cargo.toml |
| crates.io | p3-util | — | p3-miden-lifted-air/Cargo.toml |
| crates.io | thiserror | — | p3-miden-lifted-air/Cargo.toml |
| crates.io | p3-miden-lifted-air | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-miden-stateful-hasher | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-miden-transcript | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-challenger | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-dft | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-field | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-goldilocks | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-matrix | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-maybe-rayon | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-symmetric | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-util | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-blake3 | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-blake3-air | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-keccak | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-keccak-air | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-poseidon2-air | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | rand | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | thiserror | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | tracing | — | p3-miden-lifted-stark/Cargo.toml |
| crates.io | p3-field | — | p3-miden-stateful-hasher/Cargo.toml |
| crates.io | p3-symmetric | — | p3-miden-stateful-hasher/Cargo.toml |
| crates.io | p3-challenger | — | p3-miden-transcript/Cargo.toml |
| crates.io | p3-field | — | p3-miden-transcript/Cargo.toml |
| crates.io | serde | — | p3-miden-transcript/Cargo.toml |
| crates.io | thiserror | — | p3-miden-transcript/Cargo.toml |
全部依赖 0
来自 GitHub 依赖图的完整解析依赖集合：0 个直接依赖与 0 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|
依赖安全公告 1
安装 crates:p3-miden-lifted-air@0.5.0 会引入 38 个包（直接与传递）：其中 1 个存在已知公告，0 个为直接依赖。
| 软件包 | 版本 | 关系 | 严重程度 | 公告数 | 修复版本 |
|---|---|---|---|---|---|
| paste | 1.0.15 | 间接 | 未知 | 1 | — |
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 1709,
"has_wiki": false,
"homepage": null,
"languages": {
"Rust": 658169,
"Shell": 1152,
"Makefile": 4274
},
"pushed_at": "2026-04-09T07:14:09Z",
"created_at": "2025-12-17T18:21:37Z",
"owner_type": "Organization",
"updated_at": "2026-04-09T13:48:08Z",
"description": "Miden-specific Plonky3-based crates",
"is_archived": true,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "main",
"license_spdx_raw": "Apache-2.0",
"primary_language": "Rust",
"significant_languages": [
"Rust"
]
},
"owner": {
"blog": "https://miden.xyz",
"name": "Miden",
"type": "Organization",
"login": "0xMiden",
"company": null,
"location": null,
"followers": 405,
"avatar_url": "https://avatars.githubusercontent.com/u/190780847?v=4",
"created_at": "2024-12-05T21:16:22Z",
"is_verified": null,
"public_repos": 52,
"account_age_days": 597
},
"license": {
"state": "standard",
"spdx_id": "Apache-2.0",
"raw_spdx": "Apache-2.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.5.0",
"kind": "minor",
"published_at": "2026-03-11T05:28:49Z"
},
{
"tag": "v0.4.2",
"kind": "patch",
"published_at": "2026-01-14T18:02:45Z"
},
{
"tag": "v0.4.0",
"kind": "minor",
"published_at": "2025-12-25T06:23:29Z"
}
],
"recent_commits": [
{
"oid": "e38846817f5a3d63da881034c5343738d2ec70de",
"body": null,
"is_bot": false,
"headline": "docs: add archival notice to README (#67)",
"author_name": "François Garillot",
"author_login": "huitseeker",
"committed_at": "2026-04-09T07:14:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b45e1bec05251c371f9adac1a1779719623c03d3",
"body": "* Move `lmcs`, `fri`, `dev-utils`, `examples` into `stark`\n\n* lint: format\n\n* refactor: centralize re-exports in lib.rs, use fully qualified internal paths\n\n- Remove all `pub use` re-exports from internal modules (lmcs/mod.rs,\n pcs/mod.rs, pcs/deep/mod.rs, pcs/fri/mod.rs, prover/constraints/)\n- All\n[…]\nply@anthropic.com>\n\n* Fix bench validation and feature checks\n\n---------\n\nCo-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>\nCo-authored-by: François Garillot <francois@garillot.net>",
"is_bot": false,
"headline": "Consolidate workspace into single p3-miden-lifted-stark crate (#66)",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-04-07T11:02:15Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "5ed16364897a3f2b3b2f1719fe5e69f4df252070",
"body": null,
"is_bot": false,
"headline": "Merge pull request #59 from 0xMiden/robin/blake3-192",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-31T13:30:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a236ca99eb42e064b92b2fbe2dc33e76c5b838dd",
"body": null,
"is_bot": false,
"headline": "refactor: define TruncatingHasher and leverage it for Blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-30T03:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6ecef892838ea5003b5df6dbb15917b7988e8e62",
"body": null,
"is_bot": false,
"headline": "Merge remote-tracking branch 'origin/main' into robin/blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-30T03:58:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4817b5a1a1a71c0bc3c16b0572679fc1e727a82b",
"body": null,
"is_bot": false,
"headline": "Merge remote-tracking branch 'origin/main' into robin/blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-30T03:32:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bca559daa9129bd5a72437ec2692ba4eb8689cf2",
"body": "…(#62)\n\n* chore(release): document publish skew and add feature validation\n\n* chore(release): advance the release line after LMCS changed\n\n* chore(deps): relax plonky patch pins and gate bench deps\n\n* chore: make sure workspace dependencies are properly used & pin internal versions to \"0.5\"",
"is_bot": false,
"headline": "ci: Advance workspace to 0.5.1 and harden release dry-run validation …",
"author_name": "François Garillot",
"author_login": "huitseeker",
"committed_at": "2026-03-28T07:04:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7a54942296ace0b9e50b785762eff385b236eb05",
"body": null,
"is_bot": false,
"headline": "Merge pull request #61 from 0xMiden/adr1anh/logging",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-27T15:43:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0c5c94d394d23d04dd8e0f3082b34dd808ddc7c9",
"body": "Wrap each absorb_matrix invocation (including salt) in info_span! with\nheight/width fields, and wrap all three prover grind calls (DEEP, FRI\nfolding, query) in info_span! with bits field for timing visibility.\n\nCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add info-level tracing to absorb_matrix and grind calls",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-27T11:51:27Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "79aa43d88bebd26f4d46a09775a5ed5caa4c5d2d",
"body": "Add info_span! to previously uninstrumented expensive operations in the\nprover: per-trace LDE, quotient iDFT/scaling/DFT. Promote eval_instance,\ncompress tree layers, and build aux traces from debug to info level.\n\nCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add info-level tracing to prover path (#61)",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-26T14:59:51Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5d68be4d479d44bb9f9a8c5d3daea76a7662698d",
"body": null,
"is_bot": false,
"headline": "chore: remove Cargo.lock from committed files (#58)",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T13:40:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bab71dd1c15eae778d623eec37c0fe5747dc9fc5",
"body": "perf: faster constraint evaluation for wide matrices",
"is_bot": false,
"headline": "Merge pull request #57 from 0xMiden/robin/miden/wide_matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T13:35:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3fd2c919865ed6ffff05552fd4613d1f981f69e6",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into robin/miden/wide_matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T08:55:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20bfca0f3b127a2d3839f83e5ebc7815844348de",
"body": null,
"is_bot": false,
"headline": "Merge pull request #52 from 0xMiden/adr1anh/lmcs-cleanup",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-26T08:10:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e491a66311a7abd8b5f0a28becf2915b0ace7931",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into robin/miden/wide_matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T07:55:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f292c266e103ad6bb678e0bd150b44a30d423c56",
"body": null,
"is_bot": false,
"headline": "chore: remove baby_bear support",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T05:55:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b5f0a2381e2ac8313547af04fa115169ce1b8231",
"body": null,
"is_bot": false,
"headline": "Merge remote-tracking branch 'origin/main' into robin/blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T05:50:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "539d9f873c0024ec0ab9e0c47f20b160e0fd0852",
"body": "This reverts commit ee3255e9194dc5b4f58446d330cbe8f3b5c4a093.",
"is_bot": false,
"headline": "Revert \"feat: add AIR for blake3-192\"",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-26T05:34:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ba800aff6aa32517ca734aa67441f08d84abca33",
"body": "…into build_with_alignment\n\nAdd `materialize_bitrev` to `bitrev.rs` as a bridge for DFT output types\nthat implement the upstream `BitReversibleMatrix` but not the local copy.\nThis replaces the triple `.bit_reverse_rows().to_row_major_matrix().bit_reverse_rows()`\npattern in commit.rs and quotient.rs.\n[…]\n>` bound)\nand perform bit-reversal internally. This eliminates duplicated bit-reverse\n+ build logic across `LmcsConfig` and `HidingLmcsConfig`.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(lmcs): extract materialize_bitrev helper, fold bit-reversal …",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:14Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2277ce43558be9f6cfe1b099ae567f59b451c123",
"body": "Expose PCS parameters and batch proof data needed by the Miden VM\nrecursive verifier, which deserializes STARK proofs and reconstructs\nFiat-Shamir advice inputs for the MASM verifier.\n\n- PcsParams: add `deep_pow_bits`, `folding_pow_bits`, `log_folding_arity`,\n `log_final_degree` accessors (previous\n[…]\nomparison in the verifier\n- Lmcs::BatchProof: add `BatchProofView` bound so consumers can access\n batch proof data through the associated type\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add API accessors for Miden VM integration",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:13Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "3ba50121aa413541eba76d23cf2b48ffe25a0a7a",
"body": "- Use saturating_sub in TreeIndices::shrink_depth (shrinking a root-only\n set is now a no-op instead of wrapping/panicking)\n- Fix LmcsTree::height() doc to clarify it returns the height of the\n largest matrix (number of Merkle tree leaves)\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: address PR #52 review comments",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:12Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ffe3b028e5e1c40463f10c2092d7e58cf37fd31f",
"body": "…d BitReversibleMatrix\n\nRestructure LMCS with new types (TreeIndices, MerkleWitness, NodeId,\nRowList), remove mmcs/ and utils.rs, change Lmcs trait API to accept\nTreeIndices and BitReversibleMatrix inputs, encapsulate bit-reversal\ninside LMCS. Adapt lifted-fri and lifted-stark callers.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(lmcs): restructure proof types, encapsulate bit-reversal, ad…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T13:59:09Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5dadf46f7dbb2bcb9eff2c0231ba23b77e62d2a9",
"body": null,
"is_bot": false,
"headline": "Merge pull request #56 from 0xMiden/adr1anh/dev-refactor",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-25T11:40:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "00000006fa92536629d094d37c7f44894664e6f3",
"body": null,
"is_bot": false,
"headline": "chore: update CHANGELOG.md",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-25T09:44:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0000000c4b194cdc61ee8965b268f0f4fefffc45",
"body": null,
"is_bot": false,
"headline": "perf: improve wide matrices",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-25T09:44:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bcd7d5081b7c0aaf8211895d11dccbd106bddb8d",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: add --features testing to bench doc comments",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-24T16:50:08Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5cd8b52718865bdb98b484a577189140c5003d63",
"body": "…move misleading comment\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: address PR feedback — thread testing feature through bench, re…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-24T11:18:28Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "431e1ce207b0ba3a7bbeb640f2792b04996bb404",
"body": null,
"is_bot": false,
"headline": "chore: update CHANGELOG",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b42833efb0ca1f9328e4ebbbbf719a938fe3891",
"body": null,
"is_bot": false,
"headline": "bench: add benchmark comparison with Blake3-256",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee3255e9194dc5b4f58446d330cbe8f3b5c4a093",
"body": null,
"is_bot": false,
"headline": "feat: add AIR for blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e9dff540e2cb3577a6ceee4dc4841520fd2b5272",
"body": null,
"is_bot": false,
"headline": "feat: add blake3-192",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-23T10:02:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5779ec8e728d3b05f7bdaf0220cc3ad4d2a03876",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: update CHANGELOG.md",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T15:19:40Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "743a0bd211b9a17e1277d27cde316b29da83c2d5",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: remove unused dependencies flagged by cargo-machete",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T09:37:31Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "c037a56573cb653e88b00cca4aadd31d68f512bc",
"body": "…frastructure\n\nDrop BabyBear from all tests, benchmarks, and dev-utils. Migrate\neverything to Goldilocks + Poseidon2. Move examples to bins, remove\nbench.rs, simplify configs and matrix helpers.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: migrate to Goldilocks-only, simplify dev-utils and bench in…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T09:37:30Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ff7696d599e5fbc52505266d762477bfef816bad",
"body": "Add `testing` feature-gated modules to `p3-miden-lmcs` and\n`p3-miden-lifted-fri` with shared test config aliases, channel helpers,\nmatrix scenario generators, and LDE matrix utilities.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat: add crate-local testing modules",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-19T09:37:29Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "c2103f0e349ee875e19c59e4bc028eef53967ead",
"body": null,
"is_bot": false,
"headline": "Merge pull request #48 from 0xMiden/adr1anh/deps-cleanup",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-17T06:20:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "43fc791af4e230ad5810981c73799fd9522191d5",
"body": "Move concrete implementation crates (baby-bear, goldilocks, keccak, blake3)\nto dev-dependencies in core library crates. Remove 10 unused workspace deps.\nConvert lifted-examples from [[bin]] to [[example]] targets, enabling further\ndep cleanup. Organize all Cargo.toml files with consistent section ordering\n(Internal → Plonky3 → Third-party).\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: clean up workspace dependencies",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-11T14:48:50Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "77c1b3dc7160fcf75437d57f48b03aacd0c78238",
"body": null,
"is_bot": false,
"headline": "chore: update CHANGELOG",
"author_name": "Bobbin Threadbare",
"author_login": "bobbinth",
"committed_at": "2026-03-11T05:18:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a2393a692c1cd8ac62854240f5e19cb327af461",
"body": "prep v0.5.0 release: bump Plonky3 deps",
"is_bot": false,
"headline": "Merge pull request #34 from Nashtare/robin/miden_upstream_update",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T19:55:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b33784726b898016f338e9d8e5d533575f577993",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: track Cargo.lock",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T19:47:43Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "25aba0b5b124f41712e38b1b5794fee623f118fc",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: switch Plonky3 deps from git to published 0.5.0",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T19:45:22Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "e5664e099e723fec8f30598435a5c892789745e0",
"body": "…rkTranscript\n\nStarkTranscript::from_proof() called instances.last().unwrap() which\npanicked on empty input. Now calls validate_instances() upfront,\nmatching the same validation path used by verify_multi.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(proof): replace panic with typed error for empty instances in Sta…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T12:33:34Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5a94917b5bd1ff3c95d45be0a0582d4c8e1bab89",
"body": "…rams\n\nLog-height values (log_trace_height, log_lde_height, log_blowup,\nlog_folding_arity, log_final_degree) are changed from usize to u8\nacross all crates. These represent small logarithms (typical values\n1–30) and encoding them as u8 prevents confusion between domain\nsizes and their logarithms at \n[…]\nhelper (thin wrapper: log2_strict_usize(n) as u8)\nin p3-miden-lmcs and p3-miden-lifted-air to replace log2_strict_usize\ncalls at u8 boundaries.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(params): narrow log-height types to u8 and encapsulate PcsPa…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-10T11:09:47Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "d6a9360668fb14adc9212029233bd9ca6749ed88",
"body": "…ocol\n\nUpdate Plonky3 to latest upstream (69270b5) and adopt the new\nCanFinalizeDigest trait for transcript finalization.\n\nKey changes:\n- ProverTranscript::finalize() replaces into_data(), returning a\n (Digest, TranscriptData) pair after a final challenger state transition.\n- VerifierTranscript::fi\n[…]\nript, FriTranscript, PcsTranscript,\n StarkTranscript::from_proof) to verify structured views consume data\n in the same order as the verifier.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat(transcript): integrate CanFinalizeDigest and binding digest prot…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T16:38:41Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "0aa070611806a97532b45195c45af7dcdb808384",
"body": "Lightweight row-by-row constraint checker that panics on the first\nnonzero constraint, avoiding the full STARK pipeline during development.\nSupports single and multi-instance traces with var-len public inputs.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "feat(stark): add debug constraint checker for lifted AIRs",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T13:46:14Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "0cf919228f6a050af37da53b1fb99afde1f62da2",
"body": "In lifted-air, replace `pub use p3_air::*` with an explicit item list\nand a `pub mod symbolic` / `pub mod utils` for submodules. Symbolic\ntypes are no longer re-exported at the crate root — they live\nexclusively in the `symbolic` submodule.\n\nIn the lifted-stark facade, replace `pub use p3_miden_lifted_air::*`\nwith explicit items and forward the `symbolic`, `auxiliary`, and\n`utils` submodules.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): replace glob re-exports with explicit items",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T12:39:57Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "dbe7ce432fecd2d68823f7788e74763928360c23",
"body": "4341702be337f95d1f8f7f7e9188199b98726d92\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "chore: update Plonky3 to latest upstream rev",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T12:22:29Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ed27bfc90e86d02181b61375984a71509abaeb06",
"body": "- README.md: remove deleted crates from table and architecture diagram,\n update entry point paths to lifted-stark\n- SECURITY.md: fix references to deleted p3-miden-lifted-verifier\n- lifted-stark/README.md: update entry points table to namespaced paths,\n remove Selectors (now pub(crate))\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "docs: update markdown for crate merge and namespaced re-exports",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T11:36:19Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "ad97963799599e67a5700d2a76876ac03f1c91b7",
"body": "The lifted-stark crate now acts as a single-dependency facade.\nInstead of flat `pub use` re-exports that pollute the root namespace,\nsub-crate types are grouped into namespaced modules:\n\n - `air::` — LiftedAir, AirInstance, AirWitness, and all of p3-air\n - `fri::` — PcsParams, DeepParams, FriParam\n[…]\npler to maintain and ensures\nupstream additions are automatically available.\n\nAlso applies workspace-wide import formatting (rustfmt grouping).\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(stark): replace flat re-exports with namespaced facade modules",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T11:28:43Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "862b65e56a3fd6be67ef86fcc4cab136cf3240e0",
"body": "Nightly Rust now eagerly evaluates inline `const { panic!() }` blocks\nat monomorphization time, even when the function is never called. This\nbroke the no-std wasm32 build. Use `unreachable!()` instead — AIR\nvalidation already prevents preprocessed access at a higher level.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(air): replace const panic with unreachable in EmptyWindow",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-09T09:59:30Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "5d0201f6d374d85b3726493097731d69ecf6ca4d",
"body": "…ndow split\n\nUpstream Plonky3 replaced `type M` with separate `type PreprocessedWindow`\nand `type MainWindow` associated types. Adapt all three AirBuilder impls\nto the new API, using a new `EmptyWindow` type for preprocessed traces\nthat causes a compile-time error if accessed (lifted AIRs forbid the\n[…]\n.\n\nAlso add `LiftedAir::air_layout()` as the single source of truth for\nconstructing `AirLayout`, replacing two duplicate manual constructions.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): adapt to upstream AirBuilder PreprocessedWindow/MainWi…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-07T14:42:10Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "23312d6b7211fc527c0972e14ca8f71e8f64174b",
"body": "- Remove the `AirWithPeriodicColumns` trait and `periodic.rs` module\n- Move `periodic_columns()` and `periodic_columns_matrix()` into `LiftedAir`\n with a default empty-vec implementation, eliminating boilerplate for AIRs\n without periodic columns\n- Change `periodic_columns()` return type from `&[V\n[…]\nic_columns_matrix()` instead of duplicating the column-repetition logic\n- Make `num_var_len_public_inputs` a required trait method (no default)\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): merge AirWithPeriodicColumns into LiftedAir",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-07T14:16:01Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "e9a4471efb64602afcfe184ce2979b88238be0b6",
"body": "The fork was only used as a dev-dependency for benchmark comparisons.\nMigrated fri_comparison and quotient_commit benchmarks to upstream\np3-fri API (FriParameters field renames, fold_matrix log_arity arg).",
"is_bot": false,
"headline": "cleanup: remove p3-miden-fri crate, use upstream p3-fri instead",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T14:18:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8bf941bfb2434ffa8c15caa46335629a312dba5",
"body": "…stark\n\nMove all prover and verifier logic into p3-miden-lifted-stark as\n`prover/` and `verifier/` submodules. This eliminates the cross-crate\ndependency and simplifies the crate hierarchy.\n\n- Move prover sources into src/prover/{mod,commit,quotient,periodic,constraints/}\n- Move verifier sources int\n[…]\nover crate\n- Update p3-miden-lifted-examples to depend on lifted-stark only\n- Remove p3-miden-lifted-prover and p3-miden-lifted-verifier crates\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(stark): merge lifted-prover and lifted-verifier into lifted-…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T14:02:01Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2286e836641c8f01d8ec52a4fda57bfdb1582ae4",
"body": null,
"is_bot": false,
"headline": "bump Plonky3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-06T11:39:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "196ed00d3d926c69e608bf5093ea0ff85372d3cd",
"body": "… folder\n\nReplace RowMajorMatrix with RowWindow<'a, EF> for the verifier's\nConstraintFolder (type M and MP), eliminating clone overhead on\nmain()/permutation() calls. Use Matrix::row_slice() for direct row\naccess instead of row_slices() iterator. Reorder AirBuilder trait\nimpl methods to match upstream trait definition order across all\nthree builders.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(verifier): use RowWindow and direct row access in constraint…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T10:23:31Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "842f81fd4cf57a59201fd79553a9f7958b186046",
"body": "Replace the separate `BuilderMismatchError` enum with a single\n`AirValidationError::BuilderMismatch` variant using a `TracePart` enum\nto identify the mismatched component. This simplifies error handling in\nthe verifier by removing a dedicated `VerifierError` variant.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): merge BuilderMismatchError into AirValidationError",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T09:23:12Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "4bac5952a3f16d0cae8a9b37f9d3f8458bc1d21e",
"body": "…ten visibility\n\nThe function logically belongs on LiftedCoset since it operates on\nthe coset's domain membership checks. This removes the util.rs module\nentirely and updates all call sites to use the method form.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(stark): move sample_ood_point to LiftedCoset method and tigh…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-06T09:13:23Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "79e640902b753f008721bdc86d1be96c960114e9",
"body": null,
"is_bot": false,
"headline": "chore: bring back check on next row",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-06T01:32:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5edc3948d09b5048bfcd0f1559cb35173a0e09b6",
"body": null,
"is_bot": false,
"headline": "bump P3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-06T01:22:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5b50b6bbb532897e77e34999a68ad5277c3d1d94",
"body": null,
"is_bot": false,
"headline": "cleanup: remove p3-miden-air and p3-miden-prover crates entirely",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T16:32:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "81a32bf6ff5e9c79257e494534f379710ef70d9e",
"body": null,
"is_bot": false,
"headline": "partial review",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T16:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8f199ede8c469b7e5559afa42f8ad7356b1a0c82",
"body": null,
"is_bot": false,
"headline": "cleanup: remove p3-miden-uni-stark entirely",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:42:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6245390b3fbc091e4f5fe3144a877378b90152fa",
"body": null,
"is_bot": false,
"headline": "machete",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:30:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "35bbd700d8e757afa178c96bf1b77f7a9225cc45",
"body": null,
"is_bot": false,
"headline": "cleanup p3-miden-uni-stark crate",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:26:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d147a43b40aec53feb4fbb56654ce74304a12086",
"body": null,
"is_bot": false,
"headline": "bump to latest P3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T15:02:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f67b4e2291091e7ff7ccc7aa4e9afb66b864b259",
"body": "…pdate",
"is_bot": false,
"headline": "Merge remote-tracking branch 'miden/main' into robin/miden_upstream_u…",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T13:40:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8518323992decef6f520924247ec3d846be7030c",
"body": "refactor(air): add validation helpers and improve error handling",
"is_bot": false,
"headline": "Merge pull request #45 from 0xMiden/adr1anh/air-validation",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T12:07:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "53c539442e14031b08fecaa0e73055add2252370",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "docs: expand validate() docstring per review feedback",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:47:26Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "2b95241ae2d7bacdbe34cc307cd782fbda1dd57b",
"body": "Introduce `LiftedAir::validate()` and `AirInstance::validate()` to\ncheck AIR properties and instance dimensions before proving/verifying.\nAdd `is_valid_builder()` to guard `eval()` against dimension mismatches.\n\nUnify the old `ValidationError` into a richer `AirValidationError` with\nper-check varian\n[…]\nd verifier.\n\nDocument the three-tier trust model (trusted AIR, validated instance,\nuntrusted proof) in the `p3-miden-lifted-stark` module docs.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): add validation helpers and improve error handling",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:39:03Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "459d2f41ae58a14689047dc71f851220ccc3d5da",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: remove unused tracing dependency from p3-miden-lifted-air",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:39:02Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "d5d685bbf7a8f9f82daf46ceaf4539042e190af7",
"body": "Introduce p3-air-next, a local fork of Plonky3's p3-air that merges\nPublicVar/preprocessed into AirBuilder and adds PermutationVal +\npermutation_values() to PermutationAirBuilder. This eliminates the\nneed for lifted-air's parallel symbolic module.\n\nKey changes:\n- Add p3-air-next with extended AirBui\n[…]\nrifier\n- Add UpstreamCompat adapter for crates.io AIR delegation in examples\n- Remove BaseAirWithPublicValues (merged into BaseAir in the fork)\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): fork p3-air as p3-air-next and unify AIR trait hierarchy",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:39:00Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "940b8d6f58c246dce54c6cbe1b13474e40caad05",
"body": "…traints module\n\nMove constraint layout discovery from the AIR crate to the prover crate\nsince it's only used there. Replace the heavy SymbolicAirBuilder-based\nget_constraint_layout (which built Arc<SymbolicExpression> AST trees) with\na lightweight ConstraintLayoutBuilder that uses concrete field ze\n[…]\nrs: ProverConstraintFolder, finalize_constraints, batched helpers\n- layout.rs: ConstraintLayout, ConstraintLayoutBuilder, get_constraint_layout\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: add lightweight ConstraintLayoutBuilder and reorganize cons…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T11:38:53Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "ea0588cdc7265f9d754726ce17f6e326fead81d3",
"body": "refactor: decouple aux trace building from AIR trait",
"is_bot": false,
"headline": "Merge pull request #35 from 0xMiden/lifted-stark-aux",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T10:06:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "21f29d77ebed8ccdd3f588b3ee094398dca07565",
"body": "- Update expression.rs doc to note algebra over any algebraic extension\n- Document var-len public input validation in LiftedAir trait\n- Update multi_aux_alignment test for AuxBuilder refactor\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: address review comments and fix multi_aux_alignment test",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T09:25:01Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "c5331bce3196eda019fccb6ff46426e86694d243",
"body": "- Rename \"scalars\" to \"values\"/\"elements\" in aux-related docs\n- Add doc comments on Algebra impls for SymbolicExpression\n- Clarify ExprEF bound: Algebra<Expr> for mixed arithmetic,\n Algebra<EF> for extension-field constants\n- Validate var-len public inputs count in prover (new\n VarLenPublicInputsMismatch error variant)\n- Update num_var_len_public_inputs doc to note prover validation\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: address remaining PR review comments",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:09Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "13ba7b9424957c042fce6f9e82ba836cb74ce33f",
"body": "StarkTranscript::from_verifier_channel was missing the aux values\nreceive step between the aux commitment and alpha/beta sampling,\ncausing a transcript mismatch with verify_multi. Added the\nall_aux_values field and receive calls, and documented why aligned\nwidths are needed for PCS transcript parsing.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(proof): receive aux values in StarkTranscript to match verifier",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:08Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "4d6171a1dde75fb22f915a9e23a21eee230fe662",
"body": "Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "docs: add changelog entry for aux trace refactor",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:07Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "589e8531ea4466b10d154f309c7f27e844fe227a",
"body": "`aux` is a reserved device name on Windows (alongside CON, PRN, NUL,\netc.), causing `git checkout` to fail with \"invalid path\" on Windows CI\nrunners before any code can compile.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix(ci): rename `aux` module to `auxiliary` to fix Windows checkout",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:06Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "aa8b43fdd1f4f8e59698b4e048f88185488d38bd",
"body": "Remove default implementations from `num_randomness()`, `aux_width()`,\nand `num_aux_values()` on the `LiftedAir` trait, making them required.\nRemove all `Option` wrappers and `has_aux` conditional branching from\nthe prover and verifier. Hash AIRs (keccak, blake3, poseidon2) now\ndeclare a minimal 1-column dummy aux, with `DummyAuxBuilder` in the\nexamples crate producing the zero trace.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: make aux trace mandatory for all LiftedAir instances",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:05Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "f559c6a89167004b3d850a3c4a787e2f18d97e4f",
"body": "- Flatten VarLenPublicInputs from &[&[&[F]]] to &[&[F]], moving bus-level\n grouping from protocol concern to AIR concern\n- Add var_len_public_inputs to AirWitness (prover witness), propagate\n through to_instance()\n- Add num_var_len_public_inputs() to LiftedAir trait\n- Make reduced_aux_values() ret\n[…]\ngh\n- Document Fiat-Shamir commitment requirement for var_len_public_inputs\n- Add bus_wrong_input_count_fails test exercising fallible reduction\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor(air): flatten VarLenPublicInputs and make reduction fallible",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:48:03Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f5a62c1e92481e5dde5d01ae90abdb929b995d07",
"body": "Replace `LiftedAir::build_aux_trace` with a separate `AuxBuilder` trait\npassed to the prover per instance, and decouple aux values from aux\ncolumn count. Add cross-AIR bus identity checking via\n`LiftedAir::reduced_aux_values` with `ReducedAuxValues { prod, sum }`.\n\nThis makes the protocol less presc\n[…]\nr constraint evaluation\n- Add `bus_test.rs` end-to-end test for multiset + logup buses\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>\n\n\u0001 Conflicts:\n\u0001\tp3-miden-lifted-verifier/src/verifier.rs",
"is_bot": false,
"headline": "refactor(air): decouple aux trace building from AIR trait",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-05T08:47:59Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f110a83b05a0d15ab6e1a8045f167bfd2e55c1fa",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T03:57:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "38f22c6f460ed61703566fe46cf15299055ba0e5",
"body": null,
"is_bot": false,
"headline": "update CHANGELOG",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T03:00:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f40dda6feae68f9de2e69b7353abd886d516eb",
"body": null,
"is_bot": false,
"headline": "remove PeriodicAirBuilder",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T03:00:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2ab1447ea7693b01c371cfdc3571072297290827",
"body": null,
"is_bot": false,
"headline": "fix error message",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:56:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e0c539fdfabc5ca155417366cdabcb813265735d",
"body": null,
"is_bot": false,
"headline": "clippy",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:51:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "377316882f1a7a47f0f23d8b714078db507d2a61",
"body": null,
"is_bot": false,
"headline": "cleanup",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:50:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3012c0160c456b3aed5f97668b6dfed18983cbad",
"body": null,
"is_bot": false,
"headline": "bump",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:32:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d428a111fcdd24d840a600937b7f7ca3bbcc413f",
"body": "…pdate",
"is_bot": false,
"headline": "Merge remote-tracking branch 'miden/main' into robin/miden_upstream_u…",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-05T02:12:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "be0e82e085db7d0ad05d9836d07f9f4a8ff031f9",
"body": "Lifted STARK",
"is_bot": false,
"headline": "Merge pull request #17 from 0xMiden/p3-miden-lifted-stark",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-04T15:39:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ddfbaff92d9f4415b6e4032fd0f2588e89fea7a9",
"body": "test: Add lifted multi-trace aux alignment tests",
"is_bot": false,
"headline": "Merge pull request #43 from 0xMiden/tests/multi-aux-alignment",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-04T08:49:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0109fc00d6ad92d3bffd2b6bb37aadcd7e8d3ee5",
"body": null,
"is_bot": false,
"headline": "Add lifted multi-trace aux alignment tests",
"author_name": "François Garillot",
"author_login": "huitseeker",
"committed_at": "2026-03-03T17:06:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b7d714f5ba9ba26e33bd3ec76f710b66b8ed1224",
"body": "LiftedCoset::new and upsample_matrix are public functions whose\ninvariants (trace height ordering, power-of-two heights) guard\nagainst silent corruption in release builds. debug_assert is\nstripped in release mode, so these checks must be full asserts.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "fix: upgrade soundness-critical debug_assert to assert in public APIs",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-03T14:54:28Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "6319b656a77b3bbf13e964753ec61c19aae123ec",
"body": "…e fn\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: use Iterator::chain method instead of core::iter::chain fre…",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-03T11:18:45Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "2335542b114e0c39f9560f07cb4dda857724966a",
"body": null,
"is_bot": false,
"headline": "refactor: remove extension.rs module and reuse upstream one",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-03T04:03:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4f38be264886084dad4fcd15b4c51f1a972d82a7",
"body": null,
"is_bot": false,
"headline": "bump with latest P3",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-03T04:00:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "76fd90dba79849e7c7de4cdaacbcfb71682403a5",
"body": null,
"is_bot": false,
"headline": "Merge branch 'p3-miden-lifted-stark' into robin/miden_upstream_update",
"author_name": "Robin Salen",
"author_login": "Nashtare",
"committed_at": "2026-03-03T03:55:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34aa82c678af03692438abebf3adf2af4a6c29df",
"body": "Replace DeepEvals with plain OpenedValues<EF> (= Vec<Vec<RowMajorMatrix<EF>>>)\nand add a verify_aligned entry point that handles width alignment and\ntruncation internally. The STARK verifier now passes original (unpadded)\nwidths and receives already-truncated matrices, removing scattered\naligned_wid\n[…]\nify_with_channel_strict →\nverify_strict, and delete the DeepEvals wrapper (deep/evals.rs) in\nfavour of the standard RowMajorMatrix return type.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: centralize LMCS alignment in verify_aligned",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-02T17:36:08Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "fe13f31988a311324b258f34c86d22aea1b48259",
"body": "Introduce a `Channel` trait in `p3-miden-transcript` that unifies the\nprover and verifier transcript interfaces behind a common API for\n`observe`, `hint`, and `consume` operations. This simplifies generic\ncode that needs to work with either side of the Fiat-Shamir channel.\n\nAlso extracts shared help\n[…]\nil`\nand streamlines proof deserialization in the verifier.\n\nBased on the design from PR #33.\n\nCo-Authored-By: Robin Salen <salenrobin@gmail.com>\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>",
"is_bot": false,
"headline": "refactor: add Channel abstraction for prover and verifier",
"author_name": "Adrian Hamelink",
"author_login": "adr1anh",
"committed_at": "2026-03-02T08:44:43Z",
"body_truncated": true,
"is_coding_agent": true
}
],
"releases_count": 3,
"commits_last_year": 231,
"latest_release_at": "2026-03-11T05:28:49Z",
"latest_release_tag": "v0.5.0",
"releases_from_tags": false,
"days_since_last_push": 108,
"active_weeks_last_year": 16,
"days_since_latest_release": 137,
"mean_days_between_releases": 38
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 62,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "p3-miden-lifted-air",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-lifted-air",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54521,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9344,
"first_published_at": "2026-03-11T05:30:22.916477Z",
"latest_published_at": "2026-03-11T05:30:22.916477Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
},
{
"name": "p3-miden-transcript",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-transcript",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54594,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9361,
"first_published_at": "2026-03-11T05:30:23.608209Z",
"latest_published_at": "2026-03-11T05:30:23.608209Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
},
{
"name": "p3-miden-lifted-stark",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-lifted-stark",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54032,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9246,
"first_published_at": "2026-03-11T05:50:19.282632Z",
"latest_published_at": "2026-03-11T05:50:19.282632Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
},
{
"name": "p3-miden-stateful-hasher",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/p3-miden-stateful-hasher",
"is_deprecated": false,
"latest_version": "0.5.0",
"repository_url": "https://github.com/0xMiden/p3-miden",
"versions_count": 1,
"total_downloads": 54623,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 9370,
"first_published_at": "2026-03-11T05:30:23.324159Z",
"latest_published_at": "2026-03-11T05:30:23.324159Z",
"latest_version_yanked": false,
"days_since_latest_publish": 137
}
]
},
"popularity": {
"forks": 5,
"stars": 4,
"watchers": 2,
"fork_history": {
"days": [
{
"date": "2026-01-06",
"count": 1
},
{
"date": "2026-01-12",
"count": 1
},
{
"date": "2026-02-02",
"count": 1
},
{
"date": "2026-02-08",
"count": 1
},
{
"date": "2026-02-24",
"count": 1
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 20
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [
"Cargo.toml",
"p3-miden-bench/Cargo.toml",
"p3-miden-lifted-air/Cargo.toml",
"p3-miden-lifted-stark/Cargo.toml",
"p3-miden-stateful-hasher/Cargo.toml",
"p3-miden-transcript/Cargo.toml"
],
"largest_source_bytes": 28396,
"source_files_sampled": 98,
"oversized_source_files": 0,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"Cargo.toml",
"p3-miden-bench/Cargo.toml",
"p3-miden-lifted-air/Cargo.toml",
"p3-miden-lifted-stark/Cargo.toml",
"p3-miden-stateful-hasher/Cargo.toml",
"p3-miden-transcript/Cargo.toml"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [
{
"name": "paste",
"direct": false,
"version": "1.0.15",
"severity": "unknown",
"ecosystem": "crates",
"cvss_score": null,
"advisory_ids": [
"RUSTSEC-2024-0436"
],
"fixed_version": null,
"advisory_count": 1,
"oldest_advisory_days": 657
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"unknown": 1
},
"advisory_count": 1,
"affected_count": 1,
"assessed_count": 38,
"malicious_count": 0,
"assessed_package": "crates:p3-miden-lifted-air@0.5.0",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"crates"
],
"dependencies": [
{
"name": "p3-miden-lifted-stark",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-batch-stark",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-commit",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-dft",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-fri",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-goldilocks",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-lookup",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-matrix",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-merkle-tree",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-poseidon2-air",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-symmetric",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-uni-stark",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "clap",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "postcard",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "rand",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing-forest",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing-subscriber",
"manifest": "p3-miden-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-air",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-matrix",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-util",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "p3-miden-lifted-air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-miden-lifted-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-miden-stateful-hasher",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-miden-transcript",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-challenger",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-dft",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-goldilocks",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-matrix",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-maybe-rayon",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-symmetric",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-util",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-blake3-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-keccak-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-poseidon2-air",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "rand",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "p3-miden-lifted-stark/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-stateful-hasher/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-symmetric",
"manifest": "p3-miden-stateful-hasher/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-challenger",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "p3-field",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "p3-miden-transcript/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [],
"collected": true,
"truncated": false,
"total_count": 0,
"direct_count": 0,
"indirect_count": 0
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 24,
"open_issues": 20,
"closed_ratio": 0.459,
"closed_issues": 17,
"closed_unmerged_prs": 7
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "adr1anh",
"commits": 145,
"avatar_url": "https://avatars.githubusercontent.com/u/304966?v=4"
},
{
"type": "User",
"login": "Nashtare",
"commits": 41,
"avatar_url": "https://avatars.githubusercontent.com/u/30937548?v=4"
},
{
"type": "User",
"login": "huitseeker",
"commits": 29,
"avatar_url": "https://avatars.githubusercontent.com/u/4142?v=4"
},
{
"type": "User",
"login": "Al-Kindi-0",
"commits": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/82364884?v=4"
},
{
"type": "User",
"login": "bobbinth",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/43513081?v=4"
},
{
"type": "User",
"login": "claude",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/81847?v=4"
},
{
"type": "User",
"login": "Leo-Besancon",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/29632494?v=4"
}
],
"contributors_sampled": 7,
"top_contributor_share": 0.628
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"build.yml",
"changelog.yml",
"lint.yml",
"release-dry-run.yml",
"release-publish.yml",
"test.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": null,
"reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "9 out of 9 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 10,
"reason": "all changesets reviewed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 4 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 0,
"reason": "project is archived",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 10,
"reason": "SAST tool is run on all commits",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 4,
"reason": "security policy file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 10,
"reason": "GitHub workflow tokens follow principle of least privilege",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e38846817f5a3d63da881034c5343738d2ec70de",
"ran_at": "2026-07-26T20:22:39Z",
"aggregate_score": 6.4,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": true,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-04-09T07:16:03Z",
"oldest_open_prs": [],
"last_merged_pr_at": "2026-04-09T07:14:09Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 14,
"created_at": "2026-01-27T16:47:47Z",
"last_comment_at": "2026-03-11T08:10:08Z",
"last_comment_author": "adr1anh"
},
{
"number": 23,
"created_at": "2026-02-23T09:42:57Z",
"last_comment_at": "2026-02-27T11:41:42Z",
"last_comment_author": "adr1anh"
},
{
"number": 24,
"created_at": "2026-02-23T10:15:37Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 25,
"created_at": "2026-02-23T10:25:52Z",
"last_comment_at": "2026-03-11T08:16:03Z",
"last_comment_author": "adr1anh"
},
{
"number": 26,
"created_at": "2026-02-23T10:37:57Z",
"last_comment_at": "2026-03-11T08:28:08Z",
"last_comment_author": "adr1anh"
},
{
"number": 28,
"created_at": "2026-02-23T10:55:17Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 29,
"created_at": "2026-02-23T11:00:14Z",
"last_comment_at": "2026-03-12T12:19:23Z",
"last_comment_author": "adr1anh"
},
{
"number": 31,
"created_at": "2026-02-23T11:11:17Z",
"last_comment_at": "2026-04-06T14:34:37Z",
"last_comment_author": "Nashtare"
},
{
"number": 38,
"created_at": "2026-03-02T03:10:08Z",
"last_comment_at": "2026-03-12T12:21:52Z",
"last_comment_author": "adr1anh"
},
{
"number": 39,
"created_at": "2026-03-02T03:11:15Z",
"last_comment_at": "2026-03-12T12:16:48Z",
"last_comment_author": "adr1anh"
},
{
"number": 42,
"created_at": "2026-03-03T06:36:19Z",
"last_comment_at": "2026-03-12T12:13:16Z",
"last_comment_author": "adr1anh"
},
{
"number": 47,
"created_at": "2026-03-09T13:17:02Z",
"last_comment_at": "2026-03-19T05:11:57Z",
"last_comment_author": "Nashtare"
},
{
"number": 49,
"created_at": "2026-03-12T12:06:54Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 50,
"created_at": "2026-03-12T12:25:43Z",
"last_comment_at": "2026-03-13T09:08:50Z",
"last_comment_author": "adr1anh"
},
{
"number": 51,
"created_at": "2026-03-16T10:49:22Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 53,
"created_at": "2026-03-18T22:02:13Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 60,
"created_at": "2026-03-23T10:07:47Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 63,
"created_at": "2026-03-31T15:03:45Z",
"last_comment_at": "2026-03-31T15:09:31Z",
"last_comment_author": "adr1anh"
},
{
"number": 64,
"created_at": "2026-03-31T15:13:54Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 65,
"created_at": "2026-04-01T11:17:04Z",
"last_comment_at": "2026-04-02T02:06:02Z",
"last_comment_author": "Nashtare"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/0xMiden/p3-miden",
"host": "github.com",
"name": "p3-miden",
"owner": "0xMiden"
},
"metrics": {
"overall": {
"key": "overall",
"band": "critical",
"name": "Overall health",
"note": "Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.",
"notes": [
{
"code": "abandonment_overall_adjustment",
"params": {
"cap": 29,
"pct": 40
}
}
],
"value": 24,
"inputs": {
"security": 69,
"vitality": 59,
"community": 49,
"governance": 61,
"engineering": 57,
"abandonment_cap": 29,
"abandonment_state": "declared",
"abandonment_multiplier": 40,
"weighted_overall_before_abandonment": 59,
"overall_after_abandonment_multiplier": 24
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "moderate",
"name": "Vitality",
"value": 59,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "at_risk",
"name": "Development activity",
"note": null,
"notes": [],
"value": 39,
"inputs": {
"commits_last_year": 231,
"human_commit_share": 1,
"days_since_last_push": 108,
"active_weeks_last_year": 16
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 108 days ago",
"points": 9.9,
"status": "partial",
"details": [
{
"code": "push_recency",
"params": {
"days": 108
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "16/52 weeks with commits",
"points": 11.1,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 16
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "231 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 231
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "project is archived",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 90,
"inputs": {
"releases_count": 3,
"latest_release_tag": "v0.5.0",
"releases_from_tags": false,
"days_since_latest_release": 137,
"mean_days_between_releases": 38
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "3 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 3
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 137 days ago",
"points": 27,
"status": "partial",
"details": [
{
"code": "release_recency",
"params": {
"days": 137
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~38 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 38
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "at_risk",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"cap": 29,
"state": "declared",
"guards": [],
"signals": [],
"red_flag": true,
"multiplier_pct": 40,
"declared_reason": "archived",
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "the repository is archived on GitHub",
"points": 40,
"status": "partial",
"details": [
{
"code": "abandonment_archived",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 49,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 13,
"inputs": {
"forks": 5,
"stars": 4,
"watchers": 2,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "4 stars",
"points": 7.7,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 4
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "5 forks",
"points": 5,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 5
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "2 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 2
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "good",
"name": "Community health",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (Apache-2.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "Apache-2.0"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 18,
"status": "met",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
},
{
"key": "ecosystem_adoption",
"band": "good",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 76,
"inputs": {
"packages": [
"p3-miden-lifted-air",
"p3-miden-transcript",
"p3-miden-lifted-stark",
"p3-miden-stateful-hasher"
],
"dependents": null,
"ecosystems": "crates",
"total_downloads": 217770,
"monthly_downloads": 37321
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "37,321 downloads/month across crates",
"points": 61,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 37321,
"ecosystems": "crates"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 61,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 37,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 7,
"top_contributor_share": 0.628
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 63% of commits",
"points": 8.4,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 63
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "7 contributors",
"points": 9.5,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 7
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 66,
"inputs": {
"merged_prs": 24,
"open_issues": 20,
"closed_issues": 17,
"issue_closed_ratio": 0.459,
"closed_unmerged_prs": 7
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "46% of issues closed",
"points": 21.5,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 46
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "24/31 decided PRs merged",
"points": 29.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 24,
"decided": 31
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "all changesets reviewed",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"followers": 405,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "0xMiden",
"public_repos": 52,
"account_age_days": 597
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "405 followers of 0xMiden",
"points": 18.8,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 405,
"login": "0xMiden"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "52 public repos, account ~1 yr old",
"points": 15.8,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 52
}
},
{
"code": "account_age_years",
"params": {
"years": 1
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "good",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 84,
"inputs": {
"packages": [
"p3-miden-lifted-air",
"p3-miden-transcript",
"p3-miden-lifted-stark",
"p3-miden-stateful-hasher"
],
"ecosystems": "crates",
"any_deprecated": false,
"min_days_since_publish": 137
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "4 package(s) on crates",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 4,
"ecosystems": "crates"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 137 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 137
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "1 published versions",
"points": 4,
"status": "partial",
"details": [
{
"code": "published_versions",
"params": {
"count": 1
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 57,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "6 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 6
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "9 out of 9 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "at_risk",
"name": "Documentation",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"topics": [],
"has_wiki": false,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 69,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Branch-Protection, Packaging, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"branch_protection",
"packaging",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 64,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 15,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 3,
"scorecard_aggregate": 6.4
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "9 out of 9 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "all changesets reviewed",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "project is archived",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is run on all commits",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file detected",
"points": 2,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "GitHub workflow tokens follow principle of least privilege",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "excellent",
"name": "Dependency advisories",
"note": "Matched the crates:p3-miden-lifted-air@0.5.0 runtime dependency closure — what installing the published package pulls in — 38 packages. Reachability is not analyzed.",
"notes": [
{
"code": "advisories_scope_published",
"params": {
"package": "crates:p3-miden-lifted-air@0.5.0",
"assessed": 38
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 91,
"inputs": {
"source": "osv",
"advisories": 1,
"affected_packages": 1,
"assessed_packages": 38,
"unassessed_packages": 0,
"affected_by_severity": "unknown 1",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "1 affected: paste 1.0.15 (unknown)",
"points": 19,
"status": "partial",
"details": [
{
"code": "advisories_affected",
"params": {
"count": 1,
"packages": "paste 1.0.15 (unknown)"
}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "1 advisory-carrying package(s) unaddressed past 90 days; oldest published 657 days ago",
"points": 37.2,
"status": "partial",
"details": [
{
"code": "advisories_stale",
"params": {
"days": 90,
"count": 1,
"oldest": 657
}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 38,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 3
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 60,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "at_risk",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.76,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "76 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 76,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"Makefile"
],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": 0.48,
"toolchain_manifests": [
"Cargo.toml",
"p3-miden-bench/Cargo.toml",
"p3-miden-lifted-air/Cargo.toml",
"p3-miden-lifted-stark/Cargo.toml",
"p3-miden-stateful-hasher/Cargo.toml",
"p3-miden-transcript/Cargo.toml"
],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "Rust (statically typed)",
"points": 11,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "48 of the last 100 commits agent-authored or agent-credited",
"points": 10,
"status": "met",
"details": [
{
"code": "agent_authored_commits",
"params": {
"count": 48,
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"primary_language": "Rust",
"largest_source_bytes": 28396,
"source_files_sampled": 98,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rust (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "0/98 source files over 60KB",
"points": 55,
"status": "met",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 98,
"oversized": 0
}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch crates package 'p3-miden-bench' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-26T20:22:56.679722Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/0/0xMiden/p3-miden.svg",
"full_name": "0xMiden/p3-miden",
"license_state": "standard",
"license_spdx": "Apache-2.0"
}