@aztec/ivc-integration 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

package/artifacts/mock_rollup_tx_merge.json

@@ -0,0 +1,297 @@
+{
+  "noir_version": "1.0.0-beta.18+c9a8bf882069681672e68b2612e4119592c4485a",
+  "hash": "7832442824654107943",
+  "abi": {
+    "parameters": [
+      {
+        "name": "a",
+        "type": {
+          "kind": "struct",
+          "path": "mock_types::PreviousRollupData",
+          "fields": [
+            {
+              "name": "base_or_merge_public_inputs",
+              "type": {
+                "kind": "struct",
+                "path": "mock_types::RollupPublicInputs",
+                "fields": [
+                  {
+                    "name": "accumulated",
+                    "type": {
+                      "kind": "integer",
+                      "sign": "unsigned",
+                      "width": 32
+                    }
+                  }
+                ]
+              }
+            },
+            {
+              "name": "proof",
+              "type": {
+                "kind": "array",
+                "length": 531,
+                "type": {
+                  "kind": "field"
+                }
+              }
+            },
+            {
+              "name": "vk",
+              "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"
+      },
+      {
+        "name": "b",
+        "type": {
+          "kind": "struct",
+          "path": "mock_types::PreviousRollupData",
+          "fields": [
+            {
+              "name": "base_or_merge_public_inputs",
+              "type": {
+                "kind": "struct",
+                "path": "mock_types::RollupPublicInputs",
+                "fields": [
+                  {
+                    "name": "accumulated",
+                    "type": {
+                      "kind": "integer",
+                      "sign": "unsigned",
+                      "width": 32
+                    }
+                  }
+                ]
+              }
+            },
+            {
+              "name": "proof",
+              "type": {
+                "kind": "array",
+                "length": 531,
+                "type": {
+                  "kind": "field"
+                }
+              }
+            },
+            {
+              "name": "vk",
+              "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": {
+      "14990209321349310352": {
+        "error_kind": "string",
+        "string": "attempt to add with overflow"
+      }
+    }
+  },
+  "bytecode": "H4sIAAAAAAAA/62bVdAdVJaFs+XiTrvSDq3QtDvQuLtLgABBAiTBNbiTBHd3d3eHs3B3d3dn9tN/vqmammGmJk9fqm5S93/Za531JTFxwkHHbzB85CgNpj9o3Nlzrj98jfXm3HDzeTYZtcZcw9dff9wJS8yxyLxzTxx30rIjx44aMWbMsJm+xIfku/1XHzt/iRFrbDJ6zMhNR8yx9tqjR6w9fOzIDUcd+OiwMfiDXwF/Ffw18NfB3wB/E/wt8LfB3wF/F/w98PfBM4F/AP4h+EfgH4N/Av4p+GfgmcGzgH8O/gX4l+BfgX8N/g14VvBs4N+CZwf/Dvx78B/AfwT/Cfxn8F/AfwX/Dfx38D/A/wT/CzwHeE7wXOB/g+cGzwOeFzwfeH7wAuAFwQuBFwYvAl4UvBh4cfAS4CXBS4GXBi8DXha8HHh58ArgFcErgVcGrwJeFbwaeDh4dfAa4DXBI8BrgdcGrwMeCV4XvB54ffAG4FHgDcEbgTcGjwbz/owFbwLeFLwZeHPwFuAtwVuBtwZvA94WvB14e/A48A7gHcE7gXcG7/Kozzj0WxsiH6IYohyiwRBNMkSTDtFkQzT5EE0xRFMO0VRDNPUQTTNE0w7RdEM0/RDNMET92/eI6AHR46GHQ4+GHgw9Fnoo9EjogdDjoIdBj4IeBD0Gegj0COgB0M9/P/799PfD389+P/r95PeD3899P/b91PdD3898P/L9xPcD3897P+79tPfD3s96P+r9pPeD3s95P+b9lPdD3s94P+L9hPcD3s93P979dPfD3c92P9r9ZPeD3c91P9b9VPdD3c90P9L9RPcD3c9zP879NPfD3M9yP8r9JPeD3M9xP8b9FPdD3M9wP8L9BPcD3M9vP7799PbD289uP7r95PaD289tP7b91PZD289sP7L9xPYD289rP679tPbD2s9qP6r9pPaD2s9pP6at39LWT2nrl7T1Q9r6HW39jLZdOu7acbeOu3fco+OeHffquHfHfTru23F8xwkde81u+3Xcv+MBHQ/seFDHgzse0vHQjod1PLzjER2P7HhUx6M7HtPx2I7HdTy+4wkdT+x4UseTO57S8dSOp3U8veMZHc/seFbHszue0/Hcjud1PL/jBR0v7HhRx4s7XtLx0o6Xdby84xUdr+x4VcerO17T8dqO13W8vuMNHW/seFPHmzve0vHWjrd1bB3V8faOd3S8s+NdHe/ueE/Hezve1/H+jg90fLDjQx0f7vhIx0c7Ptbx8Y5PdHyy41Mdn+74TMdnOz7X8fmOL3R8seNLHV/u+ErHVzu+1vH1jm90fLPjWx3f7vhOx3c7vtfx/Y4fdPyw40cdP+74ScdPO37W8fOOXwyhbBjYwA4OcIIH4EnAk4InA08OngI8JXgq8NTgacDTgqcDTw+eATwjGGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcwwjBmGMcMwZhjGDMOYYRgzDGOGYcywXcC7gncD7w7eA7wneC/w3uB9wPuCx4MngLF8237g/cEHgA8EHwQ+GHwI+FDwYeDDwUeAjwQfBT4afAz4WPBx4OPBJ4BPBJ8EPhl8CvhU8Gng08FngM8EnwU+G3wO+FzweeDzwReALwRfBL4YfAn4UvBl4MvBV4CvBF8Fvhp8Dfha8HXg68E3gG8E3wS+GXwL+FbwbeAGFvh28B3gO8F3ge8G3wO+F3wf+H7wA+AHwQ+BHwY/An4U/Bj4cfAT4CfBT4GfBj8Dfhb8HPh58AvgF8EvgV8GvwJ+Ffwa+HXwG+A3wW+B3wa/A34X/B74ffAH4A/BH4E/Bn8C/hT8GfhzMPq/o/87+r+j/zv6v6P/O/q/o/87+r+j/zv6v6P/O/q/o/87+r+j/zv6v6P/O/q/o//7jD0Y+OPumuNOnmvDUWPGDh819vqZhv33v+z/Jk8TeZDIg0QeJPIgkQeJPEjkQSIPEnmQyINEHiTyIJEHiTxI5EEiDxJ5kMiDRB4k8iCRB4k8SORBIg8SeZDIg0QeJPIgkQeJPEjkQSIPEnmQyINEHiTyIJEHiTxI5EEiDxJ5kMiDRB4k8iCRB4k8SORBIg8SeZDIg0QeJPIgkQeJPEjkQSIPEnmQyINEHiTyIJEHiTxI5EEiDxJ5kMiDRB4k8iCRB4k8SORBIg8SeZDIg0QeJPIgkQeJPEjkQSIPEnmQyINEHiTyIJEHiTxI5EEiDxJ5kMiDRB4k8iCRB4k8SORBIg8SeZDIg0QeJPJggAM5QB4MkAcD5MEAeTBAHgyQBwPkwQB5MEAeDJAHA+TBAHkwQB4MpqE8leNp4XhaOJ4WjqeF42nheFo4nhaOp4XjaeH8RzV4WjieFo6nheNp4XhaOJ4WjqeF42nheFo4osQRJY4ocUSJI0ocUeKIEkeUOKLEESWOKHFEiSNKHFHiiBJHlDiixBEljihxRIkjShxR4ogSR5Q4osQRJY4ocUSJI0ocUeKIEkeUOKLEESWOKHFEiSNKHFHiiBJHlDiixBEljihxRIkjShxR4ogSR5Q4osQRJY4ocUSJI0ocUeKIEkeUOKLEESWOKHFEiSNKHFHiiBJHlDiixBEljihxRIkjShxR4ogSR5Q4osQRJY4ocUSJI0ocUeKIEkeUOKLEESWOKHFEiSNKHFHiiBJHlDiixBEljihxRIkjShxR4ogSR5Q4osQRJY4ocURJIEoCURKIkkCUBKIkECWBKAlESSBKAlESiJJAlASiJBAlgadF4GkReFoEnhaBp0UggwJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiGgFgJqIaAWAmohoBYCaiEwNQTUQkAtBNRCQC0E1EJALQTUQkAtBNRCQC0E1EJALQTUQkAtBNRCQC0E1EJALQTUQkAtBNRCoP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/UjWi/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/52EUD/iBB9P+7+T1qXOMGTNi9NgVRozecL/x+038n//EsC/xmfpG9alZ11xk9FOzHT3LxYvNfeG4ccutPPPsL863xSUbTZjrqff2e7M+psH0/+NfNezL/A/mwfQz/eefY+KX+Y6D6f6/vuOjg+mGmUcOJpl0ssmnmHKqqaeZdrrpZ5jxK1/92te/8c1vffs73/3e92f6wQ9/9OOf/PRnM8/y81/88le//s2ss/129t/9/g9//NOf//LXv/39H//81xxzzvXvueeZd775F1hwoYUXWXSxxZdYcqmll1l2ueVXWHGllVdZdbXhq6+x5oi11l5n5Lrrrb/BqA032nj0mLGbbLrZ5ltsudXW22y7Xdu+jWs7tB3bTm3ntkvbte3Wdm97tD3bXm3vtk/bt41vE9rEtl/bvx3QDmwHtYPbIe3Qdlg7vB3RjmxHtaPbMe3Ydlw7vp3QTmwntZPbKe3Udlo7vZ3RzmxntbPbOe3cdl47v13QLmwXtYvbJe3Sdlm7vF3RrmxXtavbNe3adl27vt3Qbmw3tZvbLe3WdltrTe32dke7s93V7m73tHvbfe3+9kB7sD3UHm6PtEfbY+3x9kR7sj3Vnm7PtGfbc+359kJ7sb3UXm6vtFfba+319kZ7s73V3m7vtHfbe+399kH7sH3UPm6ftE/bZ+3z9oVsmMxkLgtZygaySWSTyiaTTS6bQjalbCrZ1LJpZNPKppNNL5tBNqPsK7Kvyr4m+7rsG7Jvyr4l+7bsO7Lvyr4n+75sJtkPZD+U/Uj2Y9lPZD+V/Uw2s2wW2c9lv5D9UvYr2a9lv5HNKptN9lvZ7LLfyX4v+4Psj7I/yf4s+4vsr7K/yf4u+4fsn7J/yeaQzSmbS/Zv2dyyeWTzyuaTzS9bQLagbCHZwrJFZIvKFpMtLltCtqRsKdnSsmVky8qWky0vW0G2omwl2cqyVWSrylaTDZetLltDtqZshGwt2dqydWQjZevK1pOtL9tANkq2oWwj2cay0bIxsrGyTWSbyjaTbS7bQralbCvZ1rJtZNvKtpNtLxsn20G2o2wn2c6yXWS7ynaT7S7bQ7anbC/Z3rJ9ZPvKxssmyCbK9pPtLztAdqDsINnBskNkh8oOkx0uO0J2pOwo2dGyY2THyo6THS87QXai7CTZybJTZKfKTpOdLjtDdqbsLNnZsnNk58rOk50vu0B2oewi2cWyS2SXyi6TXS67Qnal7CrZ1bJrZNfKrpNdL7tBdqPsJtnNsltkt8pukzWZZLfL7pDdKbtLdrfsHtm9svtk98sekD0oe0j2sOwR2aOyx2SPy56QPSl7Sva07BnZs7LnZM/LXpC9KHtJ9rLsFdmrstdkr8vekL0pe0v2tuwd2buy92Tvyz6QfSj7SPax7BPZp7LPZJ/LvpAPk9fddXnIUz6QTyKfVD6ZfHL5FPIp5VPJp5ZPI59WPp18evkM8hnlX5F/Vf41+dfl35B/U/4t+bfl35F/V/49+fflM8l/IP+h/EfyH8t/Iv+p/GfymeWzyH8u/4X8l/JfyX8t/418Vvls8t/KZ5f/Tv57+R/kf5T/Sf5n+V/kf5X/Tf53+T/k/5T/Sz6HfE75XPJ/y+eWzyOfVz6ffH75AvIF5QvJF5YvIl9Uvph8cfkS8iXlS8mXli8jX1a+nHx5+QryFeUryVeWryJfVb6afLh8dfka8jXlI+RrydeWryMfKV9Xvp58ffkG8lHyDeUbyTeWj5ZXvo6VbyLfVL6ZfHP5FvIt5VvJt5ZvI99Wvp18e/k4+Q7yHeU7yXeW7yLftZJQvrt8D/me8r3ke8v3ke8rHy+fIJ8o30++v/wA+YHyg0r+l/Mv1V+Gv8R++fzS+GXvS9qXqy9FX2a+hHx5+NLvZd1LtpdjL7VeRr1Eevnz0uZly0uSlxsvJV4mvAR4ee/S3WW5S26X0y6VXQa7xHX56tLUZadLSpeLLgVd5rmEc3nm0stllUsml0MudVzGuERx+eHSwmWDSwKX+y3lW6a3BG953dK5ZXFL3pazLVVbhrbEbPnY0rBlX0u6lmstxVpmtYRqedTSp2VNS5aWIy01Wka0RGj5z9KeZTtLcpbbLKVZJrMEZnnL0pVlKUtOlpMsFVkGssRj+cbSjGUXSyqWSyyFWOawhGF5wtKDZQVLBpYDLPVXxq9EX/m90npl80rilbsrZVemrgRdebnScWXhSr6VcyvVVoatxFr5tNJoZc9KmpUrK0VWZqyEWHmw0l9lvUp2leMqtVVGq0RW+avSVmWrSlKVmyolVSaqBFR5p9JNZZlKLpVTKpVUBqnEUfmi0kRlh0oKlQsqBVTmp4RPeZ7SO2V1SuaUwyl1U8amRE35mdIyZWNKwpR7KeVSpqUES3mV0illUUqelDMpVVKGpMRI+ZDSIGU/SnqU6yjFUWajhEZ5jNIXZS1KVpSjKDVRRqJERPmH0g5lG0oylFsopVAmoQRCeYPSBWUJSg6UEygVUAaghv/a+2vmr3W/Rv3a8mvCr+W+Bvva6Wuer1W+xvja4Gt6r8W9hvba12tWrzW9RvTazmsyr6W8BvLaxWsOrxW8xu/avGvqroW7hu3as2vGrvW6RuvaqmuirmW6BunaoWt+rtW5xubamGtarkW5huTaj2s2rrW4RuLahmsSVpxXA3DtvjX31spb425tujXl1oJbw23ttTXT1jpbo2xtsTXB1vJag2vtrDWv1qpaY2ptqDWd1mJaQ2ntozWL1hpaI2htnzV51tJZA2ftmjVn1opZ42VtljVV1kJZw2TtkTVD1vpYo2NtjTUx1rJYg2LtiDUf1mpYY2FthDUN1iJYQ2DtfzX71dpXI19tezXp1ZJXA17tdjXX1UpX41xtcjXF1QJXw1vtbTWz1bpWo1ptaTWh1XJWg1ntZDWP1SpWY1htYDV91eJVQ1ftWzVr1ZpVI1ZtVzVZ1VJVA1XtUjVH1QpV41NtTjU11cJUw1LtSTUj1XpUo1FtRTUR1TJUg1DtQDX/1OpTY09tPDXt1KJTQ07tNzXb1FpTI01tMzXJ1BJTA0ztLjW31MpS40ptKjWl1IJSw0ntJTWT1DpSo0htITWB1PJRg0ftHDVv1KpRY0ZtGDVd1GJRQ0XtEzVL1BpRI0RtDzU51NJQA0PtCjUn1IpQ40FtBjUV1EJQw0DtATUD1Ou/Hv311q8nfr3s60Ff7/h6vtervR7r9Uavp3m9yOshXu/venbXa7se2fW2rid1vaTrAV3v5nou1yu5Hsf1Jq6ncL2A6+Fb79165tbrth619ZatJ2y9XOvBWu/Uep7Wq7Qeo/UGradnvTjroVnvy3pW1muyHpH1dqwnY70U64FY78J6DtYrsB5/9earp1698JSHK49QHqk8Snm08hjlscrjlMcrT1CeqDxJebLyFOWpytOUpyvPUJ6pPEt5tvIc5bnK85TnKy9QXqi8SHmx8hLlpcrLlJcrr1BeqbxKebXyGuW1yuuU1ytvUN6ovEl5s/IW5a3K25RNKeXtyjuUdyrvUt6tvEd5r/I+5f3KB5QPKh9SPqx8RPmo8jHl48onlE8qn1I+rXxG+azyOeXzyheULypfUr6sfEX5qvI15evKN5RvKt9Svq18R/mu8j3l+8oPlB8qP1J+rPxE+anyM+Xnyi80qKdavelcg9AgNRhoMIkGk2owmQaTazCFBlNqMJUGU2swTT2Sx0+o99+EieOOn2ONkaMHE++4c9JX3r3txrXHjx//H5Dx+bplSwAA",
+  "debug_symbols": "tZTdqoQgFIXfxesu8l97lcMhrGwQxMKpA4fo3ccia7owBmKuTHfr0+1y7wk0uhofpXFt9wTFzwQqb6w1j9J2tRpM58LqNGcgTsvBax2WwFs8qHrltRtA4UZrM/Cn7Lj+9OyVW8dB+RDNM6BdE8YAbI3Vy9ecHeo8LYWEbmJI8S6n8KSHaT1hhG8AwoQ8COhEQBcnYBLHI3BKdgKk9ITAFwhJRURIDg+EEB/nwXMU85A8mQdNEzASZCNgzPhOQOhjLxjbL4KkvOC3vRD3vZD3veC3vYDwq2aImAaCMFkYF4+SYBRLi2AGT1n8hpmqjT91A4BAER4ADtiQPllqMwN0GeZlF29UZfXWNtrR1W9dZPjvYyT2md53tW5Gr5c91ljY9QU=",
+  "file_map": {
+    "22": {
+      "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;\n\nuse convert::AsPrimitive;\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<T>(with_newline: bool, input: T) {}\n\nunconstrained fn print_unconstrained<T>(with_newline: bool, input: T) {\n    print_oracle(with_newline, input);\n}\n\npub fn println<T>(input: T) {\n    // Safety: a print statement cannot be constrained\n    unsafe {\n        print_unconstrained(true, input);\n    }\n}\n\npub fn print<T>(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<let N: u32, let M: u32, let K: u32>(\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<let N: u32, let M: u32, let K: u32>(\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<T>(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<T>(predicate: bool, message: T) {}\n\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_add(y)\")]\npub fn wrapping_add<T>(x: T, y: T) -> T\nwhere\n    T: AsPrimitive<Field>,\n    Field: AsPrimitive<T>,\n{\n    AsPrimitive::as_(x.as_() + y.as_())\n}\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_sub(y)\")]\npub fn wrapping_sub<T>(x: T, y: T) -> T\nwhere\n    T: AsPrimitive<Field>,\n    Field: AsPrimitive<T>,\n{\n    //340282366920938463463374607431768211456 is 2^128, it is used to avoid underflow\n    AsPrimitive::as_(x.as_() + 340282366920938463463374607431768211456 - y.as_())\n}\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_mul(y)\")]\npub fn wrapping_mul<T>(x: T, y: T) -> T\nwhere\n    T: AsPrimitive<Field>,\n    Field: AsPrimitive<T>,\n{\n    AsPrimitive::as_(x.as_() * y.as_())\n}\n\n#[builtin(as_witness)]\npub fn as_witness(x: Field) {}\n",
+      "path": "std/lib.nr"
+    },
+    "51": {
+      "source": "use mock_types::{PreviousRollupData, RollupPublicInputs};\n\nfn main(a: PreviousRollupData, b: PreviousRollupData) -> pub RollupPublicInputs {\n    a.verify(false);\n    b.verify(false);\n\n    a.public_inputs().merge(b.public_inputs())\n}\n",
+      "path": "/home/aztec-dev/aztec-packages/noir-projects/mock-protocol-circuits/crates/mock-rollup-tx-merge/src/main.nr"
+    },
+    "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_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED,\n        CHONK_PROOF_LENGTH, CHONK_VK_LENGTH_IN_FIELDS, MEGA_VK_LENGTH_IN_FIELDS,\n        NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, PROOF_TYPE_AVM, PROOF_TYPE_CHONK, PROOF_TYPE_HN,\n        PROOF_TYPE_HN_FINAL, PROOF_TYPE_HN_TAIL, PROOF_TYPE_OINK, PROOF_TYPE_ROLLUP_HONK,\n        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<Field, MAX_COMMITMENTS_PER_TX>,\n    pub read_requests: BoundedVec<Field, MAX_COMMITMENT_READ_REQUESTS_PER_TX>,\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<CHONK_VK_LENGTH_IN_FIELDS>,\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/noir-projects/mock-protocol-circuits/crates/mock-types/src/lib.nr"
+    }
+  },
+  "expression_width": {
+    "Bounded": {
+      "width": 4
+    }
+  },
+  "verificationKey": {
+    "bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000070864f7537352ab5874e206444242ea594000000000000000000000000000000000005b70edbc06e23f854b7e32c82074a00000000000000000000000000000059ba2f049ed55b39cfa2ffe3b03760148d00000000000000000000000000000000001c15d7f51948ff081b338622fcc8dc0000000000000000000000000000004250c2dd91a6aef9a3a3440387532ca4db000000000000000000000000000000000024c9406c5ed075f8b52e23c9acc02700000000000000000000000000000048e1dc61bea3acb90e5f7b109fe448942e00000000000000000000000000000000000bfc21c7b72aa081db485e62bb31d6000000000000000000000000000000e572901047413ccd9fd298592fad5ce036000000000000000000000000000000000019807a98b5ba2254da54b86b0648cf0000000000000000000000000000009913fe76d80f0536769c9d74fec70c24f400000000000000000000000000000000001d361847aeea8473b21701fcc0d7cd0000000000000000000000000000001f5bafa73f95e6c5f98c6294b91a5cf0b5000000000000000000000000000000000004d7ba6abe95970a75d35227f8c18e0000000000000000000000000000009994914d41dc01bdad60d6dd73d4d64d9f00000000000000000000000000000000000482eaad3f885bc7f481d08b1c044b000000000000000000000000000000f838b1939ee69e94b36db05698250f8a9300000000000000000000000000000000001cfa5eac0691cc880a42d4544bacce000000000000000000000000000000eb0a657d0b305baee30250c6691fdf74f500000000000000000000000000000000000d2c824bd79f172692adadddc0af8e000000000000000000000000000000d777acb41a64088ea785134b05ec311a3800000000000000000000000000000000000e4a422538c19ff7e76702230be5e2000000000000000000000000000000d2a7f76497b1d41ee91fbb31433b9abe6f00000000000000000000000000000000001b4493c57ce2c34f7daf54573d2c1b000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000b272b162732e4562534390a7710c46c4c200000000000000000000000000000000000280f151c49933d0d4095b29d3393b00000000000000000000000000000068460c31a16603d700555c1cde49e859640000000000000000000000000000000000230bd8128c475828547d170fc88f4f0000000000000000000000000000009a7a2831cadddc0cda7e53f4d42e2d286d0000000000000000000000000000000000093e9f63b2e170a8702fd7935cf98900000000000000000000000000000006203665123b1e5a2a762be18650a57ddd000000000000000000000000000000000015e4e873f7fc5f1b93fb506bc21c50000000000000000000000000000000ff230404cc898ce05bc333a12df353b3a9000000000000000000000000000000000015ad3f4806e9f8aebd2ceab50c25e8000000000000000000000000000000ab1acace541edf9e910d69801483540601000000000000000000000000000000000008e7b65e5ca7493982739864f34ae7000000000000000000000000000000f6d2b1f18cd098ac5c0f4c3d116da2419800000000000000000000000000000000000e4d3bfe0c7c630dada2f9f7415a63000000000000000000000000000000bb3991a0ad8061f23d85a74a74bbfe2b3300000000000000000000000000000000002428cc5aedbf7ef345678adfdd11570000000000000000000000000000000b43c80f233407f6b8efe26e296cf286730000000000000000000000000000000000110abd4987b208c254d83e988e5e7b0000000000000000000000000000009f3cb93253e3c56f2301b72a12bb8842e600000000000000000000000000000000000b6dc9e26e3eb27f6a6c9653bd5c6e0000000000000000000000000000004cc606a50f577fb7a1e8540fcc85a2b71d00000000000000000000000000000000002f117a55c822f81cad2458a2219a21000000000000000000000000000000ce262f9439c8878e4351da26f65395660300000000000000000000000000000000002150e93a64a624576d35e4db791af500000000000000000000000000000011c6a49db4e0aa3ec87dc1afb8906701e8000000000000000000000000000000000020616cba98816ea6e44e4c1772c85300000000000000000000000000000087947c6a0acc89c3abc1e3c0016488b23900000000000000000000000000000000000e60bbe11e3e68e3b2f322b06d8b72000000000000000000000000000000aaf14df7787b25576bfe4e8b5169e4410800000000000000000000000000000000000def30507dc777d6ba9ceddbb137bb000000000000000000000000000000cc7ea99e70fe842cd91ce32782427bcc37000000000000000000000000000000000020fe30a408b200ef579d293ae8cbc9000000000000000000000000000000fc50473266e9b9cf4d80722e018df1c60d000000000000000000000000000000000006c29cd041e5d0a7362fcc8303a837000000000000000000000000000000e1076677f6c16a6f006c5d05b023d271ac00000000000000000000000000000000002783a46bcfb7841ce1e3d8135547800000000000000000000000000000006f7c93a9e7ebb823f4f213e480bc9846ce0000000000000000000000000000000000013bd196b54b89b5028f41d31bf032000000000000000000000000000000674feabb17e636ae397652d9d5afe1d75100000000000000000000000000000000000ec50fc6e0b80d2a40d93b87ae7f8200000000000000000000000000000080188f13821ae84157358f606eae766d6700000000000000000000000000000000000ddbc171fbbf41145cb5e8fe42ddec00000000000000000000000000000098a0f5dd62e503a1a9860a74c69421d8c3000000000000000000000000000000000019215a0442ccb501a1165f5969cb350000000000000000000000000000004d04ca2b17a31e6065af152686e9ce697900000000000000000000000000000000002a11f8e3f25d21e18addc9c7a0837b000000000000000000000000000000f50fc9a9a2cebe49dfed0b7a28ec1f22da0000000000000000000000000000000000290354bc9b127b5e631840c834b7a30000000000000000000000000000002efa21ee9f3f3b8f9a8c8a80df3e9c3309000000000000000000000000000000000013f814d165c90b3394d630e5d84e520000000000000000000000000000005a3a3f9cb311248b3ed1906bf4f604d5de00000000000000000000000000000000001cd1a810d2d5a5d2350a1a0824daf6000000000000000000000000000000fdcf78c324242f5343ea10ea213ff33bf100000000000000000000000000000000002f8703ce6b9bad238b8c0a81d4ecd40000000000000000000000000000001c24a25237d359454233c2ed954a17863f00000000000000000000000000000000002332cfe99ed37a0d24008bae7c67f500000000000000000000000000000040792f374e4f77017d485987ab7594a03f00000000000000000000000000000000002e53e667ade759d2ea9104d95be6520000000000000000000000000000009854f130f9949af06ed36f7387a12a301b00000000000000000000000000000000000af3cce3608070e7f4e2fcbb60f8f000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff96736194940000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ff33863f40f720cc0a32e6db68c4e68a7c00000000000000000000000000000000000ac08f4d633da9978b7ac7adcc42f80000000000000000000000000000006eddb5f23ee76290d4d4c0e91735a90aaf00000000000000000000000000000000002c8281bdf813c653f305f46a200e19",
+    "fields": [
+      "0x0000000000000000000000000000000000000000000000000000000000000015",
+      "0x000000000000000000000000000000000000000000000000000000000000001b",
+      "0x0000000000000000000000000000000000000000000000000000000000000001",
+      "0x00000000000000000000000000000070864f7537352ab5874e206444242ea594",
+      "0x000000000000000000000000000000000005b70edbc06e23f854b7e32c82074a",
+      "0x00000000000000000000000000000059ba2f049ed55b39cfa2ffe3b03760148d",
+      "0x00000000000000000000000000000000001c15d7f51948ff081b338622fcc8dc",
+      "0x0000000000000000000000000000004250c2dd91a6aef9a3a3440387532ca4db",
+      "0x000000000000000000000000000000000024c9406c5ed075f8b52e23c9acc027",
+      "0x00000000000000000000000000000048e1dc61bea3acb90e5f7b109fe448942e",
+      "0x00000000000000000000000000000000000bfc21c7b72aa081db485e62bb31d6",
+      "0x000000000000000000000000000000e572901047413ccd9fd298592fad5ce036",
+      "0x000000000000000000000000000000000019807a98b5ba2254da54b86b0648cf",
+      "0x0000000000000000000000000000009913fe76d80f0536769c9d74fec70c24f4",
+      "0x00000000000000000000000000000000001d361847aeea8473b21701fcc0d7cd",
+      "0x0000000000000000000000000000001f5bafa73f95e6c5f98c6294b91a5cf0b5",
+      "0x000000000000000000000000000000000004d7ba6abe95970a75d35227f8c18e",
+      "0x0000000000000000000000000000009994914d41dc01bdad60d6dd73d4d64d9f",
+      "0x00000000000000000000000000000000000482eaad3f885bc7f481d08b1c044b",
+      "0x000000000000000000000000000000f838b1939ee69e94b36db05698250f8a93",
+      "0x00000000000000000000000000000000001cfa5eac0691cc880a42d4544bacce",
+      "0x000000000000000000000000000000eb0a657d0b305baee30250c6691fdf74f5",
+      "0x00000000000000000000000000000000000d2c824bd79f172692adadddc0af8e",
+      "0x000000000000000000000000000000d777acb41a64088ea785134b05ec311a38",
+      "0x00000000000000000000000000000000000e4a422538c19ff7e76702230be5e2",
+      "0x000000000000000000000000000000d2a7f76497b1d41ee91fbb31433b9abe6f",
+      "0x00000000000000000000000000000000001b4493c57ce2c34f7daf54573d2c1b",
+      "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
+      "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
+      "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
+      "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
+      "0x000000000000000000000000000000b272b162732e4562534390a7710c46c4c2",
+      "0x00000000000000000000000000000000000280f151c49933d0d4095b29d3393b",
+      "0x00000000000000000000000000000068460c31a16603d700555c1cde49e85964",
+      "0x0000000000000000000000000000000000230bd8128c475828547d170fc88f4f",
+      "0x0000000000000000000000000000009a7a2831cadddc0cda7e53f4d42e2d286d",
+      "0x0000000000000000000000000000000000093e9f63b2e170a8702fd7935cf989",
+      "0x00000000000000000000000000000006203665123b1e5a2a762be18650a57ddd",
+      "0x000000000000000000000000000000000015e4e873f7fc5f1b93fb506bc21c50",
+      "0x000000000000000000000000000000ff230404cc898ce05bc333a12df353b3a9",
+      "0x000000000000000000000000000000000015ad3f4806e9f8aebd2ceab50c25e8",
+      "0x000000000000000000000000000000ab1acace541edf9e910d69801483540601",
+      "0x000000000000000000000000000000000008e7b65e5ca7493982739864f34ae7",
+      "0x000000000000000000000000000000f6d2b1f18cd098ac5c0f4c3d116da24198",
+      "0x00000000000000000000000000000000000e4d3bfe0c7c630dada2f9f7415a63",
+      "0x000000000000000000000000000000bb3991a0ad8061f23d85a74a74bbfe2b33",
+      "0x00000000000000000000000000000000002428cc5aedbf7ef345678adfdd1157",
+      "0x0000000000000000000000000000000b43c80f233407f6b8efe26e296cf28673",
+      "0x0000000000000000000000000000000000110abd4987b208c254d83e988e5e7b",
+      "0x0000000000000000000000000000009f3cb93253e3c56f2301b72a12bb8842e6",
+      "0x00000000000000000000000000000000000b6dc9e26e3eb27f6a6c9653bd5c6e",
+      "0x0000000000000000000000000000004cc606a50f577fb7a1e8540fcc85a2b71d",
+      "0x00000000000000000000000000000000002f117a55c822f81cad2458a2219a21",
+      "0x000000000000000000000000000000ce262f9439c8878e4351da26f653956603",
+      "0x00000000000000000000000000000000002150e93a64a624576d35e4db791af5",
+      "0x00000000000000000000000000000011c6a49db4e0aa3ec87dc1afb8906701e8",
+      "0x000000000000000000000000000000000020616cba98816ea6e44e4c1772c853",
+      "0x00000000000000000000000000000087947c6a0acc89c3abc1e3c0016488b239",
+      "0x00000000000000000000000000000000000e60bbe11e3e68e3b2f322b06d8b72",
+      "0x000000000000000000000000000000aaf14df7787b25576bfe4e8b5169e44108",
+      "0x00000000000000000000000000000000000def30507dc777d6ba9ceddbb137bb",
+      "0x000000000000000000000000000000cc7ea99e70fe842cd91ce32782427bcc37",
+      "0x000000000000000000000000000000000020fe30a408b200ef579d293ae8cbc9",
+      "0x000000000000000000000000000000fc50473266e9b9cf4d80722e018df1c60d",
+      "0x000000000000000000000000000000000006c29cd041e5d0a7362fcc8303a837",
+      "0x000000000000000000000000000000e1076677f6c16a6f006c5d05b023d271ac",
+      "0x00000000000000000000000000000000002783a46bcfb7841ce1e3d813554780",
+      "0x0000000000000000000000000000006f7c93a9e7ebb823f4f213e480bc9846ce",
+      "0x0000000000000000000000000000000000013bd196b54b89b5028f41d31bf032",
+      "0x000000000000000000000000000000674feabb17e636ae397652d9d5afe1d751",
+      "0x00000000000000000000000000000000000ec50fc6e0b80d2a40d93b87ae7f82",
+      "0x00000000000000000000000000000080188f13821ae84157358f606eae766d67",
+      "0x00000000000000000000000000000000000ddbc171fbbf41145cb5e8fe42ddec",
+      "0x00000000000000000000000000000098a0f5dd62e503a1a9860a74c69421d8c3",
+      "0x000000000000000000000000000000000019215a0442ccb501a1165f5969cb35",
+      "0x0000000000000000000000000000004d04ca2b17a31e6065af152686e9ce6979",
+      "0x00000000000000000000000000000000002a11f8e3f25d21e18addc9c7a0837b",
+      "0x000000000000000000000000000000f50fc9a9a2cebe49dfed0b7a28ec1f22da",
+      "0x0000000000000000000000000000000000290354bc9b127b5e631840c834b7a3",
+      "0x0000000000000000000000000000002efa21ee9f3f3b8f9a8c8a80df3e9c3309",
+      "0x000000000000000000000000000000000013f814d165c90b3394d630e5d84e52",
+      "0x0000000000000000000000000000005a3a3f9cb311248b3ed1906bf4f604d5de",
+      "0x00000000000000000000000000000000001cd1a810d2d5a5d2350a1a0824daf6",
+      "0x000000000000000000000000000000fdcf78c324242f5343ea10ea213ff33bf1",
+      "0x00000000000000000000000000000000002f8703ce6b9bad238b8c0a81d4ecd4",
+      "0x0000000000000000000000000000001c24a25237d359454233c2ed954a17863f",
+      "0x00000000000000000000000000000000002332cfe99ed37a0d24008bae7c67f5",
+      "0x00000000000000000000000000000040792f374e4f77017d485987ab7594a03f",
+      "0x00000000000000000000000000000000002e53e667ade759d2ea9104d95be652",
+      "0x0000000000000000000000000000009854f130f9949af06ed36f7387a12a301b",
+      "0x00000000000000000000000000000000000af3cce3608070e7f4e2fcbb60f8f0",
+      "0x00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d26",
+      "0x0000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b3",
+      "0x0000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f",
+      "0x00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459",
+      "0x000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e",
+      "0x00000000000000000000000000000000001b917517920bad3d8bc01c9595092a",
+      "0x000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d19",
+      "0x0000000000000000000000000000000000305e8992b148eedb22e6e992077a84",
+      "0x00000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d",
+      "0x0000000000000000000000000000000000061f64497996e8915722501e9e3679",
+      "0x0000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e",
+      "0x00000000000000000000000000000000001b84d38339321f405ebaf6a2f83084",
+      "0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce",
+      "0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a",
+      "0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854",
+      "0x0000000000000000000000000000000000261522c4089330646aff9673619494",
+      "0x0000000000000000000000000000000000000000000000000000000000000001",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x0000000000000000000000000000000000000000000000000000000000000002",
+      "0x0000000000000000000000000000000000000000000000000000000000000000",
+      "0x000000000000000000000000000000ff33863f40f720cc0a32e6db68c4e68a7c",
+      "0x00000000000000000000000000000000000ac08f4d633da9978b7ac7adcc42f8",
+      "0x0000000000000000000000000000006eddb5f23ee76290d4d4c0e91735a90aaf",
+      "0x00000000000000000000000000000000002c8281bdf813c653f305f46a200e19"
+    ],
+    "hash": "1424f6aecb0065d0ab057627c272a7a702f19cb3189290be7f579847189817d2"
+  }
+}

package/dest/bb_working_directory.d.ts

@@ -1,2 +1,2 @@
 export declare function getWorkingDirectory(prefix: string): Promise<string>;
-//# sourceMappingURL=bb_working_directory.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmJfd29ya2luZ19kaXJlY3RvcnkuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9iYl93b3JraW5nX2RpcmVjdG9yeS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFJQSx3QkFBc0IsbUJBQW1CLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLENBSXpFIn0=

package/dest/index.d.ts

@@ -1,2 +1,2 @@
 export * from './witgen.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLGFBQWEsQ0FBQyJ9

package/dest/prove_native.d.ts

@@ -1,16 +1,16 @@
-import { Fr } from '@aztec/foundation/fields';
+import { CHONK_PROOF_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import type { Logger } from '@aztec/foundation/log';
 import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
 import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
-import type { ClientIvcProof } from '@aztec/stdlib/proofs';
+import { RecursiveProof } from '@aztec/stdlib/proofs';
 import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
-export declare function proveClientIVC(bbBinaryPath: string, bbWorkingDirectory: string, witnessStack: Uint8Array[], bytecodes: string[], vks: string[], logger: Logger): Promise<ClientIvcProof>;
-export declare function proveTube(pathToBB: string, workingDirectory: string, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<535>>;
-export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<535>>;
+export declare function proofBytesToRecursiveProof(proofAsFields: Uint8Array[], vkBytes: Uint8Array): Promise<RecursiveProof<typeof CHONK_PROOF_LENGTH>>;
+export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<531>>;
 export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<457>>;
-export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger, skipPublicInputsValidation?: boolean): Promise<{
+export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger): Promise<{
     vk: VerificationKeyAsFields;
     proof: Fr[];
     publicInputs: AvmCircuitPublicInputs;
 }>;
-//# sourceMappingURL=prove_native.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxHQUNiLE9BQU8sQ0FBQztJQUNULEVBQUUsRUFBRSx1QkFBdUIsQ0FBQztJQUM1QixLQUFLLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDWixZQUFZLEVBQUUsc0JBQXNCLENBQUM7Q0FDdEMsQ0FBQyxDQW1FRCJ9

package/dest/prove_native.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAS,MAAM,sBAAsB,CAAC;AAElE,OAAO,EAAE,uBAAuB,EAA4B,MAAM,mBAAmB,CAAC;AAMtF,wBAAsB,cAAc,CAClC,YAAY,EAAE,MAAM,EACpB,kBAAkB,EAAE,MAAM,EAC1B,YAAY,EAAE,UAAU,EAAE,EAC1B,SAAS,EAAE,MAAM,EAAE,EACnB,GAAG,EAAE,MAAM,EAAE,EACb,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,cAAc,CAAC,CA0BzB;AAyBD,wBAAsB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mFAczF;AAmCD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,EACd,0BAA0B,GAAE,OAAe,GAC1C,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAsED"}
+{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAS,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAuB,MAAM,mBAAmB,CAAC;AAKjF,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AA4DD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAmED"}

package/dest/prove_native.js

@@ -1,32 +1,24 @@
-import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, executeBbClientIvcProof, extractVkData, generateAvmProof, generateProof, generateTubeProof, readClientIVCProofFromOutputDirectory, readProofAsFields, verifyAvmProof, verifyProof } from '@aztec/bb-prover';
-import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, generateAvmProof, generateProof, readProofsFromOutputDirectory, verifyAvmProof, verifyProof } from '@aztec/bb-prover';
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, CHONK_PROOF_LENGTH, HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
-import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
-import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
+import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
+import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
 import * as fs from 'fs/promises';
-import { Encoder } from 'msgpackr';
 import * as path from 'path';
-export async function proveClientIVC(bbBinaryPath, bbWorkingDirectory, witnessStack, bytecodes, vks, logger) {
-    const stepToStruct = (bytecode, index)=>{
-        return {
-            bytecode: Buffer.from(bytecode, 'base64'),
-            witness: witnessStack[index],
-            vk: Buffer.from(vks[index], 'hex'),
-            functionName: `unknown_${index}`
-        };
-    };
-    const encoded = new Encoder({
-        useRecords: false
-    }).pack(bytecodes.map(stepToStruct));
-    const ivcInputsPath = path.join(bbWorkingDirectory, 'ivc-inputs.msgpack');
-    await fs.writeFile(ivcInputsPath, encoded);
-    const provingResult = await executeBbClientIvcProof(bbBinaryPath, bbWorkingDirectory, ivcInputsPath, logger.info, true);
-    if (provingResult.status === BB_RESULT.FAILURE) {
-        throw new Error(provingResult.reason);
-    }
-    return readClientIVCProofFromOutputDirectory(bbWorkingDirectory);
+export async function proofBytesToRecursiveProof(proofAsFields, vkBytes) {
+    const vk = await VerificationKeyAsFields.fromFrBuffer(Buffer.from(vkBytes));
+    const numCustomPublicInputs = vk.numPublicInputs - HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE;
+    // Convert Uint8Array fields to Fr instances
+    const fields = proofAsFields.map((f)=>Fr.fromBuffer(Buffer.from(f)));
+    // Slice off custom public inputs from the beginning.
+    const fieldsWithoutPublicInputs = fields.slice(numCustomPublicInputs);
+    // Convert fields to binary buffer
+    const proofBuffer = Buffer.concat(proofAsFields.slice(numCustomPublicInputs));
+    // Create Proof directly (not using fromBuffer which expects different format)
+    const proof = new Proof(proofBuffer, numCustomPublicInputs);
+    return new RecursiveProof(fieldsWithoutPublicInputs, proof, true, CHONK_PROOF_LENGTH);
 }
 async function verifyProofWithKey(pathToBB, workingDirectory, verificationKey, proof, flavor, logger) {
     const publicInputsFileName = path.join(workingDirectory, PUBLIC_INPUTS_FILENAME);
@@ -42,25 +34,15 @@ async function verifyProofWithKey(pathToBB, workingDirectory, verificationKey, p
     }
     logger.info(`Successfully verified proof from key in ${result.durationMs} ms`);
 }
-export async function proveTube(pathToBB, workingDirectory, logger) {
-    const tubeResult = await generateTubeProof(pathToBB, workingDirectory, workingDirectory.concat('/vk'), logger.info);
-    if (tubeResult.status != BB_RESULT.SUCCESS) {
-        throw new Error('Failed to prove tube');
-    }
-    const tubeVK = await extractVkData(tubeResult.vkDirectoryPath);
-    const tubeProof = await readProofAsFields(tubeResult.proofPath, tubeVK, TUBE_PROOF_LENGTH, logger);
-    // Sanity check the tube proof
-    await verifyProofWithKey(pathToBB, workingDirectory, tubeVK, tubeProof.binaryProof, 'ultra_rollup_honk', logger);
-    return makeProofAndVerificationKey(tubeProof, tubeVK);
-}
 async function proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, flavor, proofLength) {
     await fs.writeFile(path.join(workingDirectory, 'witness.gz'), witness);
-    const proofResult = await generateProof(pathToBB, workingDirectory, name, Buffer.from(circuit.bytecode, 'base64'), path.join(workingDirectory, 'witness.gz'), flavor, logger);
+    const vkBuffer = Buffer.from(circuit.verificationKey.bytes, 'hex');
+    const proofResult = await generateProof(pathToBB, workingDirectory, name, Buffer.from(circuit.bytecode, 'base64'), vkBuffer, path.join(workingDirectory, 'witness.gz'), flavor, logger);
     if (proofResult.status != BB_RESULT.SUCCESS) {
         throw new Error(`Failed to generate proof for ${name} with flavor ${flavor}`);
     }
-    const vk = await extractVkData(proofResult.vkDirectoryPath);
-    const proof = await readProofAsFields(proofResult.proofPath, vk, proofLength, logger);
+    const vk = await VerificationKeyData.fromFrBuffer(vkBuffer);
+    const proof = await readProofsFromOutputDirectory(proofResult.proofPath, vk, proofLength, logger);
     await verifyProofWithKey(pathToBB, workingDirectory, vk, proof.binaryProof, flavor, logger);
     return makeProofAndVerificationKey(proof, vk);
 }
@@ -70,9 +52,9 @@ export function proveRollupHonk(name, pathToBB, workingDirectory, circuit, witne
 export function proveKeccakHonk(name, pathToBB, workingDirectory, circuit, witness, logger) {
     return proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, 'ultra_keccak_honk', NESTED_RECURSIVE_PROOF_LENGTH);
 }
-export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipPublicInputsValidation = false) {
+export async function proveAvm(avmCircuitInputs, workingDirectory, logger) {
     // The paths for the barretenberg binary and the write path are hardcoded for now.
-    const bbPath = path.resolve('../../barretenberg/cpp/build/bin/bb');
+    const bbPath = path.resolve('../../barretenberg/cpp/build/bin/bb-avm');
     // Then we prove.
     const proofRes = await generateAvmProof(bbPath, workingDirectory, avmCircuitInputs, logger);
     if (proofRes.status === BB_RESULT.FAILURE) {
@@ -115,10 +97,8 @@ export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipP
     if (verificationResult.status === BB_RESULT.FAILURE) {
         throw new Error(`AVM V2 proof verification failed: ${verificationResult.reason}`);
     }
-    // TODO(#14234)[Unconditional PIs validation]: Remove next lines and return proof instead of proofWithPublicInputsValidationFlag
-    const proofWithPublicInputsValidationFlag = enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation);
     return {
-        proof: proofWithPublicInputsValidationFlag,
+        proof,
         vk: await VerificationKeyAsFields.fromKey(vk),
         publicInputs: avmCircuitInputs.publicInputs
     };

package/dest/scripts/generate_declaration_files.d.ts

@@ -1,2 +1,2 @@
 export {};
-//# sourceMappingURL=generate_declaration_files.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXJhdGVfZGVjbGFyYXRpb25fZmlsZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zY3JpcHRzL2dlbmVyYXRlX2RlY2xhcmF0aW9uX2ZpbGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiIifQ==

package/dest/scripts/generate_declaration_files.js

@@ -6,10 +6,6 @@ import { type NoirCompiledCircuit } from '@aztec/stdlib/noir';
 const circuit: NoirCompiledCircuit;
 export = circuit;
 `;
-const vk = `\
-const vk: { keyAsBytes: string; keyAsFields: string[] };
-export = vk;
-`;
 async function generateDeclarationFor(target, content) {
     const files = await readdir(target);
     for (const file of files){
@@ -23,5 +19,3 @@ async function generateDeclarationFor(target, content) {
 }
 // Generate declaration files for contracts
 await generateDeclarationFor(fileURLToPath(new URL('../../artifacts', import.meta.url).href), contract);
-// Generate declaration files for vks
-await generateDeclarationFor(fileURLToPath(new URL('../../artifacts/keys', import.meta.url).href), vk);

package/dest/scripts/generate_ts_from_abi.d.ts

@@ -1,2 +1,2 @@
 export {};
-//# sourceMappingURL=generate_ts_from_abi.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXJhdGVfdHNfZnJvbV9hYmkuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zY3JpcHRzL2dlbmVyYXRlX3RzX2Zyb21fYWJpLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiIifQ==

package/dest/scripts/generate_ts_from_abi.js

@@ -11,9 +11,9 @@ const circuits = [
     'mock_private_kernel_inner',
     'mock_private_kernel_reset',
     'mock_private_kernel_tail',
-    'mock_rollup_base_public',
-    'mock_rollup_base_private',
-    'mock_rollup_merge',
+    'mock_rollup_tx_base_public',
+    'mock_rollup_tx_base_private',
+    'mock_rollup_tx_merge',
     'mock_rollup_root'
 ];
 const main = async ()=>{

package/dest/serve.d.ts

@@ -1,2 +1,2 @@
 export {};
-//# sourceMappingURL=serve.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VydmUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9zZXJ2ZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=

package/dest/serve.js

@@ -1,8 +1,16 @@
+import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
 import { createLogger } from '@aztec/foundation/log';
-import { proveThenVerifyAztecClient } from './prove_wasm.js';
-import { generateTestingIVCStack } from './witgen.js';
+import { MockAppCreatorCircuit, MockHidingCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelTailCircuit, generateTestingIVCStack } from './witgen.js';
 const logger = createLogger('aztec:ivc-test');
-/* eslint-disable no-console */ // Function to set up the output element and redirect all console output
+/* eslint-disable no-console */ // Expose APIs on window for browser testing
+window.Barretenberg = Barretenberg;
+window.AztecClientBackend = AztecClientBackend;
+window.generateTestingIVCStack = generateTestingIVCStack;
+window.MockAppCreatorCircuit = MockAppCreatorCircuit;
+window.MockPrivateKernelInitCircuit = MockPrivateKernelInitCircuit;
+window.MockPrivateKernelTailCircuit = MockPrivateKernelTailCircuit;
+window.MockHidingCircuit = MockHidingCircuit;
+// Function to set up the output element and redirect all console output
 function setupConsoleOutput() {
     const container = document.createElement('div');
     container.style.marginBottom = '10px';
@@ -45,18 +53,27 @@ function setupConsoleOutput() {
         addLogMessage(message);
     };
 }
-window.proveThenVerifyAztecClient = proveThenVerifyAztecClient;
-document.addEventListener('DOMContentLoaded', function() {
-    setupConsoleOutput(); // Initialize console output capture
-    const button = document.createElement('button');
-    button.innerText = 'Run Test';
-    // eslint-disable-next-line @typescript-eslint/no-misused-promises
-    button.addEventListener('click', async ()=>{
-        logger.info(`generating circuit and witness...`);
-        const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
-        logger.info(`done. proving and verifying...`);
-        const verified = await proveThenVerifyAztecClient(bytecodes, witnessStack, precomputedVks);
-        logger.info(`verified? ${verified}`);
+// Only set up the interactive UI if this is not being used for automated testing
+if (!document.getElementById('status')) {
+    document.addEventListener('DOMContentLoaded', function() {
+        setupConsoleOutput(); // Initialize console output capture
+        const button = document.createElement('button');
+        button.innerText = 'Run Test';
+        // eslint-disable-next-line @typescript-eslint/no-misused-promises
+        button.addEventListener('click', async ()=>{
+            logger.info(`generating circuit and witness...`);
+            const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
+            logger.info(`done. proving and verifying...`);
+            const barretenberg = await Barretenberg.initSingleton({
+                threads: 16,
+                logger: (m)=>logger.info(m)
+            });
+            const backend = new AztecClientBackend(bytecodes, barretenberg);
+            const [, proof, vk] = await backend.prove(witnessStack, precomputedVks);
+            const verified = await backend.verify(proof, vk);
+            logger.info(`verified? ${verified}`);
+            await Barretenberg.destroySingleton();
+        });
+        document.body.appendChild(button);
     });
-    document.body.appendChild(button);
-});
+}