{ "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7", "hash": "13519818194000331960", "abi": { "parameters": [ { "name": "prev_kernel_public_inputs", "type": { "kind": "struct", "path": "mock_types::KernelPublicInputs", "fields": [ { "name": "commitments", "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" } ], "return_type": { "abi_type": { "kind": "struct", "path": "mock_types::KernelPublicInputs", "fields": [ { "name": "commitments", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } } ] }, "visibility": "public" }, "error_types": {} }, "bytecode": "H4sIAAAAAAAA/7XWN1MbQRjGcQG2cc454gyO5JxFzjmnQwghECeQjhyPnBESiJwzNC48HrunfD8CDZ1LN+4NzfO6Mrjgqt/c7O5/dmZndu3MY9a1SkErWuUvoTpBVRGqr4+oEVVKQaeTv6aoVTUGo7ZWHaLRGNQaQdLqReu+YlXezNRKotpoPAOdhc5B9tB56AJ0EboEXYauQFeha9B16AZ0E7oF3YbuQHehe9B96AH0EHoEPYaeQE+hZ5AD9Bx6Ab2EXkGvoTfQW8gRcoLeQe+hD9BH6BP0GXKGXCBXyA1yhzwgT8gL8oZ8IF/ID/KHAqBAKAgKhkKgUEgJhUHhUAQUCUVB0VAMFAvFQfFQApQIJUHJUAqUCqVB6VAGlAllQdlQDpQL5UH5UAFUCBVBAlQMqaASSA2VQhqoDNJC5VAFpIMqIRHSQ1VQNWSAjJAE1UC1UB1UDzVAjVAT1Ay1QK1QG0TtTJnZwexkdjG7mT3MXmYfs585wBxkDjGHmSPMUaaJOcY0My3MceYE08qcZE4xp5kzzFnmHHOeucBcZC4xl5krTL5jaI25ztww/bXnTXt5S6kXjZIgSnsOin9/NvJOyOGBN0g5aoPeYjKb9xycSxIMBy5LTt+Twr/Jcla+o9vPqIYfVWPKg9+WX0dzzMevSlvHjlH8f9nmJOXt0yjbnqS8cxplu5OUd09SjldX6g0N0aJWstiOK2xs7Q6PyeHLJkyQBMW+Yuvoz5mz5+zPX7h46fKVq9eu37h56/adu/fuP3j46PGTp88cnr94+er1m7eOTu/ef/j46bOzi6ubu4enl7ePr59/QGBQcEioMiw8IjIqOiY2Lj4hMSk5JTUtPSMzKzsnNy+/oLBIKFaVqEs1ZdryCl2lqK+qNhilmtq6+obGpuaW1jZqJ5k6qJO6qJt6qJf6qJ8GaJCGaJhGaJRMNEZmstA4TZCVJmmKpmmGZmmO5mmBFmmJlmmFVmmN1mmDNk3jtEXbtEO7JtMfnGihqtoJAAA=", "debug_symbols": "dZDdCoMwDEbfJde98H/DVxlDao1SKG2J7WCI774o6vTCqzT5ek5pJuiwjUOjbe9GqF8TtKSN0UNjnJJBO8vTaRawt00gRB7BKWfKS0IboLbRGAEfaeJ6afTSrjVI4jQRgLbjysJeG1xOs/jTyT2aPcoNzqvswMv0wqf3fJ5Xh6AonochY8ObO6k0Xf4MCYfzIiQtW4PbHvpo1Wkt4ev3ZF+cJ6ewi4SLbs34gR8=", "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 KernelPublicInputs, MEGA_VK_LENGTH_IN_FIELDS, PROOF_TYPE_HN_FINAL, VerificationKey,\n};\n\nfn main(\n prev_kernel_public_inputs: call_data(0) KernelPublicInputs,\n kernel_vk: VerificationKey,\n) -> pub KernelPublicInputs {\n std::verify_proof_with_type(kernel_vk.key, [], [], kernel_vk.hash, PROOF_TYPE_HN_FINAL);\n\n prev_kernel_public_inputs\n}\n", "path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-hiding/src/main.nr", "function_locations": [ { "start": 269, "name": "main" } ] } }, "verificationKey": { "bytes": "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000029b000000000000000000000000000000368435dfbb475d408fb60373211c37057e00000000000000000000000000000000002746a8198dd0e693681123996eb483000000000000000000000000000000e7312d4bd886f1ac1ac8bcb76c474df71b000000000000000000000000000000000021fe3d71394ecd90fbb8d5b80b4bbf000000000000000000000000000000039708b4bd35283de067ce8f56c4d023fc000000000000000000000000000000000008ba8ce2e336c4f865cd7dc29679440000000000000000000000000000002d50288378b32e131faf49eea35b71c31100000000000000000000000000000000002af1cc2d0c99808decb6251d40e884000000000000000000000000000000855128ea44d236c401c2070227b1e08cee00000000000000000000000000000000000c351d72b8767bf73caa34840da9c1000000000000000000000000000000c9d56f91f534726c92bee1f2ac50d2d34000000000000000000000000000000000001af9e724e8f338f005455196757d2f000000000000000000000000000000bb0c8dc9f21795acc314ea398b0eef04c900000000000000000000000000000000001efa464a48a5bbca51664cb4b180ca00000000000000000000000000000074f6f3f863354bcd99856b3d16b3499ce600000000000000000000000000000000002f95844df8143ae65b576900466fae000000000000000000000000000000a21eb5e19c23021c0ff98a57a25bbe9a7d0000000000000000000000000000000000216b03dde96ac93513f6ac70f07aa200000000000000000000000000000036efcc55ac5c13d5efafa0a1667b52288800000000000000000000000000000000001ae39ee2b00f1a6dfe8dede3ccfd15000000000000000000000000000000e69be3f11328dea28a3b3c097e34935170000000000000000000000000000000000013636630ea795487863e5e1c14df2c000000000000000000000000000000f47f1c16b1799dea8624718d7d0745828e00000000000000000000000000000000001a8a0aaf57fa4fb49dfe0c625820a9000000000000000000000000000000d60bf2e83d480fb51efea86732953b1fee000000000000000000000000000000000023c9522a00514d35ebf93774e4a5f1000000000000000000000000000000ac36ae04f70234ed6e84e748405508fdc200000000000000000000000000000000002da1ef66a34f3da9afa7a3fbc3cb480000000000000000000000000000008e2704851de531042f25bbe58e0ea4e1b00000000000000000000000000000000000122c085c69e098b3bd14ef247590d5000000000000000000000000000000cab7a8657fd9f206e0f7f245a5498d012000000000000000000000000000000000002e3970bb434785d9a727c0f959dc4900000000000000000000000000000088252ea37d1daadc134ed170f0be7f7a3b0000000000000000000000000000000000019a3c3b3f6fc83bddd657564e542d00000000000000000000000000000028fb88329bba9d8d80084a0bd546c5b22400000000000000000000000000000000002753105807455a74accebf130d44050000000000000000000000000000008a0d08f16af373b2e83e76a904f1d067a3000000000000000000000000000000000022c88f6518ed32009b7235c785ded30000000000000000000000000000003c6662f97f1ea2bd01b75810677dd3935d00000000000000000000000000000000002cff2bdf2d26030d29801b27ce245e0000000000000000000000000000006bc5ee6f4bcca6123fd348e7707bf051e400000000000000000000000000000000000266c5debbed64e595720c50bb6b530000000000000000000000000000008157caf6e3c93b2985b9eac80d17e9b87c000000000000000000000000000000000019fa493ea8866b7810aa997f5bcad50000000000000000000000000000003c11377f08afd8dd1699e448491c4f675b0000000000000000000000000000000000302edc90225a459155dc92118d1d970000000000000000000000000000000022e076474d1e0145e30397222ccdd444000000000000000000000000000000000025c6c6f7f2c8335856a611dc3e7a410000000000000000000000000000002ae6d8ab9b57cbf3e4c5ccac6e625072fc00000000000000000000000000000000002486d43ef85efc2fdd7d70aef5ede2000000000000000000000000000000d2a1ee00a468e9a6d2059f1f06988b52fe00000000000000000000000000000000000df94eb235264bb579e302c92f587c000000000000000000000000000000d6c86dae440d72315366c9de48f566b71c00000000000000000000000000000000002afbc6bf0f2456e582672d68d118e9000000000000000000000000000000af070ff471a9cefe3aece099eb7cf1cbc800000000000000000000000000000000000edf1b5ca0d3eeb5ca26dc5c0624f100000000000000000000000000000046db8cfca3be1827cf81692d4b149e37d800000000000000000000000000000000000f89e3330f027ec118e5b6dee70707000000000000000000000000000000cb72a5763a0e0d377310c5575b018ffe3f00000000000000000000000000000000000069518c8b80f54036c71dbd32ef5a0000000000000000000000000000001eee81b23a887f299049b14c11e98460d600000000000000000000000000000000002a56ce41f6b0be13b9c26747621b82000000000000000000000000000000d5827d6338c78656c0d12ca1aea6ef2c7c00000000000000000000000000000000001aa98f2de3ddda547d8f6de4e725de0000000000000000000000000000001947ad807d49e3450700d26a4e40d4c2570000000000000000000000000000000000244987a2e000a05e373aae90b6d905000000000000000000000000000000a52918b79bca24657363be268085a66cdd00000000000000000000000000000000001eed95c410caccc070a22e3e93346000000000000000000000000000000077ab636aec6dffeb570e14b0022fe02e8900000000000000000000000000000000002e8bb9cc512bb9341d649032e3eb550000000000000000000000000000006291ba0ebb8a83185555283c87986a23f000000000000000000000000000000000001ec2a41d3b0ce93cf979bfb710b31f000000000000000000000000000000e0e0bc03c300353431b31f19347c176f97000000000000000000000000000000000013f57d203c8a04ddbd03e0b8f270e1000000000000000000000000000000d09c7407bab48dcac8933a5e2f44bb5609000000000000000000000000000000000012f94322217375d1d809c8d2762d8800000000000000000000000000000004ad9f1179bcc63b85e6e45f455556515100000000000000000000000000000000001f96d955a4da815e256b27b9067d140000000000000000000000000000006874e6d89a46173820667521836f219523000000000000000000000000000000000028fdc02bbcf6813f96389f1591ba0500000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff9673619494000000000000000000000000000000f37761ef73e35b1bf653a6ba641fefbc8b000000000000000000000000000000000018f3d7fc1133d17a2d046731b804fa0000000000000000000000000000005e743c538f8eb9ee7889675303687c3d250000000000000000000000000000000000087db2985435258521806526b0cd8a00000000000000000000000000000036949fe4c64b626f60c4e0f7d7e8b28e22000000000000000000000000000000000009e9cc2e1ba86547b76172891b7ad5000000000000000000000000000000708968cef9dadce27e5e4145a7be35b370000000000000000000000000000000000002c10aa4c2c6348ed4610982f0c85900000000000000000000000000000046d4805c32e5a61b400772460923db8a1a000000000000000000000000000000000029d385f16f70e0b7389079196e1baa000000000000000000000000000000ec1f45460ccad9ae67396f1c08504c072d000000000000000000000000000000000011a39f1f40859803b42f55cfbdf61500000000000000000000000000000072cb68fe6553798e5e4cd81202d835224a00000000000000000000000000000000000ca45f717cb4c1859dd0d7ef36e5c000000000000000000000000000000059ffd31f9e64ee09726f221d3c54c430bf00000000000000000000000000000000002bd55cb5070a35df1c76c331c5ce2b0000000000000000000000000000001191fa181647341a2cf8cf1849adab064d00000000000000000000000000000000002948f44bdfab8b4dc4d1286f41b6bb000000000000000000000000000000ddb612f15fa5d3bd533cc6b28b7a32f5aa00000000000000000000000000000000002adef7ba039b071d8534785137daad0000000000000000000000000000006699baf2dd4c6203659a7a22a2c5fc170800000000000000000000000000000000001cec3572dcfb2e52dac52d6ed4674a0000000000000000000000000000008f897a16186b7dd2e85f79d0cb42b9107b00000000000000000000000000000000001ec32a679110017b70c80ced10eca800000000000000000000000000000021dc2b23b6186b14e6a6f51a93fbfc4ed200000000000000000000000000000000000c0a32c124b531ff703f60837f0d68000000000000000000000000000000a6832198f94acf18fbe08da15a3b67edf90000000000000000000000000000000000134f20e11b252a810c64a9831a2b06", "fields": [ "0x0000000000000000000000000000000000000000000000000000000000000010", "0x0000000000000000000000000000000000000000000000000000000000000020", "0x000000000000000000000000000000000000000000000000000000000000029b", "0x000000000000000000000000000000368435dfbb475d408fb60373211c37057e", "0x00000000000000000000000000000000002746a8198dd0e693681123996eb483", "0x000000000000000000000000000000e7312d4bd886f1ac1ac8bcb76c474df71b", "0x000000000000000000000000000000000021fe3d71394ecd90fbb8d5b80b4bbf", "0x000000000000000000000000000000039708b4bd35283de067ce8f56c4d023fc", "0x000000000000000000000000000000000008ba8ce2e336c4f865cd7dc2967944", "0x0000000000000000000000000000002d50288378b32e131faf49eea35b71c311", "0x00000000000000000000000000000000002af1cc2d0c99808decb6251d40e884", "0x000000000000000000000000000000855128ea44d236c401c2070227b1e08cee", "0x00000000000000000000000000000000000c351d72b8767bf73caa34840da9c1", "0x000000000000000000000000000000c9d56f91f534726c92bee1f2ac50d2d340", "0x00000000000000000000000000000000001af9e724e8f338f005455196757d2f", "0x000000000000000000000000000000bb0c8dc9f21795acc314ea398b0eef04c9", "0x00000000000000000000000000000000001efa464a48a5bbca51664cb4b180ca", "0x00000000000000000000000000000074f6f3f863354bcd99856b3d16b3499ce6", "0x00000000000000000000000000000000002f95844df8143ae65b576900466fae", "0x000000000000000000000000000000a21eb5e19c23021c0ff98a57a25bbe9a7d", "0x0000000000000000000000000000000000216b03dde96ac93513f6ac70f07aa2", "0x00000000000000000000000000000036efcc55ac5c13d5efafa0a1667b522888", "0x00000000000000000000000000000000001ae39ee2b00f1a6dfe8dede3ccfd15", "0x000000000000000000000000000000e69be3f11328dea28a3b3c097e34935170", "0x000000000000000000000000000000000013636630ea795487863e5e1c14df2c", "0x000000000000000000000000000000f47f1c16b1799dea8624718d7d0745828e", "0x00000000000000000000000000000000001a8a0aaf57fa4fb49dfe0c625820a9", "0x000000000000000000000000000000d60bf2e83d480fb51efea86732953b1fee", "0x000000000000000000000000000000000023c9522a00514d35ebf93774e4a5f1", "0x000000000000000000000000000000ac36ae04f70234ed6e84e748405508fdc2", "0x00000000000000000000000000000000002da1ef66a34f3da9afa7a3fbc3cb48", "0x0000000000000000000000000000008e2704851de531042f25bbe58e0ea4e1b0", "0x0000000000000000000000000000000000122c085c69e098b3bd14ef247590d5", "0x000000000000000000000000000000cab7a8657fd9f206e0f7f245a5498d0120", "0x00000000000000000000000000000000002e3970bb434785d9a727c0f959dc49", "0x00000000000000000000000000000088252ea37d1daadc134ed170f0be7f7a3b", "0x0000000000000000000000000000000000019a3c3b3f6fc83bddd657564e542d", "0x00000000000000000000000000000028fb88329bba9d8d80084a0bd546c5b224", "0x00000000000000000000000000000000002753105807455a74accebf130d4405", "0x0000000000000000000000000000008a0d08f16af373b2e83e76a904f1d067a3", "0x000000000000000000000000000000000022c88f6518ed32009b7235c785ded3", "0x0000000000000000000000000000003c6662f97f1ea2bd01b75810677dd3935d", "0x00000000000000000000000000000000002cff2bdf2d26030d29801b27ce245e", "0x0000000000000000000000000000006bc5ee6f4bcca6123fd348e7707bf051e4", "0x00000000000000000000000000000000000266c5debbed64e595720c50bb6b53", "0x0000000000000000000000000000008157caf6e3c93b2985b9eac80d17e9b87c", "0x000000000000000000000000000000000019fa493ea8866b7810aa997f5bcad5", "0x0000000000000000000000000000003c11377f08afd8dd1699e448491c4f675b", "0x0000000000000000000000000000000000302edc90225a459155dc92118d1d97", "0x0000000000000000000000000000000022e076474d1e0145e30397222ccdd444", "0x000000000000000000000000000000000025c6c6f7f2c8335856a611dc3e7a41", "0x0000000000000000000000000000002ae6d8ab9b57cbf3e4c5ccac6e625072fc", "0x00000000000000000000000000000000002486d43ef85efc2fdd7d70aef5ede2", "0x000000000000000000000000000000d2a1ee00a468e9a6d2059f1f06988b52fe", "0x00000000000000000000000000000000000df94eb235264bb579e302c92f587c", "0x000000000000000000000000000000d6c86dae440d72315366c9de48f566b71c", "0x00000000000000000000000000000000002afbc6bf0f2456e582672d68d118e9", "0x000000000000000000000000000000af070ff471a9cefe3aece099eb7cf1cbc8", "0x00000000000000000000000000000000000edf1b5ca0d3eeb5ca26dc5c0624f1", "0x00000000000000000000000000000046db8cfca3be1827cf81692d4b149e37d8", "0x00000000000000000000000000000000000f89e3330f027ec118e5b6dee70707", "0x000000000000000000000000000000cb72a5763a0e0d377310c5575b018ffe3f", "0x00000000000000000000000000000000000069518c8b80f54036c71dbd32ef5a", "0x0000000000000000000000000000001eee81b23a887f299049b14c11e98460d6", "0x00000000000000000000000000000000002a56ce41f6b0be13b9c26747621b82", "0x000000000000000000000000000000d5827d6338c78656c0d12ca1aea6ef2c7c", "0x00000000000000000000000000000000001aa98f2de3ddda547d8f6de4e725de", "0x0000000000000000000000000000001947ad807d49e3450700d26a4e40d4c257", "0x0000000000000000000000000000000000244987a2e000a05e373aae90b6d905", "0x000000000000000000000000000000a52918b79bca24657363be268085a66cdd", "0x00000000000000000000000000000000001eed95c410caccc070a22e3e933460", "0x00000000000000000000000000000077ab636aec6dffeb570e14b0022fe02e89", "0x00000000000000000000000000000000002e8bb9cc512bb9341d649032e3eb55", "0x0000000000000000000000000000006291ba0ebb8a83185555283c87986a23f0", "0x00000000000000000000000000000000001ec2a41d3b0ce93cf979bfb710b31f", "0x000000000000000000000000000000e0e0bc03c300353431b31f19347c176f97", "0x000000000000000000000000000000000013f57d203c8a04ddbd03e0b8f270e1", "0x000000000000000000000000000000d09c7407bab48dcac8933a5e2f44bb5609", "0x000000000000000000000000000000000012f94322217375d1d809c8d2762d88", "0x00000000000000000000000000000004ad9f1179bcc63b85e6e45f4555565151", "0x00000000000000000000000000000000001f96d955a4da815e256b27b9067d14", "0x0000000000000000000000000000006874e6d89a46173820667521836f219523", "0x000000000000000000000000000000000028fdc02bbcf6813f96389f1591ba05", "0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce", "0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a", "0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854", "0x0000000000000000000000000000000000261522c4089330646aff9673619494", "0x000000000000000000000000000000f37761ef73e35b1bf653a6ba641fefbc8b", "0x000000000000000000000000000000000018f3d7fc1133d17a2d046731b804fa", "0x0000000000000000000000000000005e743c538f8eb9ee7889675303687c3d25", "0x0000000000000000000000000000000000087db2985435258521806526b0cd8a", "0x00000000000000000000000000000036949fe4c64b626f60c4e0f7d7e8b28e22", "0x000000000000000000000000000000000009e9cc2e1ba86547b76172891b7ad5", "0x000000000000000000000000000000708968cef9dadce27e5e4145a7be35b370", "0x000000000000000000000000000000000002c10aa4c2c6348ed4610982f0c859", "0x00000000000000000000000000000046d4805c32e5a61b400772460923db8a1a", "0x000000000000000000000000000000000029d385f16f70e0b7389079196e1baa", "0x000000000000000000000000000000ec1f45460ccad9ae67396f1c08504c072d", "0x000000000000000000000000000000000011a39f1f40859803b42f55cfbdf615", "0x00000000000000000000000000000072cb68fe6553798e5e4cd81202d835224a", "0x00000000000000000000000000000000000ca45f717cb4c1859dd0d7ef36e5c0", "0x00000000000000000000000000000059ffd31f9e64ee09726f221d3c54c430bf", "0x00000000000000000000000000000000002bd55cb5070a35df1c76c331c5ce2b", "0x0000000000000000000000000000001191fa181647341a2cf8cf1849adab064d", "0x00000000000000000000000000000000002948f44bdfab8b4dc4d1286f41b6bb", "0x000000000000000000000000000000ddb612f15fa5d3bd533cc6b28b7a32f5aa", "0x00000000000000000000000000000000002adef7ba039b071d8534785137daad", "0x0000000000000000000000000000006699baf2dd4c6203659a7a22a2c5fc1708", "0x00000000000000000000000000000000001cec3572dcfb2e52dac52d6ed4674a", "0x0000000000000000000000000000008f897a16186b7dd2e85f79d0cb42b9107b", "0x00000000000000000000000000000000001ec32a679110017b70c80ced10eca8", "0x00000000000000000000000000000021dc2b23b6186b14e6a6f51a93fbfc4ed2", "0x00000000000000000000000000000000000c0a32c124b531ff703f60837f0d68", "0x000000000000000000000000000000a6832198f94acf18fbe08da15a3b67edf9", "0x0000000000000000000000000000000000134f20e11b252a810c64a9831a2b06" ], "hash": "" }, "aztec_version": "5.1.0" }