38 commitment unchecked (#40)

* Added unchecked to commitment_scheme #38 * Added unchecked on all functions in commitment scheme #38 * Multiply gate argument result on mask polynomial value #41 * Remove extra parameter #38 * rm extra arguments #38 * Ensure that at lease one constraint is included in module #38 * whitespace cleanup #38 * rm debug print #38 --------- Co-authored-by: e.tatuzova <[email protected]>
NilFoundation · Nov 8, 2023 · a912c3a · a912c3a
1 parent 2348688
commit a912c3a
Show file tree

Hide file tree

Showing 2 changed files with 104 additions and 95 deletions.
diff --git a/include/nil/blueprint/transpiler/evm_verifier_gen.hpp b/include/nil/blueprint/transpiler/evm_verifier_gen.hpp
@@ -518,7 +518,7 @@ namespace nil {
 
                 bool first_constraint = true;
 
-                while ((printed_cost < _gates_contract_size_threshold) && (it != last) ) {
+                while ((printed_cost <= _gates_contract_size_threshold) && (it != last) ) {
 
                     if (first_constraint) {
                         result << "// gate === " << it->gate_index << " ===" << std::endl;