目录标签

#prover

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

4 条记录

标签为“prover”按健康指数排序

crates.io · npm

96卓越健康指数

0xMiden/miden-vm

STARK-based virtual machine

Rust★ 768↓ 171K/月2026年8月22日

Apache-2.02026年8月22日 · 指标 2.10.0

crates.io · npm

94卓越健康指数

0xMiden/protocol

Core components of the Miden protocol

Rust★ 127↓ 46.3K/月2026年7月26日

MIT2026年7月26日 · 指标 2.10.0

npm · Go · crates.io

87优秀健康指数

unionlabs/union

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Rust★ 73.9K↓ 120/月2026年8月4日

Apache-2.02026年8月4日 · 指标 2.10.0

PyPI · crates.io

67良好健康指数

corpus-core/colibri-stateless

the c4 monorepo

C · HTML★ 29↓ 1,798/月2026年8月20日

MIT2026年8月20日 · 指标 2.10.0