公开记录卓越
软件健康报告模式 0.34.0 · 指标 2.10.0 · 2026-09-15 10:06 UTC
cryspen / hax
A Rust verification tool
cryspen/hax 的健康指数为 100 分中的 94 分，处于「卓越」区间。 其得分最高的类别是Vitality（93/100），最低的是Security（63/100）。 最近一次更新在今天。 近期的大部分工作由 2 位贡献者完成。
94
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。
94
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 80 经校准后在公布的指数量表上为 94（记录校准 2026-08-02）。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 |
|---|---|---|---|---|---|
| crates.io | hax-lib | 0.4.0 | 480,433 | 16 | 7 天前 |
| crates.io | hax-types | 0.4.0 | 178 | 16 | 7 天前 |
| crates.io | hax-rust-engine | 0.4.0 | 49 | 8 | 7 天前 |
| crates.io | hax-bounded-integers | 0.4.0 | 25 | 12 | 7 天前 |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
93
开发活跃度
100卓越
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 0 天前 |
| 36/36 | 提交节奏 — 52 周中有 52 周有提交 |
| 18/18 | 提交量 — 最近一年 1,793 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 1,793 |
| human_commit_share | 0.98 |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
发布纪律
83优秀
评分方式
| 27/27 | 有发布版本 — 已发布 12 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 7 天前 |
| 19.8/27 | 发布节奏 — 约每 53.2 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — Project has not signed or included provenance with any releases. |
所用输入
| releases_count | 12 |
| latest_release_tag | cargo-hax-v0.4.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 7 |
| mean_days_between_releases | 53.2 |
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
74
流行度与采用
64中等
评分方式
| 43.5/60 | 星标 — 480 个星标 |
| 15.3/25 | 复刻 — 70 个复刻 |
| 4.7/15 | 关注者 — 8 位关注者 |
所用输入
| forks | 70 |
| stars | 480 |
| watchers | 8 |
| 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 | 是 |
| readme_badges | 5 |
| has_contributing | 是 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| readme_badge_services | shields.io |
| has_pull_request_template | 否 |
生态采用（下载量）
95卓越
评分方式
| 75.8/80 | 月度下载量 — crates 合计每月 480,685 次下载 |
| 0/20 | 注册表被依赖数 — 该生态系统不报告此项 |
所用输入
| packages | hax-lib, hax-types, hax-rust-engine, hax-bounded-integers |
| dependents | — |
| ecosystems | crates |
| total_downloads | 3,318,041 |
| monthly_downloads | 480,685 |
| unverified_packages_excluded | — |
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
77
维护者韧性（巴士系数）
64中等
评分方式
| 25.2/54 | 巴士系数 — 2 位贡献者贡献了半数提交 |
| 15/22.5 | 提交分布 — 头号贡献者编写了 33% 的提交 |
| 13.5/13.5 | 贡献者广度 — 46 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 24 contributing companies or organizations |
所用输入
| bus_factor | 2 |
| contributors_sampled | 46 |
| top_contributor_share | 0.333 |
议题与 PR 响应能力
87优秀
评分方式
| 32/42 | 议题解决 — 76% 的议题已关闭 |
| 26.7/30 | PR 接受 — 已裁定的 PR 中 1,076/1,210 已合并 |
| 13/13 | Newcomer PR acceptance — 30 天内首次贡献者的 PR 已合并 1/1 |
| 15/15 | OpenSSF Scorecard：Code-Review — all changesets reviewed |
所用输入
| merged_prs | 1,076 |
| open_issues | 232 |
| closed_issues | 747 |
| prs_merged_7d | 11 |
| prs_decided_7d | 12 |
| prs_merged_30d | 56 |
| prs_decided_30d | 60 |
| issue_closed_ratio | 0.763 |
| closed_unmerged_prs | 134 |
| first_time_authors_30d | 1 |
| first_time_prs_merged_30d | 1 |
| first_time_prs_decided_30d | 1 |
所有权与托管责任
66良好
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 13.7/25 | 所有者影响力 — cryspen 有 79 位关注者 |
| 22/25 | 既往记录 — 41 个公开仓库，账户约 5 年 |
所用输入
| followers | 79 |
| owner_type | Organization |
| is_verified | 否 |
| owner_login | cryspen |
| public_repos | 41 |
| account_age_days | 1,861 |
软件包维护
100卓越
评分方式
| 25/25 | 已发布且可解析 — crates 上有 4 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 7 天前 |
| 20/20 | 版本历史 — 16 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | hax-lib, hax-types, hax-rust-engine, hax-bounded-integers |
| ecosystems | crates |
| any_deprecated | 否 |
| min_days_since_publish | 7 |
工程质量
基础的工程与文档实践是否到位？
90
工程实践
84优秀
评分方式
| 24/24 | CI 工作流 — 29 个工作流 |
| 24/24 | 存在测试 |
| 16/16 | Linter 配置 — hax-bounded-integers/Cargo.toml ([lints]), hax-lib/Cargo.toml ([lints]), rustfmt.toml |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 8 out of 8 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 是 |
| has_precommit_config | 否 |
文档
100卓越
评分方式
| 30/30 | README |
| 25/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://hax.cryspen.com |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 2 个主题标签 |
| 10/10 | Wiki |
所用输入
| topics | formal-verification, rust |
| has_wiki | 是 |
| homepage | https://hax.cryspen.com |
| docs_site | https://hax.cryspen.com |
| has_readme | 是 |
| has_docs_dir | 是 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
63
安全态势
54中等
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 3.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 8 out of 8 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 24 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 11 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5.4 |
依赖安全公告
100卓越
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 25/25 | 间接依赖不含已知公告 — 没有间接依赖携带已知公告 |
| 0/40 | 没有长期未处理的公告 — 没有公告带有发布日期 |
所用输入
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 21 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
已排除计分（无数据或不适用）：没有长期未处理的公告。 其余权重已重新归一化。 比对的是 crates:hax-lib@0.4.0 的运行时依赖闭包——安装已发布的软件包时真正被拉取进来的内容——共 21 个软件包。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。
66
AI 代理上下文与指引
55中等
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 15/15 | 机器可读文档（llms.txt） — 项目网站提供 llms.txt（https://docs.docker.com/llms.txt） |
| 40/40 | 可读的提交历史 — 98 次人类提交中有 91 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 是 |
| llms_txt_url | https://docs.docker.com/llms.txt |
| legible_history_share | 0.929 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 18/18 | 一条命令的引导启动 — docs/manual/fstar/tutorial/proofs/fstar/extraction/Makefile, examples/adc/Makefile, examples/anodized/Makefile, examples/anodized/proofs/anodized/fstar/extraction/Makefile, examples/barrett/Makefile, examples/barrett/proofs/barrett/fstar/extraction/Makefile, examples/chacha20/Makefile, examples/chacha20/proofs/chacha20/fstar/extraction/Makefile, examples/kyber_compress/Makefile, examples/kyber_compress/proofs/kyber-compress/fstar/extraction/Makefile, examples/lean_tutorial/Makefile, examples/limited-order-book/Makefile, examples/limited-order-book/proofs/process-order/fstar/extraction/Makefile, examples/loop_equivalence/Makefile, examples/proverif-psk/Makefile, examples/sha256/Makefile, examples/sha256/proofs/sha256/fstar/extraction/Makefile, examples/sha3/Makefile, hax-lib/core-models/Makefile, hax-lib/core-models/tests/Makefile, hax-lib/core-models/tests/client_test/Makefile, hax-lib/core-models/tests/rust_lean_equiv_test/Makefile, hax-lib/proof-libs/fstar-secret-integers/core/Makefile, hax-lib/proof-libs/fstar-secret-integers/hax_lib/Makefile, hax-lib/proof-libs/fstar-secret-integers/rust_primitives/Makefile, hax-lib/proof-libs/fstar/core/Makefile, hax-lib/proof-libs/fstar/hax_lib/Makefile, hax-lib/proof-libs/fstar/rust_primitives/Makefile, hax-lib/proofs/fstar/extraction/Makefile, justfile |
| 22/22 | 自动化测试 |
| 11/11 | Lint / 格式化配置 — hax-bounded-integers/Cargo.toml ([lints]), hax-lib/Cargo.toml ([lints]), rustfmt.toml |
| 11/11 | 静态类型检查 — Rust（静态类型） |
| 10/10 | 可复现环境 — Dockerfile, Nix, lockfile |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 是 |
| has_tests | 是 |
| lockfiles | Cargo.lock, package-lock.json |
| has_dockerfile | 是 |
| typed_language | 是 |
| bootstrap_files | docs/manual/fstar/tutorial/proofs/fstar/extraction/Makefile, examples/adc/Makefile, examples/anodized/Makefile, examples/anodized/proofs/anodized/fstar/extraction/Makefile, examples/barrett/Makefile, examples/barrett/proofs/barrett/fstar/extraction/Makefile, examples/chacha20/Makefile, examples/chacha20/proofs/chacha20/fstar/extraction/Makefile, examples/kyber_compress/Makefile, examples/kyber_compress/proofs/kyber-compress/fstar/extraction/Makefile, examples/lean_tutorial/Makefile, examples/limited-order-book/Makefile, examples/limited-order-book/proofs/process-order/fstar/extraction/Makefile, examples/loop_equivalence/Makefile, examples/proverif-psk/Makefile, examples/sha256/Makefile, examples/sha256/proofs/sha256/fstar/extraction/Makefile, examples/sha3/Makefile, hax-lib/core-models/Makefile, hax-lib/core-models/tests/Makefile, hax-lib/core-models/tests/client_test/Makefile, hax-lib/core-models/tests/rust_lean_equiv_test/Makefile, hax-lib/proof-libs/fstar-secret-integers/core/Makefile, hax-lib/proof-libs/fstar-secret-integers/hax_lib/Makefile, hax-lib/proof-libs/fstar-secret-integers/rust_primitives/Makefile, hax-lib/proof-libs/fstar/core/Makefile, hax-lib/proof-libs/fstar/hax_lib/Makefile, hax-lib/proof-libs/fstar/rust_primitives/Makefile, hax-lib/proofs/fstar/extraction/Makefile, justfile |
| has_devcontainer | 否 |
| has_linter_config | 是 |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | Cargo.toml, cli/cargo-hax/Cargo.toml, cli/driver/Cargo.toml, cli/test-driver/Cargo.toml, engine/names/Cargo.toml, engine/names/extract/Cargo.toml, examples/Cargo.toml, examples/adc/Cargo.toml, examples/anodized/Cargo.toml, examples/barrett/Cargo.toml, examples/barrett/proofs/rust/extraction/Cargo.toml, examples/chacha20/Cargo.toml, examples/kyber_compress/Cargo.toml, examples/lean_tutorial/Cargo.toml, examples/limited-order-book/Cargo.toml, examples/loop_equivalence/Cargo.toml, examples/proverif-psk/Cargo.toml, examples/sha256/Cargo.toml, examples/sha3/Cargo.toml, frontend/exporter/Cargo.toml, frontend/exporter/adt-into/Cargo.toml, frontend/exporter/options/Cargo.toml, hax-bounded-integers/Cargo.toml, hax-lib-protocol-macros/Cargo.toml, hax-lib-protocol/Cargo.toml, hax-lib/Cargo.toml, hax-lib/core-models/Cargo.toml, hax-lib/core-models/alloc/Cargo.toml, hax-lib/core-models/core-models/Cargo.toml, hax-lib/core-models/rand_core/Cargo.toml, hax-lib/core-models/rust_primitives/Cargo.toml, hax-lib/core-models/std/Cargo.toml, hax-lib/core-models/tests/Cargo.toml, hax-lib/core-models/tests/client_test/Cargo.toml, hax-lib/core-models/tests/rust_lean_equiv_test/macro/Cargo.toml, hax-lib/core-models/tests/rust_lean_equiv_test/source/Cargo.toml, hax-lib/macros/Cargo.toml, hax-lib/macros/types/Cargo.toml, hax-types/Cargo.toml, rust-engine/Cargo.toml, rust-engine/macros/Cargo.toml, tests/Cargo.toml |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
99卓越
评分方式
| 45/45 | 可类型检查的代码 — Rust（静态类型） |
| 54.2/55 | 可控的文件大小 — 采样的 419 个源文件中有 6 个超过 60KB |
所用输入
| primary_language | Rust |
| largest_source_bytes | 371,292 |
| source_files_sampled | 419 |
| oversized_source_files | 6 |
机器可读接口
40薄弱
评分方式
| 0/40 | API 模式（OpenAPI/GraphQL/proto） |
| 0/20 | MCP 服务器 |
| 40/40 | 可运行示例 — examples |
所用输入
| example_dirs | examples |
| has_mcp_signal | 否 |
| api_schema_files | — |
| interfaces_expected_of | network-service |
关键数据
480GitHub 星标
46贡献者
1,793最近 12 个月提交数
0距最近推送天数
12发布版本数
2巴士系数（bus factor）
232开放议题
crates.io软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch crates package 'hax-lib-protocol' from its registry
- Could not fetch crates package 'hax-lib-protocol-macros' from its registry
更多细节
Star 与 Fork 历史 0 ★ / 70 ⇿
0Star
70Fork
12发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 0修订 0
每个点涵盖 4 天。
OpenSSF Scorecard 5.4 / 10
5.4综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 5 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 8 out of 8 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 24 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 11 existing vulnerabilities detected |
直接依赖 38
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| crates.io | duplicate | 2.0.1 | hax-bounded-integers/Cargo.toml |
| crates.io | hax-lib | — | hax-bounded-integers/Cargo.toml |
| crates.io | paste | 1.0.15 | hax-bounded-integers/Cargo.toml |
| crates.io | proc-macro2 | — | hax-lib-protocol-macros/Cargo.toml |
| crates.io | quote | — | hax-lib-protocol-macros/Cargo.toml |
| crates.io | syn | 2.0 | hax-lib-protocol-macros/Cargo.toml |
| crates.io | libcrux | 0.0.2-pre.2 | hax-lib-protocol/Cargo.toml |
| crates.io | hax-lib-macros | — | hax-lib/Cargo.toml |
| crates.io | clap | — | hax-types/Cargo.toml |
| crates.io | hax-frontend-exporter | — | hax-types/Cargo.toml |
| crates.io | hax-frontend-exporter-options | — | hax-types/Cargo.toml |
| crates.io | itertools | — | hax-types/Cargo.toml |
| crates.io | path-clean | 1.0.1 | hax-types/Cargo.toml |
| crates.io | schemars | — | hax-types/Cargo.toml |
| crates.io | serde | — | hax-types/Cargo.toml |
| crates.io | colored | — | hax-types/Cargo.toml |
| crates.io | serde_json | — | hax-types/Cargo.toml |
| crates.io | annotate-snippets | — | hax-types/Cargo.toml |
| crates.io | hax-adt-into | — | hax-types/Cargo.toml |
| crates.io | tracing | — | hax-types/Cargo.toml |
| crates.io | serde-brief | 0.1 | hax-types/Cargo.toml |
| crates.io | zstd | 0.13.1 | hax-types/Cargo.toml |
| crates.io | miette | 7.2.0 | hax-types/Cargo.toml |
| crates.io | hax-frontend-exporter | — | rust-engine/Cargo.toml |
| crates.io | hax-rust-engine-macros | — | rust-engine/Cargo.toml |
| crates.io | hax-lib-macros-types | — | rust-engine/Cargo.toml |
| crates.io | serde_json | — | rust-engine/Cargo.toml |
| crates.io | serde | — | rust-engine/Cargo.toml |
| crates.io | hax-types | — | rust-engine/Cargo.toml |
| crates.io | schemars | — | rust-engine/Cargo.toml |
| crates.io | itertools | — | rust-engine/Cargo.toml |
| crates.io | serde_stacker | 0.1.14 | rust-engine/Cargo.toml |
| crates.io | pretty | 0.12 | rust-engine/Cargo.toml |
| crates.io | derive_generic_visitor | 0.3.0 | rust-engine/Cargo.toml |
| crates.io | pastey | 0.1.0 | rust-engine/Cargo.toml |
| crates.io | camino | 1.1.11 | rust-engine/Cargo.toml |
| crates.io | axum | 0.8.7 | rust-engine/Cargo.toml |
| crates.io | tokio | 1.48.0 | rust-engine/Cargo.toml |
全部依赖 611
来自 GitHub 依赖图的完整解析依赖集合：64 个直接依赖与 547 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| crates.io | annotate-snippets | 0.11.5 | 直接 |
| crates.io | axum | — | 直接 |
| crates.io | axum | 0.8.7 | 直接 |
| crates.io | camino | — | 直接 |
| crates.io | camino | 1.1.12 | 直接 |
| crates.io | clap | 4.5.46 | 直接 |
| crates.io | colored | 2.2.0 | 直接 |
| crates.io | derive_generic_visitor | — | 直接 |
| crates.io | derive_generic_visitor | 0.3.0 | 直接 |
| crates.io | duplicate | — | 直接 |
| crates.io | duplicate | 2.0.1 | 直接 |
| crates.io | itertools | 0.11.0 | 直接 |
| crates.io | itertools | 0.13.0 | 直接 |
| crates.io | libcrux | — | 直接 |
| crates.io | libcrux | 0.0.2-pre.2 | 直接 |
| crates.io | miette | — | 直接 |
| crates.io | miette | 7.6.0 | 直接 |
| crates.io | paste | — | 直接 |
| crates.io | paste | 1.0.15 | 直接 |
| crates.io | pastey | — | 直接 |
| crates.io | pastey | 0.1.1 | 直接 |
| crates.io | pastey | 0.2.2 | 直接 |
| crates.io | path-clean | — | 直接 |
| crates.io | path-clean | 1.0.1 | 直接 |
| crates.io | pretty | — | 直接 |
| crates.io | pretty | 0.12.3 | 直接 |
| crates.io | pretty | 0.12.4 | 直接 |
| crates.io | proc-macro2 | — | 直接 |
| crates.io | proc-macro2 | 1.0.101 | 直接 |
| crates.io | proc-macro2 | 1.0.105 | 直接 |
| crates.io | proc-macro2 | 1.0.106 | 直接 |
| crates.io | proc-macro2 | 1.0.66 | 直接 |
| crates.io | quote | — | 直接 |
| crates.io | quote | 1.0.32 | 直接 |
| crates.io | quote | 1.0.33 | 直接 |
| crates.io | quote | 1.0.43 | 直接 |
| crates.io | quote | 1.0.45 | 直接 |
| crates.io | quote | 1.0.46 | 直接 |
| crates.io | schemars | 0.8.22 | 直接 |
| crates.io | serde | — | 直接 |
| crates.io | serde | 1.0.192 | 直接 |
| crates.io | serde | 1.0.228 | 直接 |
| crates.io | serde | 1.0.229 | 直接 |
| crates.io | serde-brief | — | 直接 |
| crates.io | serde-brief | 0.1.1 | 直接 |
| crates.io | serde_json | 1.0.108 | 直接 |
| crates.io | serde_json | 1.0.143 | 直接 |
| crates.io | serde_json | 1.0.149 | 直接 |
| crates.io | serde_json | 1.0.151 | 直接 |
| crates.io | serde_stacker | — | 直接 |
| crates.io | serde_stacker | 0.1.14 | 直接 |
| crates.io | syn | — | 直接 |
| crates.io | syn | 1.0.109 | 直接 |
| crates.io | syn | 2.0.106 | 直接 |
| crates.io | syn | 2.0.114 | 直接 |
| crates.io | syn | 2.0.117 | 直接 |
| crates.io | syn | 2.0.28 | 直接 |
| crates.io | syn | 2.0.39 | 直接 |
| crates.io | syn | 3.0.3 | 直接 |
| crates.io | tokio | — | 直接 |
| crates.io | tokio | 1.49.0 | 直接 |
| crates.io | tracing | 0.1.41 | 直接 |
| crates.io | zstd | — | 直接 |
| crates.io | zstd | 0.13.3 | 直接 |
| crates.io | adler2 | 2.0.1 | 间接 |
| crates.io | aho-corasick | 1.1.3 | 间接 |
| crates.io | anodized | 0.5.1 | 间接 |
| crates.io | anodized-core | 0.5.1 | 间接 |
| crates.io | anodized-logic | 0.5.1 | 间接 |
| crates.io | anodized-macros | 0.5.1 | 间接 |
| crates.io | anstream | 0.6.20 | 间接 |
| crates.io | anstyle | 1.0.11 | 间接 |
| crates.io | anstyle-parse | 0.2.7 | 间接 |
| crates.io | anstyle-query | 1.1.4 | 间接 |
| crates.io | anstyle-wincon | 3.0.10 | 间接 |
| crates.io | anyhow | — | 间接 |
| crates.io | anyhow | 1.0.100 | 间接 |
| crates.io | anyhow | 1.0.102 | 间接 |
| crates.io | anyhow | 1.0.75 | 间接 |
| crates.io | arrayvec | 0.5.2 | 间接 |
| crates.io | ascii | 1.1.0 | 间接 |
| crates.io | atomic-waker | 1.1.2 | 间接 |
| crates.io | autocfg | 1.1.0 | 间接 |
| crates.io | autocfg | 1.5.0 | 间接 |
| crates.io | autocfg | 1.5.1 | 间接 |
| crates.io | axum-core | 0.5.5 | 间接 |
| crates.io | axum-macros | 0.5.0 | 间接 |
| crates.io | base64 | 0.22.1 | 间接 |
| crates.io | binread | 2.2.0 | 间接 |
| crates.io | binread_derive | 2.1.0 | 间接 |
| crates.io | bit-set | 0.8.0 | 间接 |
| crates.io | bit-vec | 0.8.0 | 间接 |
| crates.io | bitflags | 2.11.1 | 间接 |
| crates.io | bitflags | 2.13.1 | 间接 |
| crates.io | block-buffer | 0.10.4 | 间接 |
| crates.io | bumpalo | 3.16.0 | 间接 |
| crates.io | bumpalo | 3.19.0 | 间接 |
| crates.io | bumpalo | 3.19.1 | 间接 |
| crates.io | bumpalo | 3.20.2 | 间接 |
| crates.io | bumpalo | 3.20.3 | 间接 |
| crates.io | byteorder | 1.5.0 | 间接 |
| crates.io | bytes | 1.11.1 | 间接 |
| crates.io | candid | — | 间接 |
| crates.io | candid | 0.9.11 | 间接 |
| crates.io | candid_derive | 0.6.4 | 间接 |
| crates.io | cargo-platform | 0.1.9 | 间接 |
| crates.io | cargo_metadata | 0.15.4 | 间接 |
| crates.io | cc | 1.0.83 | 间接 |
| crates.io | cc | 1.2.34 | 间接 |
| crates.io | cc | 1.2.52 | 间接 |
| crates.io | cfg-if | 1.0.0 | 间接 |
| crates.io | cfg-if | 1.0.3 | 间接 |
| crates.io | cfg-if | 1.0.4 | 间接 |
| crates.io | chunked_transfer | 1.5.0 | 间接 |
| crates.io | clap_builder | 4.5.46 | 间接 |
| crates.io | clap_derive | 4.5.45 | 间接 |
| crates.io | clap_lex | 0.7.5 | 间接 |
| crates.io | codespan-reporting | 0.11.1 | 间接 |
| crates.io | colorchoice | 1.0.4 | 间接 |
| crates.io | console | 0.16.2 | 间接 |
| crates.io | convert_case | 0.6.0 | 间接 |
| crates.io | core-foundation | 0.10.1 | 间接 |
| crates.io | core-foundation-sys | 0.8.7 | 间接 |
| crates.io | cpufeatures | 0.2.11 | 间接 |
| crates.io | cpufeatures | 0.2.17 | 间接 |
| crates.io | crc32fast | 1.3.2 | 间接 |
| crates.io | crc32fast | 1.5.0 | 间接 |
| crates.io | crypto-common | 0.1.6 | 间接 |
| crates.io | crypto-common | 0.1.7 | 间接 |
| crates.io | darling | 0.20.11 | 间接 |
| crates.io | darling_core | 0.20.11 | 间接 |
| crates.io | darling_macro | 0.20.11 | 间接 |
| crates.io | data-encoding | 2.4.0 | 间接 |
| crates.io | derive_generic_visitor_macros | 0.3.0 | 间接 |
| crates.io | digest | 0.10.7 | 间接 |
| crates.io | displaydoc | 0.2.6 | 间接 |
| crates.io | dyn-clone | 1.0.20 | 间接 |
| crates.io | either | 1.15.0 | 间接 |
| crates.io | either | 1.9.0 | 间接 |
| crates.io | encode_unicode | 1.0.0 | 间接 |
| crates.io | equivalent | 1.0.1 | 间接 |
| crates.io | equivalent | 1.0.2 | 间接 |
| crates.io | errno | 0.3.13 | 间接 |
| crates.io | errno | 0.3.14 | 间接 |
| crates.io | ext-trait | 1.0.1 | 间接 |
| crates.io | ext-trait | 2.0.1 | 间接 |
| crates.io | ext-trait-proc_macros | 1.0.1 | 间接 |
| crates.io | ext-trait-proc_macros | 2.0.1 | 间接 |
| crates.io | extension-traits | — | 间接 |
| crates.io | extension-traits | 1.0.1 | 间接 |
| crates.io | extension-traits | 2.0.1 | 间接 |
| crates.io | fastrand | 2.3.0 | 间接 |
| crates.io | fastrand | 2.4.1 | 间接 |
| crates.io | filetime | 0.2.29 | 间接 |
| crates.io | find-msvc-tools | 0.1.7 | 间接 |
| crates.io | flate2 | — | 间接 |
| crates.io | flate2 | 1.1.9 | 间接 |
| crates.io | fnv | 1.0.7 | 间接 |
| crates.io | foldhash | 0.1.5 | 间接 |
| crates.io | form_urlencoded | 1.2.2 | 间接 |
| crates.io | futures | — | 间接 |
| crates.io | futures | 0.3.31 | 间接 |
| crates.io | futures-channel | 0.3.31 | 间接 |
| crates.io | futures-core | 0.3.31 | 间接 |
| crates.io | futures-core | 0.3.33 | 间接 |
| crates.io | futures-executor | 0.3.31 | 间接 |
| crates.io | futures-io | 0.3.31 | 间接 |
| crates.io | futures-macro | 0.3.31 | 间接 |
| crates.io | futures-sink | 0.3.31 | 间接 |
| crates.io | futures-task | 0.3.31 | 间接 |
| crates.io | futures-task | 0.3.33 | 间接 |
| crates.io | futures-util | 0.3.31 | 间接 |
| crates.io | futures-util | 0.3.33 | 间接 |
| crates.io | generic-array | 0.14.7 | 间接 |
| crates.io | getrandom | 0.2.10 | 间接 |
| crates.io | getrandom | 0.2.11 | 间接 |
| crates.io | getrandom | 0.2.16 | 间接 |
| crates.io | getrandom | 0.2.17 | 间接 |
| crates.io | getrandom | 0.3.3 | 间接 |
| crates.io | getrandom | 0.3.4 | 间接 |
| crates.io | getrandom | 0.4.2 | 间接 |
| crates.io | getrandom | 0.4.3 | 间接 |
| crates.io | hashbrown | 0.14.2 | 间接 |
| crates.io | hashbrown | 0.15.5 | 间接 |
| crates.io | hashbrown | 0.17.0 | 间接 |
| crates.io | heck | 0.5.0 | 间接 |
| crates.io | hermit-abi | 0.5.2 | 间接 |
| crates.io | hex | — | 间接 |
| crates.io | hex | 0.4.3 | 间接 |
| crates.io | home | 0.5.11 | 间接 |
| crates.io | http | 1.4.0 | 间接 |
| crates.io | http-body | 1.0.1 | 间接 |
| crates.io | http-body-util | 0.1.3 | 间接 |
| crates.io | httparse | 1.10.1 | 间接 |
| crates.io | httpdate | 1.0.3 | 间接 |
| crates.io | hyper | 1.8.1 | 间接 |
| crates.io | hyper-util | 0.1.19 | 间接 |
| crates.io | ic-cdk | — | 间接 |
| crates.io | ic-cdk | 0.10.0 | 间接 |
| crates.io | ic-cdk-macros | — | 间接 |
| crates.io | ic-cdk-macros | 0.7.1 | 间接 |
| crates.io | ic-cdk-macros | 0.8.1 | 间接 |
| crates.io | ic0 | 0.18.11 | 间接 |
| crates.io | icu_collections | 2.2.0 | 间接 |
| crates.io | icu_locale_core | 2.2.0 | 间接 |
| crates.io | icu_normalizer | 2.2.0 | 间接 |
| crates.io | icu_normalizer_data | 2.2.0 | 间接 |
| crates.io | icu_properties | 2.2.0 | 间接 |
| crates.io | icu_properties_data | 2.2.0 | 间接 |
| crates.io | icu_provider | 2.2.0 | 间接 |
| crates.io | id-arena | 2.3.0 | 间接 |
| crates.io | ident_case | 1.0.1 | 间接 |
| crates.io | idna | 1.1.0 | 间接 |
| crates.io | idna_adapter | 1.2.2 | 间接 |
| crates.io | indexmap | 2.1.0 | 间接 |
| crates.io | indexmap | 2.11.0 | 间接 |
| crates.io | indexmap | 2.14.0 | 间接 |
| crates.io | indicatif | — | 间接 |
| crates.io | indicatif | 0.18.3 | 间接 |
| crates.io | is-terminal | — | 间接 |
| crates.io | is-terminal | 0.4.16 | 间接 |
| crates.io | is_terminal_polyfill | 1.70.1 | 间接 |
| crates.io | itoa | 1.0.15 | 间接 |
| crates.io | itoa | 1.0.17 | 间接 |
| crates.io | itoa | 1.0.18 | 间接 |
| crates.io | itoa | 1.0.9 | 间接 |
| crates.io | jobserver | 0.1.32 | 间接 |
| crates.io | jobserver | 0.1.34 | 间接 |
| crates.io | js-sys | 0.3.103 | 间接 |
| crates.io | js-sys | 0.3.72 | 间接 |
| crates.io | js-sys | 0.3.77 | 间接 |
| crates.io | js-sys | 0.3.85 | 间接 |
| crates.io | js-sys | 0.3.95 | 间接 |
| crates.io | lazy_static | — | 间接 |
| crates.io | lazy_static | 1.4.0 | 间接 |
| crates.io | lazy_static | 1.5.0 | 间接 |
| crates.io | leb128 | 0.2.5 | 间接 |
| crates.io | leb128fmt | 0.1.0 | 间接 |
| crates.io | libc | 0.2.147 | 间接 |
| crates.io | libc | 0.2.150 | 间接 |
| crates.io | libc | 0.2.180 | 间接 |
| crates.io | libc | 0.2.186 | 间接 |
| crates.io | libc | 0.2.189 | 间接 |
| crates.io | libcrux-hacl | 0.0.2-pre.2 | 间接 |
| crates.io | libcrux-platform | 0.0.2-pre.2 | 间接 |
| crates.io | libjade-sys | 0.0.2-pre.2 | 间接 |
| crates.io | linux-raw-sys | 0.12.1 | 间接 |
| crates.io | linux-raw-sys | 0.4.15 | 间接 |
| crates.io | linux-raw-sys | 0.9.4 | 间接 |
| crates.io | litemap | 0.8.2 | 间接 |
| crates.io | lock_api | 0.4.13 | 间接 |
| crates.io | log | 0.4.22 | 间接 |
| crates.io | log | 0.4.27 | 间接 |
| crates.io | log | 0.4.29 | 间接 |
| crates.io | matchers | 0.1.0 | 间接 |
| crates.io | matchit | 0.8.4 | 间接 |
| crates.io | memchr | 2.6.4 | 间接 |
| crates.io | memchr | 2.7.5 | 间接 |
| crates.io | memchr | 2.7.6 | 间接 |
| crates.io | memchr | 2.8.0 | 间接 |
| crates.io | memchr | 2.8.3 | 间接 |
| crates.io | miette-derive | 7.6.0 | 间接 |
| crates.io | mime | 0.3.17 | 间接 |
| crates.io | miniz_oxide | 0.8.9 | 间接 |
| crates.io | mio | 1.1.1 | 间接 |
| crates.io | mutants | — | 间接 |
| crates.io | mutants | 0.0.3 | 间接 |
| crates.io | nu-ansi-term | 0.46.0 | 间接 |
| crates.io | num-bigint | — | 间接 |
| crates.io | num-bigint | 0.4.6 | 间接 |
| crates.io | num-bigint | 0.4.8 | 间接 |
| crates.io | num-integer | 0.1.46 | 间接 |
| crates.io | num-integer | 0.1.47 | 间接 |
| crates.io | num-traits | — | 间接 |
| crates.io | num-traits | 0.2.19 | 间接 |
| crates.io | num_cpus | — | 间接 |
| crates.io | num_cpus | 1.17.0 | 间接 |
| crates.io | num_enum | 0.6.1 | 间接 |
| crates.io | num_enum_derive | 0.6.1 | 间接 |
| crates.io | once_cell | 1.18.0 | 间接 |
| crates.io | once_cell | 1.21.3 | 间接 |
| crates.io | once_cell | 1.21.4 | 间接 |
| crates.io | once_cell_polyfill | 1.70.1 | 间接 |
| crates.io | openssl-probe | 0.2.1 | 间接 |
| crates.io | overload | 0.1.1 | 间接 |
| crates.io | parking_lot | 0.12.4 | 间接 |
| crates.io | parking_lot_core | 0.9.11 | 间接 |
| crates.io | percent-encoding | 2.3.2 | 间接 |
| crates.io | pest | — | 间接 |
| crates.io | pest | 2.8.5 | 间接 |
| crates.io | pest_derive | — | 间接 |
| crates.io | pest_derive | 2.8.5 | 间接 |
| crates.io | pest_generator | 2.8.5 | 间接 |
| crates.io | pest_meta | 2.8.5 | 间接 |
| crates.io | pin-project-lite | 0.2.16 | 间接 |
| crates.io | pin-project-lite | 0.2.17 | 间接 |
| crates.io | pin-utils | 0.1.0 | 间接 |
| crates.io | pkg-config | 0.3.32 | 间接 |
| crates.io | portable-atomic | 1.13.1 | 间接 |
| crates.io | potential_utf | 0.1.5 | 间接 |
| crates.io | ppv-lite86 | 0.2.20 | 间接 |
| crates.io | ppv-lite86 | 0.2.21 | 间接 |
| crates.io | prettyplease | — | 间接 |
| crates.io | prettyplease | 0.2.37 | 间接 |
| crates.io | proc-macro-crate | — | 间接 |
| crates.io | proc-macro-crate | 1.3.1 | 间接 |
| crates.io | proc-macro-crate | 3.3.0 | 间接 |
| crates.io | proc-macro-error | 1.0.4 | 间接 |
| crates.io | proc-macro-error-attr | 1.0.4 | 间接 |
| crates.io | proc-macro2-diagnostics | 0.10.1 | 间接 |
| crates.io | proptest | — | 间接 |
| crates.io | proptest | 1.11.0 | 间接 |
| crates.io | psm | 0.1.21 | 间接 |
| crates.io | psm | 0.1.26 | 间接 |
| crates.io | quick-error | 1.2.3 | 间接 |
| crates.io | r-efi | 5.3.0 | 间接 |
| crates.io | r-efi | 6.0.0 | 间接 |
| crates.io | rand | — | 间接 |
| crates.io | rand | 0.8.5 | 间接 |
| crates.io | rand | 0.8.6 | 间接 |
| crates.io | rand | 0.9.4 | 间接 |
| crates.io | rand_chacha | 0.3.1 | 间接 |
| crates.io | rand_chacha | 0.9.0 | 间接 |
| crates.io | rand_core | 0.6.4 | 间接 |
| crates.io | rand_core | 0.9.5 | 间接 |
| crates.io | rand_xorshift | 0.4.0 | 间接 |
| crates.io | redox_syscall | 0.5.17 | 间接 |
| crates.io | regex | 1.11.2 | 间接 |
| crates.io | regex-automata | 0.1.10 | 间接 |
| crates.io | regex-automata | 0.4.10 | 间接 |
| crates.io | regex-syntax | 0.6.29 | 间接 |
| crates.io | regex-syntax | 0.8.10 | 间接 |
| crates.io | regex-syntax | 0.8.6 | 间接 |
| crates.io | ring | 0.17.14 | 间接 |
| crates.io | rustix | 0.38.44 | 间接 |
| crates.io | rustix | 1.0.8 | 间接 |
| crates.io | rustix | 1.1.4 | 间接 |
| crates.io | rustls | — | 间接 |
| crates.io | rustls | 0.23.42 | 间接 |
| crates.io | rustls-native-certs | — | 间接 |
| crates.io | rustls-native-certs | 0.8.4 | 间接 |
| crates.io | rustls-pki-types | 1.15.0 | 间接 |
| crates.io | rustls-webpki | 0.103.13 | 间接 |
| crates.io | rustup-toolchain | — | 间接 |
| crates.io | rustup-toolchain | 0.1.10 | 间接 |
| crates.io | rustversion | 1.0.14 | 间接 |
| crates.io | rustversion | 1.0.22 | 间接 |
| crates.io | rustversion | 1.0.23 | 间接 |
| crates.io | rusty-fork | 0.3.1 | 间接 |
| crates.io | ryu | 1.0.15 | 间接 |
| crates.io | ryu | 1.0.20 | 间接 |
| crates.io | same-file | 1.0.6 | 间接 |
| crates.io | schannel | 0.1.29 | 间接 |
| crates.io | schemars_derive | 0.8.22 | 间接 |
| crates.io | scopeguard | 1.2.0 | 间接 |
| crates.io | security-framework | 3.7.0 | 间接 |
| crates.io | security-framework-sys | 2.17.0 | 间接 |
| crates.io | semver | 1.0.26 | 间接 |
| crates.io | semver | 1.0.28 | 间接 |
| crates.io | serde-jsonlines | — | 间接 |
| crates.io | serde-jsonlines | 0.5.0 | 间接 |
| crates.io | serde_bytes | 0.11.12 | 间接 |
| crates.io | serde_core | 1.0.228 | 间接 |
| crates.io | serde_core | 1.0.229 | 间接 |
| crates.io | serde_derive | 1.0.192 | 间接 |
| crates.io | serde_derive | 1.0.228 | 间接 |
| crates.io | serde_derive | 1.0.229 | 间接 |
| crates.io | serde_derive_internals | 0.29.1 | 间接 |
| crates.io | serde_path_to_error | 0.1.20 | 间接 |
| crates.io | serde_spanned | 0.6.9 | 间接 |
| crates.io | serde_tokenstream | 0.1.7 | 间接 |
| crates.io | serde_urlencoded | 0.7.1 | 间接 |
| crates.io | sha2 | — | 间接 |
| crates.io | sha2 | 0.10.8 | 间接 |
| crates.io | sha2 | 0.10.9 | 间接 |
| crates.io | sharded-slab | 0.1.7 | 间接 |
| crates.io | shlex | — | 间接 |
| crates.io | shlex | 1.3.0 | 间接 |
| crates.io | signal-hook-registry | 1.4.6 | 间接 |
| crates.io | simd-adler32 | 0.3.10 | 间接 |
| crates.io | slab | 0.4.12 | 间接 |
| crates.io | smallvec | 1.15.1 | 间接 |
| crates.io | socket2 | 0.6.2 | 间接 |
| crates.io | stable_deref_trait | 1.2.1 | 间接 |
| crates.io | stacker | 0.1.15 | 间接 |
| crates.io | stacker | 0.1.21 | 间接 |
| crates.io | strsim | 0.11.1 | 间接 |
| crates.io | subtle | 2.6.1 | 间接 |
| crates.io | sync_wrapper | 1.0.2 | 间接 |
| crates.io | synstructure | 0.13.2 | 间接 |
| crates.io | tar | — | 间接 |
| crates.io | tar | 0.4.46 | 间接 |
| crates.io | tempfile | — | 间接 |
| crates.io | tempfile | 3.21.0 | 间接 |
| crates.io | tempfile | 3.27.0 | 间接 |
| crates.io | termcolor | 1.4.0 | 间接 |
| crates.io | thiserror | 1.0.50 | 间接 |
| crates.io | thiserror | 1.0.69 | 间接 |
| crates.io | thiserror | 2.0.16 | 间接 |
| crates.io | thiserror-impl | 1.0.50 | 间接 |
| crates.io | thiserror-impl | 1.0.69 | 间接 |
| crates.io | thiserror-impl | 2.0.16 | 间接 |
| crates.io | thread_local | 1.1.9 | 间接 |
| crates.io | tiny_http | — | 间接 |
| crates.io | tiny_http | 0.12.0 | 间接 |
| crates.io | tinystr | 0.8.3 | 间接 |
| crates.io | tokio-macros | 2.6.0 | 间接 |
| crates.io | toml | — | 间接 |
| crates.io | toml | 0.8.23 | 间接 |
| crates.io | toml_datetime | 0.6.11 | 间接 |
| crates.io | toml_datetime | 0.6.5 | 间接 |
| crates.io | toml_edit | — | 间接 |
| crates.io | toml_edit | 0.19.15 | 间接 |
| crates.io | toml_edit | 0.22.27 | 间接 |
| crates.io | toml_write | 0.1.2 | 间接 |
| crates.io | tower | 0.5.2 | 间接 |
| crates.io | tower-layer | 0.3.3 | 间接 |
| crates.io | tower-service | 0.3.3 | 间接 |
| crates.io | tracing-attributes | 0.1.30 | 间接 |
| crates.io | tracing-core | 0.1.34 | 间接 |
| crates.io | tracing-log | 0.1.4 | 间接 |
| crates.io | tracing-log | 0.2.0 | 间接 |
| crates.io | tracing-subscriber | 0.3.19 | 间接 |
| crates.io | tracing-tree | 0.2.5 | 间接 |
| crates.io | typed-arena | 2.0.2 | 间接 |
| crates.io | typenum | 1.17.0 | 间接 |
| crates.io | typenum | 1.19.0 | 间接 |
| crates.io | ucd-trie | 0.1.7 | 间接 |
| crates.io | unarray | 0.1.4 | 间接 |
| crates.io | unicode-ident | 1.0.11 | 间接 |
| crates.io | unicode-ident | 1.0.12 | 间接 |
| crates.io | unicode-ident | 1.0.18 | 间接 |
| crates.io | unicode-ident | 1.0.22 | 间接 |
| crates.io | unicode-ident | 1.0.24 | 间接 |
| crates.io | unicode-segmentation | 1.12.0 | 间接 |
| crates.io | unicode-width | 0.1.11 | 间接 |
| crates.io | unicode-width | 0.1.14 | 间接 |
| crates.io | unicode-width | 0.2.1 | 间接 |
| crates.io | unicode-xid | 0.2.6 | 间接 |
| crates.io | unit-prefix | 0.5.2 | 间接 |
| crates.io | untrusted | 0.9.0 | 间接 |
| crates.io | ureq | — | 间接 |
| crates.io | ureq | 2.12.1 | 间接 |
| crates.io | url | 2.5.8 | 间接 |
| crates.io | utf8_iter | 1.0.4 | 间接 |
| crates.io | utf8parse | 0.2.2 | 间接 |
| crates.io | uuid | — | 间接 |
| crates.io | uuid | 1.18.0 | 间接 |
| crates.io | uuid | 1.19.0 | 间接 |
| crates.io | uuid | 1.23.1 | 间接 |
| crates.io | uuid | 1.24.0 | 间接 |
| crates.io | uuid | 1.4.1 | 间接 |
| crates.io | uuid | 1.5.0 | 间接 |
| crates.io | valuable | 0.1.1 | 间接 |
| crates.io | version_check | — | 间接 |
| crates.io | version_check | 0.9.4 | 间接 |
| crates.io | version_check | 0.9.5 | 间接 |
| crates.io | wait-timeout | 0.2.1 | 间接 |
| crates.io | walkdir | — | 间接 |
| crates.io | walkdir | 2.5.0 | 间接 |
| crates.io | wasi | 0.11.0+wasi-snapshot-preview1 | 间接 |
| crates.io | wasi | 0.11.1+wasi-snapshot-preview1 | 间接 |
| crates.io | wasi | 0.14.2+wasi-0.2.4 | 间接 |
| crates.io | wasip2 | 1.0.1+wasi-0.2.4 | 间接 |
| crates.io | wasip2 | 1.0.3+wasi-0.2.9 | 间接 |
| crates.io | wasip3 | 0.4.0+wasi-0.3.0-rc-2026-01-06 | 间接 |
| crates.io | wasm-bindgen | 0.2.100 | 间接 |
| crates.io | wasm-bindgen | 0.2.108 | 间接 |
| crates.io | wasm-bindgen | 0.2.118 | 间接 |
| crates.io | wasm-bindgen | 0.2.126 | 间接 |
| crates.io | wasm-bindgen | 0.2.95 | 间接 |
| crates.io | wasm-bindgen-backend | 0.2.100 | 间接 |
| crates.io | wasm-bindgen-backend | 0.2.95 | 间接 |
| crates.io | wasm-bindgen-macro | 0.2.100 | 间接 |
| crates.io | wasm-bindgen-macro | 0.2.108 | 间接 |
| crates.io | wasm-bindgen-macro | 0.2.118 | 间接 |
| crates.io | wasm-bindgen-macro | 0.2.126 | 间接 |
| crates.io | wasm-bindgen-macro | 0.2.95 | 间接 |
| crates.io | wasm-bindgen-macro-support | 0.2.100 | 间接 |
| crates.io | wasm-bindgen-macro-support | 0.2.108 | 间接 |
| crates.io | wasm-bindgen-macro-support | 0.2.118 | 间接 |
| crates.io | wasm-bindgen-macro-support | 0.2.126 | 间接 |
| crates.io | wasm-bindgen-macro-support | 0.2.95 | 间接 |
| crates.io | wasm-bindgen-shared | 0.2.100 | 间接 |
| crates.io | wasm-bindgen-shared | 0.2.108 | 间接 |
| crates.io | wasm-bindgen-shared | 0.2.118 | 间接 |
| crates.io | wasm-bindgen-shared | 0.2.126 | 间接 |
| crates.io | wasm-bindgen-shared | 0.2.95 | 间接 |
| crates.io | wasm-encoder | 0.244.0 | 间接 |
| crates.io | wasm-metadata | 0.244.0 | 间接 |
| crates.io | wasmparser | 0.244.0 | 间接 |
| crates.io | web-time | 1.1.0 | 间接 |
| crates.io | webpki-roots | — | 间接 |
| crates.io | webpki-roots | 0.26.11 | 间接 |
| crates.io | webpki-roots | 1.0.8 | 间接 |
| crates.io | which | 4.4.2 | 间接 |
| crates.io | winapi | 0.3.9 | 间接 |
| crates.io | winapi-i686-pc-windows-gnu | 0.4.0 | 间接 |
| crates.io | winapi-util | 0.1.11 | 间接 |
| crates.io | winapi-util | 0.1.6 | 间接 |
| crates.io | winapi-x86_64-pc-windows-gnu | 0.4.0 | 间接 |
| crates.io | windows-link | 0.1.3 | 间接 |
| crates.io | windows-link | 0.2.1 | 间接 |
| crates.io | windows-sys | 0.52.0 | 间接 |
| crates.io | windows-sys | 0.59.0 | 间接 |
| crates.io | windows-sys | 0.60.2 | 间接 |
| crates.io | windows-sys | 0.61.2 | 间接 |
| crates.io | windows-targets | 0.52.6 | 间接 |
| crates.io | windows-targets | 0.53.3 | 间接 |
| crates.io | windows_aarch64_gnullvm | 0.52.6 | 间接 |
| crates.io | windows_aarch64_gnullvm | 0.53.0 | 间接 |
| crates.io | windows_aarch64_msvc | 0.52.6 | 间接 |
| crates.io | windows_aarch64_msvc | 0.53.0 | 间接 |
| crates.io | windows_i686_gnu | 0.52.6 | 间接 |
| crates.io | windows_i686_gnu | 0.53.0 | 间接 |
| crates.io | windows_i686_gnullvm | 0.52.6 | 间接 |
| crates.io | windows_i686_gnullvm | 0.53.0 | 间接 |
| crates.io | windows_i686_msvc | 0.52.6 | 间接 |
| crates.io | windows_i686_msvc | 0.53.0 | 间接 |
| crates.io | windows_x86_64_gnu | 0.52.6 | 间接 |
| crates.io | windows_x86_64_gnu | 0.53.0 | 间接 |
| crates.io | windows_x86_64_gnullvm | 0.52.6 | 间接 |
| crates.io | windows_x86_64_gnullvm | 0.53.0 | 间接 |
| crates.io | windows_x86_64_msvc | 0.52.6 | 间接 |
| crates.io | windows_x86_64_msvc | 0.53.0 | 间接 |
| crates.io | winnow | 0.5.19 | 间接 |
| crates.io | winnow | 0.7.13 | 间接 |
| crates.io | wit-bindgen | 0.46.0 | 间接 |
| crates.io | wit-bindgen | 0.51.0 | 间接 |
| crates.io | wit-bindgen | 0.57.1 | 间接 |
| crates.io | wit-bindgen-core | 0.51.0 | 间接 |
| crates.io | wit-bindgen-rt | 0.39.0 | 间接 |
| crates.io | wit-bindgen-rust | 0.51.0 | 间接 |
| crates.io | wit-bindgen-rust-macro | 0.51.0 | 间接 |
| crates.io | wit-component | 0.244.0 | 间接 |
| crates.io | wit-parser | 0.244.0 | 间接 |
| crates.io | writeable | 0.6.3 | 间接 |
| crates.io | xattr | 1.6.1 | 间接 |
| crates.io | yoke | 0.8.3 | 间接 |
| crates.io | yoke-derive | 0.8.2 | 间接 |
| crates.io | zerocopy | 0.7.35 | 间接 |
| crates.io | zerocopy | 0.8.26 | 间接 |
| crates.io | zerocopy | 0.8.33 | 间接 |
| crates.io | zerocopy | 0.8.48 | 间接 |
| crates.io | zerocopy-derive | 0.7.35 | 间接 |
| crates.io | zerocopy-derive | 0.8.26 | 间接 |
| crates.io | zerocopy-derive | 0.8.33 | 间接 |
| crates.io | zerocopy-derive | 0.8.48 | 间接 |
| crates.io | zerofrom | 0.1.8 | 间接 |
| crates.io | zerofrom-derive | 0.1.7 | 间接 |
| crates.io | zeroize | 1.9.0 | 间接 |
| crates.io | zerotrie | 0.2.4 | 间接 |
| crates.io | zerovec | 0.11.6 | 间接 |
| crates.io | zerovec-derive | 0.11.3 | 间接 |
| crates.io | zmij | 1.0.14 | 间接 |
| crates.io | zmij | 1.0.21 | 间接 |
| crates.io | zmij | 1.0.23 | 间接 |
| crates.io | zstd-safe | 7.2.4 | 间接 |
| crates.io | zstd-sys | 2.0.15+zstd.1.5.7 | 间接 |
| npm | @playwright/test | 1.56.1 | 间接 |
| npm | ansi-styles | 4.3.0 | 间接 |
| npm | async | 3.2.6 | 间接 |
| npm | basic-auth | 2.0.1 | 间接 |
| npm | call-bind-apply-helpers | 1.0.2 | 间接 |
| npm | call-bound | 1.0.4 | 间接 |
| npm | chalk | 4.1.2 | 间接 |
| npm | color-convert | 2.0.1 | 间接 |
| npm | color-name | 1.1.4 | 间接 |
| npm | corser | 2.0.1 | 间接 |
| npm | debug | 4.4.3 | 间接 |
| npm | dunder-proto | 1.0.1 | 间接 |
| npm | es-define-property | 1.0.1 | 间接 |
| npm | es-errors | 1.3.0 | 间接 |
| npm | es-object-atoms | 1.1.1 | 间接 |
| npm | eventemitter3 | 4.0.7 | 间接 |
| npm | follow-redirects | 1.16.0 | 间接 |
| npm | fsevents | 2.3.2 | 间接 |
| npm | function-bind | 1.1.2 | 间接 |
| npm | get-intrinsic | 1.3.0 | 间接 |
| npm | get-proto | 1.0.1 | 间接 |
| npm | gopd | 1.2.0 | 间接 |
| npm | has-flag | 4.0.0 | 间接 |
| npm | has-symbols | 1.1.0 | 间接 |
| npm | hasown | 2.0.2 | 间接 |
| npm | he | 1.2.0 | 间接 |
| npm | html-encoding-sniffer | 3.0.0 | 间接 |
| npm | http-proxy | 1.18.1 | 间接 |
| npm | http-server | 14.1.1 | 间接 |
| npm | iconv-lite | 0.6.3 | 间接 |
| npm | math-intrinsics | 1.1.0 | 间接 |
| npm | mime | 1.6.0 | 间接 |
| npm | minimist | 1.2.8 | 间接 |
| npm | ms | 2.1.3 | 间接 |
| npm | object-inspect | 1.13.4 | 间接 |
| npm | opener | 1.5.2 | 间接 |
| npm | playwright | 1.56.1 | 间接 |
| npm | playwright-core | 1.56.1 | 间接 |
| npm | portfinder | 1.0.38 | 间接 |
| npm | qs | 6.15.2 | 间接 |
| npm | requires-port | 1.0.0 | 间接 |
| npm | safe-buffer | 5.1.2 | 间接 |
| npm | safer-buffer | 2.1.2 | 间接 |
| npm | secure-compare | 3.0.1 | 间接 |
| npm | side-channel | 1.1.0 | 间接 |
| npm | side-channel-list | 1.0.0 | 间接 |
| npm | side-channel-map | 1.0.1 | 间接 |
| npm | side-channel-weakmap | 1.0.2 | 间接 |
| npm | supports-color | 7.2.0 | 间接 |
| npm | union | 0.5.0 | 间接 |
| npm | url-join | 4.0.1 | 间接 |
| npm | whatwg-encoding | 2.0.0 | 间接 |
依赖安全公告 0
安装 crates:hax-lib@0.4.0 会引入 21 个包（直接与传递）：其中 0 个存在已知公告，0 个为直接依赖。
没有已知公告影响已评估的依赖。
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
反馈
发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。