跳至主要內容
合約工具
已封存

Halo2

ZK 電路與隱私

在 GitHub 上查看 (在新分頁開啟)

查看下一個

p0tion

關於 Halo2

PSE 重新架構的 Zcash Halo2 PLONK 證明系統分叉，具有帶有 Solidity 驗證者的 KZG 後端，可實現經濟的第一層 (L1) 驗證，支援多個橢圓曲線，並採用解耦的前端/後端架構。

標籤

  • 注重隱私
  • 擴展性
  • 開發者體驗
  • 驗證

儲存庫privacy-scaling-explorations

資訊

類型
ZK 電路與隱私
GitHub 星數
250
資訊審查日期
2026年7月

類似工具

ZK Email

ZK Email

ZK Email 提供電路和 SDK，用於在鏈上證明關於已編輯電子郵件副本的事實。當您想要在不洩露收件匣內容的情況下進行保護隱私的身分或收據檢查時，這非常有用。

SP1 (Succinct)

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.

Circom

Circom

Circom 是一種領域特定語言和編譯器，用於編寫和編譯零知識證明系統中使用的算術電路。