Nikita Kaskov
Nikita Kaskov
The rows in the tables are locked incorrectly. So hardfix for that is as such: in doxygen.css comment the rule ``` .directory tr.even { padding-left: 6px; background-color: #F7F8FB; } ```
It became clear to me that we need to do [this task](Includes thishttps://github.com/NilFoundation/zkllvm/issues/179) first since proof producers copy part of the serialization algorithm.
You probably are not checking the result of the circuit. Do you enforce the check? If no, then no constraints for that are added. Here is the description of a...
Includes: https://github.com/NilFoundation/zkLLVM/issues/324
Part of this issue: https://github.com/NilFoundation/zkLLVM/issues/333
We also need to add temporary marshalling of the proving key for the NilFoundation-FreeTON Groth16 [usecases contest](https://github.com/NilFoundation/ton-proof-verification-contest/).