Sözleşme araçları

SP1 (Succinct)

ZK devreleri ve gizlilik

Doğrulama · Ölçeklenebilirlik · Katman 2

succinctlabs/sp1 https://crates.io/crates/sp1-primitives

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.

İ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.