{
  "noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7",
  "hash": "6998742446637744216",
  "abi": {
    "parameters": [
      {
        "name": "commitments_to_read",
        "type": {
          "kind": "array",
          "length": 2,
          "type": {
            "kind": "field"
          }
        },
        "visibility": "private"
      }
    ],
    "return_type": {
      "abi_type": {
        "kind": "struct",
        "path": "mock_types::AppPublicInputs",
        "fields": [
          {
            "name": "commitments",
            "type": {
              "kind": "array",
              "length": 2,
              "type": {
                "kind": "field"
              }
            }
          },
          {
            "name": "read_requests",
            "type": {
              "kind": "array",
              "length": 2,
              "type": {
                "kind": "field"
              }
            }
          }
        ]
      },
      "visibility": "databus"
    },
    "error_types": {}
  },
  "bytecode": "H4sIAAAAAAAA/7WNMQ6CMBhGWwr3cNRN4wmMmuigMU7GxKGJHRgo5qcOjL0BbdXZwYkDGN29CJsjCztwASgDb/6+94hWj1dAfX6X6SyKGIgjg9AkSv8GqBnstE5QdynpKtWVdHzeQjZ5jj675VvKw2k4/a/i70XNs8Lk9cUi7PYRxhZhzya8YUEI8Zr7wuCbQ1wv3TNxBb6ggmqEk4oSsUmrGcsBAAA=",
  "debug_symbols": "dY/dCoMwDIXfJddeuLkf8FXGkFijFEJbYisM6bsvim4y2FV68vU7tDN01Kahsa73I9SPGVqxzHZo2BuM1jvdzrmAPTZRiHQFB65WQCEXoXaJuYAJOa2XxoBunRFFaVkAuU6nFvaWaTnl4muX/9Xqctvk6n7+6NdTzk9NaKz8vnhCsdgybbFPzhxofIWd7D8O4g11SWhpWpl2vwE=",
  "file_map": {},
  "verificationKey": {
    "bytes": "0000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000004a4a71231c6abea0cf4aa295721799daac00000000000000000000000000000000002ba0bc5293084f588c15e6c326492c000000000000000000000000000000ef8fcc76990b85e510a2132c8f8d46485900000000000000000000000000000000000aa6160778d3bdbd6a99880f87b0d40000000000000000000000000000000a03e0cf9f39579452cf114ff2ce431319000000000000000000000000000000000021bb34e7b2e17ed2ee0ff79d9b07ab000000000000000000000000000000addf24cca251df3d8d6a20c53efb363fd900000000000000000000000000000000000bb097a8dd04c929af2820498d50330000000000000000000000000000006d55c47a8ef4b9178f08f1f6850ecee77700000000000000000000000000000000001d6c56861f633da04b7d0ccdfe3840000000000000000000000000000000cd342838a39ae51fd0cf4388cf9091909f000000000000000000000000000000000023dec2da89b1c7d17980f7304602cd0000000000000000000000000000001343cb0f3dbbcdf4ea5083044aaebe3ef4000000000000000000000000000000000002da360946ed81785dfd6abb7a689b0000000000000000000000000000001f4cc237947de0a252aa77b9dcfbed5f3e00000000000000000000000000000000001040ffbc869222f0e6d9b19fe968560000000000000000000000000000007f8da754774251c51ea3ee37e0a9f87c1700000000000000000000000000000000002232c25380204b758dd5169bcf33f500000000000000000000000000000068bd1d35656955818231bf567eb0e4f10200000000000000000000000000000000002631cec873cd08e1c5818fcb58218800000000000000000000000000000063f1a8441539eb6f98248acecbdcc8bff60000000000000000000000000000000000200d83e470e39a1b5a007dd9f38f39000000000000000000000000000000ee5615c9a4cc2e2853437743a1dbcbb8aa0000000000000000000000000000000000102df28cb864ceaa6e822e9d6496310000000000000000000000000000008882159096d229e908a373c5417d4da5e500000000000000000000000000000000001d54b51f1bd4b4b9e54cfea54975480000000000000000000000000000007d6a7394871efe2c08cb3722eda00d121700000000000000000000000000000000002ad59b1d94b5953b7044c216eeb3180000000000000000000000000000006d55c47a8ef4b9178f08f1f6850ecee77700000000000000000000000000000000001d6c56861f633da04b7d0ccdfe3840000000000000000000000000000000cd342838a39ae51fd0cf4388cf9091909f000000000000000000000000000000000023dec2da89b1c7d17980f7304602cd0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c91386bec1cdf05451ce4915dcbf4d340c00000000000000000000000000000000001f0726235025cac62a56e9e6a6983d000000000000000000000000000000638809020a57843f3f4cc7933b77effa98000000000000000000000000000000000006e0242610dd531470885e9c15069300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e44348450f34f3402f2de76ec0c7df8cb400000000000000000000000000000000001ad8751a8486777ab7e1f23db8d15a00000000000000000000000000000086e1e4762258a5bcdefd62ef8a9b7223b8000000000000000000000000000000000005f0f7ada1b386cc6fd114bfc41ac2000000000000000000000000000000525a2f9b5807b2102f295c58cde00f5c97000000000000000000000000000000000019e2d786ebad24caf1bef735441e58000000000000000000000000000000695840e8cf405a6fd0c325f8bfcf7c2dd80000000000000000000000000000000000085713ce7bac807a084a66904ebc6e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000dd0c92a3720353b7d40c4a209f2543ecd8000000000000000000000000000000000004041074f3ae3d04c52d6b7ddf4bd5000000000000000000000000000000b688f8e71dd7897ffd384e3790214f335000000000000000000000000000000000002e2df83b51862aa006d89108551ccb0000000000000000000000000000002ed1ade6a9f35f0c802904bc15b46f1951000000000000000000000000000000000024ef114b0a04bd4eae190c895527ea0000000000000000000000000000003b02710f33cea539014b0d74a119e1de820000000000000000000000000000000000129b5f7fe8dc13a46b88c7761518240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b0be8f32acc248fa90c33448465942f6010000000000000000000000000000000000220c67ae3edbab2751b9e10e20c6aa0000000000000000000000000000005592fc5997170f5d02b375609b96759501000000000000000000000000000000000028f0f8c955789e699d04b85ed4a28000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e44348450f34f3402f2de76ec0c7df8cb400000000000000000000000000000000001ad8751a8486777ab7e1f23db8d15a00000000000000000000000000000086e1e4762258a5bcdefd62ef8a9b7223b8000000000000000000000000000000000005f0f7ada1b386cc6fd114bfc41ac20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f37761ef73e35b1bf653a6ba641fefbc8b000000000000000000000000000000000018f3d7fc1133d17a2d046731b804fa0000000000000000000000000000005e743c538f8eb9ee7889675303687c3d250000000000000000000000000000000000087db2985435258521806526b0cd8a00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff9673619494000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "fields": [
      "0x0000000000000000000000000000000000000000000000000000000000000005",
      "0x0000000000000000000000000000000000000000000000000000000000000008",
      "0x0000000000000000000000000000000000000000000000000000000000000001",
      "0x0000000000000000000000000000004a4a71231c6abea0cf4aa295721799daac",
      "0x00000000000000000000000000000000002ba0bc5293084f588c15e6c326492c",
      "0x000000000000000000000000000000ef8fcc76990b85e510a2132c8f8d464859",
      "0x00000000000000000000000000000000000aa6160778d3bdbd6a99880f87b0d4",
      "0x0000000000000000000000000000000a03e0cf9f39579452cf114ff2ce431319",
      "0x000000000000000000000000000000000021bb34e7b2e17ed2ee0ff79d9b07ab",
      "0x000000000000000000000000000000addf24cca251df3d8d6a20c53efb363fd9",
      "0x00000000000000000000000000000000000bb097a8dd04c929af2820498d5033",
      "0x0000000000000000000000000000006d55c47a8ef4b9178f08f1f6850ecee777",
      "0x00000000000000000000000000000000001d6c56861f633da04b7d0ccdfe3840",
      "0x000000000000000000000000000000cd342838a39ae51fd0cf4388cf9091909f",
      "0x000000000000000000000000000000000023dec2da89b1c7d17980f7304602cd",
      "0x0000000000000000000000000000001343cb0f3dbbcdf4ea5083044aaebe3ef4",
      "0x000000000000000000000000000000000002da360946ed81785dfd6abb7a689b",
      "0x0000000000000000000000000000001f4cc237947de0a252aa77b9dcfbed5f3e",
      "0x00000000000000000000000000000000001040ffbc869222f0e6d9b19fe96856",
      "0x0000000000000000000000000000007f8da754774251c51ea3ee37e0a9f87c17",
      "0x00000000000000000000000000000000002232c25380204b758dd5169bcf33f5",
      "0x00000000000000000000000000000068bd1d35656955818231bf567eb0e4f102",
      "0x00000000000000000000000000000000002631cec873cd08e1c5818fcb582188",
      "0x00000000000000000000000000000063f1a8441539eb6f98248acecbdcc8bff6",
      "0x0000000000000000000000000000000000200d83e470e39a1b5a007dd9f38f39",
      "0x000000000000000000000000000000ee5615c9a4cc2e2853437743a1dbcbb8aa",
      "0x0000000000000000000000000000000000102df28cb864ceaa6e822e9d649631",
      "0x0000000000000000000000000000008882159096d229e908a373c5417d4da5e5",
      "0x00000000000000000000000000000000001d54b51f1bd4b4b9e54cfea5497548",
      "0x0000000000000000000000000000007d6a7394871efe2c08cb3722eda00d1217",
      "0x00000000000000000000000000000000002ad59b1d94b5953b7044c216eeb318",
      "0x0000000000000000000000000000006d55c47a8ef4b9178f08f1f6850ecee777",
      "0x00000000000000000000000000000000001d6c56861f633da04b7d0ccdfe3840",
      "0x000000000000000000000000000000cd342838a39ae51fd0cf4388cf9091909f",
      "0x000000000000000000000000000000000023dec2da89b1c7d17980f7304602cd",
      "0x0000000000000000000000000000000000000000000000000000000000000001",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000002",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x000000000000000000000000000000c91386bec1cdf05451ce4915dcbf4d340c",
      "0x00000000000000000000000000000000001f0726235025cac62a56e9e6a6983d",
      "0x000000000000000000000000000000638809020a57843f3f4cc7933b77effa98",
      "0x000000000000000000000000000000000006e0242610dd531470885e9c150693",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x000000000000000000000000000000e44348450f34f3402f2de76ec0c7df8cb4",
      "0x00000000000000000000000000000000001ad8751a8486777ab7e1f23db8d15a",
      "0x00000000000000000000000000000086e1e4762258a5bcdefd62ef8a9b7223b8",
      "0x000000000000000000000000000000000005f0f7ada1b386cc6fd114bfc41ac2",
      "0x000000000000000000000000000000525a2f9b5807b2102f295c58cde00f5c97",
      "0x000000000000000000000000000000000019e2d786ebad24caf1bef735441e58",
      "0x000000000000000000000000000000695840e8cf405a6fd0c325f8bfcf7c2dd8",
      "0x0000000000000000000000000000000000085713ce7bac807a084a66904ebc6e",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x000000000000000000000000000000dd0c92a3720353b7d40c4a209f2543ecd8",
      "0x000000000000000000000000000000000004041074f3ae3d04c52d6b7ddf4bd5",
      "0x000000000000000000000000000000b688f8e71dd7897ffd384e3790214f3350",
      "0x00000000000000000000000000000000002e2df83b51862aa006d89108551ccb",
      "0x0000000000000000000000000000002ed1ade6a9f35f0c802904bc15b46f1951",
      "0x000000000000000000000000000000000024ef114b0a04bd4eae190c895527ea",
      "0x0000000000000000000000000000003b02710f33cea539014b0d74a119e1de82",
      "0x0000000000000000000000000000000000129b5f7fe8dc13a46b88c776151824",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x000000000000000000000000000000b0be8f32acc248fa90c33448465942f601",
      "0x0000000000000000000000000000000000220c67ae3edbab2751b9e10e20c6aa",
      "0x0000000000000000000000000000005592fc5997170f5d02b375609b96759501",
      "0x000000000000000000000000000000000028f0f8c955789e699d04b85ed4a280",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x000000000000000000000000000000e44348450f34f3402f2de76ec0c7df8cb4",
      "0x00000000000000000000000000000000001ad8751a8486777ab7e1f23db8d15a",
      "0x00000000000000000000000000000086e1e4762258a5bcdefd62ef8a9b7223b8",
      "0x000000000000000000000000000000000005f0f7ada1b386cc6fd114bfc41ac2",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x000000000000000000000000000000f37761ef73e35b1bf653a6ba641fefbc8b",
      "0x000000000000000000000000000000000018f3d7fc1133d17a2d046731b804fa",
      "0x0000000000000000000000000000005e743c538f8eb9ee7889675303687c3d25",
      "0x0000000000000000000000000000000000087db2985435258521806526b0cd8a",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce",
      "0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a",
      "0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854",
      "0x0000000000000000000000000000000000261522c4089330646aff9673619494",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000",
      "0x0000000000000000000000000000000000000000000000000000000000000000"
    ],
    "hash": ""
  },
  "aztec_version": "5.1.0"
}