Crypto3-Blueprint library to TVC compilation
Background and Description
As part of the integration of Groth16 zkp scheme 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 proof you must first generate an auxiliary (and sometimes public) input which satisfies the R1CS circuit.
This functionality is implemented in the c++ library crypto3-blueprint by =nil; foundation.
Since the auxiliary input generation differs significantly between different circuits it cannot be added as an instruction, instead it has to be done using in-TVM logic.
Fortunately, there’s a c++ to TVC (TVM bytecode) compiler. However, as it is it can’t be compiled, and various included file not found errors can be seen when trying to do so for example. This is a contest to patch the compiler sdk and the crypto3-blueprint or its dependencies in order to get it to compile.
In addition, since TVM works a bit differently than a regular processor it might be more efficient to use native TVM types and functions, this contest is not only about compiling the library but also optimizing it to utilize TVM capabilities where needed. Of course the patch to blueprint library should not prevent the library from being compiled using a regular compiler to machine code. (For example, you may want to use Preprocessor definitions).
more information in here:
Додатки 1
Актуальні фриланс-проєкти в категорії C та C++
Порівняльний аналіз ефективності кастомного ПЗ (v2.2-field) та еталонного ПЗ (Meshtastic v2.x)
1000 UAH
Порівняльний аналіз ефективності кастомного ПЗ (v2.2-field) та еталонного ПЗ (Meshtastic v2.x) на ідентичній апаратній платформі (ESP32 + SX1268, 2W) за критеріями дальності, пропускної спроможності, стабільності лінка та енергоспоживання. Провести тести з вимірюваннями з… C та C++, C# ∙ 1 день 17 годин тому ∙ 2 ставки |
Консультація та аудит поточного проєкту на Odoo 19 Community Edition
Шукаємо Odoo Developer — соло-розробника з досвідом розробки на Odoo 19 Community Edition, у тому числі за допомогою Claude Code. Нам потрібен спеціаліст, який має успішно реалізовані проєкти в Odoo та практичний досвід розробки з використанням Claude Code. Важливо: розглядаємо… C та C++, Javascript та Typescript ∙ 4 дні 18 годин тому ∙ 7 ставок |
Розробка ПЗ для Arduino (RF-модулі 3–7.5 ГГц, автоматичне сканування частот)Потрібно розробити систему на Arduino для автоматичного пошуку активного аналогового відеосигналу та автоматичного налаштування передавача на виявлену частоту.Планується використання трьох окремих приймально-передавальних модулів: 3000–4200 МГц; 4900–6000 МГц; 6100–7500… C та C++, Вбудовані системи та мікроконтролери ∙ 5 днів 19 годин тому ∙ 4 ставки |
Чорна Україна (RP-проект на базі MTA)
51 835 UAH
|
Інженер інфраструктури резидентних проксіМи будуємо мережу резидентних проксі з нуля — повністю власну, без сторонніх постачальників. Нам потрібен один винятковий мережевий інженер, щоб побудувати всю технічну основу. Що ви будете будувати: - Android фоновий SDK, який маршрутизує проксі-трафік через пристрої… C та C++, DevOps ∙ 11 днів 15 годин тому ∙ 15 ставок |
Київ