Необходимо создать любой тривиальный пример, в котором будут использоваться доказательства Groth16 (см примерные работы 1, 2, 3, 4)

  • Пример должен работать с FreeTON LSCS и быть развернут в тестовой сети http://live.freeton.nil.foundation/
  • Желательно использование с++ или solidity
  • Пример не быть похожим на TONCash или какие-либо анонимные транзакции / предложения токенов
  • Пример должен содержать определения схем, выполненные (предпочтительно) with =nil; Crypto3 Blueprint library (GitHub - NilFoundation / crypto3-blueprint: компонентный модуль для = nil; криптография с нулевым разглашением от Foundation) или как формальное утверждение
  • Содержать подтверждающий / проверяющий ключ и подтверждаемое утверждение (первичный и вспомогательный входы)
  • Необходимо использовать инструкции VERGRTH16 TVM
Background

=nil; Foundation в качестве первого участника сообщества Free TON разработала обновленную версию виртуальной машины TON, которая включает криптографические примитивы, необходимые для использования проверки с нулевым разглашением в виртуализированных приложениях. =nil; Foundation также подготовил C ++ ( GitHub - NilFoundation / cpp-ton: реализация протокола Telegram Open Network Protocol с улучшенной криптографией на C ++ ) и Rust-y ( GitHub - NilFoundation / rust-ton: реализация протокола Rust Telegram Open Network с улучшенной криптографией ) Инструкция по проверке доказательства ZK - Улучшенные реализации протокола TON

Экземпляр тестового протокола был запущен с использованием реализации C ++ ZK с расширенными инструкциями по проверке доказательств. Конфигурация сети, используемая для конкурса, доступна по адресу: ton-proof-verify-contest / testnet.config.json на master · NilFoundation / ton-proof-verify-contest · GitHub

Визуализация тестовой сети ZKP доступна по адресу https://live.freeton.nil.foundation и https://nil.ton.live

Документация по расширенному созданию доказательств и определению схемы доступна по адресу: Crypto3 Cryptography Suite

Предлагайте цену и сроки и пишите где сможем оперативно общаться

Оплата по Безопасной сделке.

4 года назад
MikMo
29 лет
4 года в сервисе
Был
3 года назад

Заявки фрилансеров

Ан
 
44 года
4 года в сервисе
Был
4 года назад
4 года назад
  • Похожие заказы

  • $1000

    Разработать смарт-контракт, использующий доказательства Groth16 zkSNARK для FreeTON. Пример должен быть реализован на C++ или Solidity, развернут в тестовой сети. Необходимо предоставить подтверждающий ключ, описание модели использования и инструкции по запуску. Пример не должен быть похож на анонимные транзакции и должен быть простым, удобным и инновационным.

    Закрыт
    4 года назад
  • Требуется разработка программного обеспечения для распознавания документов на платформе .NET Core с использованием языка C#. Программа должна анализировать документы по ячейкам и принимать решение о возможности их обработки. Важно учитывать внедрение решения и обсуждение всех деталей с руководством. Клиентская часть разрабатывается на Angular, данные хранятся в Microsoft SQL Server.

    Закрыт
    4 года назад
  • Требуется разработка модуля интеграции с r-keeper, используя API системы лояльности. Модуль должен быть написан на C# или C++. Основная функция — отправка данных о покупке с кешбэком в iiko. Необходимо создать кнопку в документе покупки, которая открывает окно для ввода данных покупателя, и отправлять информацию о продаже на сервер системы лояльности.

    Закрыт
    4 года назад
  • Необходим модуль интеграции с iiko для системы лояльности, который будет написан на C# или C++. Модуль должен отправлять информацию о покупке с кешбэком. Требуется создать кнопку в документе покупки iiko для ввода данных покупателя и отправки информации на сервер системы лояльности после завершения продажи.

    Закрыт
    4 года назад
  • Ищется разработчик для создания и поддержки интернет-магазинов на платформе Magento 2. Необходимы знания PHP, MySQL, JavaScript и опыт работы с модулями. Обязанности включают разработку новых сайтов, поддержку существующих и доработку модулей. Базовые навыки HTML/CSS и понимание принципов ООП обязательны.

    Закрыт
    4 года назад
  • $5

    Необходимо исправить создание RSS XML для фотобанка, который неправильно формируется с страницы Новые фото. Требуется обновить содержимое, добавить элементы в <description>, изменить поле dc:creator и внести мелкие правки. Обеспечить обновление информации при добавлении новых фотографий.

    Завершен
    4 года назад
  • Требуется разработать код исключительно на языке С для системного программирования. Работа небольшая, с комментариями к каждой функции. Срок выполнения 3-4 дня. Важным является наличие знаний английского языка. Дополнительные детали будут обсуждаться в личном порядке.

    Закрыт
    4 года назад
  • Необходимо заставить работать драйвер на последней версии Windows 10. Требуется отключить проверку подписи драйверов для отладки и обеспечить возможность отключения процессов. Ожидается создание решения для корректной работы программы.

    Закрыт
    4 года назад
  • Необходима разработка программы для публикации видео на YouTube, основываясь на предоставленном макете. Основное требование — корректная работа приложения, без строгих сроков выполнения. Продукт предназначен для личного пользования.

    Закрыт
    4 года назад