inner_6 PoC - no surprises

Author: ledwards2225

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

@@ -16,6 +16,7 @@ members = [
     "crates/private-kernel-init-simulated",
     "crates/private-kernel-inner",
     "crates/private-kernel-inner-3",
+    "crates/private-kernel-inner-6",
     "crates/private-kernel-inner-simulated",
     "crates/private-kernel-reset",
     "crates/private-kernel-reset-simulated",

noir-projects/noir-protocol-circuits/crates/private-kernel-inner-6/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "private_kernel_inner_6"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.18.0"
+
+[dependencies]
+private_kernel_lib = { path = "../private-kernel-lib" }
+types = { path = "../types" }

noir-projects/noir-protocol-circuits/crates/private-kernel-inner-6/src/main.nr

@@ -0,0 +1,37 @@
+use private_kernel_lib::{private_kernel_inner_6, PrivateKernelInner6CircuitPrivateInputs};
+use types::{
+    abis::{
+        private_circuit_public_inputs::PrivateCircuitPublicInputs,
+        private_kernel::private_call_data::PrivateCallDataWithoutPublicInputs,
+        private_kernel_data::PrivateKernelDataWithoutPublicInputs,
+    },
+    PrivateKernelCircuitPublicInputs,
+};
+
+fn main(
+    previous_kernel: PrivateKernelDataWithoutPublicInputs,
+    previous_kernel_public_inputs: call_data(0) PrivateKernelCircuitPublicInputs,
+    private_call_0: PrivateCallDataWithoutPublicInputs,
+    private_call_1: PrivateCallDataWithoutPublicInputs,
+    private_call_2: PrivateCallDataWithoutPublicInputs,
+    private_call_3: PrivateCallDataWithoutPublicInputs,
+    private_call_4: PrivateCallDataWithoutPublicInputs,
+    private_call_5: PrivateCallDataWithoutPublicInputs,
+    app_public_inputs_0: call_data(1) PrivateCircuitPublicInputs,
+    app_public_inputs_1: call_data(2) PrivateCircuitPublicInputs,
+    app_public_inputs_2: call_data(3) PrivateCircuitPublicInputs,
+    app_public_inputs_3: call_data(4) PrivateCircuitPublicInputs,
+    app_public_inputs_4: call_data(5) PrivateCircuitPublicInputs,
+    app_public_inputs_5: call_data(6) PrivateCircuitPublicInputs,
+) -> return_data PrivateKernelCircuitPublicInputs {
+    let private_inputs = PrivateKernelInner6CircuitPrivateInputs {
+        previous_kernel: previous_kernel.to_private_kernel_data(previous_kernel_public_inputs),
+        private_call_0: private_call_0.to_private_call_data(app_public_inputs_0),
+        private_call_1: private_call_1.to_private_call_data(app_public_inputs_1),
+        private_call_2: private_call_2.to_private_call_data(app_public_inputs_2),
+        private_call_3: private_call_3.to_private_call_data(app_public_inputs_3),
+        private_call_4: private_call_4.to_private_call_data(app_public_inputs_4),
+        private_call_5: private_call_5.to_private_call_data(app_public_inputs_5),
+    };
+    private_kernel_inner_6::execute(private_inputs)
+}

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

@@ -7,6 +7,7 @@ pub mod private_kernel_init_3;
 pub(crate) mod private_kernel_batch;
 pub mod private_kernel_inner;
 pub mod private_kernel_inner_3;
+pub mod private_kernel_inner_6;
 pub mod private_kernel_tail;
 pub mod private_kernel_tail_to_public;
 pub mod private_kernel_reset;
@@ -21,6 +22,7 @@ pub use private_kernel_init::PrivateKernelInitCircuitPrivateInputs;
 pub use private_kernel_init_3::PrivateKernelInit3CircuitPrivateInputs;
 pub use private_kernel_inner::PrivateKernelInnerCircuitPrivateInputs;
 pub use private_kernel_inner_3::PrivateKernelInner3CircuitPrivateInputs;
+pub use private_kernel_inner_6::PrivateKernelInner6CircuitPrivateInputs;
 pub use private_kernel_reset::PrivateKernelResetCircuitPrivateInputs;
 pub use private_kernel_tail::PrivateKernelTailCircuitPrivateInputs;
 pub use private_kernel_tail_to_public::PrivateKernelTailToPublicCircuitPrivateInputs;

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

@@ -0,0 +1,35 @@
+use crate::{
+    private_kernel_batch::execute_next_private_call,
+    private_kernel_inner::ALLOWED_PREVIOUS_CIRCUITS,
+};
+use types::abis::{
+    kernel_circuit_public_inputs::PrivateKernelCircuitPublicInputs,
+    private_kernel::private_call_data::PrivateCallData, private_kernel_data::PrivateKernelData,
+};
+
+pub struct PrivateKernelInner6CircuitPrivateInputs {
+    pub previous_kernel: PrivateKernelData,
+    pub private_call_0: PrivateCallData,
+    pub private_call_1: PrivateCallData,
+    pub private_call_2: PrivateCallData,
+    pub private_call_3: PrivateCallData,
+    pub private_call_4: PrivateCallData,
+    pub private_call_5: PrivateCallData,
+}
+
+pub fn execute(
+    inputs: PrivateKernelInner6CircuitPrivateInputs,
+) -> PrivateKernelCircuitPublicInputs {
+    if !::std::runtime::is_unconstrained() {
+        inputs.previous_kernel.verify(false);
+    }
+    inputs.previous_kernel.validate_vk_in_vk_tree(ALLOWED_PREVIOUS_CIRCUITS);
+
+    let output_0 =
+        execute_next_private_call(inputs.previous_kernel.public_inputs, inputs.private_call_0);
+    let output_1 = execute_next_private_call(output_0, inputs.private_call_1);
+    let output_2 = execute_next_private_call(output_1, inputs.private_call_2);
+    let output_3 = execute_next_private_call(output_2, inputs.private_call_3);
+    let output_4 = execute_next_private_call(output_3, inputs.private_call_4);
+    execute_next_private_call(output_4, inputs.private_call_5)
+}