Disable default constructor of plonc variable

NilFoundation · Apr 11, 2024 · f6da907 · f6da907
1 parent f80fbaf
commit f6da907
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 16 deletions.
diff --git a/include/nil/crypto3/zk/snark/arithmetization/plonk/table_description.hpp b/include/nil/crypto3/zk/snark/arithmetization/plonk/table_description.hpp
@@ -74,10 +74,6 @@ namespace nil {
                                 return witness_columns + public_input_columns + a.index;
                             case plonk_variable<typename FieldType::value_type>::column_type::selector:
                                 return witness_columns + public_input_columns + constant_columns + a.index;
-                            case plonk_variable<typename FieldType::value_type>::column_type::uninitialized:
-                                std::cerr << "trying to access uninitialized var!";
-                                std::abort();
-                                break;
                         }
                         /* unreachable*/
                         return std::numeric_limits<size_t>::max();

diff --git a/include/nil/crypto3/zk/snark/arithmetization/plonk/variable.hpp b/include/nil/crypto3/zk/snark/arithmetization/plonk/variable.hpp
@@ -69,7 +69,7 @@ namespace nil {
                     using assignment_type = AssignmentType;
 
                     enum column_type : std::uint8_t {
-                        witness, public_input, constant, selector, uninitialized
+                        witness, public_input, constant, selector
                     };
 
                     /**
@@ -80,7 +80,7 @@ namespace nil {
                     bool relative;
                     column_type type;
 
-                    constexpr plonk_variable() : index(0), rotation(0), relative(false), type(column_type::uninitialized) {};
+                    constexpr plonk_variable() = delete;
 
                     constexpr plonk_variable(const std::size_t index,
                                              std::int32_t rotation,
@@ -172,8 +172,7 @@ namespace nil {
                             {plonk_variable<AssignmentType>::column_type::witness,      "w"},
                             {plonk_variable<AssignmentType>::column_type::public_input, "pub"},
                             {plonk_variable<AssignmentType>::column_type::constant,     "c"},
-                            {plonk_variable<AssignmentType>::column_type::selector,     "sel"},
-                            {plonk_variable<AssignmentType>::column_type::uninitialized,"NaN"}
+                            {plonk_variable<AssignmentType>::column_type::selector,     "sel"}
                     };
                     os << type_map[var.type] << "_" << var.index;
                     if (!var.relative) {

diff --git a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/gates_argument.hpp b/include/nil/crypto3/zk/snark/systems/plonk/placeholder/gates_argument.hpp
@@ -107,10 +107,6 @@ namespace nil {
                                 case polynomial_dfs_variable_type::column_type::selector:
                                     assignment = assignments.selector(var.index);
                                     break;
-                                case polynomial_dfs_variable_type::column_type::uninitialized:
-                                    std::cerr << "trying to access uninitialized var!";
-                                    std::abort();
-                                    break;
                             }
 
                             if (var.rotation != 0) {

diff --git a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp b/include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp
@@ -462,10 +462,6 @@ namespace nil {
                                 case DfsVariableType::column_type::selector:
                                     assignment = assignments.selector(var.index);
                                     break;
-                                case DfsVariableType::column_type::uninitialized:
-                                    std::cerr << "trying to access uninitialized var!";
-                                    std::abort();
-                                    break;
                             }
 
                             if (var.rotation != 0) {