{ "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7", "hash": "11555182158873595197", "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" } ], "return_type": { "abi_type": { "kind": "struct", "path": "mock_types::KernelPublicInputs", "fields": [ { "name": "commitments", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } } ] }, "visibility": "databus" }, "error_types": {} }, "bytecode": "H4sIAAAAAAAA/7XWR1MUURQF4FEw55wVMxhBzBkGEFQQUXJshmYYGHqgp4ecmpyZQM45p4Vl6d7l/Qls2Ll0417YnKsbGRbzVl913T6n6lW9es/NbusczxYMUr+67G8UdFn+poIgi6TTCkaj+iVC1FlksyFP9NPrZVEvKAaT1LmiGVOnog2KJJrNu6Dd0B5oL7QP2g8dgA5Ch6DD0BHoKHQMOg6dgE5Cp6DT0BnoLHQOOg9dgDygi9Al6DJ0BboKXYOuQ56QF3QDugndgm5Dd6C7kDfkA92DfKH70APoIfQIegw9gZ5Cz6Dn0AvoJfQKeg35Qf6QFgqAAqEg6A0UDIVAb6F30HsoFAqDPkDh0EcoAvoEfYYioSgoGoqBYqE4KB5KgBKhJCgZSoEEKBXSQWmQCKVDeigDMkCZUBZkhLIhCTJBOVAuJENmSIEsUB6UDxVAhVARVAyVQKVQGVQOUQVTZVYyq5jVzBpmLbOOWc9sYDYym5jNzBZmK7ONaWXamHamg9nO7GB2MruY3cweZi+zj9nPHGAOMoeYw8wR5iiTbwwaZ04wJ5lTzGnmDHOWOWf9a6vmd6rTWpNkVgRJ+eGh+f/aos76rZ0TWYkTZZPDarNv/IdmwxHN5kO3uSJ0uytCd7gidOdmQ+1rod5pYfKqz7DXt/DAr6oak+jp+zO48HuOTbv62/FrPdWJYlpwRfNWZ5oXXdHs5kzzkiua3Z1pXnamOVTMNsmFIZJBcbi10wIt0hItz0aIikWWAgRF+GfCvUezZaub+7btO9aP/dpzdX1Cs6JZwOddu/fs3bf/wMFDh48cPXb8xMlTp8+cPXf+gsfFS5evXL123dPrxs1bt+/c9fa553v/wcNHj588ffb8xctXr/38tQGBQW+CQ96+ex8a9iH8Y8Snz5FR0TGxcfEJiUnJKUKqLk1M12cYMrOM2ZIpJ1c2K5a8/ILCouKS0rJyqiCVKqmKqqmGaqmO6qmBGqmJmqmFWqmNrGQjOzmonTqok7qom3qol/qonwZokIZomEZolMZonCZokqZommZoluZo3rq2/gCyIdV/sQsAAA==", "debug_symbols": "jZHBDoMgDIbfpWcOMkDNXmVZDGpdSAgaBksW47uvEnV6cNml0Jav/WlHaLGOj8q4rn/C9TZC7Y215lHZvtHB9I6i48RgdavgESkEuzxRg/boAlxdtJbBS9uYHj0H7dIZtKdsxgBdSycV7IzF+TaxL52do7IsF1gVcsMVP/D8nBciV0sBIWW5VbjwfxWoki8FcpGfKfjBF9n6/UId+Tt5ujH+MHPISBwDTnoZXGgADESyMllFdpqbeaNri8uWuuia3dLCe1gz61oH3zfYRo9zs5Sj9h8=", "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, MAX_COMMITMENT_READ_REQUESTS_PER_TX, MEGA_VK_LENGTH_IN_FIELDS,\n PrivateKernelPublicInputs, PROOF_TYPE_HN_TAIL, VerificationKey,\n};\n\n// The tail kernel finishes the chonk chain exposing the final public inputs with no remaining calls or unfulfilled read requests.\nfn main(\n prev_kernel_public_inputs: call_data(0) PrivateKernelPublicInputs,\n kernel_vk: VerificationKey,\n) -> return_data KernelPublicInputs {\n std::verify_proof_with_type(kernel_vk.key, [], [], kernel_vk.hash, PROOF_TYPE_HN_TAIL);\n\n assert_eq(prev_kernel_public_inputs.remaining_calls, 0);\n for i in 0..MAX_COMMITMENT_READ_REQUESTS_PER_TX {\n assert_eq(prev_kernel_public_inputs.read_requests[i], 0);\n }\n\n KernelPublicInputs { commitments: prev_kernel_public_inputs.commitments }\n}\n", "path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-private-kernel-tail/src/main.nr", "function_locations": [ { "start": 482, "name": "main" } ] } }, "verificationKey": { "bytes": "000000000000000000000000000000000000000000000000000000000000000f000000000000000000000000000000000000000000000000000000000000001a000000000000000000000000000000000000000000000000000000000000009b000000000000000000000000000000f284d892ac5893250f88921cddc177bd9500000000000000000000000000000000001e5b5dbcb221527a952653b3528b17000000000000000000000000000000357839d9f5622a994ca8c3d42625d44fc900000000000000000000000000000000001214a57419d9f0d1f9a06f9682fda4000000000000000000000000000000155513921f67baccf40d1411087a93676400000000000000000000000000000000002c43eb8cb3381a164b706d4630e600000000000000000000000000000000f4b416e7875377e08018f6dd261bcfcbe5000000000000000000000000000000000021bbf0c9580fec6959fb9d7b3b48de000000000000000000000000000000de369e07832ac53bb8d3de58eefe677b2700000000000000000000000000000000002a6bd9d140422f8d7b39b2caf3bba9000000000000000000000000000000cd24c92b752cfd4c875fdff246200dd1e000000000000000000000000000000000002fdfee98af51ea358753c7d684bd220000000000000000000000000000006df7c1e6c3cbcfb3e6310b3aa5862e44a50000000000000000000000000000000000106633043bd1562701045c500b4106000000000000000000000000000000983d65608392ac550b181d3b3f69ab943700000000000000000000000000000000001b2cde63826d50a9335c525dd2a4d2000000000000000000000000000000300c2d9ae13c8f369475cc6baf8070421e00000000000000000000000000000000002a7cc720ed65503631edbad79a3116000000000000000000000000000000366dc34e74078a9f3918831e3e073b8475000000000000000000000000000000000020f9b8705547bd0a7e1ca550a3f328000000000000000000000000000000f92bed512d8510a54a0e10fcc283e8c44100000000000000000000000000000000000ad102d96de75534934d76d9b2b8a2000000000000000000000000000000e86f13798ad0711c227aaaa655f0ec0ba200000000000000000000000000000000001bd0fbb8446a4339dce08238124ee7000000000000000000000000000000ec0e0f91a54e735576c4dac0add2bd80a500000000000000000000000000000000002499b683623f2df2cf109efe9426e70000000000000000000000000000003d8ceefd3a994a682e643bdeb29eeb2e32000000000000000000000000000000000008a40b89451ab17f22e114683d89a6000000000000000000000000000000216781d06769d95de0d0bfdb0acb04689b00000000000000000000000000000000000a6e6db9e8c6c3656d6907f8df73ce000000000000000000000000000000e9460222a6132e68fcab65a8ca8f679a7f000000000000000000000000000000000012d139853b5c42d13b3a428dbb3fa2000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000071433d59b90a0c0a54465579fc2147d61400000000000000000000000000000000001a1efc7e66f1a6bb79782506a7ea710000000000000000000000000000003af7b80fa8b27da7c3fd564a7dc4c6cd320000000000000000000000000000000000252c346feadba74f6a3d0bedee1c7f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f1c66f5492dd57fa18f9ca2968d0da458600000000000000000000000000000000001a50e1d69b97fc0465fcc9e4703c9d0000000000000000000000000000006f86c65d312b1218f16fef6689438689db00000000000000000000000000000000002e85132d565dfa33f84aad17b4e0490000000000000000000000000000005bdf25c6a88217c89d54dc9158f39585480000000000000000000000000000000000034c8bbcd8d8348ad75ca7d43c59b0000000000000000000000000000000a4ec8649764dce2fad53d9d57409def93f000000000000000000000000000000000006297a828f5355787eca35c0ac92ea000000000000000000000000000000c1f251e39d5c0d8a295ce5c176273dc67300000000000000000000000000000000002bdc38443d96331fc92163914314a1000000000000000000000000000000abd0dfd92c5be1bffa14183dce69271b48000000000000000000000000000000000028c97eb49640f54533e0e8f51aa3de000000000000000000000000000000549d61dba810c17cd9291935d22197d2f100000000000000000000000000000000000b1226aa985ff2ebc4ea4b0781d6c9000000000000000000000000000000ee5b5128b17baeeef5f8a54c82aea030e900000000000000000000000000000000001b37a15c3504e0956925720d6a4064000000000000000000000000000000f2ea2629436ded65b256ea39757da0eee50000000000000000000000000000000000122fc69b857379d15552f86e4140e4000000000000000000000000000000b976df32a66349de2c001a596f4486015c000000000000000000000000000000000016db1ad322e33ba2fc76b34851f23400000000000000000000000000000018fc21c00b5dd59b51f7861e1e0c38279800000000000000000000000000000000000b70cb16966651f9defbe483b762500000000000000000000000000000008a8b919bb6a500141d417167f63fc67602000000000000000000000000000000000004a32ad5c17081aaf06930ad6fa34e000000000000000000000000000000d37647ea2488a7886e82b08a2b465669ce00000000000000000000000000000000000be3c8b33d2226e67d09d2e0064185000000000000000000000000000000e1546cc16b4c144e95e5cac39129b2f901000000000000000000000000000000000024b395f9ecd0ba62301074fd68d8320000000000000000000000000000009df9b3fe7545ea6bb433a544bd67a2a3e6000000000000000000000000000000000022112531eede99d3f521e9f9476b260000000000000000000000000000006dfebd37210fb4f41913fdb644d68ae73d0000000000000000000000000000000000272a29c4c68c26a93c6317c7c10df40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c9bc6245b4c2e834c98e38d94269b076a000000000000000000000000000000000014591d8e01005ba803ff94454b6b6f000000000000000000000000000000f4ddd2b15d0bdf1250640a71c68de6798600000000000000000000000000000000000aeb32fc9d032a6435d2d132717e2300000000000000000000000000000030e97abc4b9d46c473c78e05edf26b1aed000000000000000000000000000000000005aebb08e14dc4715e470a1e8ad3690000000000000000000000000000001eb030a72141b79effb80ae6e045e5540600000000000000000000000000000000002e115f37b182d82ddd1e1229c8545100000000000000000000000000000077aaf83a294a391c272a998b993b3fb72600000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f50000000000000000000000000000006547e28fb2db0b99ed0531152efecc343100000000000000000000000000000000001068f5dcffbed813c829fe71235c2600000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98000000000000000000000000000000000017bd63ba535af74d8a9188e022f43200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff967361949400000000000000000000000000000055bcdf7e207581b0bc0dd06ce0038ffaec0000000000000000000000000000000000076863df8971ce13d776a983a5444b0000000000000000000000000000001422929bffb35441915b18d8274d08358f00000000000000000000000000000000002a399dcd691d3a80951052682352090000000000000000000000000000006bed1f4d936c04336d6fe779ef59e0520f00000000000000000000000000000000000d40f0c76e5c71425ceba555de1791000000000000000000000000000000512f169b6cccdaf0b9183cf68e04cc05bb00000000000000000000000000000000002ee3db4ddd4a416deca4f3fd23eb150000000000000000000000000000007ddb5dc8cfef12dc09673763cf877b4f5b000000000000000000000000000000000005a5aaab6628f8213c8e31694e970d000000000000000000000000000000db430ac908c2ed45251f982496ffc95b4500000000000000000000000000000000002deb6fec6508883d08d710a3d0132e00000000000000000000000000000044246bb2e560bf1e7c5e5134284ade7d670000000000000000000000000000000000152d4c32c1078a16f6f7f836cb5e4d00000000000000000000000000000086297fb0ed830d10de8bf5cf09aaebda8b00000000000000000000000000000000000c9db68de7e66be6ea934c75435665000000000000000000000000000000288b91fe62134e2c3e6ece97939ac87f82000000000000000000000000000000000024f6a2fbc0340bc60b0db1a68227270000000000000000000000000000008aa1e4f28a575aa50ec66a4a5ccc6dec96000000000000000000000000000000000004dfa7ad271e4c0a1a3069b6f05a07000000000000000000000000000000910c2e3509fa7467b83a989056953a168900000000000000000000000000000000002f0a18c6010644d4f82de52ff0ade900000000000000000000000000000019ab93273c01fb9160bb9df4fceb6df6b900000000000000000000000000000000000e0e2a60548830f02e86f60c8b8dd4", "fields": [ "0x000000000000000000000000000000000000000000000000000000000000000f", "0x000000000000000000000000000000000000000000000000000000000000001a", "0x000000000000000000000000000000000000000000000000000000000000009b", "0x000000000000000000000000000000f284d892ac5893250f88921cddc177bd95", "0x00000000000000000000000000000000001e5b5dbcb221527a952653b3528b17", "0x000000000000000000000000000000357839d9f5622a994ca8c3d42625d44fc9", "0x00000000000000000000000000000000001214a57419d9f0d1f9a06f9682fda4", "0x000000000000000000000000000000155513921f67baccf40d1411087a936764", "0x00000000000000000000000000000000002c43eb8cb3381a164b706d4630e600", "0x000000000000000000000000000000f4b416e7875377e08018f6dd261bcfcbe5", "0x000000000000000000000000000000000021bbf0c9580fec6959fb9d7b3b48de", "0x000000000000000000000000000000de369e07832ac53bb8d3de58eefe677b27", "0x00000000000000000000000000000000002a6bd9d140422f8d7b39b2caf3bba9", "0x000000000000000000000000000000cd24c92b752cfd4c875fdff246200dd1e0", "0x00000000000000000000000000000000002fdfee98af51ea358753c7d684bd22", "0x0000000000000000000000000000006df7c1e6c3cbcfb3e6310b3aa5862e44a5", "0x0000000000000000000000000000000000106633043bd1562701045c500b4106", "0x000000000000000000000000000000983d65608392ac550b181d3b3f69ab9437", "0x00000000000000000000000000000000001b2cde63826d50a9335c525dd2a4d2", "0x000000000000000000000000000000300c2d9ae13c8f369475cc6baf8070421e", "0x00000000000000000000000000000000002a7cc720ed65503631edbad79a3116", "0x000000000000000000000000000000366dc34e74078a9f3918831e3e073b8475", "0x000000000000000000000000000000000020f9b8705547bd0a7e1ca550a3f328", "0x000000000000000000000000000000f92bed512d8510a54a0e10fcc283e8c441", "0x00000000000000000000000000000000000ad102d96de75534934d76d9b2b8a2", "0x000000000000000000000000000000e86f13798ad0711c227aaaa655f0ec0ba2", "0x00000000000000000000000000000000001bd0fbb8446a4339dce08238124ee7", "0x000000000000000000000000000000ec0e0f91a54e735576c4dac0add2bd80a5", "0x00000000000000000000000000000000002499b683623f2df2cf109efe9426e7", "0x0000000000000000000000000000003d8ceefd3a994a682e643bdeb29eeb2e32", "0x000000000000000000000000000000000008a40b89451ab17f22e114683d89a6", "0x000000000000000000000000000000216781d06769d95de0d0bfdb0acb04689b", "0x00000000000000000000000000000000000a6e6db9e8c6c3656d6907f8df73ce", "0x000000000000000000000000000000e9460222a6132e68fcab65a8ca8f679a7f", "0x000000000000000000000000000000000012d139853b5c42d13b3a428dbb3fa2", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x00000000000000000000000000000071433d59b90a0c0a54465579fc2147d614", "0x00000000000000000000000000000000001a1efc7e66f1a6bb79782506a7ea71", "0x0000000000000000000000000000003af7b80fa8b27da7c3fd564a7dc4c6cd32", "0x0000000000000000000000000000000000252c346feadba74f6a3d0bedee1c7f", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000f1c66f5492dd57fa18f9ca2968d0da4586", "0x00000000000000000000000000000000001a50e1d69b97fc0465fcc9e4703c9d", "0x0000000000000000000000000000006f86c65d312b1218f16fef6689438689db", "0x00000000000000000000000000000000002e85132d565dfa33f84aad17b4e049", "0x0000000000000000000000000000005bdf25c6a88217c89d54dc9158f3958548", "0x0000000000000000000000000000000000034c8bbcd8d8348ad75ca7d43c59b0", "0x000000000000000000000000000000a4ec8649764dce2fad53d9d57409def93f", "0x000000000000000000000000000000000006297a828f5355787eca35c0ac92ea", "0x000000000000000000000000000000c1f251e39d5c0d8a295ce5c176273dc673", "0x00000000000000000000000000000000002bdc38443d96331fc92163914314a1", "0x000000000000000000000000000000abd0dfd92c5be1bffa14183dce69271b48", "0x000000000000000000000000000000000028c97eb49640f54533e0e8f51aa3de", "0x000000000000000000000000000000549d61dba810c17cd9291935d22197d2f1", "0x00000000000000000000000000000000000b1226aa985ff2ebc4ea4b0781d6c9", "0x000000000000000000000000000000ee5b5128b17baeeef5f8a54c82aea030e9", "0x00000000000000000000000000000000001b37a15c3504e0956925720d6a4064", "0x000000000000000000000000000000f2ea2629436ded65b256ea39757da0eee5", "0x0000000000000000000000000000000000122fc69b857379d15552f86e4140e4", "0x000000000000000000000000000000b976df32a66349de2c001a596f4486015c", "0x000000000000000000000000000000000016db1ad322e33ba2fc76b34851f234", "0x00000000000000000000000000000018fc21c00b5dd59b51f7861e1e0c382798", "0x00000000000000000000000000000000000b70cb16966651f9defbe483b76250", "0x0000000000000000000000000000008a8b919bb6a500141d417167f63fc67602", "0x000000000000000000000000000000000004a32ad5c17081aaf06930ad6fa34e", "0x000000000000000000000000000000d37647ea2488a7886e82b08a2b465669ce", "0x00000000000000000000000000000000000be3c8b33d2226e67d09d2e0064185", "0x000000000000000000000000000000e1546cc16b4c144e95e5cac39129b2f901", "0x000000000000000000000000000000000024b395f9ecd0ba62301074fd68d832", "0x0000000000000000000000000000009df9b3fe7545ea6bb433a544bd67a2a3e6", "0x000000000000000000000000000000000022112531eede99d3f521e9f9476b26", "0x0000000000000000000000000000006dfebd37210fb4f41913fdb644d68ae73d", "0x0000000000000000000000000000000000272a29c4c68c26a93c6317c7c10df4", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000003c9bc6245b4c2e834c98e38d94269b076a", "0x000000000000000000000000000000000014591d8e01005ba803ff94454b6b6f", "0x000000000000000000000000000000f4ddd2b15d0bdf1250640a71c68de67986", "0x00000000000000000000000000000000000aeb32fc9d032a6435d2d132717e23", "0x00000000000000000000000000000030e97abc4b9d46c473c78e05edf26b1aed", "0x000000000000000000000000000000000005aebb08e14dc4715e470a1e8ad369", "0x0000000000000000000000000000001eb030a72141b79effb80ae6e045e55406", "0x00000000000000000000000000000000002e115f37b182d82ddd1e1229c85451", "0x00000000000000000000000000000077aaf83a294a391c272a998b993b3fb726", "0x00000000000000000000000000000000001ef5fc7f99c80e746c5ebc02d079f5", "0x0000000000000000000000000000006547e28fb2db0b99ed0531152efecc3431", "0x00000000000000000000000000000000001068f5dcffbed813c829fe71235c26", "0x00000000000000000000000000000014f0863f2eef8c90fa2ecd91e1e10b572c", "0x000000000000000000000000000000000017bd913cb2426b7f89ca0e2dd4e73d", "0x000000000000000000000000000000bc2c6d52ed3523bb441f7674e48465fa98", "0x000000000000000000000000000000000017bd63ba535af74d8a9188e022f432", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce", "0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a", "0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854", "0x0000000000000000000000000000000000261522c4089330646aff9673619494", "0x00000000000000000000000000000055bcdf7e207581b0bc0dd06ce0038ffaec", "0x0000000000000000000000000000000000076863df8971ce13d776a983a5444b", "0x0000000000000000000000000000001422929bffb35441915b18d8274d08358f", "0x00000000000000000000000000000000002a399dcd691d3a8095105268235209", "0x0000000000000000000000000000006bed1f4d936c04336d6fe779ef59e0520f", "0x00000000000000000000000000000000000d40f0c76e5c71425ceba555de1791", "0x000000000000000000000000000000512f169b6cccdaf0b9183cf68e04cc05bb", "0x00000000000000000000000000000000002ee3db4ddd4a416deca4f3fd23eb15", "0x0000000000000000000000000000007ddb5dc8cfef12dc09673763cf877b4f5b", "0x000000000000000000000000000000000005a5aaab6628f8213c8e31694e970d", "0x000000000000000000000000000000db430ac908c2ed45251f982496ffc95b45", "0x00000000000000000000000000000000002deb6fec6508883d08d710a3d0132e", "0x00000000000000000000000000000044246bb2e560bf1e7c5e5134284ade7d67", "0x0000000000000000000000000000000000152d4c32c1078a16f6f7f836cb5e4d", "0x00000000000000000000000000000086297fb0ed830d10de8bf5cf09aaebda8b", "0x00000000000000000000000000000000000c9db68de7e66be6ea934c75435665", "0x000000000000000000000000000000288b91fe62134e2c3e6ece97939ac87f82", "0x000000000000000000000000000000000024f6a2fbc0340bc60b0db1a6822727", "0x0000000000000000000000000000008aa1e4f28a575aa50ec66a4a5ccc6dec96", "0x000000000000000000000000000000000004dfa7ad271e4c0a1a3069b6f05a07", "0x000000000000000000000000000000910c2e3509fa7467b83a989056953a1689", "0x00000000000000000000000000000000002f0a18c6010644d4f82de52ff0ade9", "0x00000000000000000000000000000019ab93273c01fb9160bb9df4fceb6df6b9", "0x00000000000000000000000000000000000e0e2a60548830f02e86f60c8b8dd4" ], "hash": "" }, "aztec_version": "5.1.0" }