Reworked to single event with boolean paramter #45

NilFoundation · Feb 1, 2024 · d0217a2 · d0217a2
1 parent 817a69f
commit d0217a2
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;
     }
 }