Reworked to single event with boolean paramter #45

NilFoundation · Dec 1, 2023 · df7bc3f · df7bc3f
1 parent f126ead
commit df7bc3f
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/include/nil/blueprint/transpiler/templates/modular_verifier.hpp b/include/nil/blueprint/transpiler/templates/modular_verifier.hpp
@@ -260,13 +260,10 @@ contract modular_verifier_$TEST_NAME$ is IModularVerifier{
                 emit ConstraintSystemNotSatisfied();
                 state.b = false;
             }
-            if(state.b) {
-                emit ProofVerified();
-            } else {
-                emit ProofVerificationFailed();
-            }
         }
 
+        emit VerificationResult(state.b);
+
         result = state.b;
     }
 }