Sözleşme araçları

Circom

ZK devreleri ve gizlilik

Derleyici · CLI · Gizlilik odaklı

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

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

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.

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.

arkworks algebra

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

Plonky3

Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.

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.