Groth16 zkSNARK - конкурс ч.2
Подуправление Free TON Dev Experience запустило второй конкурс Groth16 zkSNARK доказательства с нулевым разглашением ч.2. Первый конкурс привлек 4 заявки от участников и показал некоторые примеры применения доказательств с нулевым разглошением. Пока идет голосование, Вы можете ознакомиться с работами конкурсантов
здесь
Так как 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 и
https://nil.ton.live
Прежде чем сообщество Free TON сможет исправлять узлы-клиенты основной сети, эти клиенты ZKP должны быть протестированы на безопасность и стабильность
В этом документе предлагается первый из серии «конкурсов ZKP», целью которых является мотивация сообщества разработчиков Free TON попробовать подготовленные инструменты и собрать простые варианты использования ZKP для целей тестирования
Инструкции для участников- Каждый участник должен создать любой тривиальный пример, в котором используются доказательства Groth16
- Репозиторий конкурса доступен по адресу: https://github.com/nilfoundation/ton...cation-contest
- Документация по расширенному созданию доказательств и определению схемы доступна по адресу: Crypto3 Cryptography Suite
Общие требования- Пример должен работать с FreeTON LSCS и быть развернут в тестовой сети https://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
Полезные ссылки