Подуправление Free TON Dev Experience запустило второй конкурс Groth16 zkSNARK доказательства с нулевым разглашением ч.2. Первый конкурс привлек 4 заявки от участников и показал некоторые примеры применения доказательств с нулевым разглашением. Пока идет голосование, Вы можете ознакомиться с работами конкурсантов:
- https://firebasestorage.googleapis.com/v0/b/ton-labs.appspot.com/o/documents%2Fapplication%2Fpdf%2F3op8bcb06aekr5i031g-Privacy_preserving_Credentials_with_zkSNARKs.pdf?alt=media&token=ab40f1fc-9992-4599-9117-7f6e6fac6c7e
- https://firebasestorage.googleapis.com/v0/b/ton-labs.appspot.com/o/documents%2Fapplication%2Fpdf%2F34yi1fut5z3kr5dmyj6-zkp_covid_tracker.pdf?alt=media&token=cb05ab82-cb38-4a06-b05f-b6ede6003261
- https://firebasestorage.googleapis.com/v0/b/ton-labs.appspot.com/o/documents%2Fapplication%2Fpdf%2Fyetnaazky8kr5ca6nc-Anonymous%20Vote%20-%20A%20ZKP%20Use%20Case.pdf?alt=media&token=7da85ad7-26a5-4231-af12-7e3faffda182
- https://firebasestorage.googleapis.com/v0/b/ton-labs.appspot.com/o/documents%2Fapplication%2Fpdf%2Fuaw6elz64t9kr538q99-submission.pdf?alt=media&token=cc619b2f-402f-4d60-8292-57b2c9e76b65
Так как zkSNARK имеют огромную перспективу в будущем, то было решено запустить второй конкурс, где каждый участник также сможет предоставить свое видение применения доказательств с нулевым разглашением и возможной интеграцией с блокчейном FREE TON
Описание
=nil; 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-verification-contest
- Документация по расширенному созданию доказательств и определению схемы доступна по адресу: Crypto3 Cryptography Suite
Общие требования
- Пример должен работать с FreeTON LSCS и быть развернут в тестовой сети http://live.freeton.nil.foundation/
- Не быть похожим на TONCash или какие-либо анонимные транзакции / предложения токенов
- Привлечь использование инструкции VERGRTH16 TVM
- Содержать определения схем, выполненные (предпочтительно) with =nil; Crypto3 Blueprint library (GitHub - NilFoundation / crypto3-blueprint: компонентный модуль для = nil; криптография с нулевым разглашением от Foundation) или как формальное утверждение
- Содержать подтверждающий / проверяющий ключ и подтверждаемое утверждение (первичный и вспомогательный входы)
Критерии оценки и условия выигрыша
- Помимо загрузки материала, необходимо отправить код в соответствии с GitHub - freeton-org / readme
- Участник должен провести презентацию своего решения в удобное время, согласованное с участниками DevEx. Решение должно включать тесты с четкими инструкциями
- Если тест не охватывает некоторые сценарии, члены жюри могут разработать свои собственные тесты, но это должно снизить такой балл за отправку
- Решение должно иметь лицензию с открытым исходным кодом
- Решение должно соответствовать формальным требованиям, установленным инструкциями для членов жюри
- Каждая работа должна быть оценена членами жюри на основании:
○ Простота использования
○ Пригодность для реального использования
○ Новаторство
○ Сложность
○ Полнота тестов
Период подачи заявок
Aug 1, 2021 00:01 UTC - Aug 31, 2021 at 23:59 UTC
Награды
1th place - 35,000 TONs
2th place - 30,000 TONs
3th place - 25,000 TONs
4th place - 20,000 TONs
5th place - 15,000 TONs
6th place - 10,000 TONs
7-10th place - 5,000 TONs
Полезные ссылки
Landing page — https://freeton.support/sharki
Официальная новость — https://forum.freeton.org/t/contest-proposal-groth16-zksnark-proof-verification-use-cases-part-ii/11291
Чат разработчиков — https://t.me/freeton_dev_exp
FREE TON wiki — https://ru.freeton.wiki/Free_TON_Wiki
Введение во FREE TON (краткий курс) — https://freeton.academy/courses/introduction-to-free-ton-ru/
Coingecko - https://www.coingecko.com/ru/Криптовалюты/ton-crystal