Crypto3-Blueprint library to TVC compilation (contest)

[lesnik_utsa]

Всем привет друзья. Как я писал ранее недавно запущенное подуправление 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-blueprint-library-to-tvc-compilation-contest/11765
Чат разработчиков — https://t.me/FT_cryptography_SG
**Coingecko **- https://www.coingecko.com/ru/Криптовалюты/ton-crystal