@aztec/ivc-integration 5.0.0-rc.2 → 5.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (23) hide show
  1. package/artifacts/app_creator.json +92 -72
  2. package/artifacts/app_reader.json +92 -72
  3. package/artifacts/keys/mock_rollup_root_verifier.sol +263 -292
  4. package/artifacts/mock_hiding.json +126 -154
  5. package/artifacts/mock_private_kernel_init.json +277 -253
  6. package/artifacts/mock_private_kernel_inner.json +278 -254
  7. package/artifacts/mock_private_kernel_reset.json +144 -124
  8. package/artifacts/mock_private_kernel_tail.json +144 -124
  9. package/artifacts/mock_rollup_root.json +82 -82
  10. package/artifacts/mock_rollup_tx_base_private.json +129 -129
  11. package/artifacts/mock_rollup_tx_base_public.json +132 -132
  12. package/artifacts/mock_rollup_tx_merge.json +126 -126
  13. package/dest/prove_native.d.ts +1 -1
  14. package/dest/prove_native.d.ts.map +1 -1
  15. package/dest/prove_native.js +3 -6
  16. package/dest/types/index.d.ts +15 -15
  17. package/dest/witgen.d.ts +3 -3
  18. package/dest/witgen.d.ts.map +1 -1
  19. package/dest/witgen.js +2 -2
  20. package/package.json +16 -16
  21. package/src/prove_native.ts +3 -6
  22. package/src/types/index.ts +15 -15
  23. package/src/witgen.ts +4 -4
package/artifacts/mock_private_kernel_reset.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
- "noir_version": "1.0.0-beta.21+f1a4575adac59af0a86b036cf73ff5883d142a91",
3
- "hash": "8301392119809402539",
2
+ "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7",
3
+ "hash": "18423865252905212915",
4
4
  "abi": {
5
5
  "parameters": [
6
6
  {
@@ -51,7 +51,7 @@
51
51
  "name": "key",
52
52
  "type": {
53
53
  "kind": "array",
54
- "length": 143,
54
+ "length": 163,
55
55
  "type": {
56
56
  "kind": "field"
57
57
  }
@@ -125,54 +125,54 @@
125
125
  }
126
126
  }
127
127
  },
128
- "bytecode": "H4sIAAAAAAAA/7XZ11cTWRwH8CTSFuy9i71X7J2qqBTB3jDCGEfDJIQJin3s3WSCKMVKlaIooID6ssfHe87+A754zj7s2/qyb7uHHYh+B0GT32DGB8/nxDv3d+/9zXyJQx/ZXViebeaFT4YVUkOM1Zx5LMZ2IsEpZMaarVapIi06eUO8LFXt5EWBy801RBIGsSLSqGLSqBLSqNIfjWpK4zKdjlw+j4u2WBycxSzyNqHwk+EurvsNCocioL5QP6g/NAAaCA2CBkNDoKHQMGg4NAIaCY2CRkNjoLHQOGg8NAGKhCZCk6DJ0BRoKjQNmg7NgGZCs6DZ0BxoLjQPmg8tgBZCi6AoaDG0BFoKLYOWQyugldAqaDW0BloLrYPWQ9FQDBQLxUHxUAK0AdoIJUKboM3QFigJSoZSoFRoK5QGpUPboO3QDmgntAvaDe2B9kL7oP3QASgDOgiZoUNQJpQFcdBhyAIdgXjoKHQMskLZkADZIDuUAzmgXEiEnFAedBw6AeVDJ6FT0GnoDHQWOqem23mVksoLKi+qvKTyssorKq+qvKbyusobKm+qvKXytso7KtVUZS6VbpVd4tqjskDlPZWFKu+7ukz3wCRVx9qEXNEsiB8jDb7/GKXaGAdvtfKWjh8HBQa3VJnOCxYr53G5Zf9Xs6KPkQuykh2fFz6Z2ZIa/0aSdu2fEfXXxvxWuzv28z+ev9vb/+ucMttu5Vilx+UirKgmWrm7HeIezmHzuD2URbBKWfa/EGUUYbIq3xN9UQb1ZoVVbsoKq/zOZfi+YUYZDetYiL+VsypWRO2rrwHt7e3/qneK76YaO/6ScRNUQ89ptwPhq83zyB4t8XsSSks8pJPw3Tf5S8egaplQ8TnhTLtuw+WmzFpNuGVqkrhsmyM/UeBFT1CRwWjqExQcEhqm5IRynHFm0Wzo1fnJATg/72Q1hPug2ruJFLsc5Pmd1bDa79YsEx7DYKXlpGekViYsOpiy+1qtD7TmBC7WksB1OiVwMasjJXAdZUf1eiRwMasnJXC93glcz4qpffU14BcS+AX0MmAJ/LIXCay0hJTAxZQEfkGJmZe6JPALSgL34nDkAByOd7IGzfHawF5pjtcQpZ+kB+AVJV5DKLt/pXu8lmiJ19c6xWsJe02K19eUHTXqEa8lrJEUr416x2sjK6H21deAX4jXJqg5YPHa3It4VVpCitcSSrw2UWKmWZd4bdIjXpXDkQNwON7J3miO1zfsreZ4DVX6SXoA3lLiNZSy+7e6x2uplnht0SleS1kLKV5bKDtq1SNeS1krKV5b9Y7XVlZK7auvAb8Qr23Qu4DF67texKvSElK8llLitY0SM+90idc2PeJVORw5AIfjney95nh9zz5ojtcwpZ+kB+ADJV7DKLv/oPHoXZTKBkrlh3pUNlIqP9KjsolS+bEelftQKj/Ro3IQpfJTHR7uYO+7bL+1n+lQO8T7Fsdv7TIdaod6/4vjt3a5DrXDvD///dau0PgyOLiIPWSP2GP2hD1lz1gZK2cVNWmc6HQIHa+FPxke4mXxb+ERffv1HzBw0OAhQ4cNHzFy1OgxY8eNnxA5cdLkKVOnTZ8xc9bsOXPnzV+wcFHU4iVLly1fsXLV6jVr162PjomNi0/YsDFx0+YtSckpqVvT0rdt37Fz1+49e/ftP5Bx0HwoM4s7bDnCHz1mzRZs9hxHrujMO34i/+Sp02fOnmPnmcQusIvsErvMrrCr7Bq7zm6wm+wWu83usLvMxdxMZh5WwO6xQnafPVDeTBcr3+9LXa4CWSqPzuQdfeU//gxLjTc135rg+vrRiJ4fTez50eyuH8kNWbyDyxT5PC6DF/KU9hVJFZ2/aPNIlXGd/zRMqkoURM7COcq2Ry0i/Njqdv1QbdcbpLqO7zNZSqdibfZ8TGNQ14OJu1UyVSTwnDWLUKI+hhfMjvzO4Sn2gm8T9KmMz3Garbk9apqkyk3ObHviYRlDw7pXNxKrG39W3VAWx+dhNnUN5emize6W1W1/Owi5rWvzOo84I8dpE3lOEB90X164tjaYul8fEeA2hqsT/+Q8TDVfC3Y5FoN6Pj+5yliW5LR26Zvf4enOQz+YvSzJlif/4D7o1owIbOd/ADB48FElAAA=",
129
- "debug_symbols": "ndPBjoMgFAXQf2HNQngPLf2VyaShljYkBA3VSSZN/33Qq5120aRx41XxHhXlJk7+OF4OIZ27q9h/3cQxhxjD5RC71g2hS+Xs7S7FengYsvfllHgaL63eZZ8GsU9jjFL8uDjOF117l+YcXC6jlRQ+nUoW8Byin/bu8r9dva+aei3XrB51ti999b5PZNQCEBM/BP3xEzSVXYCG6N0TfNY3dkN/V60vsKt5y/0bXvqWttzfGlr71rz0v8uRa0N++WeEKZMrRV0ukaKZt7t5a8vHlEJVCIXQCEIwwiAKUZeAoYAoO4eGoqFoKBqKhqKhaCgaioaioRAUgkJQCApBISgEhaAQFILCUBgKQ2EoDIWh8KTcp5nOwR2jX5bYeUzt04obfvt1ZF2Tfe5afxqzn2Z6Hitz/wc=",
128
+ "bytecode": "H4sIAAAAAAAA/7XZV1QTWRgH8NBZsPcu9l6xd6qiUgR7wwgjjoYkhATFHns3mSCKXamiQOwFG4hi+RB998Vz9mHf1pd92z3sQPR/EZTcIOOD53finfvde7+Zf2D0kKyZOclqUftZNdVsD9aoEzYH67aGm7QJIWqNxpwbGxQ1N0wy5y8TjVohNVUVwDGIirhGFXONKuEaZf/ZqLuxQoLJkCqmCUFJSQYhSW0UddrMz6psXPcH5Af5Q62g1lAbqC3UDmoPdYA6Qp2gzlAXqCvUDeoO9YB6Qr2g3lAfqC8UAPWD+kMDoIHQIGgwNAQaCg2DhkMjoJHQKGg0NAYaC42DxkOB0ARoIjQJmgxNgaZC06Dp0AxoJjQLmg3NgYKgYCgECoXCoHBoLjQPioDmQwughVAkFAVFQzHQIigWioMWQ0ugpdAyaDm0AloJrYJWQ2ugtVA8tA5SQ+uhBCgREqANUBK0ERKhTdBmSAMlQ1pIB+mhFMgApUJGyASlQVugrVA6tA3aDu2AdkK7oN0s3fYwmhn3Mu5j3M94gPEg4yHGw4xHGI8yHmM8zniC8STjKUYLo5WxXlzbGDMYTzNmMp5hPMuYxXiO8TzjBcaLjJcYLzNeYbzKeI2RfWNQDmMuYx5jPmMB43XGQsYblnpHddPdXBCi06Ya1VpjRYCq6T9u5hvBBlGjEZNqv+oyVFZzXpyoTdIINotVcn41FVUEjE2MMnwZd2XYw5iw+2bz8jVDA/+al/5Ibw358o/t75qa/+qmTNZrBHpss1g4VlQYJD+5BuNKwaCzWW08i6DHkuR8IfIojslKm57oqzyoOSsstfKssNTpXKofG+YmoWG1C3G2ciqlIt6+NjWgpqbmX3anNN1Ut9q/JNwET6CnfLcDx49tTwMatcTpScgtsXGdRNN9k77WDnoicVR8ynGm9bdhsfLM+oTjlimMFJJ1hvQIrWi0eWap3Nw9PL28fXzlnJCPM1RtVKuadX5SC5yfY7JnHPdBgWMT0XrJ01ZOz+j5D2uWOB5DL7nlXM/Ic4lj0V48u3/u6gPtcgIXu5LALxRK4GJ6wZXAL3h2VKZEAhdTGVcClymdwGVUzNvXpgb8RgKXQy9bLIFfNiOB5ZZwJXAxTwKX88TMS0USuJwngZtxOFILHI5jsgqX47WCXrkcr95yP7kegFc88erNs/tXisdriSvx+lqheC2h11zx+ppnR5VKxGsJVXLFa6XS8VpJJbx9bWrAb8TrG+hti8Xr22bEq9wSrngt4YnXNzwx81aReH2jRLzKhyO1wOE4Jnvncry+o/cux6uP3E+uB+A9T7z68Oz+veLxanclXkmheLUTccUr8eyoSol4tVMVV7xWKR2vVWTn7WtTA34jXj9A1S0Wr9XNiFe5JVzxaueJ1w88MVOtSLx+UCJe5cORWuBwHJN9dDleP9Inl+PVV+4n1wPwiSdefXl2/8nFo7fwVFbxVL6lRGU3nsq3lajszlP5jhKVPXgq31WisidP5XsKPNxejnfZTmvfV6C2t+MtjtPaDxSo7eP4Fcdp7YcK1PZ1fP87rf3IxZfBXll0i27THbpL9+g+PaCH9KgwVjCaDNra18KfVbfwsvgPP/9Wrdu0bde+Q8dOnbt07da9R89evfv0DejXf8DAQYOHDB02fMTIUaPHjB03PnDCxEmTp0ydNn3GzFmz5wQFh4SGhc+dFzF/wcLIqOiYRbFxi5csXbZ8xcpVq9esjV+nXp+QKGxI2ihu2qxJ1ur0KYZUoylty9b0bdt37Ny1m/aQmfbSPtpPB+ggHaLDdISO0jE6TifoJJ0iC1lJIhtl0GnKpDN0lrLoHJ2nC3SRLtFlukJX6RplUw7lUh7lUwFdp0K6QTflN9jF8u8BdoslQzLnBCWIhlZS9Z++MWHu9473tXz7qGvjj/o1/mhE/Y8ke6JoEBKMYpoQL2rT5DZnmXPr/kPOZs4Lrfunzub8CK1RSBIM2UsCx3N8vTW4vpNr16vMN2t/7kmUOxqi06djGhVbDyZuUMk9N1wUNIkcJYqCRa3akF43PFqf8X0Cj7ywFJNak9qoprs5b74pWR+xQcJQ34bV3Tiru/2quio7VEzDbGwNOXFGnd4qsW1/Pwjpcf3m1R1xfIpJZxQFrfFsw+X5udYG94bX+7dwG/3YxL84D/fCbwXrHYuKnc8vrnLLjjRp6vXN6fA40/qfzJ4dqUuTfnIfNGiGP7bzP84W1ExVJgAA",
129
+ "debug_symbols": "ndPBjoMgFAXQf2HtQnig0l+ZTBpqaUNC0FCdZNL03+fp1U67MGnceFW8B0LkLs7+NF6PIV26mzh83cUphxjD9Ri71g2hS/z2/ijE+ngcsvf8SryMc6t32adBHNIYYyF+XBznj269S3MOLvNoWQifzpwMXkL0092j+G+X21VTreVKy2fdyLe+3O4TVWYBSOvmKSj56Qrq0i5ATbS1gs/6xu7oN6Vc+k2l98xf66Vvac/81tDat+at/81Prg357Z8Rhje3EJU48LT1fG3mq+VSIWSJkAiFIIRGGAQTFQcMCUTaORQUBUVBUVAUFAVFQVFQFBQFhaAQFIJCUAgKQSEoBIWgEBQNRUPRUDQUDUVD0ZPymHY6B3eKfjlilzG1Lydu+O3XkfVM9rlr/XnMftrpeYz3/g8=",
130
130
  "file_map": {
131
- "20": {
132
- "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;\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",
131
+ "21": {
132
+ "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",
133
133
  "path": "std/lib.nr",
134
134
  "function_locations": [
135
135
  {
136
- "start": 662,
136
+ "start": 676,
137
137
  "name": "print_oracle"
138
138
  },
139
139
  {
140
- "start": 736,
140
+ "start": 750,
141
141
  "name": "print_unconstrained"
142
142
  },
143
143
  {
144
- "start": 866,
144
+ "start": 880,
145
145
  "name": "println"
146
146
  },
147
147
  {
148
- "start": 1049,
148
+ "start": 1063,
149
149
  "name": "print"
150
150
  },
151
151
  {
152
- "start": 3250,
152
+ "start": 3264,
153
153
  "name": "verify_proof_with_type"
154
154
  },
155
155
  {
156
- "start": 3667,
156
+ "start": 3681,
157
157
  "name": "verify_proof_internal"
158
158
  },
159
159
  {
160
- "start": 3832,
160
+ "start": 3846,
161
161
  "name": "assert_constant"
162
162
  },
163
163
  {
164
- "start": 4091,
164
+ "start": 4105,
165
165
  "name": "static_assert"
166
166
  },
167
167
  {
168
- "start": 4362,
168
+ "start": 4376,
169
169
  "name": "as_witness"
170
170
  }
171
171
  ]
172
172
  },
173
- "49": {
173
+ "51": {
174
174
  "source": "use mock_types::{\n MAX_COMMITMENT_READ_REQUESTS_PER_TX, MAX_COMMITMENTS_PER_TX, MEGA_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_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",
175
- "path": "/home/mitch/aztec-clones/alpha/noir-projects/mock-protocol-circuits/crates/mock-private-kernel-reset/src/main.nr",
175
+ "path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-private-kernel-reset/src/main.nr",
176
176
  "function_locations": [
177
177
  {
178
178
  "start": 554,
@@ -182,55 +182,53 @@
182
182
  }
183
183
  },
184
184
  "verificationKey": {
185
- "bytes": "000000000000000000000000000000000000000000000000000000000000000f000000000000000000000000000000000000000000000000000000000000001a000000000000000000000000000000000000000000000000000000000000009e0000000000000000000000000000009e091902a9b1bc5d7585ce52d11e24f1c500000000000000000000000000000000002ab91f4fde87b78b93d633307f3c15000000000000000000000000000000a153ab5e7936820006ff41e46ffed3f40d000000000000000000000000000000000016851bb92a98efe7363b7fc5b808460000000000000000000000000000007502e71dea06ae019c3b6227e32563b4e2000000000000000000000000000000000015ab6ec1413ec25c7836aa4278cde5000000000000000000000000000000db2736d8374a7f76537e5d5b0043a93a4e00000000000000000000000000000000000880a781fd57f9c55da291e15264e9000000000000000000000000000000acc0934c90b595d876504ffbd5e574a9ef00000000000000000000000000000000000ddee3b381182248f9263c2ee3029a0000000000000000000000000000004ef68162475d7ee84cb35a160fb3d96ac900000000000000000000000000000000000edf36b21388dfeff11831901d09a500000000000000000000000000000013f22f928ee861b58753452c4bd63f60ad0000000000000000000000000000000000302402b1ca91185a90cb3bcad6dc88000000000000000000000000000000e57fc4040195bb883bad40a4dd5b0bf8d6000000000000000000000000000000000008fd5854820bdec38876edde1314da00000000000000000000000000000023b3d4bdccc4cb846381b04c636b2d60e600000000000000000000000000000000000b5a8a2c375778a106b97da509f171000000000000000000000000000000d795ddec46e300e992cee8d53921e70eb500000000000000000000000000000000000ff376f44045bcdfde9617493bc7a5000000000000000000000000000000c7df59e0f4d532c9e541264c3604b385df000000000000000000000000000000000013259da44a030a40af205941df1626000000000000000000000000000000ebeb3149a9b98577d5357f3e8e79c7b01c00000000000000000000000000000000002eeadca45f098c9b4ecdf2f9b457d4000000000000000000000000000000f378adafeefc94725d29f79e3efbf38b0d000000000000000000000000000000000005161e219a3d085956aaf9015fb3d80000000000000000000000000000003470662cc86d555a292342a7613d6d92b600000000000000000000000000000000001743f16a8a897fc2094380ba708c33000000000000000000000000000000eacc545f070897c9015e060d719e5c659f0000000000000000000000000000000000057f42f2cc2316e3f12294f8d67433000000000000000000000000000000f79a4928617333f2d63a21951914aacc8a000000000000000000000000000000000008b8185d711931ccf6526141803a9f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009f9889ef41f9681f06bfbf567f82894e140000000000000000000000000000000000250ff56d12a99e5b5196686795dd0f00000000000000000000000000000070cb77b1144f778b6b3b53dd780f2fd13f0000000000000000000000000000000000095d1a6311cabc1380f7bab33ed893000000000000000000000000000000428eafcef20435982d6a51f6c7361b195300000000000000000000000000000000001eebf80b0c439998f16b0fbe73a9cc0000000000000000000000000000005b6c53a8dc2fbf9f6173b4c98587e3369a0000000000000000000000000000000000292caf929c24d88f2c8814d15869c700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000048a94f3a0d3d8011c7a85b2c34dd8bd851000000000000000000000000000000000024b0c066461eaf09ae7ea3f7842b66000000000000000000000000000000f15429c9948cd94ce86d033940530cc693000000000000000000000000000000000026a3f3a49481984108d5cebe60242d0000000000000000000000000000001d4f94df70ce48cecd33bf535b07377f6a000000000000000000000000000000000026968f7791227e8be868ef8cb580530000000000000000000000000000006b947551e5ca21461641b382e5d7d82c3300000000000000000000000000000000002cc95ec471433bf5cdc91313ac48a0000000000000000000000000000000945c214fa23e07d402637b4e850d7c82e2000000000000000000000000000000000025fe7ca437f3614255ff59efdae3aa0000000000000000000000000000001a72aaf3ddb612ffcfff6fcb7cb492cb1700000000000000000000000000000000000d737ec35aa8546d90746017fc66bd0000000000000000000000000000005a7e048cc76593f65f61a39588d5d4bddd00000000000000000000000000000000001ab2184195fb56b840b27f5021c57800000000000000000000000000000055beb527adf159c07acbc72368ba622d4600000000000000000000000000000000001fadeb3676af27a743a4a16614d5b9000000000000000000000000000000bb85adc1fc3d247e30502893c63c7aaa28000000000000000000000000000000000021f0d0a8b61791caf8d1a7df0a2744000000000000000000000000000000b5affaac8d10d497489d0bf8bc6421a4cb00000000000000000000000000000000000f2a2946acf8bf993ddfd42463f59b0000000000000000000000000000009c19963f1dbe9a6ff58199d2348eff53e0000000000000000000000000000000000013982b73c67a585c8bc2de9904b8b7000000000000000000000000000000fb7d03d18d25fa219b67e9b584839026fa00000000000000000000000000000000002bbbf1e1e99917dec495f02fc49cdf00000000000000000000000000000050d029e023bdf67aece07ad3c5c4c09ab60000000000000000000000000000000000161cbef032ec223b182ef75d9d034800000000000000000000000000000081f362716204174f821da0bfbd2867627000000000000000000000000000000000001177b58274721e3592e1c7b1959fb5000000000000000000000000000000e4c72f8bb23852bfd39a282550add1a5b30000000000000000000000000000000000222c66ba9c43482bdba03ae63e7608000000000000000000000000000000f0e3df15c5327792719753ac12f974f4e100000000000000000000000000000000000480075987a33e4ec6a09b3087f312000000000000000000000000000000df530fe4248a659b02b17084467e18cd250000000000000000000000000000000000268d08add5448a4e35a27e1f4dac390000000000000000000000000000009695d956ae9593d9e09f2af01423e0a74800000000000000000000000000000000002e9f0fec25de35d967adc11e3571e00000000000000000000000000000003299486126b104442f06c2e93de7efcd4200000000000000000000000000000000002cbc9515662d0ff00e71b8074b753b000000000000000000000000000000360dc78f1878db337b6467048a034533e10000000000000000000000000000000000138c5118968d62cf308f644f6414b50000000000000000000000000000003a727dda2ac9bcb2447d23d0c5cbbad9fa00000000000000000000000000000000003041b5a044a5e36f5d0d753c866dfd000000000000000000000000000000820cf23ba67c56f257bba388eb5e7e3ae000000000000000000000000000000000002ec5cdd4a19b59ab80c1d1f1ff09e10000000000000000000000000000004e52f1faa5397ac54467cf78835a8bb877000000000000000000000000000000000025dcb6cf641e4261e10b278c04902a000000000000000000000000000000cee2379a489b3bb7a086acdc8f9b3a4af5000000000000000000000000000000000001559459ba491ae912c122390febe9000000000000000000000000000000de9dd97998d047a0790eb3b38e789158e80000000000000000000000000000000000296abae0ab8acd69a54184dac2f15f0000000000000000000000000000004258dacd76d55aa10fbd958b0fbfcaf73a00000000000000000000000000000000001766277bde3be17426302878c4d2b3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001d1ef0dec00ef1bdb528be583b88cf02e70000000000000000000000000000000000025e7ef84c8c21352ed22a868e63df000000000000000000000000000000467a51842334846370f7affeb4211dfd8f00000000000000000000000000000000001f42faaff6b1299c9e70b128474a5a00000000000000000000000000000076959cf0870e0ae93bb69edc64b0cacdac0000000000000000000000000000000000269679f8c1a1ad2aadccaf8ba3100e000000000000000000000000000000bb028a742987d54246ffc933f8240d70ef0000000000000000000000000000000000295f79977c6ae0d15cc2b68b7f083700000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98000000000000000000000000000000000017bd63ba535af74d8a9188e022f432",
185
+ "bytes": "000000000000000000000000000000000000000000000000000000000000000f000000000000000000000000000000000000000000000000000000000000001a000000000000000000000000000000000000000000000000000000000000009b0000000000000000000000000000001320cb6e1023638ef9eb26a3a386af93f000000000000000000000000000000000001a78f7b25ee4831e213f2341df754e0000000000000000000000000000006f3a10954f1c31be71e3c3137d8dd66d5800000000000000000000000000000000000d7df0b14959e35cd7e6ac80443ebd000000000000000000000000000000186d4a9a5e976578556db41578fa0f0c5b000000000000000000000000000000000006e2d28106dd60877e31e84ae4c0010000000000000000000000000000004741f2dcf7e30758995e36664e86543cdb000000000000000000000000000000000009ec8475a189dd308307b0ae7744cb000000000000000000000000000000d2aea96ccc47c9c20adda32e45079c24910000000000000000000000000000000000154fb87c3fac6c5e3e2210b81e4be80000000000000000000000000000009e193a96a7d54a22ab2e13c874a68f5e4c00000000000000000000000000000000002fefd513bfbd03e1673962c702936c00000000000000000000000000000043831ca47cdc2302c8677ebb298c4e44ec0000000000000000000000000000000000235ccbc1077670b2428c2a51d62f25000000000000000000000000000000679b4538b0e27652f93aae1391cdb1d7ba000000000000000000000000000000000023e1dcb952aacc915e7805fb114e840000000000000000000000000000006a123f46b5d1abf0933579d8dc53e55fc700000000000000000000000000000000001d86eecadc6caa5b9547f5d16472f800000000000000000000000000000027cc7cd527d8bfedf0b251663577830b9a00000000000000000000000000000000001a2ef847fd2770a699df56a2176e9f000000000000000000000000000000e3da904a41c05cd674cf391e80643043a9000000000000000000000000000000000004ba536cbfb8d2aedb78f0f4f23b250000000000000000000000000000006e9fb27f644329a6e7217e3b66475265ba000000000000000000000000000000000008e739effd5f75fcf21e7fea0dcd9e00000000000000000000000000000028a47361546980a2da03fc6d2e2a190ab00000000000000000000000000000000000177ef7063593a207d227d655de40080000000000000000000000000000004ea1bf32368521e9241d5d937649daf8b700000000000000000000000000000000000eed5b0e820c6d0b0cfdd2657c350b0000000000000000000000000000005f8881874eff33263d041f3241332af717000000000000000000000000000000000026ab2c9ccdfb932b1c150bb9a730fd0000000000000000000000000000006ce708ae9eaa1e5d11e1de0392434908bd00000000000000000000000000000000002221e74f2d1af0f50af66b7aec278100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004fe2f4261d3c3005f5ec0b9976b1c11ce600000000000000000000000000000000002c8ac39a106287b776d906dc71adf500000000000000000000000000000026561ad439ee2bf3c386a6dec20641900900000000000000000000000000000000001f7da98f6f0d6018852147b48301a900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e8c4162f5cd9edfb247f59a471398d612100000000000000000000000000000000001e0fe34b98d5cb77c56352046bd44e000000000000000000000000000000f563727ad7a0d23753f02924340ff76040000000000000000000000000000000000002bd6a9fc6f3ece0d909f48adddbbe00000000000000000000000000000067e564741c63da8b78b187be92be6483c900000000000000000000000000000000000f67047cfd4407d67fa0cccfe464d10000000000000000000000000000007988d038e4a29b0ef81113d251909a9c210000000000000000000000000000000000259768d6c503ee89bd118bef7f89b2000000000000000000000000000000f9342e80b8ed6896c70e499834868b078e000000000000000000000000000000000018dbbbc3e7ea0d97bcd928bbd6b92a000000000000000000000000000000352752ca6c0db6b65981f14a89bf6c888f000000000000000000000000000000000029e71c1ed9c52c062ef4e078df716d0000000000000000000000000000008d2a1e2c99e61a8a94b9c925b37c002f75000000000000000000000000000000000021f0b459b3cc93be7da7bd74f84345000000000000000000000000000000425c3665d048d48f4f911829e4637aadee00000000000000000000000000000000000e01327a14b919f5021964de1a35fc000000000000000000000000000000f7e00b185a4cc6d4aaa473e9b05855bb2d000000000000000000000000000000000013fed305ce039d024bca4c891c64320000000000000000000000000000005d52d55f10b90060c98c6885b6e0fef6e600000000000000000000000000000000002d27288088e5fa07fe5e0fb5b50919000000000000000000000000000000d52bf348b584f2f638f69a22f217ace07000000000000000000000000000000000002cd9ed90d755979419113126750d59000000000000000000000000000000a3be6759ee574625ea001ff4014789f47600000000000000000000000000000000002a63de2a225f982094a3e71f8e1192000000000000000000000000000000c6cace88a309ca20de41be4e02847b33a8000000000000000000000000000000000028a434624afa62bbef24bfa36f93410000000000000000000000000000003c5eec33708f568e8cce1383282979e80000000000000000000000000000000000000ba70ffde8ec7fe9e0ad5818d9262e0000000000000000000000000000004316bb7bd4431c6d375f12d430d7729ad70000000000000000000000000000000000221be4ef46e7ec6b5861969f58151f0000000000000000000000000000007b60e42836fefe185cebed4802043303a200000000000000000000000000000000002b9e5c9592252fa657f047026d97d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c9bc6245b4c2e834c98e38d94269b076a000000000000000000000000000000000014591d8e01005ba803ff94454b6b6f000000000000000000000000000000f4ddd2b15d0bdf1250640a71c68de6798600000000000000000000000000000000000aeb32fc9d032a6435d2d132717e230000000000000000000000000000002932ec02b197ddb832034d08d2f3487650000000000000000000000000000000000027d2272c0a65e5de2060936122f058000000000000000000000000000000ace1f7d8b87a22f462a063df26ccd57b86000000000000000000000000000000000018261a1da6a6e545baf1938b65b76e00000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c2600000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98000000000000000000000000000000000017bd63ba535af74d8a9188e022f43200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c26000000000000000000000000000000a25562268c825608f66904722848f024ef000000000000000000000000000000000015bf52ed330bc59459bb3eaeea389200000000000000000000000000000052f49b0471e08922f3934ed969d6193c9f00000000000000000000000000000000002e25c5c5917c3292e4ba66797e0b72000000000000000000000000000000373a3a95a01f6137a6dde4df67fd85b7f10000000000000000000000000000000000119120070e300d3ee6eb2ec4e381dd0000000000000000000000000000006b3aec24ab21f007d03121b0c8e5f665c700000000000000000000000000000000000d4bbaa03d1fad990502680f98bc9f000000000000000000000000000000b0b02273ddaa7960aa23f1164e628e049000000000000000000000000000000000002943a8e07fafbea9fed5bac51780ea0000000000000000000000000000007c016ec91747ddc2a6982133fecfe0e3c500000000000000000000000000000000002a1317de8b3d01824711b57cf4e36b000000000000000000000000000000582e0420fb5407c9a68147d7d44b35525000000000000000000000000000000000001ebbacd0d9e4b1d25808198cfdc8e4000000000000000000000000000000178a93f7a869626099287bc54b8f52c471000000000000000000000000000000000019563643f899988d52c2a2861962d60000000000000000000000000000005331e2c5b2d4cebe57c526b1c52710960300000000000000000000000000000000000907a2b9d24e66982df5ebfe099f0400000000000000000000000000000094aa2d7c2fcafc110e6492a98ed1cec06700000000000000000000000000000000002b7367562a0273eb3c62bb7749dc760000000000000000000000000000007e3012df146f8b4eeff0234f95ecb198a800000000000000000000000000000000002d037ffe795c20ae3403c3c7d33ea50000000000000000000000000000005fe496645dee4f67bfeb69e126ceb0cd5c000000000000000000000000000000000010ea390cf2bc3973b09f3724c97dcc",
186
186
  "fields": [
187
187
  "0x000000000000000000000000000000000000000000000000000000000000000f",
188
188
  "0x000000000000000000000000000000000000000000000000000000000000001a",
189
- "0x000000000000000000000000000000000000000000000000000000000000009e",
190
- "0x0000000000000000000000000000009e091902a9b1bc5d7585ce52d11e24f1c5",
191
- "0x00000000000000000000000000000000002ab91f4fde87b78b93d633307f3c15",
192
- "0x000000000000000000000000000000a153ab5e7936820006ff41e46ffed3f40d",
193
- "0x000000000000000000000000000000000016851bb92a98efe7363b7fc5b80846",
194
- "0x0000000000000000000000000000007502e71dea06ae019c3b6227e32563b4e2",
195
- "0x000000000000000000000000000000000015ab6ec1413ec25c7836aa4278cde5",
196
- "0x000000000000000000000000000000db2736d8374a7f76537e5d5b0043a93a4e",
197
- "0x00000000000000000000000000000000000880a781fd57f9c55da291e15264e9",
198
- "0x000000000000000000000000000000acc0934c90b595d876504ffbd5e574a9ef",
199
- "0x00000000000000000000000000000000000ddee3b381182248f9263c2ee3029a",
200
- "0x0000000000000000000000000000004ef68162475d7ee84cb35a160fb3d96ac9",
201
- "0x00000000000000000000000000000000000edf36b21388dfeff11831901d09a5",
202
- "0x00000000000000000000000000000013f22f928ee861b58753452c4bd63f60ad",
203
- "0x0000000000000000000000000000000000302402b1ca91185a90cb3bcad6dc88",
204
- "0x000000000000000000000000000000e57fc4040195bb883bad40a4dd5b0bf8d6",
205
- "0x000000000000000000000000000000000008fd5854820bdec38876edde1314da",
206
- "0x00000000000000000000000000000023b3d4bdccc4cb846381b04c636b2d60e6",
207
- "0x00000000000000000000000000000000000b5a8a2c375778a106b97da509f171",
208
- "0x000000000000000000000000000000d795ddec46e300e992cee8d53921e70eb5",
209
- "0x00000000000000000000000000000000000ff376f44045bcdfde9617493bc7a5",
210
- "0x000000000000000000000000000000c7df59e0f4d532c9e541264c3604b385df",
211
- "0x000000000000000000000000000000000013259da44a030a40af205941df1626",
212
- "0x000000000000000000000000000000ebeb3149a9b98577d5357f3e8e79c7b01c",
213
- "0x00000000000000000000000000000000002eeadca45f098c9b4ecdf2f9b457d4",
214
- "0x000000000000000000000000000000f378adafeefc94725d29f79e3efbf38b0d",
215
- "0x000000000000000000000000000000000005161e219a3d085956aaf9015fb3d8",
216
- "0x0000000000000000000000000000003470662cc86d555a292342a7613d6d92b6",
217
- "0x00000000000000000000000000000000001743f16a8a897fc2094380ba708c33",
218
- "0x000000000000000000000000000000eacc545f070897c9015e060d719e5c659f",
219
- "0x0000000000000000000000000000000000057f42f2cc2316e3f12294f8d67433",
220
- "0x000000000000000000000000000000f79a4928617333f2d63a21951914aacc8a",
221
- "0x000000000000000000000000000000000008b8185d711931ccf6526141803a9f",
189
+ "0x000000000000000000000000000000000000000000000000000000000000009b",
190
+ "0x0000000000000000000000000000001320cb6e1023638ef9eb26a3a386af93f0",
191
+ "0x00000000000000000000000000000000001a78f7b25ee4831e213f2341df754e",
192
+ "0x0000000000000000000000000000006f3a10954f1c31be71e3c3137d8dd66d58",
193
+ "0x00000000000000000000000000000000000d7df0b14959e35cd7e6ac80443ebd",
194
+ "0x000000000000000000000000000000186d4a9a5e976578556db41578fa0f0c5b",
195
+ "0x000000000000000000000000000000000006e2d28106dd60877e31e84ae4c001",
196
+ "0x0000000000000000000000000000004741f2dcf7e30758995e36664e86543cdb",
197
+ "0x000000000000000000000000000000000009ec8475a189dd308307b0ae7744cb",
198
+ "0x000000000000000000000000000000d2aea96ccc47c9c20adda32e45079c2491",
199
+ "0x0000000000000000000000000000000000154fb87c3fac6c5e3e2210b81e4be8",
200
+ "0x0000000000000000000000000000009e193a96a7d54a22ab2e13c874a68f5e4c",
201
+ "0x00000000000000000000000000000000002fefd513bfbd03e1673962c702936c",
202
+ "0x00000000000000000000000000000043831ca47cdc2302c8677ebb298c4e44ec",
203
+ "0x0000000000000000000000000000000000235ccbc1077670b2428c2a51d62f25",
204
+ "0x000000000000000000000000000000679b4538b0e27652f93aae1391cdb1d7ba",
205
+ "0x000000000000000000000000000000000023e1dcb952aacc915e7805fb114e84",
206
+ "0x0000000000000000000000000000006a123f46b5d1abf0933579d8dc53e55fc7",
207
+ "0x00000000000000000000000000000000001d86eecadc6caa5b9547f5d16472f8",
208
+ "0x00000000000000000000000000000027cc7cd527d8bfedf0b251663577830b9a",
209
+ "0x00000000000000000000000000000000001a2ef847fd2770a699df56a2176e9f",
210
+ "0x000000000000000000000000000000e3da904a41c05cd674cf391e80643043a9",
211
+ "0x000000000000000000000000000000000004ba536cbfb8d2aedb78f0f4f23b25",
212
+ "0x0000000000000000000000000000006e9fb27f644329a6e7217e3b66475265ba",
213
+ "0x000000000000000000000000000000000008e739effd5f75fcf21e7fea0dcd9e",
214
+ "0x00000000000000000000000000000028a47361546980a2da03fc6d2e2a190ab0",
215
+ "0x0000000000000000000000000000000000177ef7063593a207d227d655de4008",
216
+ "0x0000000000000000000000000000004ea1bf32368521e9241d5d937649daf8b7",
217
+ "0x00000000000000000000000000000000000eed5b0e820c6d0b0cfdd2657c350b",
218
+ "0x0000000000000000000000000000005f8881874eff33263d041f3241332af717",
219
+ "0x000000000000000000000000000000000026ab2c9ccdfb932b1c150bb9a730fd",
220
+ "0x0000000000000000000000000000006ce708ae9eaa1e5d11e1de0392434908bd",
221
+ "0x00000000000000000000000000000000002221e74f2d1af0f50af66b7aec2781",
222
+ "0x0000000000000000000000000000000000000000000000000000000000000001",
222
223
  "0x0000000000000000000000000000000000000000000000000000000000000000",
224
+ "0x0000000000000000000000000000000000000000000000000000000000000002",
223
225
  "0x0000000000000000000000000000000000000000000000000000000000000000",
226
+ "0x0000000000000000000000000000004fe2f4261d3c3005f5ec0b9976b1c11ce6",
227
+ "0x00000000000000000000000000000000002c8ac39a106287b776d906dc71adf5",
228
+ "0x00000000000000000000000000000026561ad439ee2bf3c386a6dec206419009",
229
+ "0x00000000000000000000000000000000001f7da98f6f0d6018852147b48301a9",
224
230
  "0x0000000000000000000000000000000000000000000000000000000000000000",
225
231
  "0x0000000000000000000000000000000000000000000000000000000000000000",
226
- "0x0000000000000000000000000000009f9889ef41f9681f06bfbf567f82894e14",
227
- "0x0000000000000000000000000000000000250ff56d12a99e5b5196686795dd0f",
228
- "0x00000000000000000000000000000070cb77b1144f778b6b3b53dd780f2fd13f",
229
- "0x0000000000000000000000000000000000095d1a6311cabc1380f7bab33ed893",
230
- "0x000000000000000000000000000000428eafcef20435982d6a51f6c7361b1953",
231
- "0x00000000000000000000000000000000001eebf80b0c439998f16b0fbe73a9cc",
232
- "0x0000000000000000000000000000005b6c53a8dc2fbf9f6173b4c98587e3369a",
233
- "0x0000000000000000000000000000000000292caf929c24d88f2c8814d15869c7",
234
232
  "0x0000000000000000000000000000000000000000000000000000000000000000",
235
233
  "0x0000000000000000000000000000000000000000000000000000000000000000",
236
234
  "0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -243,64 +241,44 @@
243
241
  "0x0000000000000000000000000000000000000000000000000000000000000000",
244
242
  "0x0000000000000000000000000000000000000000000000000000000000000000",
245
243
  "0x0000000000000000000000000000000000000000000000000000000000000000",
246
- "0x00000000000000000000000000000048a94f3a0d3d8011c7a85b2c34dd8bd851",
247
- "0x000000000000000000000000000000000024b0c066461eaf09ae7ea3f7842b66",
248
- "0x000000000000000000000000000000f15429c9948cd94ce86d033940530cc693",
249
- "0x000000000000000000000000000000000026a3f3a49481984108d5cebe60242d",
250
- "0x0000000000000000000000000000001d4f94df70ce48cecd33bf535b07377f6a",
251
- "0x000000000000000000000000000000000026968f7791227e8be868ef8cb58053",
252
- "0x0000000000000000000000000000006b947551e5ca21461641b382e5d7d82c33",
253
- "0x00000000000000000000000000000000002cc95ec471433bf5cdc91313ac48a0",
254
- "0x000000000000000000000000000000945c214fa23e07d402637b4e850d7c82e2",
255
- "0x000000000000000000000000000000000025fe7ca437f3614255ff59efdae3aa",
256
- "0x0000000000000000000000000000001a72aaf3ddb612ffcfff6fcb7cb492cb17",
257
- "0x00000000000000000000000000000000000d737ec35aa8546d90746017fc66bd",
258
- "0x0000000000000000000000000000005a7e048cc76593f65f61a39588d5d4bddd",
259
- "0x00000000000000000000000000000000001ab2184195fb56b840b27f5021c578",
260
- "0x00000000000000000000000000000055beb527adf159c07acbc72368ba622d46",
261
- "0x00000000000000000000000000000000001fadeb3676af27a743a4a16614d5b9",
262
- "0x000000000000000000000000000000bb85adc1fc3d247e30502893c63c7aaa28",
263
- "0x000000000000000000000000000000000021f0d0a8b61791caf8d1a7df0a2744",
264
- "0x000000000000000000000000000000b5affaac8d10d497489d0bf8bc6421a4cb",
265
- "0x00000000000000000000000000000000000f2a2946acf8bf993ddfd42463f59b",
266
- "0x0000000000000000000000000000009c19963f1dbe9a6ff58199d2348eff53e0",
267
- "0x000000000000000000000000000000000013982b73c67a585c8bc2de9904b8b7",
268
- "0x000000000000000000000000000000fb7d03d18d25fa219b67e9b584839026fa",
269
- "0x00000000000000000000000000000000002bbbf1e1e99917dec495f02fc49cdf",
270
- "0x00000000000000000000000000000050d029e023bdf67aece07ad3c5c4c09ab6",
271
- "0x0000000000000000000000000000000000161cbef032ec223b182ef75d9d0348",
272
- "0x00000000000000000000000000000081f362716204174f821da0bfbd28676270",
273
- "0x00000000000000000000000000000000001177b58274721e3592e1c7b1959fb5",
274
- "0x000000000000000000000000000000e4c72f8bb23852bfd39a282550add1a5b3",
275
- "0x0000000000000000000000000000000000222c66ba9c43482bdba03ae63e7608",
276
- "0x000000000000000000000000000000f0e3df15c5327792719753ac12f974f4e1",
277
- "0x00000000000000000000000000000000000480075987a33e4ec6a09b3087f312",
278
- "0x000000000000000000000000000000df530fe4248a659b02b17084467e18cd25",
279
- "0x0000000000000000000000000000000000268d08add5448a4e35a27e1f4dac39",
280
- "0x0000000000000000000000000000009695d956ae9593d9e09f2af01423e0a748",
281
- "0x00000000000000000000000000000000002e9f0fec25de35d967adc11e3571e0",
282
- "0x0000000000000000000000000000003299486126b104442f06c2e93de7efcd42",
283
- "0x00000000000000000000000000000000002cbc9515662d0ff00e71b8074b753b",
284
- "0x000000000000000000000000000000360dc78f1878db337b6467048a034533e1",
285
- "0x0000000000000000000000000000000000138c5118968d62cf308f644f6414b5",
286
- "0x0000000000000000000000000000003a727dda2ac9bcb2447d23d0c5cbbad9fa",
287
- "0x00000000000000000000000000000000003041b5a044a5e36f5d0d753c866dfd",
288
- "0x000000000000000000000000000000820cf23ba67c56f257bba388eb5e7e3ae0",
289
- "0x00000000000000000000000000000000002ec5cdd4a19b59ab80c1d1f1ff09e1",
290
- "0x0000000000000000000000000000004e52f1faa5397ac54467cf78835a8bb877",
291
- "0x000000000000000000000000000000000025dcb6cf641e4261e10b278c04902a",
292
- "0x000000000000000000000000000000cee2379a489b3bb7a086acdc8f9b3a4af5",
293
- "0x000000000000000000000000000000000001559459ba491ae912c122390febe9",
294
- "0x000000000000000000000000000000de9dd97998d047a0790eb3b38e789158e8",
295
- "0x0000000000000000000000000000000000296abae0ab8acd69a54184dac2f15f",
296
- "0x0000000000000000000000000000004258dacd76d55aa10fbd958b0fbfcaf73a",
297
- "0x00000000000000000000000000000000001766277bde3be17426302878c4d2b3",
298
244
  "0x0000000000000000000000000000000000000000000000000000000000000000",
299
245
  "0x0000000000000000000000000000000000000000000000000000000000000000",
300
246
  "0x0000000000000000000000000000000000000000000000000000000000000000",
301
247
  "0x0000000000000000000000000000000000000000000000000000000000000000",
302
248
  "0x0000000000000000000000000000000000000000000000000000000000000000",
303
249
  "0x0000000000000000000000000000000000000000000000000000000000000000",
250
+ "0x000000000000000000000000000000e8c4162f5cd9edfb247f59a471398d6121",
251
+ "0x00000000000000000000000000000000001e0fe34b98d5cb77c56352046bd44e",
252
+ "0x000000000000000000000000000000f563727ad7a0d23753f02924340ff76040",
253
+ "0x000000000000000000000000000000000002bd6a9fc6f3ece0d909f48adddbbe",
254
+ "0x00000000000000000000000000000067e564741c63da8b78b187be92be6483c9",
255
+ "0x00000000000000000000000000000000000f67047cfd4407d67fa0cccfe464d1",
256
+ "0x0000000000000000000000000000007988d038e4a29b0ef81113d251909a9c21",
257
+ "0x0000000000000000000000000000000000259768d6c503ee89bd118bef7f89b2",
258
+ "0x000000000000000000000000000000f9342e80b8ed6896c70e499834868b078e",
259
+ "0x000000000000000000000000000000000018dbbbc3e7ea0d97bcd928bbd6b92a",
260
+ "0x000000000000000000000000000000352752ca6c0db6b65981f14a89bf6c888f",
261
+ "0x000000000000000000000000000000000029e71c1ed9c52c062ef4e078df716d",
262
+ "0x0000000000000000000000000000008d2a1e2c99e61a8a94b9c925b37c002f75",
263
+ "0x000000000000000000000000000000000021f0b459b3cc93be7da7bd74f84345",
264
+ "0x000000000000000000000000000000425c3665d048d48f4f911829e4637aadee",
265
+ "0x00000000000000000000000000000000000e01327a14b919f5021964de1a35fc",
266
+ "0x000000000000000000000000000000f7e00b185a4cc6d4aaa473e9b05855bb2d",
267
+ "0x000000000000000000000000000000000013fed305ce039d024bca4c891c6432",
268
+ "0x0000000000000000000000000000005d52d55f10b90060c98c6885b6e0fef6e6",
269
+ "0x00000000000000000000000000000000002d27288088e5fa07fe5e0fb5b50919",
270
+ "0x000000000000000000000000000000d52bf348b584f2f638f69a22f217ace070",
271
+ "0x00000000000000000000000000000000002cd9ed90d755979419113126750d59",
272
+ "0x000000000000000000000000000000a3be6759ee574625ea001ff4014789f476",
273
+ "0x00000000000000000000000000000000002a63de2a225f982094a3e71f8e1192",
274
+ "0x000000000000000000000000000000c6cace88a309ca20de41be4e02847b33a8",
275
+ "0x000000000000000000000000000000000028a434624afa62bbef24bfa36f9341",
276
+ "0x0000000000000000000000000000003c5eec33708f568e8cce1383282979e800",
277
+ "0x00000000000000000000000000000000000ba70ffde8ec7fe9e0ad5818d9262e",
278
+ "0x0000000000000000000000000000004316bb7bd4431c6d375f12d430d7729ad7",
279
+ "0x0000000000000000000000000000000000221be4ef46e7ec6b5861969f58151f",
280
+ "0x0000000000000000000000000000007b60e42836fefe185cebed4802043303a2",
281
+ "0x00000000000000000000000000000000002b9e5c9592252fa657f047026d97d0",
304
282
  "0x0000000000000000000000000000000000000000000000000000000000000000",
305
283
  "0x0000000000000000000000000000000000000000000000000000000000000000",
306
284
  "0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -311,24 +289,66 @@
311
289
  "0x0000000000000000000000000000000000000000000000000000000000000000",
312
290
  "0x0000000000000000000000000000000000000000000000000000000000000000",
313
291
  "0x0000000000000000000000000000000000000000000000000000000000000000",
314
- "0x0000000000000000000000000000000000000000000000000000000000000001",
315
292
  "0x0000000000000000000000000000000000000000000000000000000000000000",
316
- "0x0000000000000000000000000000000000000000000000000000000000000002",
317
293
  "0x0000000000000000000000000000000000000000000000000000000000000000",
318
- "0x0000000000000000000000000000001d1ef0dec00ef1bdb528be583b88cf02e7",
319
- "0x0000000000000000000000000000000000025e7ef84c8c21352ed22a868e63df",
320
- "0x000000000000000000000000000000467a51842334846370f7affeb4211dfd8f",
321
- "0x00000000000000000000000000000000001f42faaff6b1299c9e70b128474a5a",
322
- "0x00000000000000000000000000000076959cf0870e0ae93bb69edc64b0cacdac",
323
- "0x0000000000000000000000000000000000269679f8c1a1ad2aadccaf8ba3100e",
324
- "0x000000000000000000000000000000bb028a742987d54246ffc933f8240d70ef",
325
- "0x0000000000000000000000000000000000295f79977c6ae0d15cc2b68b7f0837",
294
+ "0x0000000000000000000000000000003c9bc6245b4c2e834c98e38d94269b076a",
295
+ "0x000000000000000000000000000000000014591d8e01005ba803ff94454b6b6f",
296
+ "0x000000000000000000000000000000f4ddd2b15d0bdf1250640a71c68de67986",
297
+ "0x00000000000000000000000000000000000aeb32fc9d032a6435d2d132717e23",
298
+ "0x0000000000000000000000000000002932ec02b197ddb832034d08d2f3487650",
299
+ "0x000000000000000000000000000000000027d2272c0a65e5de2060936122f058",
300
+ "0x000000000000000000000000000000ace1f7d8b87a22f462a063df26ccd57b86",
301
+ "0x000000000000000000000000000000000018261a1da6a6e545baf1938b65b76e",
302
+ "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726",
303
+ "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5",
304
+ "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431",
305
+ "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26",
326
306
  "0x00000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c",
327
307
  "0x000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d",
328
308
  "0x000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98",
329
- "0x000000000000000000000000000000000017bd63ba535af74d8a9188e022f432"
309
+ "0x000000000000000000000000000000000017bd63ba535af74d8a9188e022f432",
310
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
311
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
312
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
313
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
314
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
315
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
316
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
317
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
318
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
319
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
320
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
321
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
322
+ "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726",
323
+ "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5",
324
+ "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431",
325
+ "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26",
326
+ "0x000000000000000000000000000000a25562268c825608f66904722848f024ef",
327
+ "0x000000000000000000000000000000000015bf52ed330bc59459bb3eaeea3892",
328
+ "0x00000000000000000000000000000052f49b0471e08922f3934ed969d6193c9f",
329
+ "0x00000000000000000000000000000000002e25c5c5917c3292e4ba66797e0b72",
330
+ "0x000000000000000000000000000000373a3a95a01f6137a6dde4df67fd85b7f1",
331
+ "0x0000000000000000000000000000000000119120070e300d3ee6eb2ec4e381dd",
332
+ "0x0000000000000000000000000000006b3aec24ab21f007d03121b0c8e5f665c7",
333
+ "0x00000000000000000000000000000000000d4bbaa03d1fad990502680f98bc9f",
334
+ "0x000000000000000000000000000000b0b02273ddaa7960aa23f1164e628e0490",
335
+ "0x00000000000000000000000000000000002943a8e07fafbea9fed5bac51780ea",
336
+ "0x0000000000000000000000000000007c016ec91747ddc2a6982133fecfe0e3c5",
337
+ "0x00000000000000000000000000000000002a1317de8b3d01824711b57cf4e36b",
338
+ "0x000000000000000000000000000000582e0420fb5407c9a68147d7d44b355250",
339
+ "0x00000000000000000000000000000000001ebbacd0d9e4b1d25808198cfdc8e4",
340
+ "0x000000000000000000000000000000178a93f7a869626099287bc54b8f52c471",
341
+ "0x000000000000000000000000000000000019563643f899988d52c2a2861962d6",
342
+ "0x0000000000000000000000000000005331e2c5b2d4cebe57c526b1c527109603",
343
+ "0x00000000000000000000000000000000000907a2b9d24e66982df5ebfe099f04",
344
+ "0x00000000000000000000000000000094aa2d7c2fcafc110e6492a98ed1cec067",
345
+ "0x00000000000000000000000000000000002b7367562a0273eb3c62bb7749dc76",
346
+ "0x0000000000000000000000000000007e3012df146f8b4eeff0234f95ecb198a8",
347
+ "0x00000000000000000000000000000000002d037ffe795c20ae3403c3c7d33ea5",
348
+ "0x0000000000000000000000000000005fe496645dee4f67bfeb69e126ceb0cd5c",
349
+ "0x000000000000000000000000000000000010ea390cf2bc3973b09f3724c97dcc"
330
350
  ],
331
351
  "hash": ""
332
352
  },
333
- "aztec_version": "5.0.0-rc.2"
353
+ "aztec_version": "5.0.0"
334
354
  }