Crypto3-Blueprint library to TVC compilation (contest)


image.png
Всем привет друзья. Как я писал ранее недавно запущенное подуправление 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 pagehttps://tvc.freeton.today/
  • Официальная новостьhttps://forum.freeton.org/t/crypto3-blueprint-library-to-tvc-compilation-contest/11765
  • Чат разработчиковhttps://t.me/FT_cryptography_SG
  • Coingecko - https://www.coingecko.com/ru/Криптовалюты/ton-crystal

Comments 0