{ "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7", "hash": "3026325078405703097", "abi": { "parameters": [ { "name": "chonk_proof_data", "type": { "kind": "struct", "path": "mock_types::ChonkProofData", "fields": [ { "name": "public_inputs", "type": { "kind": "struct", "path": "mock_types::KernelPublicInputs", "fields": [ { "name": "commitments", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } } ] } }, { "name": "proof", "type": { "kind": "array", "length": 1270, "type": { "kind": "field" } } }, { "name": "vk_data", "type": { "kind": "struct", "path": "mock_types::protocol_types::proof::verification_key::VerificationKey", "fields": [ { "name": "key", "type": { "kind": "array", "length": 115, "type": { "kind": "field" } } }, { "name": "hash", "type": { "kind": "field" } } ] } } ] }, "visibility": "private" } ], "return_type": { "abi_type": { "kind": "struct", "path": "mock_types::RollupPublicInputs", "fields": [ { "name": "accumulated", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } } ] }, "visibility": "public" }, "error_types": {} }, "bytecode": "H4sIAAAAAAAA/4XbRZSYVbOFYarqfLi7u7u7B3d3CyGEQEggCa7BnSS4u7u7O5yNO0GCu7veGvV5R/fv0e61uqdnPbX3+mLkiDMv37N3/4Ejh9286oDeffZYddD+a+wzsE+v3gMGDLt9k7599hk8pP++fVfp129w3369h/YfNPDMUWMMGXbVlv2HDuw7ZIjKn8h/If+N/A/yv8j/tdyNgWzIjhzIBblDHhN5LOSxkcdBHhd5POTxkSdAnhB5IuSJkSdBnhR5MuTJkadAnhJ5KuSpkadBnhZ5OuTpkWdAnhF5JuSZkWdBnhV5NuTZkedAnhN5LuS5kedBnhd5PuT5kRdAXhB5IeSFkRdBXhR5MeTFkZdAXhJ5KeSlkZdBXhZ5OeTlkVdAXhF5JeSVkVdBXhW5F/JqyKsjr4G8JvJayGsjr4O8LvJ6yOsjb4C8IfJGyBsjb4K8KfJmyJsjb4G8JfJWyFsjb4O8LfJ2yNsj74C8I/JOyL2Rd0bug7wLcl/kXZH7Ie+G3B95d+Q9kAeMKr/2/Noeu/bUtYeuPXPtkWtPXHvg2vPWHrf2tLWHrT1r7VFrT1p70Npz1h6z9pS1h6w9Y+0Ra09Ye8Da89Uer/Z0tYerPVvt0WpPVnuw2nPVHqv2VLWHqj1T7ZFqT1R7oNrz1B6n9jS1h6k9S+1Rak9Se5Dac9Qeo/YUtYeoPUPtEWpPUHuA2vPTHp/29LSHpz077dFpT057cNpz0x6b9tS0h6Y9M+2RaU9Me2Da89Iel/a0tIelPSvtUWlPSntQ2nPSHpP2lLSHpD0j7RFpT0h7QNrz0R6P9nS0h6M9G+3RaE9GezDac9Eei/ZUtIeiPRPtkWhPRHsg2vMwoCft2ZMG9qRBPWmvnrR3TxrckxrjhvakfXrSvj1pv560f086oCcd2JMO6kkH96RDetKhPemwnlQPb3FYi0e0eGSLR7V4dIvHtHhsi8e1eHyLJ7R4YosntXhyi6e0eGqLw1sc0eLIFk9r8fQWz2jxzBbPavHsFs9p8dwWz2vx/BYvaPHCFi9q8eIWL2nx0hYva/HyFq9o8coWr2rx6havafHaFq9r8foWb2jxxhZvavHmFm9p8dYWb2vx9hbvaPHOFu9q8e4W72nx3hbva/H+Fh9o8cEWH2rx4RYfafHRFh9r8fEWn2jxyRafavHpFp9p8dkWn2uxtqgWn2/xhRZfbPGlFl9u8ZUWX23xtRZfb/GNFt9s8a0W327xnRZHtfhui++1+H6LH7Q4usUPW/yoxY9b/KTFT1v8rMXPW/yixS9b/KrFr1v8psVvW/yuxe9b/KHFH1v8qcWfW/ylxYa++luLv7f4R4vt9q7t9K7t8q7t8K7t7q44uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbcHYbzm7D2W04uw1nt+HsNpzdhrPbBiDviTwQeRDyXsh7Iw9GRl1qQ5H3Qd4XeT/k/ZEPQD4Q+SDkg5EPQT4U+TDkw5GHIR+BfCTyUchHIx+DfCzyccjHI5+AfCLyScgnI5+CfCrycOQRyCORT0M+HfkM5DORz0I+G/kc5HORz0M+H/kC5AuRL0K+GPkS5EuRL0O+HPkK5CuRr0K+Gvka5GuRr0O+HvkG5BuRb0K+GfkW5FuRb0O+HfkO5DuR70K+G/ke5HuR70O+H/kB5AeRH0J+GPkR5EeRH0N+HPkJ5CeRn0J+GvkZ5GeRn0OuyEJ+HvkF5BeRX0J+GfkV5FeRX0N+HfkN5DeR30J+G/kd5FHI7yK/h/w+8gfIo5E/RP4I+WPkT5A/Rf4M+XPkL5C/RP4K+Wvkb5C/Rf4O+XvkH5B/RP4J+WfkX5B/Rf4N+XfkP5AxuxlmN8PsZpjdDLObwf8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8O/zv87/C/w/8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8B/wf8H/B/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8LP5eE/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/F/g/wL/F/i/wP8F/i/wf4H/C/xf4P8C/xf4v8D/Bf4v8H+B/wv8X+D/Av8X+L/A/wX+L/B/gf8L/I9vPVXg/wL/lz/a49XY3tDeyM7v5PccZ9jVvQYNHDK098Chj888xv//Y8OuXWXIkL6Dh27Td/Cg04aPGPm//0PdwMdnXniXDQaPXuTiee7eaPU7hw3bavu5F/t8rQPu2WtEr9G/nPZ9/tWobuAY5lG6Mccae5xxxxt/ggknmniSSSebfIopp5p6mmmnm36GGWeaeZZZZ5t9jjnnmnueeeebf4EFF1p4kUUXW3yJJZdaeplll1t+hRVXWnmVVXuttvoaa6619jrrrrf+BhtutPEmm262+RZbbrX1Nttut/0OO+7Ue+c+u/Tdtd9u/XffY8CeAwfttffgIUP32Xe//Q848KCDDzn0sHp4HVaPqEfWo+rR9Zh6bD2uHl9PqCfWk+rJ9ZR6ah1eR9SR9bR6ej2jnlnPqmfXc+q59bx6fr2gXlgvqhfXS+ql9bJ6eb2iXlmvqlfXa+q19bp6fb2h3lhvqjfXW+qt9bZ6e72j3lnvqnfXe+q99b56f32gPlgfqg/XR+qj9bH6eH2iPlmfqk/XZ+qz9blaq+rz9YX6Yn2pvlxfqa/W1+rr9Y36Zn2rvl3fqaPqu/W9+n79oI6uH9aP6sf1k/pp/ax+Xr+oX9av6tf1m/pt/a5+X3+oP9af6s/1l/pr/a3+Xv+of9a/6t/1n/pv/U82hsxkLgtZkXWyMWVjycaWjSMbVzaebHzZBLIJZRPJJpZNIptUNplsctkUsillU8mmlk0jm1Y2nWx62QyyGWUzyWaWzSKbVTabbHbZHLI5ZXPJ5pbNI5tXNp9sftkCsgVlC8kWli0iW1S2mGxx2RKyJWVLyZaWLSNbVracbHnZCrIVZSvJVpatIltV1ku2mmx12RqyNWVrydaWrSNbV7aebH3ZBrINZRvJNpZtIttUtplsc9kWsi1lW8m2lm0j21a2nWx72Q6yHWU7yXrLdpb1ke0i6yvbVdZPtpusv2x32R6yAbI9ZQNlg2R7yfaWDZYNkQ2V7SPbV7afbH/ZAbIDZQfJDpYdIjtUdpjscNkw2RGyI2VHyY6WHSM7Vnac7HjZCbITZSfJTpadIjtVNlw2QjZSdprsdNkZsjNlZ8nOlp0jO1d2nux82QWyC2UXyS6WXSK7VHaZ7HLZFbIrZVfJrpZdI7tWdp3setkNshtlN8lult0iu1V2m+x22R2yO2V3ye6W3SO7V3af7H7ZA7IHZQ/JHpY9IntU9pjscdkTsidlT8melj0je1b2nKzKJHte9oLsRdlLspdlr8helb0me132huxN2Vuyt2XvyEbJ3pW9J3tf9oFstOxD2Ueyj2WfyD6VfSb7XPaF7EvZV7KvZd/IvpV9J/te9oPsR9lPsp9lv8h+lf0m+132h+xP2V+yv2X/yP6V/ScfQ25yl4e8yDv5mPKx5GPLx5GPKx9PPr58AvmE8onkE8snkU8qn0w+uXwK+ZTyqeRTy6eRTyufTj69fAb5jPKZ5DPLZ5HPKp9NPrt8Dvmc8rnkc8vnkc8rn08+v3wB+YLyheQLyxeRLypfTL64fAn5kvKl5EvLl5EvK19Ovrx8BfmK8pXkK8tXka8q7yVfTb66fA35mvK15GvL15GvK19Pvr58A/mG8o3kG8s3kW8q30y+uXwL+ZbyreRby7eRbyvfTr69fAf5jvKd5L3lO8v7yHeR95XvKu8n303eX767fA/5APme8oHyQfK95HvLB8tzUh4q30e+r3w/+f7yA+QHyg+SHyw/RH6o/DD54fJh8iPkR8qPkh8tP0Z+rPw4+fHyE+Qnyk+Snyw/RX6qfLh8hHyk/DT56fIz5GfKz5KfLT9Hfq78PPn58gvkF8ovkl8sv0R+qfwy+eXyK+RXyq+SXy2/Rn6t/Dr59fIb5DfKb5LfLL9Ffqv8Nvnt8jvkd8rvkt8tv0d+r/w++f3yB+QPyh+SPyx/RP6o/DH54/In5E/Kn5I/LX9G/qz8OXmVS/68/AX5i/KX5C/LX5G/Kn9N/rr8Dfmb8rfkb8vfkY+Svyt/T/6+/AP5aPmH8o/kH8s/kX8q/0z+ufwL+Zfyr+Rfy7+Rfyv/Tv69/Af5j/Kf5D/Lf5H/Kv9N/rv8D/mf8r/kf8v/yfE/N/+c+nPhz2E/9/yc8XO9z9E+t/qc6HOZz0E+d/ic33N1z7E9N/ac1nNRzyE99/OczXMtz5E8t/GcxHMJzwE8d++cu3PlznE7N+2csnPBzuE69+qcqXOdzlE6t+icoHN5zsE5d+acl3NVzjE5N+ScjnMxzqE49+GchXMNzhE4t9+cfHPpzYE3d92cc3PFzfE2N9ucanOhzWE299icYXN9zdE1t9acWHNZzUE1d9ScT3M1zbE0N9KcRnMRzSE098+cPXPtzJEzt82cNHPJzAEzd8ucK3OlzHEyN8mcInOBzOEx98acGXNdzFExt8ScEHM5zMEwd8KcB3MVzDEwN8Cc/nLxy6Ev972c9XLNyxEvt7uc7HKpy4Eud7mc43KFy/EtN7ec2nJhy2Et97Sc0XI9y9Est7KcyHIZy0Esd7Ccv3L1yrErN66ctnLRyiEr96ucrXKtypEqt6mcpHKJygEqd6ecm3JlynEpN6WcknJByuEo96KciXIdylEot6CcgHL5ycEnd56cd3LVyTEnN5ycbnKxyaFGcVvOMrnG5AiT20tOLrm05MCSu0rOKbmi5HiSm0lOJbmQ5DCSe0jOILl+5OiRW0dOHLls5KCRO0bOF7la5FiRG0VOE7lI5BCR+0PODrk25MiQ20JOCrkk5ICQu0HOBbkS5DiQm0BOAbkAZPGffX/W/NnuZ6mfXX5W+NncZ2GfPX3W89nKZxmfHXxW79m4Z9Ge/XrW6tmmZ4me3XlW5tmUZ0GevXjW4dmCZ/mdnXdW3dlwZ7GdfXbW2NleZ2mdXXVW1NlMZyGdPXTWz9k6Z9mcHXNWy9koZ5Gc/XHWxtkWZ0mc3XBWwtkEZwGcvW/WvdnyZrmbnW5WudngZnGbfW3WtNnOZimbXWxWsNm8ZuGaPWvWq9mqZpmaHWpWp9mYZlGa/WjWotmGZgma3WdWntl0ZsGZvWbWmdliZnmZnWVWldlQZjGZfWTWkNk+ZumYXWNWjNksZqGYPWLWh9kaZlmYHWFWg9kIZhGosmnWftn2ZcmX3V5WetnkZYGXvV3WddnSZTmXnVxWcdnAZfGWfVvWbNmuZamWXVpWaNmcZWGWPVnWY9mKZRmWHVhWX9l4ZdGV/VbWWtlmZYmV3VVWVtlUZUGVvVTWUdlCZfmUnVNWTdkwZbGUfVLWSNkeZWmUXVFWRNkMZSGUPVDWP9n6ZNmTHU9WO9noZJGT/U3WNtnWZEmT3UxWMtnEZAGTvUvWLdmyZLmSnUpWKdmgZHGSfUnWJNmOZCmSXUhWINl8ZOGRPUfWG9lqZJmRHUZWF9lYZFGR/UTWEtlGZAmR3UNWDtk0ZMGQvULWCdkiZHmQnUFWBdkQZDGQfUDWAHn959Gft36e+HnZ50Gfd3ye73m157GeN3qe5nmR5yGe93ee3Xlt55Gdt3We1HlJ5wGdd3Oey3kl53GcN3GewnkB5+Gb926euXnd5lGbt2yesHm55sGad2qep3mV5jGaN2iennlx5qGZ92WelXlN5hGZt2OejHkpqvyp8pfK3yr/qPyr8p+6MdTltebqQl1R16kbU91Y6sZWN466cdWNp258dROom1DdROomVjeJuknVTaZucnVTqJtS3VTqplY3jbpp1U2nbnp1M6ibUd1M6mZWN4u6WdXNpm52dXOom1PdXOrmVjePunnVzadufnULqFtQ3ULqFla3iLpF1S2mbnF1S6hbUt1S6pZWt4y6ZdUtp255dSuoW1HdSupWVreKulXV9VK3mrrV1a2hbk11a6lbW9066tZVt5669dVtoG5DdRup21jdJuo2VbeZus3VbaFuS3Vbqdta3TbqtlW3nbrt1e2gbkd1O6nrrW5ndX3U7aKur7pd1fVTt5u6/up2V7eHugF5UA8fkTfv8OH/BxidqqA6TwAA", "debug_symbols": "nZPdjoMgEIXfhWsvYBhR+yqbjUHFhoSgodpkY/rui0YqNqFpesXPcD4mc2YW0qlmvtba9sONXH4W0jhtjL7WZmjlpAfrb5dHRsKxnpxS/opEca8apVN2Ihc7G5ORuzTz9ug2Srutk3Q+SjOibOdXD+y1UevukR1qmpYyqHYxy+Epz9lJz9L6nJe4A3Lk/CDAiQBpAgJjOwGhqJ4EoHhC8DSCFxgQvGQ0icA0ohI0FKISTEQI8RUiKsUrQryppqAQqikYJhFFGgE8dANEhgItPnYUkR85iJSj1Rs7uMiDHYjlkYTvql9/kq12pzkg1Ge02naXTsvGqH04+tm20axMf2OIhGka3dCqbnZq5W0x/8M/", "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::{ChonkProofData, RollupPublicInputs};\n\nfn main(chonk_proof_data: ChonkProofData) -> pub RollupPublicInputs {\n chonk_proof_data.verify();\n RollupPublicInputs::new(1)\n}\n", "path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-rollup-tx-base-private/src/main.nr", "function_locations": [ { "start": 123, "name": "main" } ] }, "52": { "source": "pub global MAX_COMMITMENTS_PER_CALL: u32 = 2;\npub global MAX_COMMITMENTS_PER_TX: u32 = 4;\npub global MAX_COMMITMENT_READ_REQUESTS_PER_CALL: u32 = 2;\npub global MAX_COMMITMENT_READ_REQUESTS_PER_TX: u32 = 4;\n\npub use protocol_types::{\n abis::avm_circuit_public_inputs::AvmCircuitPublicInputs,\n constants::{\n AVM_V2_PROOF_LENGTH_IN_FIELDS, CHONK_PROOF_LENGTH, CHONK_VK_LENGTH_IN_FIELDS,\n MEGA_VK_LENGTH_IN_FIELDS, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, PROOF_TYPE_AVM,\n PROOF_TYPE_CHONK, PROOF_TYPE_HN, PROOF_TYPE_HN_FINAL, PROOF_TYPE_HN_TAIL, PROOF_TYPE_OINK,\n PROOF_TYPE_ROLLUP_HONK, PROOF_TYPE_ROOT_ROLLUP_HONK,\n },\n proof::{\n traits::SerializeToColumns,\n verification_key::{RollupHonkVerificationKey, VerificationKey},\n },\n traits::Serialize,\n};\n\npub struct TxRequest {\n pub number_of_calls: u32,\n}\n\npub struct AppPublicInputs {\n pub commitments: [Field; MAX_COMMITMENTS_PER_CALL],\n pub read_requests: [Field; MAX_COMMITMENT_READ_REQUESTS_PER_CALL],\n}\n\nimpl Default for AppPublicInputs {\n fn default() -> Self {\n Self {\n commitments: [0; MAX_COMMITMENTS_PER_CALL],\n read_requests: [0; MAX_COMMITMENT_READ_REQUESTS_PER_CALL],\n }\n }\n}\n\npub struct PrivateKernelPublicInputs {\n pub remaining_calls: u32,\n pub commitments: [Field; MAX_COMMITMENTS_PER_TX],\n pub read_requests: [Field; MAX_COMMITMENT_READ_REQUESTS_PER_TX],\n}\n\nimpl Default for PrivateKernelPublicInputs {\n fn default() -> Self {\n Self {\n remaining_calls: 0,\n commitments: [0; MAX_COMMITMENTS_PER_TX],\n read_requests: [0; MAX_COMMITMENT_READ_REQUESTS_PER_TX],\n }\n }\n}\n\npub struct PrivateKernelPublicInputsBuilder {\n pub remaining_calls: u32,\n pub commitments: BoundedVec,\n pub read_requests: BoundedVec,\n}\n\nimpl PrivateKernelPublicInputsBuilder {\n pub fn from_tx(tx: TxRequest) -> Self {\n Self {\n remaining_calls: tx.number_of_calls,\n commitments: BoundedVec::new(),\n read_requests: BoundedVec::new(),\n }\n }\n\n pub fn from_previous_kernel(prev_kernel_public_inputs: PrivateKernelPublicInputs) -> Self {\n let mut builder = PrivateKernelPublicInputsBuilder {\n remaining_calls: prev_kernel_public_inputs.remaining_calls,\n commitments: BoundedVec::new(),\n read_requests: BoundedVec::new(),\n };\n for i in 0..MAX_COMMITMENTS_PER_TX {\n if prev_kernel_public_inputs.commitments[i] != 0 {\n builder.commitments.push(prev_kernel_public_inputs.commitments[i]);\n }\n }\n for i in 0..MAX_COMMITMENT_READ_REQUESTS_PER_TX {\n if prev_kernel_public_inputs.read_requests[i] != 0 {\n builder.read_requests.push(prev_kernel_public_inputs.read_requests[i]);\n }\n }\n builder\n }\n\n pub fn ingest_app_inputs(&mut self, app_inputs: AppPublicInputs) {\n for i in 0..MAX_COMMITMENTS_PER_CALL {\n if app_inputs.commitments[i] != 0 {\n self.commitments.push(app_inputs.commitments[i]);\n }\n }\n\n for i in 0..MAX_COMMITMENT_READ_REQUESTS_PER_CALL {\n if app_inputs.read_requests[i] != 0 {\n self.read_requests.push(app_inputs.read_requests[i]);\n }\n }\n\n self.remaining_calls -= 1;\n }\n\n pub fn finish(self) -> PrivateKernelPublicInputs {\n PrivateKernelPublicInputs {\n remaining_calls: self.remaining_calls,\n commitments: self.commitments.storage(),\n read_requests: self.read_requests.storage(),\n }\n }\n}\n\n#[derive(Serialize)]\npub struct KernelPublicInputs {\n pub commitments: [Field; MAX_COMMITMENTS_PER_TX],\n}\n\nimpl Default for KernelPublicInputs {\n fn default() -> Self {\n Self { commitments: [0; MAX_COMMITMENTS_PER_TX] }\n }\n}\n\n#[derive(Serialize)]\npub struct RollupPublicInputs {\n accumulated: u32,\n}\n\nimpl RollupPublicInputs {\n pub fn new(accumulated: u32) -> Self {\n Self { accumulated }\n }\n\n pub fn merge(self, other: Self) -> Self {\n Self { accumulated: self.accumulated + other.accumulated }\n }\n}\n\npub struct PreviousRollupData {\n base_or_merge_public_inputs: RollupPublicInputs,\n proof: [Field; NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH],\n vk: RollupHonkVerificationKey,\n}\n\nimpl PreviousRollupData {\n pub fn verify(self, is_root: bool) {\n let inputs = self.base_or_merge_public_inputs.serialize();\n\n std::verify_proof_with_type(\n self.vk.key,\n self.proof,\n inputs,\n self.vk.hash,\n if is_root {\n PROOF_TYPE_ROOT_ROLLUP_HONK\n } else {\n PROOF_TYPE_ROLLUP_HONK\n },\n );\n }\n\n pub fn public_inputs(self) -> RollupPublicInputs {\n self.base_or_merge_public_inputs\n }\n}\n\n// CHONK: \"Client Honk\" - An UltraHonk variant with incremental folding and delayed non-native arithmetic.\npub struct ChonkProofData {\n pub public_inputs: KernelPublicInputs,\n pub proof: [Field; CHONK_PROOF_LENGTH],\n pub vk_data: VerificationKey,\n}\n\nimpl ChonkProofData {\n pub fn verify(self) {\n let inputs = KernelPublicInputs::serialize(self.public_inputs);\n std::verify_proof_with_type(\n self.vk_data.key,\n self.proof,\n inputs,\n self.vk_data.hash,\n PROOF_TYPE_CHONK,\n );\n }\n}\n", "path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-types/src/lib.nr", "function_locations": [ { "start": 1087, "name": "::default" }, { "start": 1515, "name": "::default" }, { "start": 2010, "name": "PrivateKernelPublicInputsBuilder::from_tx" }, { "start": 2277, "name": "PrivateKernelPublicInputsBuilder::from_previous_kernel" }, { "start": 3056, "name": "PrivateKernelPublicInputsBuilder::ingest_app_inputs" }, { "start": 3544, "name": "PrivateKernelPublicInputsBuilder::finish" }, { "start": 3935, "name": "::default" }, { "start": 4149, "name": "RollupPublicInputs::new" }, { "start": 4231, "name": "RollupPublicInputs::merge" }, { "start": 4560, "name": "PreviousRollupData::verify" }, { "start": 4977, "name": "PreviousRollupData::public_inputs" }, { "start": 5361, "name": "ChonkProofData::verify" } ] } }, "verificationKey": { "bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000000f000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000096278ff2e287ec16392264ca154039cb4200000000000000000000000000000000001eece2914752f94472a9eb3199d12500000000000000000000000000000061763de175667985f896d34a4179858760000000000000000000000000000000000025cfaa27bcdee92923d398feb98a130000000000000000000000000000005a37f6a3ece43d10471fd8e1d61e9dc90700000000000000000000000000000000002d1ff1dcfa94a0528ceffb32817145000000000000000000000000000000ddb788a85ecab5596c0e6f1c0bc699a6680000000000000000000000000000000000289a87f7279052652923622c9710aa000000000000000000000000000000ff74f1e2203b2b66a13b52bf728473608e000000000000000000000000000000000027a516199d87dff6dc255ec9e8e8e20000000000000000000000000000006afc6eea5d4450bf351c0b44eceb4c441f000000000000000000000000000000000022e22282dda0f3034281dae9e5ff86000000000000000000000000000000271d5088cd988743d5b3643762c9472940000000000000000000000000000000000008457a62cbfc1dd799365c4d8b5cdf000000000000000000000000000000039b02f57d0d39837d4ce2e67cc24be932000000000000000000000000000000000026fe024f681a37c38db20970c2968d000000000000000000000000000000af3de1185540e579e3d543b02bd392b02100000000000000000000000000000000001356361f6c6a9a2689260d7077f5f6000000000000000000000000000000fafea4e8a5e2b39aef97cbb9ac8952fc2c00000000000000000000000000000000000eac0b9d745cd9d4358820e637fd940000000000000000000000000000008752769ca74d499bbbd3533853c1d954ac00000000000000000000000000000000001023f4887334f2b1dd6b2ea606110e000000000000000000000000000000151f464179d9070283bfaf3c434ec5367a00000000000000000000000000000000002e5639bd03fa3763fdd04b41a4992b0000000000000000000000000000008314a1ddc407a04a19fe2484f3f32528410000000000000000000000000000000000296952a43ba7b086f8d6463d1110ef00000000000000000000000000000074116c7862ab809a93931b00d05d1706eb00000000000000000000000000000000002a8943c3ed8bcafd7c2b197e1dd7e800000000000000000000000000000040ba68ac1d11f2a58a516bbe97fb6d9fd000000000000000000000000000000000001daeefe3aa6cadaf7a8b3b3f2169f8000000000000000000000000000000f49966cdbd3f4439c01e01a559a7af4a57000000000000000000000000000000000008db5b0f736cabc3e27eedce6480780000000000000000000000000000001eee81b23a887f299049b14c11e98460d600000000000000000000000000000000002a56ce41f6b0be13b9c26747621b82000000000000000000000000000000d5827d6338c78656c0d12ca1aea6ef2c7c00000000000000000000000000000000001aa98f2de3ddda547d8f6de4e725de00000000000000000000000000000016f9055071c813573be3511336b5b6b83f000000000000000000000000000000000001f99955e37c457b9d05ef36687e2b0000000000000000000000000000004a3c59bcce4d9ac168cc6162f6ceb2d0b50000000000000000000000000000000000043aa021315a415e36c82d9b85d741000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003405e3c07c37f26565653011b0d2ba0d6800000000000000000000000000000000001eac58fa948d8199145c0a57a13cd0000000000000000000000000000000bfc0ce0dff39150033564f87f525877bcb0000000000000000000000000000000000250c6d21e227ea8f54fdd50f956da3000000000000000000000000000000331b216408f87275e754d6e9641724fc2800000000000000000000000000000000001b00671a16f3a8112411ab857cef18000000000000000000000000000000366044ee2b698589d08598edeebf49e5fe00000000000000000000000000000000002b293dc8e9601818a95c47a284205a0000000000000000000000000000002dad4ca0ac23625c240ad2de70b14418bb00000000000000000000000000000000001c7bdc2b42b9473c011d5cd6c4ff31000000000000000000000000000000adb9a33313af4f5b8d3b39d7da05eacc4600000000000000000000000000000000001f1a0987c1452aa0b866b2c0bc3d21000000000000000000000000000000272d51f826539015208aa9917afe079fd6000000000000000000000000000000000023aaa600721cfde1f68ae1d1f399ac0000000000000000000000000000004da002651d937bc934d94e9c36c5d2b6f8000000000000000000000000000000000021a269c96a657f91513c621d6f694d00000000000000000000000000000065fd8364c372abb5ae57c60c7e94a7dc62000000000000000000000000000000000026d1dd1116ddcc955725e70d5f724e0000000000000000000000000000008cb38503b661052243c56a33ab07db6a5700000000000000000000000000000000000415750df91239654c563c1b9fdc48000000000000000000000000000000bc5146640c181ebdad24cbeba1d51c7ebc00000000000000000000000000000000002a87955018a86a0d9f8e797aa94fe4000000000000000000000000000000331e23605940a576e33f4e07c91b206b9900000000000000000000000000000000002cd73341bcad47c0aef684671b83030000000000000000000000000000007ed795016ff0cb16af635cf95f9276cf0800000000000000000000000000000000001dbc607ecbcabf275f2d2f5634ea38000000000000000000000000000000e8a4fdea2bee9d21a446b981246e9199a400000000000000000000000000000000001220056cb6cb4bf6feafe3e54d4822000000000000000000000000000000344d53069fac9a141148d004a93bf1b2f8000000000000000000000000000000000026106732b889f9702fa52c4cac6b6e000000000000000000000000000000f4f886a4f81c641e0096f9510f3ae3b39c000000000000000000000000000000000009678afe40ab926f24b323c38f39bc000000000000000000000000000000858be69792cecf8994a6556972b74239a800000000000000000000000000000000002266c7b72d8f9582164334285c84070000000000000000000000000000001c870ab2ff7dae84f71fa533fffa7b676300000000000000000000000000000000001c41b90f699a07f407d5956a1dbaf50000000000000000000000000000008806f333db4d87761948f43763a90d69220000000000000000000000000000000000237a862e5a96c2a3fb86b88731a2ff000000000000000000000000000000f365df4c6a3133eec97285bf501ec0fa970000000000000000000000000000000000256bf3e7c40f1c4e5853bc0875411a00000000000000000000000000000019cc815570456e2ec8c995b69da56a43b0000000000000000000000000000000000015b820827276d30fbe59225826b0210000000000000000000000000000005e0c0d180e271ec5335b2d45d21de6678700000000000000000000000000000000000bee34154f494f814c3821d4614c8f000000000000000000000000000000e026f7ab05fa7796ae4eedfd62bffd1d6a000000000000000000000000000000000026f1b426c54b57513f47bc05697d0200000000000000000000000000000000840ecda1cdf41beb0a6c1611181ea8190000000000000000000000000000000000134a8de06785dc437f16a61f4cc029000000000000000000000000000000d8596c20c75889c792ce56fdaac4fd134b000000000000000000000000000000000013e402366f4184e995c51da19282d1000000000000000000000000000000f51320a98ced3d0cd34bc7c850f356cfa500000000000000000000000000000000002b7a3dd3e7da32728d8bf2f005f9ce", "fields": [ "0x0000000000000000000000000000000000000000000000000000000000000015", "0x000000000000000000000000000000000000000000000000000000000000000f", "0x0000000000000000000000000000000000000000000000000000000000000005", "0x00000000000000000000000000000096278ff2e287ec16392264ca154039cb42", "0x00000000000000000000000000000000001eece2914752f94472a9eb3199d125", "0x00000000000000000000000000000061763de175667985f896d34a4179858760", "0x000000000000000000000000000000000025cfaa27bcdee92923d398feb98a13", "0x0000000000000000000000000000005a37f6a3ece43d10471fd8e1d61e9dc907", "0x00000000000000000000000000000000002d1ff1dcfa94a0528ceffb32817145", "0x000000000000000000000000000000ddb788a85ecab5596c0e6f1c0bc699a668", "0x0000000000000000000000000000000000289a87f7279052652923622c9710aa", "0x000000000000000000000000000000ff74f1e2203b2b66a13b52bf728473608e", "0x000000000000000000000000000000000027a516199d87dff6dc255ec9e8e8e2", "0x0000000000000000000000000000006afc6eea5d4450bf351c0b44eceb4c441f", "0x000000000000000000000000000000000022e22282dda0f3034281dae9e5ff86", "0x000000000000000000000000000000271d5088cd988743d5b3643762c9472940", "0x000000000000000000000000000000000008457a62cbfc1dd799365c4d8b5cdf", "0x000000000000000000000000000000039b02f57d0d39837d4ce2e67cc24be932", "0x000000000000000000000000000000000026fe024f681a37c38db20970c2968d", "0x000000000000000000000000000000af3de1185540e579e3d543b02bd392b021", "0x00000000000000000000000000000000001356361f6c6a9a2689260d7077f5f6", "0x000000000000000000000000000000fafea4e8a5e2b39aef97cbb9ac8952fc2c", "0x00000000000000000000000000000000000eac0b9d745cd9d4358820e637fd94", "0x0000000000000000000000000000008752769ca74d499bbbd3533853c1d954ac", "0x00000000000000000000000000000000001023f4887334f2b1dd6b2ea606110e", "0x000000000000000000000000000000151f464179d9070283bfaf3c434ec5367a", "0x00000000000000000000000000000000002e5639bd03fa3763fdd04b41a4992b", "0x0000000000000000000000000000008314a1ddc407a04a19fe2484f3f3252841", "0x0000000000000000000000000000000000296952a43ba7b086f8d6463d1110ef", "0x00000000000000000000000000000074116c7862ab809a93931b00d05d1706eb", "0x00000000000000000000000000000000002a8943c3ed8bcafd7c2b197e1dd7e8", "0x00000000000000000000000000000040ba68ac1d11f2a58a516bbe97fb6d9fd0", "0x00000000000000000000000000000000001daeefe3aa6cadaf7a8b3b3f2169f8", "0x000000000000000000000000000000f49966cdbd3f4439c01e01a559a7af4a57", "0x000000000000000000000000000000000008db5b0f736cabc3e27eedce648078", "0x0000000000000000000000000000001eee81b23a887f299049b14c11e98460d6", "0x00000000000000000000000000000000002a56ce41f6b0be13b9c26747621b82", "0x000000000000000000000000000000d5827d6338c78656c0d12ca1aea6ef2c7c", "0x00000000000000000000000000000000001aa98f2de3ddda547d8f6de4e725de", "0x00000000000000000000000000000016f9055071c813573be3511336b5b6b83f", "0x000000000000000000000000000000000001f99955e37c457b9d05ef36687e2b", "0x0000000000000000000000000000004a3c59bcce4d9ac168cc6162f6ceb2d0b5", "0x0000000000000000000000000000000000043aa021315a415e36c82d9b85d741", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000003405e3c07c37f26565653011b0d2ba0d68", "0x00000000000000000000000000000000001eac58fa948d8199145c0a57a13cd0", "0x000000000000000000000000000000bfc0ce0dff39150033564f87f525877bcb", "0x0000000000000000000000000000000000250c6d21e227ea8f54fdd50f956da3", "0x000000000000000000000000000000331b216408f87275e754d6e9641724fc28", "0x00000000000000000000000000000000001b00671a16f3a8112411ab857cef18", "0x000000000000000000000000000000366044ee2b698589d08598edeebf49e5fe", "0x00000000000000000000000000000000002b293dc8e9601818a95c47a284205a", "0x0000000000000000000000000000002dad4ca0ac23625c240ad2de70b14418bb", "0x00000000000000000000000000000000001c7bdc2b42b9473c011d5cd6c4ff31", "0x000000000000000000000000000000adb9a33313af4f5b8d3b39d7da05eacc46", "0x00000000000000000000000000000000001f1a0987c1452aa0b866b2c0bc3d21", "0x000000000000000000000000000000272d51f826539015208aa9917afe079fd6", "0x000000000000000000000000000000000023aaa600721cfde1f68ae1d1f399ac", "0x0000000000000000000000000000004da002651d937bc934d94e9c36c5d2b6f8", "0x000000000000000000000000000000000021a269c96a657f91513c621d6f694d", "0x00000000000000000000000000000065fd8364c372abb5ae57c60c7e94a7dc62", "0x000000000000000000000000000000000026d1dd1116ddcc955725e70d5f724e", "0x0000000000000000000000000000008cb38503b661052243c56a33ab07db6a57", "0x00000000000000000000000000000000000415750df91239654c563c1b9fdc48", "0x000000000000000000000000000000bc5146640c181ebdad24cbeba1d51c7ebc", "0x00000000000000000000000000000000002a87955018a86a0d9f8e797aa94fe4", "0x000000000000000000000000000000331e23605940a576e33f4e07c91b206b99", "0x00000000000000000000000000000000002cd73341bcad47c0aef684671b8303", "0x0000000000000000000000000000007ed795016ff0cb16af635cf95f9276cf08", "0x00000000000000000000000000000000001dbc607ecbcabf275f2d2f5634ea38", "0x000000000000000000000000000000e8a4fdea2bee9d21a446b981246e9199a4", "0x00000000000000000000000000000000001220056cb6cb4bf6feafe3e54d4822", "0x000000000000000000000000000000344d53069fac9a141148d004a93bf1b2f8", "0x000000000000000000000000000000000026106732b889f9702fa52c4cac6b6e", "0x000000000000000000000000000000f4f886a4f81c641e0096f9510f3ae3b39c", "0x000000000000000000000000000000000009678afe40ab926f24b323c38f39bc", "0x000000000000000000000000000000858be69792cecf8994a6556972b74239a8", "0x00000000000000000000000000000000002266c7b72d8f9582164334285c8407", "0x0000000000000000000000000000001c870ab2ff7dae84f71fa533fffa7b6763", "0x00000000000000000000000000000000001c41b90f699a07f407d5956a1dbaf5", "0x0000000000000000000000000000008806f333db4d87761948f43763a90d6922", "0x0000000000000000000000000000000000237a862e5a96c2a3fb86b88731a2ff", "0x000000000000000000000000000000f365df4c6a3133eec97285bf501ec0fa97", "0x0000000000000000000000000000000000256bf3e7c40f1c4e5853bc0875411a", "0x00000000000000000000000000000019cc815570456e2ec8c995b69da56a43b0", "0x000000000000000000000000000000000015b820827276d30fbe59225826b021", "0x0000000000000000000000000000005e0c0d180e271ec5335b2d45d21de66787", "0x00000000000000000000000000000000000bee34154f494f814c3821d4614c8f", "0x000000000000000000000000000000e026f7ab05fa7796ae4eedfd62bffd1d6a", "0x000000000000000000000000000000000026f1b426c54b57513f47bc05697d02", "0x00000000000000000000000000000000840ecda1cdf41beb0a6c1611181ea819", "0x0000000000000000000000000000000000134a8de06785dc437f16a61f4cc029", "0x000000000000000000000000000000d8596c20c75889c792ce56fdaac4fd134b", "0x000000000000000000000000000000000013e402366f4184e995c51da19282d1", "0x000000000000000000000000000000f51320a98ced3d0cd34bc7c850f356cfa5", "0x00000000000000000000000000000000002b7a3dd3e7da32728d8bf2f005f9ce" ], "hash": "1b013c80e7659c706f69bf667bb5ce24eaeb4956da0877bbb3672dd0ce5b438e" }, "aztec_version": "5.1.0" }