prover log tmp #20

NilFoundation · Mar 21, 2022 · edbf0f3 · edbf0f3
1 parent 7cb9654
commit edbf0f3
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/include/nil/crypto3/zk/snark/systems/plonk/redshift/prover.hpp b/include/nil/crypto3/zk/snark/systems/plonk/redshift/prover.hpp
@@ -200,7 +200,7 @@ namespace nil {
 
                         F[3] = prover_res[0];
 
-
+                        /////TEST
                         for (std::size_t i = 0; i < f_parts; i++) {
                             for (std::size_t j = 0; j < table_description.rows_amount; j++) {
                                 if (F[i].evaluate(preprocessed_public_data.common_data.basic_domain->get_domain_element(j)) != FieldType::value_type::zero()) {
@@ -209,6 +209,19 @@ namespace nil {
                             }
                         }
 
+                        const std::vector<plonk_gate<FieldType>> gates = constraint_system.gates();
+
+                        for (std::size_t i = 0; i < gates.size(); i++) {
+                            for (std::size_t j = 0; j < gates[i].constraints.size(); j++) {
+                                math::polynomial<typename FieldType::value_type> constraint_result =
+                                    gates[i].constraints[j].evaluate(polynomial_table);
+                                if (constraint_result.evaluate(preprocessed_public_data.common_data.basic_domain->get_domain_element(0)) != FieldType::value_type::zero()) {
+                                    std::cout<<"constraint "<<j<<" from gate "<<i<<std::endl;
+                                }
+                            }
+                        }
+                        /////
+
                         // 7. Aggregate quotient polynomial
                         math::polynomial<typename FieldType::value_type> T =
                             quotient_polynomial(preprocessed_public_data, F, transcript);