Contract tooling

Verifiable UBT

ZK circuits & privacy

Ориентированность на приватность · Верификация

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

Генерирует рекурсивные доказательства zkVM, проверяющие, что обновления состояния Unified Binary Trie (UBT) и префиксного дерева Меркла-Патриции совпадают для каждого блока Эфириума. Обеспечивает не требующую доверия верификацию состояния для легких клиентов и приватное извлечение информации.

Related resources

ZK Email

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

Railgun

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

snarkjs

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

Noir

Noir — это вдохновленный Rust язык для написания схем с нулевым разглашением с удобным для разработчиков синтаксисом и инструментами, поддерживаемыми Aztec.

Circom

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

Aztec

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