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