fix: slightly better error message for internal assertions

TaceoLabs · Jun 6, 2024 · 67cd798 · 67cd798
1 parent a5fe067
commit 67cd798
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/circom-mpc-vm/src/mpc_vm.rs b/circom-mpc-vm/src/mpc_vm.rs
@@ -253,7 +253,8 @@ impl<P: Pairing, C: CircomWitnessExtensionProtocol<P::ScalarField>> Component<P,
                 op_codes::MpcOpCode::Assert => {
                     let assertion = self.pop_field();
                     if protocol.is_zero(assertion) {
-                        panic!("assertion failed");
+                        // TODO: Handle nicer
+                        panic!("Assertion failed during execution");
                     }
                 }
                 op_codes::MpcOpCode::Add => {