Altcoins Talks - Cryptocurrency Forum

Cryptocurrency Ecosystem => Community Coins & Tokens => Everscale Forum => Topic started by: lesnik_utsa on October 14, 2021, 12:23:14 AM

Title: Crypto3-Blueprint library to TVC compilation (contest)
Post by: lesnik_utsa on October 14, 2021, 12:23:14 AM
Hello everyone, friends. As I wrote earlier, the recently launched Free TON Cryptography Governance subdivision immediately launched 2 contests with excellent prize money. Today I want to tell you about the Crypto3-Blueprint library to TVC compilation competition

Application Dates
October 1 - October 28, 2021

Description
As part of the integration of the Groth16 zkp schema into Free TON, it should be possible to generate proofs in DeBots. The proof generation itself can be added as a TVM instruction, but to generate the proof you must first generate an auxiliary (and sometimes public) input that satisfies the R1CS scheme

Since the generation of the auxiliary input differs significantly in different circuits, it cannot be added as an instruction, but must instead be done using in-TVM logic. Fortunately, there is a C ++ compiler to TVC (TVM bytecode)

In addition, since TVM operates slightly differently than a conventional processor, it may be more efficient to use the native types and functions of TVM. It is necessary not only to compile the libraries but also to optimize them to use the TVM features where necessary. Of course, a patch to a drawing library should not prevent the library from being compiled using a normal compiler to machine code

Task
It is necessary to write patches for crypto3-blueprint (https://github.com/NilFoundation/crypto3-blueprint) and its dependencies, as well as for the C ++ compiler so that it can be compiled and run a C ++ smart contract that uses this library. It is recommended to use the template repository as a basis

It should be able to use all the library features that can be used at the present time, the library contains several incomplete components

It should still be possible to compile the patched library with a regular C ++ native compiler and run it. Its performance should not degrade

Requirements

Rewards
Only applications with an average score equal to or higher than 6.0 can be rewarded

Landing page - https://tvc.freeton.today/
Official news - https://forum.freeton.org/t/crypto3-blueprint-library-to-tvc-compilation-contest/11765
Developers Chat - https://t.me/FT_cryptography_SG
Coingecko - https://www.coingecko.com/ru/Криптовалюты/ton-crystal