arkworks algebra

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

Self Protocol надає відкриті примітиви ідентичності та доведень, які будівельники можуть вбудовувати, коли їм потрібні процеси верифікації зі збереженням приватності, прив'язані до гаманців або облікових даних.

zkTLS / TLSNotary — це відкритий протокол для доведення властивостей TLS-сесій за допомогою MPC, щоб верифікатори могли довіряти транскриптам, не бачачи повного відкритого тексту.

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

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

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