@aztec-labs/ivc-integration 6.0.0-nightly.20260829

package/artifacts/mock_private_kernel_reset.d.json.ts

@@ -0,0 +1,3 @@
+import { type NoirCompiledCircuit } from '@aztec-labs/stdlib/noir';
+const circuit: NoirCompiledCircuit;
+export = circuit;

package/artifacts/mock_private_kernel_reset.json

@@ -0,0 +1,342 @@
+{
+  "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7",
+  "hash": "430997624925079949",
+  "abi": {
+    "parameters": [
+      {
+        "name": "prev_kernel_public_inputs",
+        "type": {
+          "kind": "struct",
+          "path": "mock_types::PrivateKernelPublicInputs",
+          "fields": [
+            {
+              "name": "remaining_calls",
+              "type": {
+                "kind": "integer",
+                "sign": "unsigned",
+                "width": 32
+              }
+            },
+            {
+              "name": "commitments",
+              "type": {
+                "kind": "array",
+                "length": 4,
+                "type": {
+                  "kind": "field"
+                }
+              }
+            },
+            {
+              "name": "read_requests",
+              "type": {
+                "kind": "array",
+                "length": 4,
+                "type": {
+                  "kind": "field"
+                }
+              }
+            }
+          ]
+        },
+        "visibility": "databus"
+      },
+      {
+        "name": "kernel_vk",
+        "type": {
+          "kind": "struct",
+          "path": "mock_types::protocol_types::proof::verification_key::VerificationKey",
+          "fields": [
+            {
+              "name": "key",
+              "type": {
+                "kind": "array",
+                "length": 151,
+                "type": {
+                  "kind": "field"
+                }
+              }
+            },
+            {
+              "name": "hash",
+              "type": {
+                "kind": "field"
+              }
+            }
+          ]
+        },
+        "visibility": "private"
+      },
+      {
+        "name": "commitment_read_hints",
+        "type": {
+          "kind": "array",
+          "length": 4,
+          "type": {
+            "kind": "integer",
+            "sign": "unsigned",
+            "width": 32
+          }
+        },
+        "visibility": "private"
+      }
+    ],
+    "return_type": {
+      "abi_type": {
+        "kind": "struct",
+        "path": "mock_types::PrivateKernelPublicInputs",
+        "fields": [
+          {
+            "name": "remaining_calls",
+            "type": {
+              "kind": "integer",
+              "sign": "unsigned",
+              "width": 32
+            }
+          },
+          {
+            "name": "commitments",
+            "type": {
+              "kind": "array",
+              "length": 4,
+              "type": {
+                "kind": "field"
+              }
+            }
+          },
+          {
+            "name": "read_requests",
+            "type": {
+              "kind": "array",
+              "length": 4,
+              "type": {
+                "kind": "field"
+              }
+            }
+          }
+        ]
+      },
+      "visibility": "databus"
+    },
+    "error_types": {
+      "16431471497789672479": {
+        "error_kind": "string",
+        "string": "Index out of bounds"
+      }
+    }
+  },
+  "bytecode": "H4sIAAAAAAAA/7XZ11cTWRwH8BBpgr13sfeKvVMVlSLYG0YY42hIQkhQ7LF3kwmi2CWhiAVUQAEbiG+/c/Yf8MVz9mHf1pd92z3sQPR7ETS5wYwPns+Jd+7v3vub+RKHLpK9wJWlEfWfVQutldE6Tcb+aMPBeIs+I0aj01mLU6OSVsZJ1tJNolkv5OSoIjgG0UOuUUVco5xco1w/G1WVKmRYTDlirhCl1ZoErcYsGvQFn1U3cF1XKAwKh7pB3aEeUE+oF9Qb6gP1hfpB/aEB0EBoEDQYGgINhYZBw6ER0EgoAhoFjYbGQGOhcdB4aAI0EZoETYamQFOhadB0aAY0E5oFzYYioTnQXGgeNB9aAC2EFkGLoSXQUmgZtBxaAUVB0VAMFAvFQfHQSmgVlACthtZAa6FEKAlKhlKgdVAqlAathzZAG6FN0GZoC7QV2gZth3ZAO6F0aBekgXZDGVAmJEB7IC20FxKhfdB+SAdlQXrIABmhbMgE5UBmyALlQgegg1AedAg6DB2BjkLHoOMs3U4wWhlPMp5iPM14hvEs4znG84wXGC8yXmK8zHiF8SrjNUYbo52xTVw7GPMZrzMWMLK0ppuMhYy3GG8z3mG8y3iP8b6tzTIfqK1lMQZ9jlmjNzdFqDz/CbA+jjaJOp2obfkxk6+yW0vSRL1WJzhsdsn71fSwKWJmZpLpy6wHk16nxNVYrZt3TIz8a1VerdEe8+Ufx9/Nzf+1Tpll1An0zGGzcayoPEp+akzmrYLJ4LA7eBZBzyTJ+0LkURyTVXie6Ks8qDMrrLDzrLDC61yqHxsWIKFhLQvxtnKqoIe8ffU0oLm5+V92p3huakDLXxJugkroOd/twPGV6XlEh5Z4PQm5JQ6uk/DcN+lry6BKiaPic44zbbsNm51n1kqOW6Y8UcgymPIS9KLZEVioClB3CQwKDgmVc0I+zliNWaPq1PlJfjg/92QvOO6DMvcmko1SoKORXtDLH9YscTyGQXLLuZ6RlxLHooN4dv/S1wfa5wQu8iWBqxRK4CKq4krgKp4dVSuRwEVUzZXA1UoncDUV8fbV04DfSOAa6JXfEvhVJxJYbglXAhfxJHANT8y8UiSBa3gSuBOHI/nhcNyTvfY5Xl9Trc/xGiz3k+sBqOWJ12Ce3dcqHq9OX+K1TqF4dVIdV7zW8eyoXol4dVI9V7zWKx2v9eTk7aunAb8Rr2+gt36L17ediFe5JVzx6uSJ1zc8MfNWkXh9o0S8yocj+eFw3JO98zle39F7n+M1RO4n1wPwnideQ3h2/17xeHX5Eq8fFIpXF33gitcPPDtqUCJeXdTAFa8NSsdrA7l4++ppwG/EayP00W/x+rET8Sq3hCteXTzx2sgTMx8ViddGJeJVPhzJD4fjnqzJ53htok8+x2uo3E+uB+ATT7yG8uz+k49Hb+OprOKpXKxE5QCeyiVKVFbzVC5VonIXnsplSlQO5Kn8SIGHO8j9Lttr7XIFage73+J4rf1Ygdoh7v/ieK39RIHaoe6f/15rP/XxZXBQIRVTCZVSGT2icnpMT+hpeapgtpj0La+FP6uK8bK4a1h4t+49evbq3advv/4DBg4aPGTosOEjRkaMGj1m7LjxEyZOmjxl6rTpM2bOmh05Z+68+QsWLlq8ZOmy5SuiomNi4+JXrkpYvWZtYlJyyrrUtPUbNm7avGXrtu07dqbv0uzOyBT2aPeK+/brsvQGY7Ypx2zJPXAw79DhI0ePHacTZKWTdIpO0xk6S+foPF2gi3SJLtMVukrXyEZ2kshB+XSdCugG3aRCukW36Q7dpXt0nx7Ib6qL5O/7LpstX7K6ojJEUzfpjz9DU+LU1ZdH2r59NLDjR6M6fjSl7UdSZaZoEjLMYq6QLupz5XYWWotbf/HmsJbEtv5Tf2tpgt4saAWTc0PkbI4fY+2u7+fb9Srrk5bvN5ly52IMxjxMo2LrwcTtKqmL40VBl8lR4mm0qNeY8lqHJxvzv0/QpSQu26LR5XSoqbaWrLZkGRP2SBga2r56AGf1gF9VVzljxVzMxtbgSjMbjHaJbfv7QUh1bZvXesTp2RaDWRT05pvtlxfmWxvU7a8P93Mbw9jEvzgPdfm3gm2ORcXO5xdXBTgTLbo2ffM6PM2y+yezOxMNudJP7oN2zQjHdv4Hm8fef7klAAA=",
+  "debug_symbols": "ndPBjoMgFAXQf2HtQngg2F+ZTBpqaUNC0FCdZNL03+fp1U67aNJ041XxHhXlKo7hMJ33MZ/6i9h9XcWhxJTieZ/6zo+xz3z2eqvEdrgfSwh8SjyMc2vwJeRR7PKUUiV+fJqWiy6Dz0uOvvBoXYmQj5wMnmIK896t+m/Xr6vG6rXcGHOvG/nUl6/7RI1ZAdLa3QUl330Cq2gFrLavnuC9vqUP+k5uL+Cs++T+zq391nxy/7axa1/WdfsEfPOR72J5+mmE4dmtRCN2/OXssnXLtuVSJWSNkAiFIIRGGAQTDQcMCUS2SygoCoqCoqAoKAqKgqKgKCgKCkEhKASFoBAUgkJQCApBISgaioaioWgoGoqGomflNk91if6QwrrGTlPuHpbc+DtsI9uiHErfheNUwjzTyxjP/R8=",
+  "file_map": {
+    "21": {
+      "source": "pub mod hash;\npub mod aes128;\npub mod array;\npub mod vector;\npub mod ecdsa_secp256k1;\npub mod ecdsa_secp256r1;\npub mod embedded_curve_ops;\npub mod field;\npub mod collections;\npub mod compat;\npub mod convert;\npub mod option;\npub mod string;\npub mod test;\npub mod cmp;\npub mod ops;\npub mod default;\npub mod prelude;\npub mod runtime;\npub mod meta;\npub mod append;\npub mod mem;\npub mod panic;\npub mod hint;\n\nmod primitive_docs;\nmod internal;\n\n// Oracle calls are required to be wrapped in an unconstrained function\n// Thus, the only argument to the `println` oracle is expected to always be an ident\n#[oracle(print)]\nunconstrained fn print_oracle<T>(with_newline: bool, input: T) {}\n\nunconstrained fn print_unconstrained<T>(with_newline: bool, input: T) {\n    print_oracle(with_newline, input);\n}\n\n/// Print the given input to stdout followed by a newline\npub fn println<T>(input: T) {\n    // Safety: a print statement cannot be constrained\n    unsafe {\n        print_unconstrained(true, input);\n    }\n}\n\n/// Print the given input to stdout\npub fn print<T>(input: T) {\n    // Safety: a print statement cannot be constrained\n    unsafe {\n        print_unconstrained(false, input);\n    }\n}\n\n/// Asserts the validity of the provided proof and public inputs against the provided verification key and hash.\n///\n/// The ACVM cannot determine whether the provided proof is valid during execution as this requires knowledge of\n/// the backend against which the program is being proven. However if an invalid proof if submitted, the program may\n/// fail to prove or the backend may generate a proof which will subsequently fail to verify.\n///\n/// # Important Note\n///\n/// If you are not developing your own backend such as [Barretenberg](https://github.com/AztecProtocol/barretenberg)\n/// you probably shouldn't need to interact with this function directly. It's easier and safer to use a verification\n/// library which is published by the developers of the backend which will document or enforce any safety requirements.\n///\n/// If you use this directly, you're liable to introduce underconstrainedness bugs and *your circuit will be insecure*.\n///\n/// # Arguments\n/// - verification_key: The verification key of the circuit to be verified.\n/// - proof: The proof to be verified.\n/// - public_inputs: The public inputs associated with `proof`\n/// - key_hash: The hash of `verification_key` of the form expected by the backend.\n/// - proof_type: An identifier for the proving scheme used to generate the proof to be verified. This allows\n///               for a single backend to support verifying multiple proving schemes.\n///\n/// # Constraining `key_hash`\n///\n/// The Noir compiler does not by itself constrain that `key_hash` is a valid hash of `verification_key`.\n/// This is because different backends may differ in how they hash their verification keys.\n/// It is then the responsibility of either the noir developer (by explicitly hashing the verification key\n/// in the correct manner) or by the proving system itself internally asserting the correctness of `key_hash`.\npub fn verify_proof_with_type<let N: u32, let M: u32, let K: u32>(\n    verification_key: [Field; N],\n    proof: [Field; M],\n    public_inputs: [Field; K],\n    key_hash: Field,\n    proof_type: u32,\n) {\n    if !crate::runtime::is_unconstrained() {\n        crate::assert_constant(proof_type);\n    }\n    verify_proof_internal(verification_key, proof, public_inputs, key_hash, proof_type);\n}\n\n#[foreign(recursive_aggregation)]\nfn verify_proof_internal<let N: u32, let M: u32, let K: u32>(\n    verification_key: [Field; N],\n    proof: [Field; M],\n    public_inputs: [Field; K],\n    key_hash: Field,\n    proof_type: u32,\n) {}\n\n/// Asserts that the given value is known at compile-time.\n/// Useful for debugging for-loop bounds.\n#[builtin(assert_constant)]\npub fn assert_constant<T>(x: T) {}\n\n/// Asserts that the given value is both true and known at compile-time.\n/// The message can be a string, a format string, or any value, as long as it is known at compile-time\n#[builtin(static_assert)]\npub fn static_assert<T>(predicate: bool, message: T) {}\n\n/// Force a field value to be a witness instead of a constant in the compiled output.\n/// This is often only useful for debugging compiler optimizations.\n///\n/// This has no effect in unconstrained or comptime code.\n#[builtin(as_witness)]\npub fn as_witness(x: Field) {}\n",
+      "path": "std/lib.nr",
+      "function_locations": [
+        {
+          "start": 676,
+          "name": "print_oracle"
+        },
+        {
+          "start": 750,
+          "name": "print_unconstrained"
+        },
+        {
+          "start": 880,
+          "name": "println"
+        },
+        {
+          "start": 1063,
+          "name": "print"
+        },
+        {
+          "start": 3264,
+          "name": "verify_proof_with_type"
+        },
+        {
+          "start": 3681,
+          "name": "verify_proof_internal"
+        },
+        {
+          "start": 3846,
+          "name": "assert_constant"
+        },
+        {
+          "start": 4105,
+          "name": "static_assert"
+        },
+        {
+          "start": 4376,
+          "name": "as_witness"
+        }
+      ]
+    },
+    "51": {
+      "source": "use mock_types::{\n    MAX_COMMITMENT_READ_REQUESTS_PER_TX, MAX_COMMITMENTS_PER_TX, MEGA_KERNEL_VK_LENGTH_IN_FIELDS,\n    PrivateKernelPublicInputs, PROOF_TYPE_HN, VerificationKey,\n};\n\n// Mock reset kernel that reset read requests.\n// It needs hints to locate the commitment that matches the read requests.\nfn main(\n    mut prev_kernel_public_inputs: call_data(0) PrivateKernelPublicInputs,\n    kernel_vk: VerificationKey<MEGA_KERNEL_VK_LENGTH_IN_FIELDS>,\n    commitment_read_hints: [u32; MAX_COMMITMENT_READ_REQUESTS_PER_TX],\n) -> return_data PrivateKernelPublicInputs {\n    std::verify_proof_with_type(kernel_vk.key, [], [], kernel_vk.hash, PROOF_TYPE_HN);\n\n    for i in 0..MAX_COMMITMENT_READ_REQUESTS_PER_TX {\n        if commitment_read_hints[i] != MAX_COMMITMENTS_PER_TX {\n            assert_eq(\n                prev_kernel_public_inputs.commitments[commitment_read_hints[i]],\n                prev_kernel_public_inputs.read_requests[i],\n            );\n            prev_kernel_public_inputs.read_requests[i] = 0;\n        }\n    }\n    prev_kernel_public_inputs\n}\n",
+      "path": "/mnt/user-data/jean/private-aztec/noir-projects/mock-protocol-circuits/crates/mock-private-kernel-reset/src/main.nr",
+      "function_locations": [
+        {
+          "start": 568,
+          "name": "main"
+        }
+      ]
+    }
+  },
+  "verificationKey": {
+    "bytes": "000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000002200000000000000000000000000000000000000000000000000000000000000a300000000000000000000000000000057c20eb23e156fe5dc94f8dc203b98c8ba00000000000000000000000000000000000f3e4629214da7fbb04ca1765ac73a000000000000000000000000000000236c6f9f91edd4165764046f7421e6ad1600000000000000000000000000000000002388df9a7045d4d58cd8668a57f7d5000000000000000000000000000000715c8ef9d1b84a213c1cc97865113b47260000000000000000000000000000000000261bc658ba4413a197b9e7cd40b8d3000000000000000000000000000000cab642a2a08c1be36ce1f94e9abac64eb9000000000000000000000000000000000027b7beb3cf24df90c8f30b45364991000000000000000000000000000000dfe7e3822de370e0e819ab42e79542d2e600000000000000000000000000000000001e973b6fd2a50605b5d8b71ae38bc100000000000000000000000000000039ce66adfd52eba93ed077134b552cdd9100000000000000000000000000000000001394be5556f2ffee9356bce4347b9e000000000000000000000000000000e4888761db1b03e45236d3a23b502641ac0000000000000000000000000000000000043f96ba9902a456bf55e361bf3ad90000000000000000000000000000001de01bfeb6b60f21fb5ca9ca9d9cc9e104000000000000000000000000000000000026a1c0e5b42d90c11cf52d2dfc57cc00000000000000000000000000000071c42853ce903546cf013526447d8a76f400000000000000000000000000000000000a3d7f7b2976ffe8659cbf69493641000000000000000000000000000000cd52759470fd70520d4ed97fe10839369100000000000000000000000000000000000400aca8a706d272414abf1a462bc8000000000000000000000000000000e0fbbe5c38eebaadffb14f1f607fb0e00d0000000000000000000000000000000000008d92e40fb76dbeece3dcb75a42ff0000000000000000000000000000005b93c3ad4f70296e8babd201e280caec730000000000000000000000000000000000082654f7df4ead46f1f124236908a8000000000000000000000000000000226967547736f81d1b7fca6e55f029f2f400000000000000000000000000000000000c658c1650155020c4b1c25fbc0d370000000000000000000000000000004f6f02de44ec74bf591a3a9611f979635300000000000000000000000000000000001921bb66177076ebcf9ddbbc2b3b76000000000000000000000000000000402ab4e7b14fd94e6bcbf1891f31d250ac00000000000000000000000000000000001652d026766ae58265cc9d487fe2100000000000000000000000000000004a266fd3cec72cc55e1ea3b1916c09ff5e0000000000000000000000000000000000236aa3c2dc23e6d71cce5ae9a381ad000000000000000000000000000000e9e25b77591e841f980ac2167463384d7c000000000000000000000000000000000005eaacf5af1d0937fdd3415f4d452d0000000000000000000000000000001f590aa9d0e29f66740d384393131a80a00000000000000000000000000000000000216945e285a47493097f4d116e93b10000000000000000000000000000006068b3afcca8474402b3ecf25f6d097a2e000000000000000000000000000000000004753b74adfb78ac62b4cf2449b36f000000000000000000000000000000566245339f7f1304debbd280c947dbd69300000000000000000000000000000000001da1e7e63df78e59a8cfd9fc61e72f0000000000000000000000000000004bf953c75bc786b2829c29eb81f88f727d00000000000000000000000000000000000db41da6efbd8aa261630835d20b270000000000000000000000000000003ffd158f9300eba4265f864ea9b7f34384000000000000000000000000000000000025cea3b0fdb9c017a6880af8c6f4560000000000000000000000000000005edf2827597887e64773e0559f35b81171000000000000000000000000000000000027c82513c3142399336707b1703f4300000000000000000000000000000090679eee86071917573959840f0522af2c000000000000000000000000000000000030426fd30661a76e4c4f25a00bfa43000000000000000000000000000000c9ebe9a125940b637f6567b2930ca06eda00000000000000000000000000000000000bad3b007acafd28f58eac7b436333000000000000000000000000000000d8b86fe5b92b8075061837d6c69233fc3000000000000000000000000000000000000509603b7462eb01b5e11e87a2392d00000000000000000000000000000004dff9e4c599ee79fefed4b1f3f4c5785a00000000000000000000000000000000002ae947489baa38b2323610a5d902010000000000000000000000000000003190b5e0fd9af03751a53bc61087050ec7000000000000000000000000000000000012e5c0318e9dcb3f7d3fa26da9e44900000000000000000000000000000024be5594b7cfa42e5acd2b87a5779c981f000000000000000000000000000000000002d302a4c75e8503bb5bc85dc3b01c0000000000000000000000000000008a7acf52dee884eff387c33db85ea5208500000000000000000000000000000000000b746af18f69ffc1c9b26f84b6cff30000000000000000000000000000001f945a83457e6640368fc2f43e567257900000000000000000000000000000000000211dd0475312403f362bebc3c5ecd20000000000000000000000000000005ea0416a717680ea719b2174b8cadbc57a00000000000000000000000000000000001ffba642e664107584a3c05693c34300000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000722141a4f29c181ed60483709cab326db0000000000000000000000000000000000029692f1a3c194eb573145dafae3e1000000000000000000000000000000fbcb3afef412f95179dd29a8acb8366f0500000000000000000000000000000000002c2b6b35fd2885087b0013e5aca61a000000000000000000000000000000b5cd6b7ec5ea09e4423bbade6a6ee4b13900000000000000000000000000000000002d1238da2ae2dd23dedcad2da8c187000000000000000000000000000000a0f59e33045e24b4ef1f954b5d462b422b000000000000000000000000000000000022148e985b8057be1d14c4fdbb4c5e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000067ac106d5118dca4be0421f39a4ae64a2a00000000000000000000000000000000001d239f657257a30e73681fd274d01b000000000000000000000000000000c5fba8cd4ef2c479be219d738826598141000000000000000000000000000000000026e02b3ffd58c63294643a6e6c9b29000000000000000000000000000000e82a7d6856c18d805604c79c6af9bf556600000000000000000000000000000000001fe58d9066da54aa452e13797cb690000000000000000000000000000000e36c32eca5a9ed27f892a870a1a70f470d0000000000000000000000000000000000075157b0cd11dd3f9c02c6181d41ab00000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c2600000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98000000000000000000000000000000000017bd63ba535af74d8a9188e022f4320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000def8f043527c3bb569c69e19d0fff3707d00000000000000000000000000000000000baef670369fd4b52249b25698009500000000000000000000000000000084bbf6c2bafb7c0a93728a501939ae543c0000000000000000000000000000000000139063050795a96c70dca1e50bf589000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c260000000000000000000000000000009235bd5493cd077c7414080f16eb053689000000000000000000000000000000000022fc8d56097634e8ced7fa1f6bed0c00000000000000000000000000000036f454e05b4e64d2ba2cc4c2cd0c83e5fa00000000000000000000000000000000000bd1adabb0fbf0f99ecaba2da8fda4000000000000000000000000000000f5508f8aa9a895b6058d7eee9968eee25500000000000000000000000000000000002b077b4690f8b74604ae70f006eee70000000000000000000000000000006bd8ac71291d3f7492537d2bb24eb3a42a00000000000000000000000000000000000b7eb253f526a5c59a717ecbb8e01e000000000000000000000000000000aa58821b7cf2f8db56121fec5f406629fb0000000000000000000000000000000000186ef132e0b33255d32f82a170f53000000000000000000000000000000019fc077419b53c81beae0e8ec78d67d48700000000000000000000000000000000002c244e487b1d88d1b5e7840fc815e9000000000000000000000000000000eb6cab516554f2e6e4eacfe5ed26118d93000000000000000000000000000000000012b453c9aa0cf90db105ff0f6abd14000000000000000000000000000000eb5f68fd2939378a0706a6b749ed6cffdf000000000000000000000000000000000023dcfcdd33e32a57927f957a4852b40000000000000000000000000000009c54b2ed492e32fb0aa20dc6fab0891dfc000000000000000000000000000000000009eb0e447f9650bdfecc9fe6294f88000000000000000000000000000000352b71a143ca5aa50dc67496d46b515db80000000000000000000000000000000000199e3b3930d230ac8b46e58dd90e6f",
+    "fields": [
+      "0x000000000000000000000000000000000000000000000000000000000000000e",
+      "0x0000000000000000000000000000000000000000000000000000000000000022",
+      "0x00000000000000000000000000000000000000000000000000000000000000a3",
+      "0x00000000000000000000000000000057c20eb23e156fe5dc94f8dc203b98c8ba",
+      "0x00000000000000000000000000000000000f3e4629214da7fbb04ca1765ac73a",
+      "0x000000000000000000000000000000236c6f9f91edd4165764046f7421e6ad16",
+      "0x00000000000000000000000000000000002388df9a7045d4d58cd8668a57f7d5",
+      "0x000000000000000000000000000000715c8ef9d1b84a213c1cc97865113b4726",
+      "0x0000000000000000000000000000000000261bc658ba4413a197b9e7cd40b8d3",
+      "0x000000000000000000000000000000cab642a2a08c1be36ce1f94e9abac64eb9",
+      "0x000000000000000000000000000000000027b7beb3cf24df90c8f30b45364991",
+      "0x000000000000000000000000000000dfe7e3822de370e0e819ab42e79542d2e6",
+      "0x00000000000000000000000000000000001e973b6fd2a50605b5d8b71ae38bc1",
+      "0x00000000000000000000000000000039ce66adfd52eba93ed077134b552cdd91",
+      "0x00000000000000000000000000000000001394be5556f2ffee9356bce4347b9e",
+      "0x000000000000000000000000000000e4888761db1b03e45236d3a23b502641ac",
+      "0x0000000000000000000000000000000000043f96ba9902a456bf55e361bf3ad9",
+      "0x0000000000000000000000000000001de01bfeb6b60f21fb5ca9ca9d9cc9e104",
+      "0x000000000000000000000000000000000026a1c0e5b42d90c11cf52d2dfc57cc",
+      "0x00000000000000000000000000000071c42853ce903546cf013526447d8a76f4",
+      "0x00000000000000000000000000000000000a3d7f7b2976ffe8659cbf69493641",
+      "0x000000000000000000000000000000cd52759470fd70520d4ed97fe108393691",
+      "0x00000000000000000000000000000000000400aca8a706d272414abf1a462bc8",
+      "0x000000000000000000000000000000e0fbbe5c38eebaadffb14f1f607fb0e00d",
+      "0x0000000000000000000000000000000000008d92e40fb76dbeece3dcb75a42ff",
+      "0x0000000000000000000000000000005b93c3ad4f70296e8babd201e280caec73",
+      "0x0000000000000000000000000000000000082654f7df4ead46f1f124236908a8",
+      "0x000000000000000000000000000000226967547736f81d1b7fca6e55f029f2f4",
+      "0x00000000000000000000000000000000000c658c1650155020c4b1c25fbc0d37",
+      "0x0000000000000000000000000000004f6f02de44ec74bf591a3a9611f9796353",
+      "0x00000000000000000000000000000000001921bb66177076ebcf9ddbbc2b3b76",
+      "0x000000000000000000000000000000402ab4e7b14fd94e6bcbf1891f31d250ac",
+      "0x00000000000000000000000000000000001652d026766ae58265cc9d487fe210",
+      "0x0000000000000000000000000000004a266fd3cec72cc55e1ea3b1916c09ff5e",
+      "0x0000000000000000000000000000000000236aa3c2dc23e6d71cce5ae9a381ad",
+      "0x000000000000000000000000000000e9e25b77591e841f980ac2167463384d7c",
+      "0x000000000000000000000000000000000005eaacf5af1d0937fdd3415f4d452d",
+      "0x0000000000000000000000000000001f590aa9d0e29f66740d384393131a80a0",
+      "0x0000000000000000000000000000000000216945e285a47493097f4d116e93b1",
+      "0x0000000000000000000000000000006068b3afcca8474402b3ecf25f6d097a2e",
+      "0x000000000000000000000000000000000004753b74adfb78ac62b4cf2449b36f",
+      "0x000000000000000000000000000000566245339f7f1304debbd280c947dbd693",
+      "0x00000000000000000000000000000000001da1e7e63df78e59a8cfd9fc61e72f",
+      "0x0000000000000000000000000000004bf953c75bc786b2829c29eb81f88f727d",
+      "0x00000000000000000000000000000000000db41da6efbd8aa261630835d20b27",
+      "0x0000000000000000000000000000003ffd158f9300eba4265f864ea9b7f34384",
+      "0x000000000000000000000000000000000025cea3b0fdb9c017a6880af8c6f456",
+      "0x0000000000000000000000000000005edf2827597887e64773e0559f35b81171",
+      "0x000000000000000000000000000000000027c82513c3142399336707b1703f43",
+      "0x00000000000000000000000000000090679eee86071917573959840f0522af2c",
+      "0x000000000000000000000000000000000030426fd30661a76e4c4f25a00bfa43",
+      "0x000000000000000000000000000000c9ebe9a125940b637f6567b2930ca06eda",
+      "0x00000000000000000000000000000000000bad3b007acafd28f58eac7b436333",
+      "0x000000000000000000000000000000d8b86fe5b92b8075061837d6c69233fc30",
+      "0x00000000000000000000000000000000000509603b7462eb01b5e11e87a2392d",
+      "0x00000000000000000000000000000004dff9e4c599ee79fefed4b1f3f4c5785a",
+      "0x00000000000000000000000000000000002ae947489baa38b2323610a5d90201",
+      "0x0000000000000000000000000000003190b5e0fd9af03751a53bc61087050ec7",
+      "0x000000000000000000000000000000000012e5c0318e9dcb3f7d3fa26da9e449",
+      "0x00000000000000000000000000000024be5594b7cfa42e5acd2b87a5779c981f",
+      "0x000000000000000000000000000000000002d302a4c75e8503bb5bc85dc3b01c",
+      "0x0000000000000000000000000000008a7acf52dee884eff387c33db85ea52085",
+      "0x00000000000000000000000000000000000b746af18f69ffc1c9b26f84b6cff3",
+      "0x0000000000000000000000000000001f945a83457e6640368fc2f43e56725790",
+      "0x0000000000000000000000000000000000211dd0475312403f362bebc3c5ecd2",
+      "0x0000000000000000000000000000005ea0416a717680ea719b2174b8cadbc57a",
+      "0x00000000000000000000000000000000001ffba642e664107584a3c05693c343",
+      "0x0000000000000000000000000000000000000000000000000000000000000001",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000002",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000722141a4f29c181ed60483709cab326db",
+      "0x0000000000000000000000000000000000029692f1a3c194eb573145dafae3e1",
+      "0x000000000000000000000000000000fbcb3afef412f95179dd29a8acb8366f05",
+      "0x00000000000000000000000000000000002c2b6b35fd2885087b0013e5aca61a",
+      "0x000000000000000000000000000000b5cd6b7ec5ea09e4423bbade6a6ee4b139",
+      "0x00000000000000000000000000000000002d1238da2ae2dd23dedcad2da8c187",
+      "0x000000000000000000000000000000a0f59e33045e24b4ef1f954b5d462b422b",
+      "0x000000000000000000000000000000000022148e985b8057be1d14c4fdbb4c5e",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x00000000000000000000000000000067ac106d5118dca4be0421f39a4ae64a2a",
+      "0x00000000000000000000000000000000001d239f657257a30e73681fd274d01b",
+      "0x000000000000000000000000000000c5fba8cd4ef2c479be219d738826598141",
+      "0x000000000000000000000000000000000026e02b3ffd58c63294643a6e6c9b29",
+      "0x000000000000000000000000000000e82a7d6856c18d805604c79c6af9bf5566",
+      "0x00000000000000000000000000000000001fe58d9066da54aa452e13797cb690",
+      "0x000000000000000000000000000000e36c32eca5a9ed27f892a870a1a70f470d",
+      "0x0000000000000000000000000000000000075157b0cd11dd3f9c02c6181d41ab",
+      "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726",
+      "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5",
+      "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431",
+      "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26",
+      "0x00000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c",
+      "0x000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d",
+      "0x000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98",
+      "0x000000000000000000000000000000000017bd63ba535af74d8a9188e022f432",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x000000000000000000000000000000def8f043527c3bb569c69e19d0fff3707d",
+      "0x00000000000000000000000000000000000baef670369fd4b52249b256980095",
+      "0x00000000000000000000000000000084bbf6c2bafb7c0a93728a501939ae543c",
+      "0x0000000000000000000000000000000000139063050795a96c70dca1e50bf589",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726",
+      "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5",
+      "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431",
+      "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26",
+      "0x0000000000000000000000000000009235bd5493cd077c7414080f16eb053689",
+      "0x000000000000000000000000000000000022fc8d56097634e8ced7fa1f6bed0c",
+      "0x00000000000000000000000000000036f454e05b4e64d2ba2cc4c2cd0c83e5fa",
+      "0x00000000000000000000000000000000000bd1adabb0fbf0f99ecaba2da8fda4",
+      "0x000000000000000000000000000000f5508f8aa9a895b6058d7eee9968eee255",
+      "0x00000000000000000000000000000000002b077b4690f8b74604ae70f006eee7",
+      "0x0000000000000000000000000000006bd8ac71291d3f7492537d2bb24eb3a42a",
+      "0x00000000000000000000000000000000000b7eb253f526a5c59a717ecbb8e01e",
+      "0x000000000000000000000000000000aa58821b7cf2f8db56121fec5f406629fb",
+      "0x0000000000000000000000000000000000186ef132e0b33255d32f82a170f530",
+      "0x00000000000000000000000000000019fc077419b53c81beae0e8ec78d67d487",
+      "0x00000000000000000000000000000000002c244e487b1d88d1b5e7840fc815e9",
+      "0x000000000000000000000000000000eb6cab516554f2e6e4eacfe5ed26118d93",
+      "0x000000000000000000000000000000000012b453c9aa0cf90db105ff0f6abd14",
+      "0x000000000000000000000000000000eb5f68fd2939378a0706a6b749ed6cffdf",
+      "0x000000000000000000000000000000000023dcfcdd33e32a57927f957a4852b4",
+      "0x0000000000000000000000000000009c54b2ed492e32fb0aa20dc6fab0891dfc",
+      "0x000000000000000000000000000000000009eb0e447f9650bdfecc9fe6294f88",
+      "0x000000000000000000000000000000352b71a143ca5aa50dc67496d46b515db8",
+      "0x0000000000000000000000000000000000199e3b3930d230ac8b46e58dd90e6f"
+    ],
+    "hash": ""
+  },
+  "aztec_version": "6.0.0-nightly.20260829"
+}

package/artifacts/mock_private_kernel_tail.d.json.ts

@@ -0,0 +1,3 @@
+import { type NoirCompiledCircuit } from '@aztec-labs/stdlib/noir';
+const circuit: NoirCompiledCircuit;
+export = circuit;