@@ -335,31 +335,7 @@ namespace nil {
335
335
print_lookup_file (lookups_computation_code[i], i);
336
336
i++;
337
337
}
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);
363
339
j = 0 ;
364
340
std::size_t table_index = 1 ;
365
341
for (const auto &table: _constraint_system.lookup_tables ()){
0 commit comments