Мы только что выпустили примеры Solana Noir — ZK схемы в Noir с проверкой в цепочке на Solana 🧵

Noir — это язык для написания нулевых знаний. Синтаксис, похожий на Rust, не требуется степень доктора философии в области криптографии. Sunspot (от @reilabs_io) компилирует цепочки Noir в Groth16 и генерирует программы проверки для Solana. Noir это пишет. Sunspot это разворачивает. Solana это проверяет.

Три схемы, увеличивающаяся сложность: → одна — Простое утверждение (начните здесь) → verify_signer — Проверка подписи ECDSA → smt_exclusion — Доказательство исключения из черного списка разреженного дерева Меркла

Каждая схема следует одному и тому же рабочему процессу: просто compile-smt # Noir → ACIR просто prove-smt # Sunspot → доказательство Groth16 просто verify-smt # Верификация в цепочке Каждый из них включает совместимый с Kit клиент на TypeScript. Клонируйте, добавьте ключевую пару, запустите.