合約工具MACIZK 電路與隱私注重隱私 · 治理 · 擴展性網站 (在新分頁開啟)社群 (在新分頁開啟)privacy-scaling-explorations/maci(597 ☆) (在新分頁開啟)MACI (Minimal Anti-Collusion Infrastructure) 使用零知識證明在以太坊上實現抗共謀、私密的投票和信號系統。相關資源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.
