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:
Załączniki 1
Aktualne zlecenia dla freelancerów w kategorii C i C++
Konsultacja i audyt bieżącego projektu na Odoo 19 Community EditionSzukamy programisty Odoo — samodzielnego dewelopera z doświadczeniem w pracy z Odoo 19 Community Edition, w tym z wykorzystaniem Claude Code. Potrzebujemy specjalisty, który ma zrealizowane projekty w Odoo oraz praktyczne doświadczenie w programowaniu z użyciem Claude Code.… C i C++, Javascript & Typescript ∙ 2 dni 17 godzin temu ∙ 7 ofert |
Tworzenie lub modyfikacja oprogramowania i logiki dla trzech autonomicznych stacji LoRa opartych na ESP32.
413 PLN
tworzenie lub modyfikacja oprogramowania i logiki dla trzech autonomicznych stacji LoRa opartych na ESP32. Urządzenia powinny uruchamiać punkt dostępu Wi-Fi, udostępniać lokalną stronę przez przeglądarkę (HTTP), odbierać tekst i obrazy w promieniu 5-10 km (plus minus),… C i C++, C# ∙ 2 dni 19 godzin temu ∙ 3 oferty |
Rozwój oprogramowania dla Arduino (moduły RF 3–7,5 GHz, automatyczne skanowanie częstotliwości)Należy opracować system na Arduino do automatycznego wyszukiwania aktywnego analogowego sygnału wideo oraz automatycznego dostosowywania nadajnika do wykrytej częstotliwości.Planowane jest wykorzystanie trzech oddzielnych modułów odbiorczo-nadajnych: 3000–4200 MHz; 4900–6000… C i C++, Systemy wbudowane i mikrokontrolery ∙ 3 dni 18 godzin temu ∙ 4 oferty |
Czarna Ukraina (projekt RP na bazie MTA)
4242 PLN
|
Inżynier infrastruktury proxy mieszkalnychBudujemy sieć proxy dla użytkowników od podstaw — w pełni własną, bez dostawców zewnętrznych. Potrzebujemy jednego wyjątkowego inżyniera sieci, który zbuduje całą podstawę techniczną. Co zbudujesz: - SDK w tle dla Androida, które kieruje ruch proxy przez urządzenia użytkowników… C i C++, DevOps ∙ 9 dni 14 godzin temu ∙ 15 ofert |