Groth16 zkSNARK Сценарии использования для проверки доказательств, часть II 
Период подачи заявок: 1 августа 2021 г., 00:01 UTC - 31 августа 2021 г., 23:59 UTC Период голосования: 15 дней
Предпосылки и описание
= ноль; Foundation в качестве первого члена сообщества Free TON разработала обновленную версию виртуальной машины TON, которая включает криптографические примитивы, необходимые для использования проверки с нулевым разглашением в виртуализированных приложениях. = ноль; 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 1 и
https://nil.ton.live .
Прежде чем сообщество Free TON сможет исправлять узлы-клиенты основной сети, эти клиенты ZKP должны быть протестированы на безопасность и стабильность.
В этом документе предлагается первый из серии «конкурсов ZKP», целью которых является мотивация сообщества разработчиков Free TON попробовать подготовленные инструменты и собрать простые варианты использования ZKP для целей тестирования.
Инструкции для участников
Ожидается, что участники создадут любой тривиальный примерный кейс, в котором используются доказательства Groth16.
Репозиторий конкурса (также известный как место для начала) доступен по адресу:
https://github.com/nilfoundation/ton-proof verify-contest
Документация по расширенному созданию доказательств и определению схемы доступна по адресу: Crypto3 Cryptography Suite .
Общие требования
Ожидаемые решения:
● Чтобы быть правильно работающей FreeTON LSCS, развернутой в тестовой сети (
https://live.freeton.nil.foundation 1 )
● Не быть похожим на TONCash или какие-либо анонимные транзакции / предложения токенов. Для этого есть отдельный конкурс.
● Вовлечь использование инструкции VERGRTH16 TVM.
● Содержать определения схем, выполненные (предпочтительно) с = nil; Библиотека Crypto3 Blueprint ( GitHub - NilFoundation / crypto3-blueprint: компонентный модуль для = nil; криптография с нулевым разглашением от Foundation ) или как формальное утверждение.
● Содержать подтверждающий / проверяющий ключ и подтверждаемое утверждение (первичный и вспомогательный входы).
Критерии оценки и условия выигрыша
● Помимо загрузки материала, необходимо отправить код в соответствии с GitHub - freeton-org / readme .
● Участник должен провести презентацию своего решения в удобное время, согласованное с участниками DevEx. Решение должно включать тесты с четкими инструкциями.
● Если тест не охватывает некоторые сценарии, члены жюри могут разработать свои собственные тесты, но это должно снизить такой балл за отправку.
● Решение должно иметь лицензию с открытым исходным кодом.
● Решение должно соответствовать формальным требованиям, установленным инструкциями для членов жюри.
● Каждая работа должна быть оценена членами жюри на основании:
○ Простота использования
○ Пригодность для реального использования
○ Новаторство
○ Сложность
○ Полнота тестов
НаградыТолько заявки со средним баллом, равным или выше 4.0, могут получить награду.
1 место… 35 000 ТОНН
2 место… 30 000 ТОНН
3 место… 25000 ТОНН
4 место… 20 000 ТОНН
5 место… 15 000 ТОНН
6 место… 10 000 ТОНН
7-10 место… 5000 ТОНН
Примечание: если количество выигравших заявок меньше количества доступных наград, любые оставшиеся награды не подлежат распределению и считаются недействительными.
