主题 · zkp

zkp

标记 zkp 主题、收录中的开源项目，按星标数排序。

项目数

10

总星标数

13,014

平均星标数

1,301

占比

0.00%

常跟 zkp 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 zkp 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
namada ↗@namada-netRust
Namada 的 Rust 实现，这是一个用于跨链资产无关隐私的 Proof-of-Stake L1
★ 2,513+0近 7 天星标变化
#2
WTF-zk ↗@WTFAcademyJupyter Notebook
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial。#zk #WIP
★ 2,134+0近 7 天星标变化
#3
cairo ↗@starkware-libsRust
Cairo 是第一个用于为通用计算创建可证明程序的图灵完备语言。
★ 1,904+0近 7 天星标变化
#4
gnark ↗@Consensys-IncorporatedGo
gnark 是一个快速的 zk-SNARK 库，提供高级 API 来设计电路。该库为开源，并在 Apache 2.0 许可证下开发
★ 1,731+0近 7 天星标变化
#5
snarkVM ↗@ProvableHQRust
用于去中心化隐私计算 (DPC) 的 zkVM。
★ 1,163+0近 7 天星标变化
#6
jolt ↗@a16zRust
最简单且最具扩展性的 zkVM。由 a16z crypto 及其伙伴打造，快速且完全开源。⚡
★ 1,022+1近 7 天星标变化
#7
firo ↗@firoorgC++
注重隐私的加密货币
★ 796+2近 7 天星标变化
#8
gnark-crypto ↗@Consensys-IncorporatedGo
gnark-crypto 提供基于 BN、BLS12、BLS24 与 BW6 曲线的椭圆曲线与配对密码学，并提供对零知识证明系统特别重要的各类算法（代数、密码学）。
★ 601+0近 7 天星标变化
#9
cairo-vm ↗@starkware-libsRust
cairo-vm 是 Cairo VM 的 Rust 实现。Cairo (CPU Algebraic Intermediate Representation) 是一种用于编写可验证程序的编程语言，其中一方可以向另一方证明某项计算已正确执行，而无需该方重新执行相同的程序。
★ 586-1近 7 天星标变化
#10
ovo ↗@qntxRust
可编译的 Agent 行为
★ 568+1近 7 天星标变化

← 返回主题列表