Contract tooling

Halo2

ZK circuits & privacy

Gizlilik odaklı · Ölçeklenebilirlik · Geliştirici deneyimi · Doğrulama

privacy-scaling-explorations/halo2(250 ☆)

PSE'nin Zcash'in Halo2 PLONK kanıt sisteminin yeniden mimarilendirilmiş çatallanması; ekonomik L1 doğrulaması için Solidity doğrulayıcılı bir KZG arka ucu, çoklu eliptik eğriler için destek ve ayrıştırılmış ön uç/arka uç mimarisi içerir.

Related resources

ZK Email

ZK Email, sansürlenmiş e-posta dökümleri hakkındaki gerçekleri zincir içi kanıtlamak için devreler ve SDK'lar sağlar. Gelen kutularını ifşa etmeden gizliliği koruyan kimlik veya makbuz kontrolleri istediğinizde kullanışlıdır.

Railgun

Railgun, sıfır bilgi ispatları ile korumalı işlemler ve gizli DeFi etkileşimleri sağlayan Ethereum ve EVM ağları için bir gizlilik protokolüdür.

snarkjs

snarkjs, zkSNARK kanıtları oluşturmak ve doğrulamak ve Node.js ile tarayıcıda yaygın kanıtlama iş akışlarını çalıştırmak için bir JavaScript ve CLI araç setidir.

Noir

Noir, Aztec tarafından sürdürülen geliştirici dostu bir sözdizimi ve araçlarla sıfır bilgi devreleri yazmak için Rust'tan ilham alan bir dildir.

Circom

Circom, sıfır bilgi ispatı sistemlerinde kullanılan aritmetik devreleri yazmak ve derlemek için alana özgü bir dil ve derleyicidir.

Aztec

Aztec, programlanabilir gizlilik ve sıfır bilgi ispatları ile uygulamalar oluşturmak için gizlilik odaklı bir Ethereum Rollup'ı ve geliştirici platformudur.