Разрабатываю zero-knowledge решения на языке Leo для сети Aleo — от идеи до программы, опубликованной в основной или тестовой сети. Leo — это язык в духе Rust для создания zero-knowledge приложений и приватных смарт-контрактов, которые компилируются в инструкции Aleo. Я применяю его постоянно и превращаю требования по приватности в надёжный, проверяемый код.
Что вы получаете:
— Аккуратные, продуманные программы на Leo с типизированными записями, маппингами и переходами под вашу логику;
— Приватные смарт-контракты, в которых закрытые данные скрыты, а правильность вычислений всё равно доказывается в сети;
— Логику на стороне сети и вне её: токен-стандарты, скрытые платежи, голосования, идентификацию, игры и собственные zk-примитивы;
— Полное тестовое покрытие, локальный прогон через инструменты Aleo и схемы, экономные по количеству ограничений;
— Публикацию в тестовой или основной сети Aleo, а также подключение кошелька и интерфейса, если нужен рабочий продукт.
Порядок работы: короткий созвон по постановке, затем я раскладываю ваши требования на записи и переходы и сдаю программу понятными частями. На выходе — прокомментированный исходный код, комплект тестов, скрипты публикации и краткая инструкция о том, как каждый переход доказывает заявленное, не раскрывая закрытых входных данных.
Подойдёт стартапу в области приватных финансов, команде, переносящей контракт на Aleo, или автору, проверяющему zk-идею. Помогу выпустить безопасную и готовую к аудиту кодовую базу на Leo. Пришлите описание задачи — оценю объём, ограничения и сроки.
Что вы получаете:
— Аккуратные, продуманные программы на Leo с типизированными записями, маппингами и переходами под вашу логику;
— Приватные смарт-контракты, в которых закрытые данные скрыты, а правильность вычислений всё равно доказывается в сети;
— Логику на стороне сети и вне её: токен-стандарты, скрытые платежи, голосования, идентификацию, игры и собственные zk-примитивы;
— Полное тестовое покрытие, локальный прогон через инструменты Aleo и схемы, экономные по количеству ограничений;
— Публикацию в тестовой или основной сети Aleo, а также подключение кошелька и интерфейса, если нужен рабочий продукт.
Порядок работы: короткий созвон по постановке, затем я раскладываю ваши требования на записи и переходы и сдаю программу понятными частями. На выходе — прокомментированный исходный код, комплект тестов, скрипты публикации и краткая инструкция о том, как каждый переход доказывает заявленное, не раскрывая закрытых входных данных.
Подойдёт стартапу в области приватных финансов, команде, переносящей контракт на Aleo, или автору, проверяющему zk-идею. Помогу выпустить безопасную и готовую к аудиту кодовую базу на Leo. Пришлите описание задачи — оценю объём, ограничения и сроки.
