Описание услуги
Разрабатываю промышленные zero-knowledge схемы и доказательства на Noir — ZK-языке от Aztec с синтаксисом в духе Rust. Noir позволяет описывать приватную логику чистым и читаемым кодом, оставаясь независимым от бэкенда: схема компилируется в ACIR (Abstract Circuit Intermediate Representation) и может работать с разными системами доказательств, включая Barretenberg для доказательств UltraHonk и UltraPlonk.
Что вы получаете:
— Индивидуальные схемы на Noir для идентификации, доказательств принадлежности к множеству, приватного голосования, проверки учётных данных, миксеров и конфиденциальных переводов.
— Эффективное проектирование ограничений, снижающее число гейтов и время генерации доказательства.
— Переиспользуемые библиотеки и модули на Noir с понятными интерфейсами, юнит-тестами через nargo и документированными публичными и приватными входами.
— Интеграцию верификатора: генерацию Solidity- или контрактных верификаторов для проверки доказательств on-chain, а также off-chain генерацию доказательств.
— Доказательства включения по дереву Меркла, хеш-обязательства (Pedersen, Poseidon, Keccak), проверки диапазонов и проверку подписи внутри схемы.
— Полную сборку с JavaScript- или TypeScript-слоем (Node или браузер) для формирования witness и генерации доказательств.
Процесс: отталкиваюсь от вашего требования к приватности, определяю публичные и приватные входы, моделирую ограничения и дорабатываю схему по надёжности и производительности. Каждая схема поставляется с набором тестов, описанием допущений о доверии и инструкцией по доказательству и верификации.
Опишите задачу — оценю стоимость по ограничениям и предложу самое чистое решение на Noir.
Что вы получаете:
— Индивидуальные схемы на Noir для идентификации, доказательств принадлежности к множеству, приватного голосования, проверки учётных данных, миксеров и конфиденциальных переводов.
— Эффективное проектирование ограничений, снижающее число гейтов и время генерации доказательства.
— Переиспользуемые библиотеки и модули на Noir с понятными интерфейсами, юнит-тестами через nargo и документированными публичными и приватными входами.
— Интеграцию верификатора: генерацию Solidity- или контрактных верификаторов для проверки доказательств on-chain, а также off-chain генерацию доказательств.
— Доказательства включения по дереву Меркла, хеш-обязательства (Pedersen, Poseidon, Keccak), проверки диапазонов и проверку подписи внутри схемы.
— Полную сборку с JavaScript- или TypeScript-слоем (Node или браузер) для формирования witness и генерации доказательств.
Процесс: отталкиваюсь от вашего требования к приватности, определяю публичные и приватные входы, моделирую ограничения и дорабатываю схему по надёжности и производительности. Каждая схема поставляется с набором тестов, описанием допущений о доверии и инструкцией по доказательству и верификации.
Опишите задачу — оценю стоимость по ограничениям и предложу самое чистое решение на Noir.
