合約工具MoproZK 電路與隱私注重隱私 · SDK網站 (在新分頁開啟)社群 (在新分頁開啟)zkmopro/mopro(243 ☆) (在新分頁開啟)一個讓行動裝置上的客戶端零知識證明變得簡單的工具包。連接 ZK 證明系統（Halo2、Circom）以產生 iOS、Android 和瀏覽器綁定，並利用行動 GPU 來提高效能。相關資源ZK EmailZK Email 提供電路和 SDK，用於在鏈上證明關於已編輯電子郵件副本的事實。當您想要在不洩露收件匣內容的情況下進行保護隱私的身分或收據檢查時，這非常有用。SP1 (Succinct)SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.snarkjssnarkjs 是一個 JavaScript 和 CLI 工具包，用於產生和驗證 zkSNARK 證明，以及在 Node.js 和瀏覽器中執行常見的證明工作流程。CircomCircom 是一種領域特定語言和編譯器，用於編寫和編譯零知識證明系統中使用的算術電路。arkworks algebraarkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.Plonky3Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.
