Skip to content
This repository was archived by the owner on Feb 17, 2025. It is now read-only.

Commit faea32c

Browse files
committed
Commented code deleted, lookup_libs_list.json deleted #21
1 parent 80faa78 commit faea32c

File tree

1 file changed

+1
-25
lines changed

1 file changed

+1
-25
lines changed

include/nil/blueprint/transpiler/evm_verifier_gen.hpp

+1-25
Original file line numberDiff line numberDiff line change
@@ -335,31 +335,7 @@ namespace nil {
335335
print_lookup_file(lookups_computation_code[i], i);
336336
i++;
337337
}
338-
print_lookup_libs_list(lookup_ids);
339-
/*
340-
lookup_str << "\t\t\tuint256 sum;" << std::endl;
341-
lookup_str << "\t\t\tuint256 prod;" << std::endl;
342-
343-
for(const auto &gate: _constraint_system.lookup_gates()){
344-
variable_type sel_var(gate.tag_index, 0, true, variable_type::column_type::selector);
345-
lookup_str << "\t\t\tstate.selector_value=basic_marshalling.get_uint256_be(blob, " << _var_indices.at(sel_var) * 0x20 << ");" << std::endl;
346-
for( const auto &constraint: gate.constraints ){
347-
variable_type sel_var(gate.tag_index, 0, true, variable_type::column_type::selector);
348-
lookup_str <<
349-
"\t\t\tl = mulmod( " << constraint.table_id << ",state.selector_value, modulus);" << std::endl;
350-
lookup_str << "\t\t\tstate.theta_acc=state.theta;" << std::endl;
351-
for( const auto &expression:constraint.lookup_input ){
352-
lookup_str << constraint_computation_code(_var_indices, expression) << std::endl << std::endl;
353-
lookup_str <<
354-
"\t\t\tl = addmod( l, mulmod( mulmod(state.theta_acc, state.selector_value, modulus), sum, modulus), modulus);" << std::endl;
355-
lookup_str << "\t\t\tstate.theta_acc = mulmod(state.theta_acc, state.theta, modulus);" << std::endl;
356-
}
357-
lookup_str << "state.g = mulmod(state.g, mulmod(addmod(1, state.beta, modulus), addmod(l,state.gamma, modulus), modulus), modulus);" << std::endl;
358-
j++;
359-
}
360-
}
361-
lookup_str << std::endl;
362-
*/
338+
if(_use_lookups) print_lookup_libs_list(lookup_ids);
363339
j = 0;
364340
std::size_t table_index = 1;
365341
for(const auto &table: _constraint_system.lookup_tables()){

0 commit comments

Comments
 (0)