Sözleşme araçları

snark-verifier (Axiom)

ZK devreleri ve gizlilik

Doğrulama · Solidity · Gaz optimizasyonu

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

İlgili kaynaklar

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.

Self Protocol

Self Protocol, oluşturucuların cüzdanlara veya kimlik bilgilerine bağlı gizliliği koruyan doğrulama akışlarına ihtiyaç duyduklarında yerleştirebilecekleri açık kimlik ve kanıt ilkelleri sağlar.

zkTLS/ TLSNotary

zkTLS / TLSNotary, doğrulayıcıların tam düz metni görmeden dökümlere güvenebilmesi için MPC ile TLS oturumlarının özelliklerini kanıtlamaya yönelik açık bir protokoldür.

Circom

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

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.

Semaphore

Semaphore, kimliği ifşa etmeden anonim sinyalizasyon ve kimlik doğrulamayı sağlayan, gizli grup üyeliği kanıtları için bir sıfır bilgi protokolüdür.