Bytecode circuit constraints added #364 (#375)

Co-authored-by: e.tatuzova <[email protected]>
NilFoundation · Jun 6, 2024 · c0658c3 · c0658c3
1 parent 7736a60
commit c0658c3
Show file tree

Hide file tree

Showing 5 changed files with 621 additions and 0 deletions.
diff --git a/include/nil/blueprint/blueprint/plonk/circuit.hpp b/include/nil/blueprint/blueprint/plonk/circuit.hpp
@@ -154,6 +154,13 @@ namespace nil {
                 LOOKUP_GATE_ADDER_MACRO(lookup_selector_map, _lookup_gates);
             }
 
+            // Sometimes existing gate is already on existing selector
+            //   and we are sure that lookup and usual part are always together
+            virtual std::size_t add_lookup_gate(std::size_t selector_id, const std::vector<lookup_constraint_type> &args) {
+                this->_lookup_gates.push_back({selector_id, args});
+                return selector_id;
+            }
+
             virtual const typename ArithmetizationType::lookup_table_type &lookup_table(std::size_t table_id) const {
                 return ArithmetizationType::lookup_table(table_id);
             }