.

noir/noir-repo/test_programs/execution_success/double_verify_honk_proof/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "double_verify_honk_proof"
+type = "bin"
+authors = [""]
+
+[dependencies]

noir/noir-repo/test_programs/execution_success/double_verify_honk_proof/src/main.nr

@@ -0,0 +1,28 @@
+// This circuit aggregates two Honk proof from `assert_statement`.
+global SIZE_OF_PROOF_IF_LOGN_IS_28: u32 = 463;
+global HONK_IDENTIFIER: u32 = 1;
+fn main(
+    verification_key: [Field; 128],
+    // This is the proof without public inputs attached.
+    // This means: the size of this does not change with the number of public inputs.
+    proof: [Field; SIZE_OF_PROOF_IF_LOGN_IS_28],
+    public_inputs: pub [Field; 1],
+    key_hash: Field,
+    // The second proof, currently set to be identical
+    proof_b: [Field; SIZE_OF_PROOF_IF_LOGN_IS_28],
+) {
+    std::verify_proof_with_type(
+        verification_key,
+        proof,
+        public_inputs,
+        key_hash,
+        HONK_IDENTIFIER,
+    );
+    std::verify_proof_with_type(
+        verification_key,
+        proof_b,
+        public_inputs,
+        key_hash,
+        HONK_IDENTIFIER,
+    );
+}

noir/noir-repo/test_programs/execution_success/verify_honk_proof/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "verify_honk_proof"
+type = "bin"
+authors = [""]
+
+[dependencies]

noir/noir-repo/test_programs/execution_success/verify_honk_proof/src/main.nr

@@ -0,0 +1,21 @@
+// This circuit aggregates a single Honk proof from `assert_statement`.
+global SIZE_OF_PROOF_IF_LOGN_IS_28: u32 = 463;
+global HONK_IDENTIFIER: u32 = 1;
+fn main(
+    verification_key: [Field; 128],
+    // This is the proof without public inputs attached.
+    // This means: the size of this does not change with the number of public inputs.
+    proof: [Field; SIZE_OF_PROOF_IF_LOGN_IS_28],
+    public_inputs: pub [Field; 1],
+    // This is currently not public. It is fine given that the vk is a part of the circuit definition.
+    // I believe we want to eventually make it public too though.
+    key_hash: Field,
+) {
+    std::verify_proof_with_type(
+        verification_key,
+        proof,
+        public_inputs,
+        key_hash,
+        HONK_IDENTIFIER,
+    );
+}