Инструменты для контрактов

gnark-crypto

ZK-схемы и приватность

Верификация

gnark-crypto provides elliptic curve and pairing cryptography for BN, BLS12, BLS24, and BW6 curves, and it is the backend of the gnark SNARK library. Go builders import it directly for curve and pairing math.

Связанные ресурсы

ZK Email

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

Self Protocol

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

zkTLS/ TLSNotary

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

Circom

Circom — это предметно-ориентированный язык и компилятор для написания и компиляции арифметических схем, используемых в системах доказательств с нулевым разглашением.

snarkjs

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

Semaphore

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