again

Author: ledwards2225

noir-projects/noir-protocol-circuits/crates/private-kernel-lib/src/private_kernel_inner.nr

@@ -60,26 +60,28 @@ impl PrivateKernelInnerCircuitPrivateInputs {
             start_private_call_stack_length
                 - 1];
 
-    private_call_data_validator.verify_proof(false /* is_first_app */);
-    private_call_data_validator.validate_common(
-        self.previous_kernel.public_inputs.constants.protocol_contract_tree_root,
-    );
-    private_call_data_validator.validate_against_call_request(call_request);
-    private_call_data_validator.validate_against_previous_kernel(self.previous_kernel.public_inputs);
-
-    // Generate output.
-    // Safety: The output is validated below by PrivateKernelCircuitOutputValidator.
-    let output = unsafe { self.generate_output() };
-
-    // Validate output.
-    if dep::types::validate::should_validate_output() {
-        PrivateKernelCircuitOutputValidator::new(output).validate_as_inner_call(
+        private_call_data_validator.verify_proof(false /* is_first_app */);
+        private_call_data_validator.validate_common(
+            self.previous_kernel.public_inputs.constants.protocol_contract_tree_root,
+        );
+        private_call_data_validator.validate_against_call_request(call_request);
+        private_call_data_validator.validate_against_previous_kernel(
             self.previous_kernel.public_inputs,
-            self.private_call,
         );
+
+        // Generate output.
+        // Safety: The output is validated below by PrivateKernelCircuitOutputValidator.
+        let output = unsafe { self.generate_output() };
+
+        // Validate output.
+        if dep::types::validate::should_validate_output() {
+            PrivateKernelCircuitOutputValidator::new(output).validate_as_inner_call(
+                self.previous_kernel.public_inputs,
+                self.private_call,
+            );
+        }
+        output
     }
-    output
-}
 }
 
 mod tests {