Создать смарт контракт используя Groth16 zkSNARK
75 000 руб. за проект
Необходимо создать любой тривиальный пример, в котором будут использоваться доказательства Groth16 (см примерные работы 1, 2, 3, 4)
=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
Дополнительного ТЗ НЕТ!!!
Сроки реализации до 30 августа
- Пример должен работать с FreeTON LSCS и быть развернут в тестовой сети http://live.freeton.nil.foundation/
- Желательно использование с++ или solidity
- Пример не быть похожим на TONCash или какие-либо анонимные транзакции / предложения токенов
- Пример должен содержать определения схем, выполненные (предпочтительно) with =nil; Crypto3 Blueprint library (GitHub - NilFoundation / crypto3-blueprint: компонентный модуль для = nil; криптография с нулевым разглашением от Foundation) или как формальное утверждение
- Содержать подтверждающий / проверяющий ключ и подтверждаемое утверждение (первичный и вспомогательный входы)
- Необходимо использовать инструкции VERGRTH16 TVM
- Необходимо предоставить описание модели использования примера Groth16 zkSNARK, возможности его будущего использования в блокчейне FREE TON, код и инструкции по запуску и проверке смарт контракта (следуя вышеуказанным примерам и используя подобную систему)
- Примеры использования Groth16 zkSNARK должны быть придуманы самим исполнителем и стремиться к следующим параметрам: Простота использования Пригодность для реального использования Новаторство Полнота тестов
=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
Дополнительного ТЗ НЕТ!!!
Сроки реализации до 30 августа
В заказе есть исполнитель
При переводе заказа из архивного в актуальный, текущий исполнитель будет снят с задачи.
Выберите тип сделки
С безопасной сделкой вы всегда сможете вернуть средства, если что-то пойдет не так. С простой сделкой вы самостоятельно договариваетесь с исполнителем об оплате и берете на себя решение конфликтов.