主題 · zkp

zkp

標記 zkp 主題、收錄中的開源專案，依星數排序。

專案數

總星數

13,014

平均星數

1,301

佔比

0.00%

常跟 zkp 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 zkp 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
namada ↗@namada-netRust
Namada 的 Rust 實作，這是一個用於跨鏈資產無關隱私的 Proof-of-Stake L1
★ 2,513-1近 7 天星數變化
#2
WTF-zk ↗@WTFAcademyJupyter Notebook
零知識證明入門教程。Comprehensive Zero-Knowledge Proofs Tutorial。#zk #WIP
★ 2,134-1近 7 天星數變化
#3
cairo ↗@starkware-libsRust
Cairo 是第一個用於為通用計算建立可證明程式的圖靈完備語言。
★ 1,904+2近 7 天星數變化
#4
gnark ↗@Consensys-IncorporatedGo
gnark 是一個快速的 zk-SNARK 函式庫，提供高階 API 來設計電路。該函式庫為開源，並在 Apache 2.0 授權下開發
★ 1,731+1近 7 天星數變化
#5
snarkVM ↗@ProvableHQRust
用於去中心化隱私運算 (DPC) 的 zkVM。
★ 1,163+0近 7 天星數變化
#6
jolt ↗@a16zRust
最簡單且最具擴充性的 zkVM。由 a16z crypto 及其夥伴打造，快速且完全開源。⚡
★ 1,022+2近 7 天星數變化
#7
firo ↗@firoorgC++
注重隱私的加密貨幣
★ 796+1近 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) 是一種用於編寫可驗證程式的程式語言，其中一方可以向另一方證明某項計算已正確執行，而無需該方重新執行相同的程式。
★ 585+0近 7 天星數變化
#10
ovo ↗@qntxRust
可編譯的 Agent 行為
★ 568+1近 7 天星數變化

← 返回主題列表

相關主題

近期新秀