Создаю промышленные zero-knowledge схемы и доказательства на языке Noir от 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.
