{ "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7", "hash": "18423865252905212915", "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": 163, "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/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", "debug_symbols": "ndPBjoMgFAXQf2HtQnig0l+ZTBpqaUNC0FCdZNL03+fp1U67MGnceFW8B0LkLs7+NF6PIV26mzh83cUphxjD9Ri71g2hS/z2/ijE+ngcsvf8SryMc6t32adBHNIYYyF+XBznj269S3MOLvNoWQifzpwMXkL0092j+G+X21VTreVKy2fdyLe+3O4TVWYBSOvmKSj56Qrq0i5ATbS1gs/6xu7oN6Vc+k2l98xf66Vvac/81tDat+at/81Prg357Z8Rhje3EJU48LT1fG3mq+VSIWSJkAiFIIRGGAQTFQcMCUTaORQUBUVBUVAUFAVFQVFQFBQFhaAQFIJCUAgKQSEoBIWgEBQNRUPRUDQUDUVD0ZPymHY6B3eKfjlilzG1Lydu+O3XkfVM9rlr/XnMftrpeYz3/g8=", "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(with_newline: bool, input: T) {}\n\nunconstrained fn print_unconstrained(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(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(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(\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(\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(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(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_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,\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": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-private-kernel-reset/src/main.nr", "function_locations": [ { "start": 554, "name": "main" } ] } }, "verificationKey": { "bytes": "000000000000000000000000000000000000000000000000000000000000000f000000000000000000000000000000000000000000000000000000000000001a000000000000000000000000000000000000000000000000000000000000009b0000000000000000000000000000001320cb6e1023638ef9eb26a3a386af93f000000000000000000000000000000000001a78f7b25ee4831e213f2341df754e0000000000000000000000000000006f3a10954f1c31be71e3c3137d8dd66d5800000000000000000000000000000000000d7df0b14959e35cd7e6ac80443ebd000000000000000000000000000000186d4a9a5e976578556db41578fa0f0c5b000000000000000000000000000000000006e2d28106dd60877e31e84ae4c0010000000000000000000000000000004741f2dcf7e30758995e36664e86543cdb000000000000000000000000000000000009ec8475a189dd308307b0ae7744cb000000000000000000000000000000d2aea96ccc47c9c20adda32e45079c24910000000000000000000000000000000000154fb87c3fac6c5e3e2210b81e4be80000000000000000000000000000009e193a96a7d54a22ab2e13c874a68f5e4c00000000000000000000000000000000002fefd513bfbd03e1673962c702936c00000000000000000000000000000043831ca47cdc2302c8677ebb298c4e44ec0000000000000000000000000000000000235ccbc1077670b2428c2a51d62f25000000000000000000000000000000679b4538b0e27652f93aae1391cdb1d7ba000000000000000000000000000000000023e1dcb952aacc915e7805fb114e840000000000000000000000000000006a123f46b5d1abf0933579d8dc53e55fc700000000000000000000000000000000001d86eecadc6caa5b9547f5d16472f800000000000000000000000000000027cc7cd527d8bfedf0b251663577830b9a00000000000000000000000000000000001a2ef847fd2770a699df56a2176e9f000000000000000000000000000000e3da904a41c05cd674cf391e80643043a9000000000000000000000000000000000004ba536cbfb8d2aedb78f0f4f23b250000000000000000000000000000006e9fb27f644329a6e7217e3b66475265ba000000000000000000000000000000000008e739effd5f75fcf21e7fea0dcd9e00000000000000000000000000000028a47361546980a2da03fc6d2e2a190ab00000000000000000000000000000000000177ef7063593a207d227d655de40080000000000000000000000000000004ea1bf32368521e9241d5d937649daf8b700000000000000000000000000000000000eed5b0e820c6d0b0cfdd2657c350b0000000000000000000000000000005f8881874eff33263d041f3241332af717000000000000000000000000000000000026ab2c9ccdfb932b1c150bb9a730fd0000000000000000000000000000006ce708ae9eaa1e5d11e1de0392434908bd00000000000000000000000000000000002221e74f2d1af0f50af66b7aec278100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004fe2f4261d3c3005f5ec0b9976b1c11ce600000000000000000000000000000000002c8ac39a106287b776d906dc71adf500000000000000000000000000000026561ad439ee2bf3c386a6dec20641900900000000000000000000000000000000001f7da98f6f0d6018852147b48301a900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e8c4162f5cd9edfb247f59a471398d612100000000000000000000000000000000001e0fe34b98d5cb77c56352046bd44e000000000000000000000000000000f563727ad7a0d23753f02924340ff76040000000000000000000000000000000000002bd6a9fc6f3ece0d909f48adddbbe00000000000000000000000000000067e564741c63da8b78b187be92be6483c900000000000000000000000000000000000f67047cfd4407d67fa0cccfe464d10000000000000000000000000000007988d038e4a29b0ef81113d251909a9c210000000000000000000000000000000000259768d6c503ee89bd118bef7f89b2000000000000000000000000000000f9342e80b8ed6896c70e499834868b078e000000000000000000000000000000000018dbbbc3e7ea0d97bcd928bbd6b92a000000000000000000000000000000352752ca6c0db6b65981f14a89bf6c888f000000000000000000000000000000000029e71c1ed9c52c062ef4e078df716d0000000000000000000000000000008d2a1e2c99e61a8a94b9c925b37c002f75000000000000000000000000000000000021f0b459b3cc93be7da7bd74f84345000000000000000000000000000000425c3665d048d48f4f911829e4637aadee00000000000000000000000000000000000e01327a14b919f5021964de1a35fc000000000000000000000000000000f7e00b185a4cc6d4aaa473e9b05855bb2d000000000000000000000000000000000013fed305ce039d024bca4c891c64320000000000000000000000000000005d52d55f10b90060c98c6885b6e0fef6e600000000000000000000000000000000002d27288088e5fa07fe5e0fb5b50919000000000000000000000000000000d52bf348b584f2f638f69a22f217ace07000000000000000000000000000000000002cd9ed90d755979419113126750d59000000000000000000000000000000a3be6759ee574625ea001ff4014789f47600000000000000000000000000000000002a63de2a225f982094a3e71f8e1192000000000000000000000000000000c6cace88a309ca20de41be4e02847b33a8000000000000000000000000000000000028a434624afa62bbef24bfa36f93410000000000000000000000000000003c5eec33708f568e8cce1383282979e80000000000000000000000000000000000000ba70ffde8ec7fe9e0ad5818d9262e0000000000000000000000000000004316bb7bd4431c6d375f12d430d7729ad70000000000000000000000000000000000221be4ef46e7ec6b5861969f58151f0000000000000000000000000000007b60e42836fefe185cebed4802043303a200000000000000000000000000000000002b9e5c9592252fa657f047026d97d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c9bc6245b4c2e834c98e38d94269b076a000000000000000000000000000000000014591d8e01005ba803ff94454b6b6f000000000000000000000000000000f4ddd2b15d0bdf1250640a71c68de6798600000000000000000000000000000000000aeb32fc9d032a6435d2d132717e230000000000000000000000000000002932ec02b197ddb832034d08d2f3487650000000000000000000000000000000000027d2272c0a65e5de2060936122f058000000000000000000000000000000ace1f7d8b87a22f462a063df26ccd57b86000000000000000000000000000000000018261a1da6a6e545baf1938b65b76e00000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c2600000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98000000000000000000000000000000000017bd63ba535af74d8a9188e022f43200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c26000000000000000000000000000000a25562268c825608f66904722848f024ef000000000000000000000000000000000015bf52ed330bc59459bb3eaeea389200000000000000000000000000000052f49b0471e08922f3934ed969d6193c9f00000000000000000000000000000000002e25c5c5917c3292e4ba66797e0b72000000000000000000000000000000373a3a95a01f6137a6dde4df67fd85b7f10000000000000000000000000000000000119120070e300d3ee6eb2ec4e381dd0000000000000000000000000000006b3aec24ab21f007d03121b0c8e5f665c700000000000000000000000000000000000d4bbaa03d1fad990502680f98bc9f000000000000000000000000000000b0b02273ddaa7960aa23f1164e628e049000000000000000000000000000000000002943a8e07fafbea9fed5bac51780ea0000000000000000000000000000007c016ec91747ddc2a6982133fecfe0e3c500000000000000000000000000000000002a1317de8b3d01824711b57cf4e36b000000000000000000000000000000582e0420fb5407c9a68147d7d44b35525000000000000000000000000000000000001ebbacd0d9e4b1d25808198cfdc8e4000000000000000000000000000000178a93f7a869626099287bc54b8f52c471000000000000000000000000000000000019563643f899988d52c2a2861962d60000000000000000000000000000005331e2c5b2d4cebe57c526b1c52710960300000000000000000000000000000000000907a2b9d24e66982df5ebfe099f0400000000000000000000000000000094aa2d7c2fcafc110e6492a98ed1cec06700000000000000000000000000000000002b7367562a0273eb3c62bb7749dc760000000000000000000000000000007e3012df146f8b4eeff0234f95ecb198a800000000000000000000000000000000002d037ffe795c20ae3403c3c7d33ea50000000000000000000000000000005fe496645dee4f67bfeb69e126ceb0cd5c000000000000000000000000000000000010ea390cf2bc3973b09f3724c97dcc", "fields": [ "0x000000000000000000000000000000000000000000000000000000000000000f", "0x000000000000000000000000000000000000000000000000000000000000001a", "0x000000000000000000000000000000000000000000000000000000000000009b", "0x0000000000000000000000000000001320cb6e1023638ef9eb26a3a386af93f0", "0x00000000000000000000000000000000001a78f7b25ee4831e213f2341df754e", "0x0000000000000000000000000000006f3a10954f1c31be71e3c3137d8dd66d58", "0x00000000000000000000000000000000000d7df0b14959e35cd7e6ac80443ebd", "0x000000000000000000000000000000186d4a9a5e976578556db41578fa0f0c5b", "0x000000000000000000000000000000000006e2d28106dd60877e31e84ae4c001", "0x0000000000000000000000000000004741f2dcf7e30758995e36664e86543cdb", "0x000000000000000000000000000000000009ec8475a189dd308307b0ae7744cb", "0x000000000000000000000000000000d2aea96ccc47c9c20adda32e45079c2491", "0x0000000000000000000000000000000000154fb87c3fac6c5e3e2210b81e4be8", "0x0000000000000000000000000000009e193a96a7d54a22ab2e13c874a68f5e4c", "0x00000000000000000000000000000000002fefd513bfbd03e1673962c702936c", "0x00000000000000000000000000000043831ca47cdc2302c8677ebb298c4e44ec", "0x0000000000000000000000000000000000235ccbc1077670b2428c2a51d62f25", "0x000000000000000000000000000000679b4538b0e27652f93aae1391cdb1d7ba", "0x000000000000000000000000000000000023e1dcb952aacc915e7805fb114e84", "0x0000000000000000000000000000006a123f46b5d1abf0933579d8dc53e55fc7", "0x00000000000000000000000000000000001d86eecadc6caa5b9547f5d16472f8", "0x00000000000000000000000000000027cc7cd527d8bfedf0b251663577830b9a", "0x00000000000000000000000000000000001a2ef847fd2770a699df56a2176e9f", "0x000000000000000000000000000000e3da904a41c05cd674cf391e80643043a9", "0x000000000000000000000000000000000004ba536cbfb8d2aedb78f0f4f23b25", "0x0000000000000000000000000000006e9fb27f644329a6e7217e3b66475265ba", "0x000000000000000000000000000000000008e739effd5f75fcf21e7fea0dcd9e", "0x00000000000000000000000000000028a47361546980a2da03fc6d2e2a190ab0", "0x0000000000000000000000000000000000177ef7063593a207d227d655de4008", "0x0000000000000000000000000000004ea1bf32368521e9241d5d937649daf8b7", "0x00000000000000000000000000000000000eed5b0e820c6d0b0cfdd2657c350b", "0x0000000000000000000000000000005f8881874eff33263d041f3241332af717", "0x000000000000000000000000000000000026ab2c9ccdfb932b1c150bb9a730fd", "0x0000000000000000000000000000006ce708ae9eaa1e5d11e1de0392434908bd", "0x00000000000000000000000000000000002221e74f2d1af0f50af66b7aec2781", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000004fe2f4261d3c3005f5ec0b9976b1c11ce6", "0x00000000000000000000000000000000002c8ac39a106287b776d906dc71adf5", "0x00000000000000000000000000000026561ad439ee2bf3c386a6dec206419009", "0x00000000000000000000000000000000001f7da98f6f0d6018852147b48301a9", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000e8c4162f5cd9edfb247f59a471398d6121", "0x00000000000000000000000000000000001e0fe34b98d5cb77c56352046bd44e", "0x000000000000000000000000000000f563727ad7a0d23753f02924340ff76040", "0x000000000000000000000000000000000002bd6a9fc6f3ece0d909f48adddbbe", "0x00000000000000000000000000000067e564741c63da8b78b187be92be6483c9", "0x00000000000000000000000000000000000f67047cfd4407d67fa0cccfe464d1", "0x0000000000000000000000000000007988d038e4a29b0ef81113d251909a9c21", "0x0000000000000000000000000000000000259768d6c503ee89bd118bef7f89b2", "0x000000000000000000000000000000f9342e80b8ed6896c70e499834868b078e", "0x000000000000000000000000000000000018dbbbc3e7ea0d97bcd928bbd6b92a", "0x000000000000000000000000000000352752ca6c0db6b65981f14a89bf6c888f", "0x000000000000000000000000000000000029e71c1ed9c52c062ef4e078df716d", "0x0000000000000000000000000000008d2a1e2c99e61a8a94b9c925b37c002f75", "0x000000000000000000000000000000000021f0b459b3cc93be7da7bd74f84345", "0x000000000000000000000000000000425c3665d048d48f4f911829e4637aadee", "0x00000000000000000000000000000000000e01327a14b919f5021964de1a35fc", "0x000000000000000000000000000000f7e00b185a4cc6d4aaa473e9b05855bb2d", "0x000000000000000000000000000000000013fed305ce039d024bca4c891c6432", "0x0000000000000000000000000000005d52d55f10b90060c98c6885b6e0fef6e6", "0x00000000000000000000000000000000002d27288088e5fa07fe5e0fb5b50919", "0x000000000000000000000000000000d52bf348b584f2f638f69a22f217ace070", "0x00000000000000000000000000000000002cd9ed90d755979419113126750d59", "0x000000000000000000000000000000a3be6759ee574625ea001ff4014789f476", "0x00000000000000000000000000000000002a63de2a225f982094a3e71f8e1192", "0x000000000000000000000000000000c6cace88a309ca20de41be4e02847b33a8", "0x000000000000000000000000000000000028a434624afa62bbef24bfa36f9341", "0x0000000000000000000000000000003c5eec33708f568e8cce1383282979e800", "0x00000000000000000000000000000000000ba70ffde8ec7fe9e0ad5818d9262e", "0x0000000000000000000000000000004316bb7bd4431c6d375f12d430d7729ad7", "0x0000000000000000000000000000000000221be4ef46e7ec6b5861969f58151f", "0x0000000000000000000000000000007b60e42836fefe185cebed4802043303a2", "0x00000000000000000000000000000000002b9e5c9592252fa657f047026d97d0", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000003c9bc6245b4c2e834c98e38d94269b076a", "0x000000000000000000000000000000000014591d8e01005ba803ff94454b6b6f", "0x000000000000000000000000000000f4ddd2b15d0bdf1250640a71c68de67986", "0x00000000000000000000000000000000000aeb32fc9d032a6435d2d132717e23", "0x0000000000000000000000000000002932ec02b197ddb832034d08d2f3487650", "0x000000000000000000000000000000000027d2272c0a65e5de2060936122f058", "0x000000000000000000000000000000ace1f7d8b87a22f462a063df26ccd57b86", "0x000000000000000000000000000000000018261a1da6a6e545baf1938b65b76e", "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726", "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5", "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431", "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26", "0x00000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c", "0x000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d", "0x000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98", "0x000000000000000000000000000000000017bd63ba535af74d8a9188e022f432", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726", "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5", "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431", "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26", "0x000000000000000000000000000000a25562268c825608f66904722848f024ef", "0x000000000000000000000000000000000015bf52ed330bc59459bb3eaeea3892", "0x00000000000000000000000000000052f49b0471e08922f3934ed969d6193c9f", "0x00000000000000000000000000000000002e25c5c5917c3292e4ba66797e0b72", "0x000000000000000000000000000000373a3a95a01f6137a6dde4df67fd85b7f1", "0x0000000000000000000000000000000000119120070e300d3ee6eb2ec4e381dd", "0x0000000000000000000000000000006b3aec24ab21f007d03121b0c8e5f665c7", "0x00000000000000000000000000000000000d4bbaa03d1fad990502680f98bc9f", "0x000000000000000000000000000000b0b02273ddaa7960aa23f1164e628e0490", "0x00000000000000000000000000000000002943a8e07fafbea9fed5bac51780ea", "0x0000000000000000000000000000007c016ec91747ddc2a6982133fecfe0e3c5", "0x00000000000000000000000000000000002a1317de8b3d01824711b57cf4e36b", "0x000000000000000000000000000000582e0420fb5407c9a68147d7d44b355250", "0x00000000000000000000000000000000001ebbacd0d9e4b1d25808198cfdc8e4", "0x000000000000000000000000000000178a93f7a869626099287bc54b8f52c471", "0x000000000000000000000000000000000019563643f899988d52c2a2861962d6", "0x0000000000000000000000000000005331e2c5b2d4cebe57c526b1c527109603", "0x00000000000000000000000000000000000907a2b9d24e66982df5ebfe099f04", "0x00000000000000000000000000000094aa2d7c2fcafc110e6492a98ed1cec067", "0x00000000000000000000000000000000002b7367562a0273eb3c62bb7749dc76", "0x0000000000000000000000000000007e3012df146f8b4eeff0234f95ecb198a8", "0x00000000000000000000000000000000002d037ffe795c20ae3403c3c7d33ea5", "0x0000000000000000000000000000005fe496645dee4f67bfeb69e126ceb0cd5c", "0x000000000000000000000000000000000010ea390cf2bc3973b09f3724c97dcc" ], "hash": "" }, "aztec_version": "5.1.0" }