Lompat ke konten utama
Peralatan kontrak
Diarsipkan

Halo2

Sirkuit ZK & privasi

Lihat di GitHub (buka di tab baru)

Lihat selanjutnya

p0tion

Tentang Halo2

Percabangan yang diarsiteki ulang oleh PSE dari sistem bukti Halo2 PLONK Zcash, menampilkan backend KZG dengan pemverifikasi Solidity untuk verifikasi L1 yang ekonomis, dukungan untuk beberapa kurva eliptik, dan arsitektur frontend/backend yang dipisahkan.

Tag

  • Berfokus pada privasi
  • Skalabilitas
  • Pengalaman pengembang
  • Verifikasi

Repositoriprivacy-scaling-explorations

Info

Tipe
Sirkuit ZK & privasi
Bintang GitHub
250
Pencantuman ditinjau
Juli 2026

Alat serupa

ZK Email

ZK Email

ZK Email menyediakan sirkuit dan SDK untuk membuktikan fakta tentang transkrip email yang disunting secara onchain. Berguna saat Anda menginginkan identitas yang menjaga privasi atau pemeriksaan tanda terima tanpa mengekspos kotak masuk.

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 adalah bahasa khusus domain dan kompiler untuk menulis dan mengkompilasi sirkuit aritmatika yang digunakan dalam sistem bukti tanpa pengetahuan (ZKP).