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 ТОНН

Примечание: если количество выигравших заявок меньше количества доступных наград, любые оставшиеся награды не подлежат распределению и считаются недействительными.