目录标签

#stark

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

6 条记录

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

crates.io · npm

82良好健康指数

STARK-based virtual machine

Rust★ 757↓ 156.6K/月2026年7月13日

Apache-2.02026年7月13日 · 指标 1.13.0

crates.io · npm

80良好健康指数

STARK-based virtual machine

Rust★ 7572026年7月17日

Apache-2.02026年7月17日 · 指标 1.13.0

crates.io · npm

76良好健康指数

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

C++ · Rust · Cuda★ 2,166↓ 108.4K/月2026年7月17日

Apache-2.02026年7月17日 · 指标 1.13.0

crates.io

68中等健康指数

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Rust★ 1162026年7月21日

Apache-2.02026年7月21日 · 指标 1.13.0

crates.io

68中等健康指数

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Rust★ 1162026年7月15日

Apache-2.02026年7月15日 · 指标 1.13.0

crates.io

67中等健康指数

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Rust · Cairo★ 2812026年7月19日

无许可证2026年7月19日 · 指标 1.13.0