← 返回专题广场
zksnarks
2 个项目 · ⭐ 9.3k1
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust
⭐ 4.8k
⑂ 717
GPL-3.0
· 3 天前推送
3 天前
最近推送
2
A Decentralized Operating System for ZK Applications
Rust
⭐ 4.5k
⑂ 2.7k
Apache-2.0
· 1 天前推送
1 天前
最近推送