Free TON Cryptography Governance (Contests)
Rollup Verification Support (contest)
Всем привет друзья. Недавно запущенное подуправление Free TON Cryptography Governance сразу же запустили 2 конкурса с отличными призовыми. Об дном из них мы и поговорим сегодня - Rollup Verification Support
Даты подачи заявки
September 25 - October 25, 2021
Описание
=nil; Foundation в качестве первого члена сообщества Free TON разработала обновленную версию виртуальной машины TON, которая включает криптографические примитивы, необходимые для использования проверки с нулевым разглашением в виртуализированных приложениях. =nil; Foundation также подготовил C ++ и Rust-y
Ключевым применением такой инструкции по проверке является проверка накоплений, которые часто состоят из транзакций / пакетов репликации / подписей голосов и т. д.
Проверка транзакций, голосов и т. д. Сводится к проверке его подписей. Широко распространенные сигнатуры (EdDSA, ECDSA) определяются на основе кривых без сопряжения (Ed25519, secp256k1), которые не имеют скрученных кривых и требуют больших затрат и времени на проверку. В случае проверки FreeTON необходимо, чтобы время было как можно меньше
Задача
Представить эффективный способ проверки несопряженных дружественных подписей на основе кривых над доказательством Groth16 SNARK на основе BLS12-381, что приведет к введению способа проверки zk-сверток на FreeTON
Инструкции для участников
Ожидается, что участники представят способ эффективной проверки EdDSA по подписям Ed25519 с помощью недавно представленной VERGRTH16 инструкции, позволяющей проверять zk-свертки внешних протоколов внутри TVM.
Основные требования
- Решение должно быть правильно работающим виртуализированным приложением FreeTON, развернутым либо на https://main.ton.dev/ (https://ton.live/) (в случае обновления протокола), либо на либо на https://fld.ton.dev/ (https://fld.ton.live/)
- Решение должно использовать инструкции VERGRTH16 TVM
- Решение должно иметь возможность проверить подтверждение Groth16 как минимум 32000 EdDSA по подписям Ed25519 в пределах одного интервала производства пакета репликации
- Помимо загрузки представления, код должен быть отправлен в соответствии с GitHub - freeton-org / readme
- Участник должен провести презентацию своего решения в удобное время, согласованное с членами группы криптографии Решение должно включать тесты с четкими инструкциями
- Решение должно иметь лицензию с открытым исходным кодом
- Решение должно содержать хотя бы черновик описания архитектуры
Rewards- 1st prize (score >= 7.0) - 300000 TONs
- 2nd prize (score >= 6.0) - 150000 TONs
- 3rd prize (score >= 5.0) - 50000 TONs
Только заявки со средним баллом, равным или выше 5.0 могут получить награду
добавлено через 1 час 13 минут
Crypto3-Blueprint library to TVC compilation (contest)
Всем привет друзья. Как я писал ранее недавно запущенное подуправление Free TON Cryptography Governance сразу же запустили 2 конкурса с отличными призовыми. Сегодня я хочу рассказать Вам о конкурсе Crypto3-Blueprint library to TVC compilation
Даты подачи заявки
October 1 - October 28, 2021
Описание
В рамках интеграции схемы Groth16 zkp во Free TON должна появиться возможность генерировать доказательства в DeBots. Сама генерация доказательства может быть добавлена как инструкция TVM, но для генерации доказательства вы должны сначала сгенерировать вспомогательный (а иногда и общедоступный) вход, который удовлетворяет схеме R1CS
Поскольку генерация вспомогательного входа существенно различается в разных схемах, ее нельзя добавить в качестве инструкции, вместо этого она должна выполняться с использованием логики in-TVM. К счастью, есть компилятор С++ в TVC (байт-код TVM)
Кроме того, поскольку TVM работает немного иначе, чем обычный процессор, может быть более эффективно использовать собственные типы и функции TVM. Необходимо не только скомпилировать библиотеки, но и оптимизировать их для использования возможностей TVM там, где это необходимо. Конечно, патч к библиотеке чертежей не должен препятствовать компиляции библиотеки с использованием обычного компилятора в машинный код
Задача
Необходимо написать патчи для crypto3-blueprint (
https://github.com/NilFoundation/crypto3-blueprint) и его зависимостей, а также для компилятора C++, чтобы его можно было бы скомпилировать и запустить смарт-контракт C++, который использует эту библиотеку. Рекомендуется использовать репозиторий шаблонов в качестве основы
Должна быть возможность использовать все возможности библиотеки, которые могут использоваться в настоящее время, библиотека содержит несколько неполных компонентов
По-прежнему должна быть возможность скомпилировать исправленную библиотеку с помощью обычного компилятора C++ для машинного кода и запустить его. Его производительность не должна снижаться
Требования
Улучшение работы библиотеки в TVM повысит вашу оценку, вы можете использовать для этого собственные типы TVM, например, с помощью определений препроцессора
Помимо загрузки материала, необходимо отправить код в соответствии с
https://github.com/freeton-org/readme
Решение должно включать тесты в виде смарт-контрактов Free TON, которые используют различные части библиотеки crypto3-blueprint. Эти смарт-контракты должны успешно компилироваться и запускаться
Помимо загрузки представления, код должен быть отправлен в соответствии с GitHub - freeton-org / readme
Участник должен провести презентацию своего решения в удобное время, согласованное с членами группы криптографии. Решение должно включать тесты с четкими инструкциями
Решение должно иметь лицензию с открытым исходным кодом
Решение должно содержать хотя бы черновик описания архитектуры
Rewards
1st prize 200,000 TONs
2nd prize 100,000 TONs
3rd prize 50,000 TONs
Только заявки со средним баллом, равным или выше 6.0 могут получить награду
Landing page —
https://tvc.freeton.today/
Официальная новость —
https://forum.freeton.org/t/crypto3-...-contest/11765
Чат разработчиков —
https://t.me/FT_cryptography_SG
**Coingecko **-
https://www.coingecko.com/ru/Криптовалюты/ton-crystal