nargo fmt

Author: asterite

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

@@ -60,28 +60,26 @@ 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(
+    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(
             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 {