Halo2

ZK Email надає схеми та SDK для доведення фактів про відредаговані транскрипти електронних листів ончейн. Корисно, коли вам потрібна перевірка особи або квитанцій зі збереженням приватності без розкриття вмісту поштових скриньок.

Railgun — це протокол приватності для Етеріуму та EVM-мереж, який забезпечує захищені транзакції та приватні взаємодії в децентралізованих фінансах (DeFi) за допомогою доведень з нульовим розголошенням.

snarkjs — це набір інструментів JavaScript та CLI для генерації та перевірки доведень zkSNARK, а також для запуску типових робочих процесів доведення в Node.js та браузері.

Noir — це натхненна Rust мова для написання схем з нульовим розголошенням із зручним для розробників синтаксисом та інструментами, що підтримуються Aztec.

Circom — це предметно-орієнтована мова та компілятор для написання та компіляції арифметичних схем, що використовуються в системах доведення з нульовим розголошенням.

Aztec — це орієнтований на приватність ролап Етеріуму та платформа для розробників для створення застосунків із програмованою приватністю та доведеннями з нульовим розголошенням.