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

ZK-Kit

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

Ориентированность на приватность · SDK · Деревья Меркла · Шифрование

Веб-сайт privacy-scaling-explorations/zk-kit

Монорепозиторий повторно используемых библиотек с нулевым разглашением на нескольких языках (JavaScript, Solidity, Rust, Noir), предлагающий хорошо протестированные реализации криптографических примитивов, таких как деревья Меркла, хеш Poseidon и многое другое.

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

ZK Email

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

zkTLS/ TLSNotary

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

ZKPassport

Приватная верификация личности с использованием доказательств с нулевым разглашением. Подтверждайте возраст, страну или доказательство человечности (proof of personhood), не раскрывая никакой личной информации. Дизайн, ориентированный на мобильные устройства (mobile-first), с SDK для интеграции и ончейн-контрактами реестра.

Self Protocol

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

Circom

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

snarkjs

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