refactor: remove public kernel inner

noir-projects/noir-protocol-circuits/Nargo.template.toml

@@ -21,7 +21,6 @@ members = [
     "crates/empty-nested",
     "crates/empty-nested-simulated",
     "crates/public-kernel-lib",
-    "crates/public-kernel-inner-simulated",
     "crates/public-kernel-merge-simulated",
     "crates/public-kernel-tail-simulated",
     "crates/reset-kernel-lib",

noir-projects/noir-protocol-circuits/crates/public-kernel-lib/src/components/enqueued_call_data_validator.nr

@@ -20,30 +20,18 @@ impl EnqueuedCallDataValidator {
         EnqueuedCallDataValidator { enqueued_call, phase }
     }
 
-    pub fn validate_proof(_self: Self) {
-        // TODO
-    }
-
     pub fn validate(self) {
         self.validate_revert_flag()
     }
 
     pub fn validate_against_previous_kernel(
         self,
         previous_kernel: PublicKernelCircuitPublicInputs,
-        previous_validation_request_array_lengths: PublicValidationRequestArrayLengths,
-        previous_non_revertible_data_array_lengths: PublicAccumulatedDataArrayLengths,
-        previous_revertible_data_array_lengths: PublicAccumulatedDataArrayLengths,
     ) {
         self.validate_global_variables(previous_kernel);
         self.validate_against_call_request(previous_kernel);
         self.validate_start_gas(previous_kernel);
         self.validate_transaction_fee(previous_kernel);
-        self.validate_array_lengths(
-            previous_validation_request_array_lengths,
-            previous_non_revertible_data_array_lengths,
-            previous_revertible_data_array_lengths,
-        );
     }
 
     fn validate_revert_flag(self) {
@@ -138,27 +126,4 @@ impl EnqueuedCallDataValidator {
             );
         }
     }
-
-    fn validate_array_lengths(
-        self,
-        previous_validation_request_array_lengths: PublicValidationRequestArrayLengths,
-        previous_non_revertible_data_array_lengths: PublicAccumulatedDataArrayLengths,
-        previous_revertible_data_array_lengths: PublicAccumulatedDataArrayLengths,
-    ) {
-        assert_eq(
-            self.enqueued_call.data.previous_validation_request_array_lengths,
-            previous_validation_request_array_lengths,
-            "mismatch previous_validation_request_array_lengths",
-        );
-        let prev_lengths = if self.phase == PublicKernelPhase.SETUP {
-            previous_non_revertible_data_array_lengths
-        } else {
-            previous_revertible_data_array_lengths
-        };
-        assert_eq(
-            self.enqueued_call.data.previous_accumulated_data_array_lengths,
-            prev_lengths,
-            "mismatch previous_accumulated_data_array_lengths",
-        );
-    }
 }

noir-projects/noir-protocol-circuits/crates/public-kernel-lib/src/components/mod.nr

@@ -1,7 +1,3 @@
 mod enqueued_call_data_validator;
-mod previous_kernel_validator;
 mod public_kernel_output_composer;
-mod public_kernel_output_validator;
 mod public_tail_output_composer;
-mod public_tail_output_validator;
-mod vm_circuit_output_composer;