公开记录
软件健康报告模式 0.11.0 · 指标 2.10.0 · 2026-07-17 08:27 UTC

cryspen / libcrux

The formally verified crypto library for Rust

C · Rust · AssemblyApache-2.0★ 247 星标⑂ 54 复刻始于 2022年11月在 GitHub 上查看 ↗
类型库如何判定
#cryptography#encryption#formal-verification#signatures

cryspen/libcrux 的健康指数为 100 分中的 93 分，处于「卓越」区间。 其得分最高的类别是Vitality（100/100），最低的是AI Readiness（61/100）。 最近一次更新在今天。 近期的大部分工作由 3 位贡献者完成。

93
总分 / 100
卓越

软件健康指数

指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。

93
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
活力社区与采用可持续性与治理工程质量安全AI 就绪度

评分画像

每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。

加权总体分 79 经校准后在公布的指数量表上为 93（记录校准 2026-08-02）。

所有权

CE Labs组织
1 关注者17 个公开仓库始于 2026年6月

该仓库由组织支持——共同承担、可问责的托管责任，可延续于任何单一维护者之后。

软件包生态系统

注册表软件包版本月下载量版本数最近发布
crates.iolibcrux0.0.52,948151 天前
crates.iolibcrux-ecdh0.0.8153,721191 天前
crates.iolibcrux-kem0.0.9151,742221 天前
crates.iolibcrux-ml-dsa0.0.1025,340171 天前
crates.iolibcrux-ml-kem0.0.10299,684241 天前
crates.iolibcrux-psq0.0.103,403181 天前

按类别列示的指标

活力

项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？

100卓越 · 占总体的 21%

开发活跃度

100卓越
评分方式
36/36推送新近度 — 最近一次推送于 0 天前
36/36提交节奏 — 52 周中有 52 周有提交
18/18提交量 — 最近一年 1,883 次提交
10/10OpenSSF Scorecard：Maintained — 30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year1,883
human_commit_share—
days_since_last_push0
active_weeks_last_year52

发布纪律

100卓越
评分方式
27/27有发布版本 — 已发布 83 个发布版本
36/36发布时效 — 最近一次发布版本于 0 天前
27/27发布节奏 — 约每 0 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — 无数据
所用输入
releases_count83
latest_release_taglibcrux-v0.0.5
releases_from_tags否
days_since_latest_release0
mean_days_between_releases0
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。

社区与采用

项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？

77良好 · 占总体的 17%

流行度与采用

57中等
评分方式
38.8/60星标 — 247 个星标
14.4/25复刻 — 54 个复刻
3.9/15关注者 — 6 位关注者
所用输入
forks54
stars247
watchers6
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

85优秀
评分方式
22.5/22.5README
22.5/22.5许可证 — 可识别的许可证（Apache-2.0）
18/18CONTRIBUTING 指南
13.5/13.5行为准则
0/7.2议题模板
0/6.3PR 模板
所用输入
has_readme是
has_license是
readme_badges—
has_contributing是
has_issue_template否
has_code_of_conduct是
readme_badge_services—
has_pull_request_template否

生态采用（下载量）

97卓越
评分方式
77.4/80月度下载量 — crates 合计每月 636,838 次下载
0/20注册表被依赖数 — 该生态系统不报告此项
所用输入
packageslibcrux, libcrux-ecdh, libcrux-kem, libcrux-ml-dsa, libcrux-ml-kem, libcrux-psq
dependents—
ecosystemscrates
total_downloads3,677,660
monthly_downloads636,838
unverified_packages_excluded—
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。

可持续性与治理

项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？

77良好 · 占总体的 23%

维护者韧性（巴士系数）

77良好
评分方式
36/54巴士系数 — 3 位贡献者贡献了半数提交
17.1/22.5提交分布 — 头号贡献者编写了 24% 的提交
13.5/13.5贡献者广度 — 44 位贡献者
10/10OpenSSF Scorecard：Contributors — project has 26 contributing companies or organizations
所用输入
bus_factor3
contributors_sampled44
top_contributor_share0.24

议题与 PR 响应能力

85优秀
评分方式
35/42议题解决 — 83% 的议题已关闭
24.2/30PR 接受 — 已裁定的 PR 中 778/964 已合并
0/13Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决
15/15OpenSSF Scorecard：Code-Review — all changesets reviewed
所用输入
merged_prs778
open_issues90
closed_issues449
prs_merged_7d—
prs_decided_7d—
prs_merged_30d—
prs_decided_30d—
issue_closed_ratio0.833
closed_unmerged_prs186
first_time_authors_30d—
first_time_prs_merged_30d—
first_time_prs_decided_30d—
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。

所有权与托管责任

52中等
评分方式
30/30所有权背书 — 组织持有
0/20已验证域名 — 未读取该组织的域名验证状态
2.2/25所有者影响力 — celabshq 有 1 位关注者
9.3/25既往记录 — 17 个公开仓库，账户约 0 年
所用输入
followers1
owner_typeOrganization
is_verified—
owner_logincelabshq
public_repos17
account_age_days31
已排除计分（无数据或不适用）：已验证域名。 其余权重已重新归一化。

软件包维护

100卓越
评分方式
25/25已发布且可解析 — crates 上有 6 个软件包
35/35发布时效 — 最近一次发布于 1 天前
20/20版本历史 — 24 个已发布版本
20/20未被弃用 — 活跃，未被弃用或撤回
所用输入
packageslibcrux, libcrux-ecdh, libcrux-kem, libcrux-ml-dsa, libcrux-ml-kem, libcrux-psq
ecosystemscrates
any_deprecated否
min_days_since_publish1

工程质量

基础的工程与文档实践是否到位？

71良好 · 占总体的 19%

工程实践

68良好
评分方式
24/24CI 工作流 — 35 个工作流
24/24存在测试
0/16Linter 配置
0/9.6Pre-commit 钩子
0/6.4.editorconfig
20/20OpenSSF Scorecard：CI-Tests — 3 out of 3 merged PRs checked by a CI test -- score normalized to 10
所用输入
has_ci是
has_tests是
has_editorconfig否
has_linter_config否
has_precommit_config否

文档

75良好
评分方式
30/30README
0/25文档目录
15/15文档 / 主页站点 — https://docs.rs/libcrux
10/10仓库描述
10/10主题标签 — 4 个主题标签
10/10Wiki
所用输入
topicscryptography, encryption, formal-verification, signatures
has_wiki是
homepage—
docs_sitehttps://docs.rs/libcrux
has_readme是
has_docs_dir否
has_description是

安全

可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？

70良好 · 占总体的 16%

安全态势

70良好
评分方式
7.5/7.5Binary-Artifacts — no binaries found in the repo
3.8/7.5Branch-Protection — branch protection is not maximal on development and all release branches
2.5/2.5CI-Tests — 3 out of 3 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
7.5/7.5Code-Review — all changesets reviewed
2.5/2.5Contributors — project has 26 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
5/5Fuzzing — project is fuzzed
2.5/2.5许可证 — license file detected
7.5/7.5Maintained — 30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
1.5/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 3
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — 无数据
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 15 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated17
scorecard_versionv5.5.0
checks_inconclusive1
scorecard_aggregate6.9
已排除计分（无数据或不适用）：Signed-Releases。 其余权重已重新归一化。

AI 就绪度

该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。

61中等 · 占总体的 4%

AI 代理上下文与指引

1危急
评分方式
0/45代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则
0/15机器可读文档（llms.txt）
0/40可读的提交历史 — 无数据
所用输入
has_llms_txt否
llms_txt_url—
legible_history_share—
agent_instruction_files—
agent_instruction_max_bytes—
已排除计分（无数据或不适用）：可读的提交历史。 其余权重已重新归一化。

验证循环（构建 / 测试 / 类型检查）

77良好
评分方式
18/18一条命令的引导启动 — benchmarks/benches/circl/Makefile, crates/algorithms/kmac/proofs/fstar/extraction/Makefile, crates/algorithms/sha3/proofs/fstar/extraction/Makefile, crates/utils/core-models/proofs/fstar/extraction/Makefile, formal_verification/hacl-star/spec-equivalence/Makefile, fstar-helpers/fstar-bitvec/Makefile, libcrux-ml-dsa/proofs/fstar/extraction/Makefile, libcrux-ml-dsa/proofs/fstar/spec/Makefile, libcrux-ml-kem/extracts/cpp_header_only/generated/fuzz/Makefile, libcrux-ml-kem/proofs/fstar/extraction/Makefile, libcrux-ml-kem/proofs/fstar/spec/Makefile, proofs/fstar/extraction-edited/Makefile, proofs/fstar/extraction-secret-independent/Makefile, proofs/fstar/extraction/Makefile, specs/sha3/proofs/fstar/extraction/Makefile
22/22自动化测试
0/11Lint / 格式化配置
11/11静态类型检查 — C（静态类型）
10/10可复现环境 — devcontainer, Dockerfile, Nix, lockfile
0/10已体现的代理实践 — 无数据
5/8自动化维护 — 已配置依赖自动化，但在抽样提交中未观察到
3/10OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 3
所用输入
has_nix是
has_tests是
lockfilesgo.sum
has_dockerfile是
typed_language是
bootstrap_filesbenchmarks/benches/circl/Makefile, crates/algorithms/kmac/proofs/fstar/extraction/Makefile, crates/algorithms/sha3/proofs/fstar/extraction/Makefile, crates/utils/core-models/proofs/fstar/extraction/Makefile, formal_verification/hacl-star/spec-equivalence/Makefile, fstar-helpers/fstar-bitvec/Makefile, libcrux-ml-dsa/proofs/fstar/extraction/Makefile, libcrux-ml-dsa/proofs/fstar/spec/Makefile, libcrux-ml-kem/extracts/cpp_header_only/generated/fuzz/Makefile, libcrux-ml-kem/proofs/fstar/extraction/Makefile, libcrux-ml-kem/proofs/fstar/spec/Makefile, proofs/fstar/extraction-edited/Makefile, proofs/fstar/extraction-secret-independent/Makefile, proofs/fstar/extraction/Makefile, specs/sha3/proofs/fstar/extraction/Makefile
has_devcontainer是
has_linter_config否
typecheck_configs—
agent_commit_share—
toolchain_manifests—
dependency_bot_commit_share0
已排除计分（无数据或不适用）：已体现的代理实践。 其余权重已重新归一化。

面向模型的代码可读性

98卓越
评分方式
45/45可类型检查的代码 — C（静态类型）
53.4/55可控的文件大小 — 采样的 1,084 个源文件中有 32 个超过 60KB
所用输入
primary_languageC
largest_source_bytes538,718
source_files_sampled1,084
oversized_source_files32

机器可读接口

100卓越
评分方式
0/40API 模式（OpenAPI/GraphQL/proto） — 不适用于此类软件
0/20MCP 服务器 — 不适用于此类软件
40/40可运行示例 — examples
所用输入
example_dirsexamples
has_mcp_signal否
api_schema_files—
interfaces_expected_of—
已排除计分（无数据或不适用）：API 模式（OpenAPI/GraphQL/proto）, MCP 服务器。 其余权重已重新归一化。

关键数据

247GitHub 星标
44贡献者
1,883最近 12 个月提交数
0距最近推送天数
83发布版本数
3巴士系数（bus factor）
90开放议题
crates.io软件包生态系统数

数据采集警告

  • Could not fetch crates package 'au_curves' from its registry
  • Could not fetch crates package 'benchmarks' from its registry

更多细节

OpenSSF Scorecard 6.9 / 10
6.9综合

来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。Scorecard v5.5.0 · 2026-07-17 08:26 UTC

10Binary-Artifactsno binaries found in the repo
5Branch-Protectionbranch protection is not maximal on development and all release branches
10CI-Tests3 out of 3 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
10Code-Reviewall changesets reviewed
10Contributorsproject has 26 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
10Fuzzingproject is fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow detected
3Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 3
0SASTSAST tool is not run on all commits -- score normalized to 0
10Security-Policysecurity policy file detected
不适用Signed-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities15 existing vulnerabilities detected
直接依赖 71
注册表软件包版本约束清单文件
crates.iogetrandom0.4Cargo.toml
crates.iohax-lib—Cargo.toml
crates.iohpke-rs—Cargo.toml
crates.iolibcrux-aead—Cargo.toml
crates.iolibcrux-digest—Cargo.toml
crates.iolibcrux-kem—Cargo.toml
crates.iolibcrux-aes—Cargo.toml
crates.iolibcrux-blake2—Cargo.toml
crates.iolibcrux-chacha20poly1305—Cargo.toml
crates.iolibcrux-poly1305—Cargo.toml
crates.iolibcrux-curve25519—Cargo.toml
crates.iolibcrux-ecdh—Cargo.toml
crates.iolibcrux-ecdsa—Cargo.toml
crates.iolibcrux-ed25519—Cargo.toml
crates.iolibcrux-hkdf—Cargo.toml
crates.iolibcrux-hmac—Cargo.toml
crates.iolibcrux-hmac-drbg—Cargo.toml
crates.iolibcrux-kmac—Cargo.toml
crates.iolibcrux-ml-kem—Cargo.toml
crates.iolibcrux-ml-dsa—Cargo.toml
crates.iolibcrux-p256—Cargo.toml
crates.iolibcrux-rsa—Cargo.toml
crates.iolibcrux-sha2—Cargo.toml
crates.iolibcrux-sha3—Cargo.toml
crates.iolibcrux-psq—Cargo.toml
crates.iowasm-bindgen0.2.87Cargo.toml
crates.iorand0.10benchmarks/Cargo.toml
crates.iorand0.10libcrux-ecdh/Cargo.toml
crates.iolibcrux-curve25519—libcrux-ecdh/Cargo.toml
crates.iolibcrux-p256—libcrux-ecdh/Cargo.toml
crates.iotls_codec—libcrux-ecdh/Cargo.toml
crates.iolibcrux-ml-kem—libcrux-kem/Cargo.toml
crates.iolibcrux-sha3—libcrux-kem/Cargo.toml
crates.iolibcrux-ecdh—libcrux-kem/Cargo.toml
crates.iolibcrux-curve25519—libcrux-kem/Cargo.toml
crates.iolibcrux-p256—libcrux-kem/Cargo.toml
crates.iolibcrux-traits—libcrux-kem/Cargo.toml
crates.iorand0.10libcrux-kem/Cargo.toml
crates.iotls_codec—libcrux-kem/Cargo.toml
crates.iolibcrux-sha3—libcrux-ml-dsa/Cargo.toml
crates.iolibcrux-intrinsics—libcrux-ml-dsa/Cargo.toml
crates.iolibcrux-platform—libcrux-ml-dsa/Cargo.toml
crates.iolibcrux-macros—libcrux-ml-dsa/Cargo.toml
crates.iolibcrux-secrets—libcrux-ml-dsa/Cargo.toml
crates.iohax-lib—libcrux-ml-dsa/Cargo.toml
crates.iotls_codec—libcrux-ml-dsa/Cargo.toml
crates.iorand0.10libcrux-ml-kem/Cargo.toml
crates.iolibcrux-platform—libcrux-ml-kem/Cargo.toml
crates.iolibcrux-sha3—libcrux-ml-kem/Cargo.toml
crates.iolibcrux-intrinsics—libcrux-ml-kem/Cargo.toml
crates.iolibcrux-secrets—libcrux-ml-kem/Cargo.toml
crates.iolibcrux-traits—libcrux-ml-kem/Cargo.toml
crates.iohax-lib—libcrux-ml-kem/Cargo.toml
crates.iotls_codec—libcrux-ml-kem/Cargo.toml
crates.iolibcrux-traits—libcrux-psq/Cargo.toml
crates.iolibcrux-kem—libcrux-psq/Cargo.toml
crates.iolibcrux-chacha20poly1305—libcrux-psq/Cargo.toml
crates.iolibcrux-hkdf—libcrux-psq/Cargo.toml
crates.iolibcrux-hmac—libcrux-psq/Cargo.toml
crates.iolibcrux-sha2—libcrux-psq/Cargo.toml
crates.ioclassic-mceliece-rust3.1.0libcrux-psq/Cargo.toml
crates.iorand0.10libcrux-psq/Cargo.toml
crates.iorand_old0.8libcrux-psq/Cargo.toml
crates.iolibcrux-ecdh—libcrux-psq/Cargo.toml
crates.iolibcrux-ml-kem—libcrux-psq/Cargo.toml
crates.iolibcrux-ed25519—libcrux-psq/Cargo.toml
crates.iotls_codec—libcrux-psq/Cargo.toml
crates.iolibcrux-ml-dsa—libcrux-psq/Cargo.toml
crates.iolibcrux-aes—libcrux-psq/Cargo.toml
crates.iorand0.10traits/Cargo.toml
crates.iolibcrux-secrets—traits/Cargo.toml
全部依赖 66

来自 GitHub 依赖图的完整解析依赖集合：10 个直接依赖与 56 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。

注册表软件包版本关系
crates.ioclassic-mceliece-rust—直接
crates.iogetrandom—直接
crates.iolibcrux-kem0.0.9直接
crates.iolibcrux-macros—直接
crates.iolibcrux-macros0.0.3直接
crates.iolibcrux-platform—直接
crates.iolibcrux-platform0.0.3直接
crates.iolibcrux-poly13050.0.6直接
crates.iorand—直接
crates.iowasm-bindgen—直接
crates.ioaes-gcm—间接
crates.iobindgen—间接
crates.iocc—间接
crates.iochacha20poly1305—间接
crates.ioclap—间接
crates.iocore-models—间接
crates.iocriterion—间接
crates.iocurve25519-dalek—间接
crates.ioder—间接
crates.ioed25519-dalek—间接
crates.iofs_extra—间接
crates.iohacspec-lib—间接
crates.iohex—间接
crates.iohkdf—间接
crates.iok256—间接
crates.iolazy_static—间接
crates.iolibc—间接
crates.iolibcrux0.0.5间接
crates.iolibfuzzer-sys—间接
crates.iolibjade-sys0.0.4间接
crates.iolog—间接
crates.ioml-kem—间接
crates.ioopenssl—间接
crates.iop256—间接
crates.iop384—间接
crates.iop521—间接
crates.iopastey—间接
crates.iopkcs1—间接
crates.iopkg-config—间接
crates.iopqcrypto-kyber—间接
crates.iopqcrypto-mldsa—间接
crates.iopretty_env_logger—间接
crates.ioproptest—间接
crates.ioquote—间接
crates.iorand_chacha—间接
crates.iorand_core—间接
crates.iorayon—间接
crates.ioring—间接
crates.iorsa—间接
crates.ioserde—间接
crates.ioserde_json—间接
crates.iosha2—间接
crates.iosha3—间接
crates.iosubtle—间接
crates.iosyn—间接
crates.iountrusted—间接
crates.iowasm-bindgen-test—间接
crates.iowycheproof—间接
crates.iox-wing—间接
crates.iox25519-dalek—间接
crates.iox25519-dalek-ng—间接
crates.iozeroize—间接
Gogithub.com/cloudflare/circlv1.6.3间接
Gogolang.org/x/cryptov0.45.0间接
Gogolang.org/x/sysv0.38.0间接
PyPIpycryptodome3.19.1间接
原始 JSON 报告 机器可读

反馈

发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。

登录过程中消息不会丢失。

相关记录

与 cryspen/libcrux 共享目录标签或生态系统的已检测仓库。 并排阅读 →

89celabshq/libcruxThe formally verified crypto library for Rust优秀98zama-ai/tfhe-rsTFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.卓越94rust-bitcoin/rust-bitcoinRust Bitcoin library卓越87str4d/rageA simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.优秀86godaddy/asherah-ffiApplication-layer envelope encryption with automatic key rotation. Rust core with bindings for Node.js, Python, .NET, Java, Ruby, and Go.优秀84tkhq/rust-sdkRepository containing Rust tooling to interact with the Turnkey API优秀

评分是信号，而非担保。 评分反映的是 GitHub 上公开可见的实践——不是代码审计，也不是安全保证。

缺失数据将被剔除并重新归一化权重，绝不按零分计。方法论已版本化并公开：指标 v2.10.0、模式 v0.11.0—— 完整方法论 · 指标知识库.

单项结果在整体记录中的位置： 汇总统计 — crates.io.