@aztec/ivc-integration 5.0.0-rc.1 → 5.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/artifacts/app_creator.json +90 -70
- package/artifacts/app_reader.json +90 -70
- package/artifacts/keys/mock_rollup_root_verifier.sol +263 -292
- package/artifacts/mock_hiding.json +112 -140
- package/artifacts/mock_private_kernel_init.json +161 -141
- package/artifacts/mock_private_kernel_inner.json +162 -142
- package/artifacts/mock_private_kernel_reset.json +130 -110
- package/artifacts/mock_private_kernel_tail.json +130 -110
- package/artifacts/mock_rollup_root.json +68 -68
- package/artifacts/mock_rollup_tx_base_private.json +115 -115
- package/artifacts/mock_rollup_tx_base_public.json +118 -118
- package/artifacts/mock_rollup_tx_merge.json +112 -112
- package/dest/prove_native.d.ts +1 -1
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +3 -6
- package/dest/types/index.d.ts +15 -15
- package/dest/witgen.d.ts +3 -3
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +2 -2
- package/package.json +16 -16
- package/src/prove_native.ts +3 -6
- package/src/types/index.ts +15 -15
- package/src/witgen.ts +4 -4
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"noir_version": "1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7",
|
|
3
|
-
"hash": "
|
|
3
|
+
"hash": "6475321618080232911",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -153,7 +153,7 @@
|
|
|
153
153
|
}
|
|
154
154
|
},
|
|
155
155
|
"bytecode": "H4sIAAAAAAAA/62bVdAeVJZFc4Sm3XF3d3eCu7uHEEKQBII7wZ2Q4O7u7u7cg7vTSjctdDe0y+x5+e6aqqlpZmrytFL1JfWnkpOsvfdNTDj9rCv2GDZq9Nnjbllp92HDd1tpzAGr7Tt6+MrDdt993JUbDV1v9VUnjLt681H7jB6x995DZvwSHyrf9L/72B0bjRi+79i9R+03YujIkWNHjBy2z6gxo896b8je/Qfax+AfgX8M/gn4p+CfgX8O/gT8C/AvwZ+CfwX+Nfg34N+CPwP/Dvx78B/An4O/AP8R/Cfwn8F/Af8V/Dfw38H/AP8T/C/8Zg0BG9jBAU7wJOCvgCcFfxX8NfDXwd8AfxP8LfC3wd8Bfxf8PfD3wT8A/xA8GXhy8BTgKcFTgacGTwOeFjwdeHrwDOAZwTOBZwbPAp4VPBt4dvAc4DnBc4HnBs8Dnhc8H3h+8ALgBcELgRcGLwJeFLwYeHHwEuAlwUuBlwYvA14WvBx4efAK4BXBQ8ErgVcGrwJeFbwaeHXwGuA1wWuB1wavA14XvB54ffAG4A3BG4E3fs8+Gny3H3k/8X7g/bz7cffT7ofdz7ofdT/pftD9nPsx91Puh9zPuB9xP+F+wP18+/H20+2H28+2H20/2X6w/Vz7sfZT7Yfaz7QfaT/RfqD9PPtx9tPsh9nPsh9lP8l+kP0c+zH2U+yH2M+wH2E/wX6A/fz68fXT64fXz64fXT+5fnD93Pqx9VPrh9bPrB9ZP7F+YP28+nH10+qH1c+qH1U/qX5Q/Zz6MfVT6ofUz6gfUT+hjQe0yYA2HdBmA9p8QFsMaMsBbTWgrQe0zYC2HdB2A9p+QDsMaNiAdhzQ8AHtNKARA9p5QCMHtMuARg1o1wHtNqDdB7THgEYPaMyA9hzQXgMaO6AuefsMaN8B7Teg/Qd0wIAOHNBBAzp4QIcM6NABHTagwwfUjug4ruORHY/qeHTHYzoe2/G4jsd3PKHjiR1P6nhyx1M6ntrxtI7jO57esWt2m9jxjI5ndjyr49kdz+l4bsfzOp7f8YKOF3a8qOPFHS/peGnHyzpe3vGKjld2vKrj1R2v6Xhtx+s6Xt/xho43dryp480db+l4a8fbOt7e8Y6Od3a8q+PdHe/peG/H+zre3/GBjg92fKjjwx0f6fhox8c6Pt7xiY5Pdnyq49Mdn+n4bMfnOj7fsXWsji90fLHjSx1f7vhKx1c7vtbx9Y5vdHyz41sd3+74Tsd3O77X8f2OH3T8sGMXpNZjaOsptPUQ2noGbT2Ctp5AWw+grefP1uNn6+mz9fDZevZsPXq2njxbD56t587WY2frqbP10Nl65mw9craeOFsPnK3nzdbjZutps/Ww2XrWbD1qtp40G4KmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFoGoKmIWgagqYhaBqCpiFo2sbgTcCbgjcDbw7eArwleCvw1uBtwNuCtwNvD94BPAy8I3g4eCfwCPDO4JHgXcCjwLuCdwPvDt4DPBo8BrwneC/wWDDL1H3A+4L3A+8PPgB8IPgg8MHgQ8CHgg8DHw4+AjwOfCT4KPDR4GPAx4KPAx8PPgF8Ivgk8MngU8Cngk8DjwefDkbzbRPBZ4DPBJ8FPht8Dvhc8Hng88EXgC8EXwS+GHwJ+FLwZeDLwVeArwRfBb4afA34WvB14OvBN4BvBN8Evhl8C/hW8G3g28F3gO8E3wW+G3wP+F7wfeD7wQ+AHwQ/BH4Y/Aj4UfBj4MfBT4CfBD8Ffhr8DPhZ8HPg58ENXOAXwC+CXwK/DH4F/Cr4NfDr4DfAb4LfAr8Nfgf8Lvg98PvgD8Afgj/qR8vNY5Mcd83KY0bvvc+w0fs8MeOQ//mb/d+GrYRzJJwj4RwJ50g4R8I5Es6RcI6EcyScI+EcCedIOEfCORLOkXCOhHMknCPhHAnnSDhHwjkSzpFwjoRzJJwj4RwJ50g4R8I5Es6RcI6EcyScI+EcCedIOEfCORLOkXCOhHMknCPhHAnnSDhHwjkSzpFwjoRzJJwj4RwJ50g4R8I5Es6RcI6EcyScI+EcCedIOEfyzzmcI+EcCedIOEfCORLOkXCOhHMknCPhHAnnSDhHwjkSzpFwjoRzJJwj4RwJ50g4R8I5Es6RcI6EcyScI+EcCedIOEfCORLOkXCOhHMknCPhHAnnSDhHwjkSzpFwjoRzJJwj4RwJ50g4R8I5Es6RcI6EcyScI+EcCedIOEdew2GrHGfuOHPHmTvO3HHmjjN3nLnjzB1n7jhzx5k7ztxx5o4zd5y548wdZ+44c8eZO87cceaOM3ecuePMHWfuOHPHmTvO3HHmjjN3nLnjzB1n7jhzx5k7ztxx5o4zd5y548wdZ+44c8eZO87cceaOM3ecuePMHWfuOHPHmTvO3HHmjjN3nLnjzB1n7jhzx5k7ztz5qAZn7jhzx5k7ztxx5o4zd5y548wdZ+44c8eZO87cceaOM3ecuePMHWfuOHPHmTvO3HHmjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBaOaOGIFo5o4YgWjmjhiBbOf4Pwhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs3xhs0xLQTyXGBaCEwLgWkhMC0EpoXAtBCYFgLTQmBaCEwLgWkhMC0EpoXAtBCYFgLTQmBaCEwLgWkhMC0EpoXAtBCYFgLTQmBaCEwLgWkhMC0EpoXAtBCYFgLTQmBaCEwLgWkhMC0EpoXAtBCYFgLTQmBaCEwLgWkhMC0EpoXAtBCYFgLTQmBaCEwLgWkhMC0EpoVAzA/E/EDMD8T8QMwPxPxAzA/E/EDMD8T8QMwPxPxAzA/E/EDMD8T8QMwPxPxAzA/E/EDMD8T8QMwPxPxAzA/E/EDMD8T8QMwPxPxAzA/E/ID/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4P8B/w/4f8D/A/4f8P+A/wf8P+D/Af8P+H/A/wP+H/D/gP8H/D/g/wH/D/h/wP8D/h/w/4D/B/w/4f8J/0/4f8L/E/6f8P+E/yf8P+H/Cf9P+H/C/xP+n/D/hP8n/D/h/wn/T/h/wv8T/p/w/4T/J/w/4f8J/0/4f8L/E/6f8P+E/yf8P+H/Cf9P+H/C/xP+n/D/hP8n/D/h/wn/T/h/wv8T/p/w/4T/J/w/4f8J/0/4f8L/E/6fi7Gw4+Z07f9uWLxu6N57jxi7z1Yjxo6ZOH7ihH//I4Z8ic/oK9KnFtxpvbEfL3TJXPdssOpd48Ztse2ci3yyxoH37nn6yh9/MfEzfazy+n/7Uw35Mv/zL6+f8b/+OiZ8ma8xr/v/+hrfy+uGmEdO8pVJv/q1r3/jm9/69ne++73v/+CHk00+xZRTTT3NtNNNP8OMM808y6yzzT7HnHPNPc+8882/wIILLbzIoostvsSSSy29zLLLLb/CikNXWnmVVVdbfY0111p7nXXXW3+DDTfaeJNNN9t8iy232nqbbbfbfodhOw7facTOI3cZtetuu+8xesyee43de59999v/gAMPOviQQw87vB3RxrUj21Ht6HZMO7Yd145vJ7QT20nt5HZKO7Wd1sa309uENrGd0c5sZ7Wz2znt3HZeO79d0C5sF7WL2yXt0nZZu7xd0a5sV7Wr2zXt2nZdu77d0G5sN7Wb2y3t1nZbu73d0e5sd7W72z3t3nZfu7890B5sD7WH2yPt0fZYe7w90Z5sT7Wn2zPt2fZce761Vu2F9mJ7qb3cXmmvttfa6+2N9mZ7q73d3mnvtvfa++2D9mH7qH3cftR+3H7Sftp+1n7ePmm/aL9sn7ZftV+337Tfts/a79rv2x/a5+2L9sf2p/bn9pf21/a39vf2j/bP9q+yIWVW5mVRlmWTlH2lbNKyr5Z9rezrZd8o+2bZt8q+Xfadsu+Wfa/s+2U/KPth2WRlk5dNUTZl2VRlU5dNUzZt2XRl05fNUDZj2UxlM5fNUjZr2Wxls5fNUTZn2Vxlc5fNUzZv2Xxl85ctULZg2UJlC5ctUrZo2WJli5ctUbZk2VJlS5ctU7Zs2XJly5etULZi2dCylcpWLlulbNWy1cpWL1ujbM2ytcrWLlunbN2y9crWL9ugbMOyjco2LtukbNOyzco2L9uibMuyrcq2LtumbNuy7cq2L9uhbFjZjmXDy3YqG1G2c9nIsl3KRpXtWrZb2e5le5SNLhtTtmfZXmVjy/7zTVfZvmX7le1fdkDZgWUHlR1cdkjZoWWHlR1edkTZuLIjy44qO7rsmLJjy44rO77shLITy04qO7nslLJTy04rG192etmEsollZ5SdWXZW2dll55SdW3Ze2fllF5RdWHZR2cVll5RdWnZZ2eVlV5RdWXZV2dVl15RdW3Zd2fVlN5TdWHZT2c1lt5TdWnZb2e1ld5TdWXZX2d1l95TdW3Zf2f1lD5Q9WPZQ2cNlj5Q9WvZY2eNlT5Q9WfZU2dNlz5Q9W/Zc2fNlrazKXih7seylspfLXil7tey1stfL3ih7s+ytsrfL3il7t+y9svfLPij7sOyjso/LflT247KflP207GdlPy/7pOwXZb8s+7TsV2W/LvtN2W/LPiv7Xdnvy/5Q9nnZF2V/LPtT2Z/L/lL217K/lf297B9l/yz7V/mQcv296+VRnuWTlH+lfNLyr5Z/rfzr5d8o/2b5t8q/Xf6d8u+Wf6/8++U/KP9h+WTlk5dPUT5l+VTlU5dPUz5t+XTl05fPUD5j+UzlM5fPUj5r+Wzls5fPUT5n+Vzlc5fPUz5v+Xzl85cvUL5g+ULlC5cvUr5o+WLli5cvUb5k+VLlS5cvU75s+XLly5evUL5i+dDylcpXLl+lfNXy1cpXL1+jfM3ytcrXLl+nfN3y9crXL9+gfMPyjco3Lt9E/+BohtX6qtFVW6smVi2rGlS1o2o+1WqqsVQbqaZRLaIaQrV/avbU2qmRU9umJk0tmRowtVtqrtRKqXFSm6SmSC2QGh61N2pm1LqoUVFboiZELYcaDLUTah7UKqgxUBugpj8tfhr6tO9p1tOapxFP250mOy11Gui0y2mO0wqn8U2bm6a28oka1rSnaUbTeqbRTFuZJjItYxrEtINp/tLqpbFLG5emLS1aGrK0X2m20lqlkUrblCYpLVEaoLQ7aW7SyqRxSZuSpiQtSBqOtBdpJtI6pFFIW5AmIC0/Gny082je0aqjMUcbjqYbLTYaarTPaJbRGqMRRtuLJhctLRpYtKtoTtGKovFEm4mmEi0kGka0h2gG0fqh0UNbhyYOLRsaNLRjaL7QaqGxQhuFpgktEhoitD9odtDaoJFB24ImBS0JGhC0G2gu0EqgcUCbgKYALQAq/tX3q+ZXu69SX12+Knw19yrs1dOrnlcrrzJeHbyqdzXuKtrVr6tWV5uuEl3duSpzNeUqyNWLqw5XC67yW523qm413Cq21WerxlZ7rdJaXbUqajXTKqTVQ6t+Vuusslkds6plNcoqktUfqzZWW6ySWN2wKmE1wSqA1fuq7lXLq3JXna6qXDW4Km7V16qmVTurUlZdrCpYNa8qXNWzql5Vq6oyVR2qqlM1pipK1Y+qFlUbqhJU3acqTzWdKjjVa6rOVIup8lKdpapKNZQqJtVHqoZU+6jSUV2jKkY1iyoU1SOqPlRrqLJQHaGqQTWCKgLV/6n2U9unkk/dnio9NXkq8NTbqa5TS6dyTp2cqjg1cCre1LepZlO7plJNXZoqNDVnKszUk6keUyumMkwdmKovNV4qutRvqdZSm6USS92VKis1VSqo1EupjlILpfJJnZOqJjVMKpbUJ6lGUnuk0khdkSoiNUMqhNQDqf5R66OyRx2Pqh01Oipy1N+otlFbo5JG3YwqGTUxKmDUu6huUcuickWdiqqUittVnKgvUU2idkSliLoQVSBqPlR4qOdQvaFWQ2WGOgxVF2osVFSon1AtoTZCJYS6B1UOahpUMKhXUJ2gFkHlgToDVQVqCFQMqA9QDaD0r9CvrK+Ir2SvQK8cr/iu1K6wroyuaK5EriCu/K3YrbStkK1srUitJK0ArdysuKyUrHCsTKworASs4Ku8q5irdKtQqyyrCKvkqsCqnKp4qlSqMKoMquipxKmgqXypWKk0qRCp7KjIqKSogKhcqDioFKjwp8ynqKeEp2CnPKcYp/Sm0KaspoimZKZAphym+KXUpbCljKVopUSlIKX8pNiktKSQpGykSKQkpACk3KO4o5SjcKNMoyijBKPgorxSuXjlEpVLVi5VuXTlMpXLVi5XuXzlCpUrVg6tXKly5cpVKletXK1y9co1KtesXKty7cp1KtetXK9y/coNKjes3Khy48pNKjet3Kxy88otKres3Kpy68ptKret3K5y+8odKodV7lg5vHKnyhGVO1eOrNylclTlrpW7Ve5euUfl6MoxlXtW7lU5tvI/35dV7lu5X+X+lQdUHlh5UOXBlYdUHlp5WOXhlUdUjqs8svKoyqMrj6k8tvK4yuMrT6g8sfKkypMrT6k8tfK0yvGVp1dOqJxYeUblmZVnVZ5deU7luZXnVZ5feUHlhZUXVV5ceUnlpZWXVV5eeUXllZVXVV5deY0i33j9TNedPmHcFUOHjxo7yYQXX5r008+ff2rk+PHj/wNiTopdaEUAAA==",
|
|
156
|
-
"debug_symbols": "
|
|
156
|
+
"debug_symbols": "tZTLioQwEEX/JWsXVuVh7F8ZhiZtp5tAiJLWgUH894lifCwigswqJuU9lVRdqidP/ejed+Ne9Yfcvnry8MZa877bulKtqV047YeMxO299VqHI7KJB1WjvHYtubnO2oz8KNtNP30a5aa1VT5E84xo9wxrAL6M1ePXkK3qPC0FxmcxcLrIOez0kNYzLukMYAL5SsAdAQ8ICBAJWJQLAXO2Q9A0ghYsIqiEPIlgBwgUZUSgxA1CnEdwsSCETCJEGoE0thL59g7F6XYIKmMxS0i2Qx68goroCMrY5hVw2lIilgEKlrRUftlTANdNBXjdVUCv2+qYcc5XwC8bK7/sLCj+1Voy3iH0N2mt8sgXYvVFWexe8R12qjJ+N6IJklvg0TF3RthYs4zwcRnGLN6oh9XzLH91rtqM9va3iZE4/BtfV/rZeT3mmGIh6x8=",
|
|
157
157
|
"file_map": {
|
|
158
158
|
"21": {
|
|
159
159
|
"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<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\n/// Print the given input to stdout followed by a newline\npub fn println<T>(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<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/// 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",
|
|
@@ -199,7 +199,7 @@
|
|
|
199
199
|
},
|
|
200
200
|
"51": {
|
|
201
201
|
"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",
|
|
202
|
-
"path": "/home/aztec-dev/
|
|
202
|
+
"path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-rollup-tx-merge/src/main.nr",
|
|
203
203
|
"function_locations": [
|
|
204
204
|
{
|
|
205
205
|
"start": 139,
|
|
@@ -208,154 +208,110 @@
|
|
|
208
208
|
]
|
|
209
209
|
},
|
|
210
210
|
"52": {
|
|
211
|
-
"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
|
|
212
|
-
"path": "/home/aztec-dev/
|
|
211
|
+
"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<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",
|
|
212
|
+
"path": "/home/aztec-dev/aztec-packages-private/noir-projects/mock-protocol-circuits/crates/mock-types/src/lib.nr",
|
|
213
213
|
"function_locations": [
|
|
214
214
|
{
|
|
215
|
-
"start":
|
|
215
|
+
"start": 1087,
|
|
216
216
|
"name": "<impl Default for AppPublicInputs>::default"
|
|
217
217
|
},
|
|
218
218
|
{
|
|
219
|
-
"start":
|
|
219
|
+
"start": 1515,
|
|
220
220
|
"name": "<impl Default for PrivateKernelPublicInputs>::default"
|
|
221
221
|
},
|
|
222
222
|
{
|
|
223
|
-
"start":
|
|
223
|
+
"start": 2010,
|
|
224
224
|
"name": "PrivateKernelPublicInputsBuilder::from_tx"
|
|
225
225
|
},
|
|
226
226
|
{
|
|
227
|
-
"start":
|
|
227
|
+
"start": 2277,
|
|
228
228
|
"name": "PrivateKernelPublicInputsBuilder::from_previous_kernel"
|
|
229
229
|
},
|
|
230
230
|
{
|
|
231
|
-
"start":
|
|
231
|
+
"start": 3056,
|
|
232
232
|
"name": "PrivateKernelPublicInputsBuilder::ingest_app_inputs"
|
|
233
233
|
},
|
|
234
234
|
{
|
|
235
|
-
"start":
|
|
235
|
+
"start": 3544,
|
|
236
236
|
"name": "PrivateKernelPublicInputsBuilder::finish"
|
|
237
237
|
},
|
|
238
238
|
{
|
|
239
|
-
"start":
|
|
239
|
+
"start": 3935,
|
|
240
240
|
"name": "<impl Default for KernelPublicInputs>::default"
|
|
241
241
|
},
|
|
242
242
|
{
|
|
243
|
-
"start":
|
|
243
|
+
"start": 4149,
|
|
244
244
|
"name": "RollupPublicInputs::new"
|
|
245
245
|
},
|
|
246
246
|
{
|
|
247
|
-
"start":
|
|
247
|
+
"start": 4231,
|
|
248
248
|
"name": "RollupPublicInputs::merge"
|
|
249
249
|
},
|
|
250
250
|
{
|
|
251
|
-
"start":
|
|
251
|
+
"start": 4560,
|
|
252
252
|
"name": "PreviousRollupData::verify"
|
|
253
253
|
},
|
|
254
254
|
{
|
|
255
|
-
"start":
|
|
255
|
+
"start": 4977,
|
|
256
256
|
"name": "PreviousRollupData::public_inputs"
|
|
257
257
|
},
|
|
258
258
|
{
|
|
259
|
-
"start":
|
|
259
|
+
"start": 5361,
|
|
260
260
|
"name": "ChonkProofData::verify"
|
|
261
261
|
}
|
|
262
262
|
]
|
|
263
263
|
}
|
|
264
264
|
},
|
|
265
265
|
"verificationKey": {
|
|
266
|
-
"bytes": "
|
|
266
|
+
"bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000000f0000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000d7dc514bb567591d252943a9999819bc2f00000000000000000000000000000000001e72c27a1ccccaeecb829dfede070000000000000000000000000000000053b640195ab82344b0edd3beed84a0872f0000000000000000000000000000000000151a9d1214520f5b5d6780205018ab0000000000000000000000000000007e402eb302acc16d0c371395b3fbfa149a00000000000000000000000000000000001a4a5806d3f9b7945f0d56a3d08209000000000000000000000000000000c0b095886bb2d075c9190f14f7c4a4fbdb00000000000000000000000000000000001404952f835787d7017470721c86dc000000000000000000000000000000d8c051e0afc23def1bcaab1318253a2a7100000000000000000000000000000000001f716fc9795aba53e1840ab3b9a62b0000000000000000000000000000002a7aa84474834cc43a8ab71bfc78b4663200000000000000000000000000000000000c1946ccaffca0fa64c48711231173000000000000000000000000000000f0a369e3a63ec49f99a98690abca782f0800000000000000000000000000000000000228eb83767e0135ed4bc96a40d0ec000000000000000000000000000000e8eee1dd68346fed861602b29d39a6b1780000000000000000000000000000000000161b787ee3a1876ed244a6d7a50d020000000000000000000000000000006c53b68ec6fd933d98d16f553cb022482800000000000000000000000000000000001f35680d23fce59779c5f2c456e9e5000000000000000000000000000000bbbb7d80fe35dea3f229079f0033c74dd700000000000000000000000000000000000547200ffd428144b9aa603fd6e849000000000000000000000000000000f472fd6715a63e57c2199cbe2a46910dc40000000000000000000000000000000000115a8cb56959cfc6e1974ba3c28eca00000000000000000000000000000060b79c8f613e48341e9e5f1d45bd0e9763000000000000000000000000000000000015d0ad84e57564a72792bba51fcbb7000000000000000000000000000000759a532f9125622d9a671fe1e7f73432d00000000000000000000000000000000000249d1353c3b387b45b73015df44f4f0000000000000000000000000000003cea00fcedd40c6deb1a3c8754925480cf00000000000000000000000000000000000e3b48d9f27dde604c15657844e2a200000000000000000000000000000083d888387219028cb4c98a43baf64ff20400000000000000000000000000000000002d3591f419ee7f459a40b37f97933a000000000000000000000000000000a9f170a408f216d2deee0afe4155bd2ccc000000000000000000000000000000000026c885fb46e8b2267939014cfbfed40000000000000000000000000000001eee81b23a887f299049b14c11e98460d600000000000000000000000000000000002a56ce41f6b0be13b9c26747621b82000000000000000000000000000000d5827d6338c78656c0d12ca1aea6ef2c7c00000000000000000000000000000000001aa98f2de3ddda547d8f6de4e725de000000000000000000000000000000a0814d2f92409f804ee22a8cca69bdb7d5000000000000000000000000000000000026816af753e0cbf7db9a9923adef16000000000000000000000000000000fbb1d6997b5d23a645387ecd06c989065d00000000000000000000000000000000000f7647619d0c12abc8c3b283b3ce0500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000998e606b85c5cead84c0862da8b92c615900000000000000000000000000000000002318d5f69f5af0920ccaa0f0101b64000000000000000000000000000000926226a789de3cee48e168145cc72deeab0000000000000000000000000000000000164bc6a622bcfb7ca9a67b66ce2cd70000000000000000000000000000009839c8e671930d465cc97c57b3f3d8b23f0000000000000000000000000000000000240f3cc384fc18ad9ca1aba06c27bb00000000000000000000000000000015c6efd32b83911c1f56120e7445de84b4000000000000000000000000000000000015acb48253c5fd45111cfd63a6bd58000000000000000000000000000000339896d31527272d9d18c5e683ef6f5402000000000000000000000000000000000020aec98eaae400edba53702a9f7e68000000000000000000000000000000bdd2e2f58ae6eab7ef8c175a368e565b26000000000000000000000000000000000018cb6bf3e6c9035b9054032f9dbe5f0000000000000000000000000000002af2a92e9e02a14c57d3623e504405ab4f00000000000000000000000000000000002230196fc06f6157c5950e20d07ce50000000000000000000000000000000e07192e8b1419e486f2abd4bf1c320c8b00000000000000000000000000000000000f6ad6670d9f1d967b83cbb2794c05000000000000000000000000000000ce8b81dad0cd3b29a9b7378d438d9c754b0000000000000000000000000000000000273f0dd725391c3db822cbb41a02df000000000000000000000000000000de9fb5ff0979b73009be642ac0addfbb38000000000000000000000000000000000012b53f5971091a5e128aa0144c10b5000000000000000000000000000000cb4d43277694667f31042613193dd3c9c00000000000000000000000000000000000293c30f17d10b8db2463cc9bf679520000000000000000000000000000001ab232688e95e7d934b3d13c4320aea08e000000000000000000000000000000000009756ab204243029fa5ba2dc43e3ee000000000000000000000000000000eb762d3d5866d9e63fe4cda2dbbe5efba900000000000000000000000000000000000d2d6841ad825cc424b640d390d6cf00000000000000000000000000000025e665eaa02643f91ac6389efde791d6c10000000000000000000000000000000000293700fb33c7c5fc3a85c4348c6144000000000000000000000000000000c6563b6749d65e5bf302f13880f8c58d8700000000000000000000000000000000000cd295ad8e754f9db07a6180d3ce730000000000000000000000000000007806a182f21c26efa1eee3ba91ed39002c0000000000000000000000000000000000121fa0f580b0535f380c4e363d010700000000000000000000000000000064e04789d9ddfb557126e1238606ab061f000000000000000000000000000000000017a3fd43b5029c64098141cfef1bac0000000000000000000000000000005c4a65da584ba18a1f8b5b8356e3be171100000000000000000000000000000000000177365a1725df1205cf52e5e5dbc600000000000000000000000000000039e7b7b895c4c37ee8edd6151cc84b654300000000000000000000000000000000002e9b54939bc79862394a4dbddfe702000000000000000000000000000000662f383a582d6c48fe6c0fa368d43644ee00000000000000000000000000000000000d62d266d727f54bdfe1c64cfa1fa10000000000000000000000000000008e6f246eb16b12878f85afe1fdbb526613000000000000000000000000000000000001ea9f8eb66a9499b6f64b66b88069000000000000000000000000000000e46fde32efe923ecd23c3ffada18dc15de000000000000000000000000000000000019aa93fd38f3d80ea43a881910661a0000000000000000000000000000000eda24800e5fbaff938a30e8195d8165d600000000000000000000000000000000001219228acf9a82f7c461c8aa889d0400000000000000000000000000000031cfedd88afc9be58b701ff357b9efcc2600000000000000000000000000000000001763e67f9f2b215dfe722220c7636a0000000000000000000000000000003b17b7eb389e61a3e6b18e952d5667d8b2000000000000000000000000000000000008b8b04a4446749cc046a6ed2e7b48000000000000000000000000000000bc8b34fd47a7ca348c6e03cde308018fa900000000000000000000000000000000001402ce3d70bd621149fc10bc806aa7",
|
|
267
267
|
"fields": [
|
|
268
268
|
"0x0000000000000000000000000000000000000000000000000000000000000015",
|
|
269
269
|
"0x000000000000000000000000000000000000000000000000000000000000000f",
|
|
270
270
|
"0x0000000000000000000000000000000000000000000000000000000000000005",
|
|
271
|
-
"
|
|
272
|
-
"
|
|
273
|
-
"
|
|
274
|
-
"
|
|
275
|
-
"
|
|
276
|
-
"
|
|
277
|
-
"
|
|
278
|
-
"
|
|
279
|
-
"
|
|
280
|
-
"
|
|
281
|
-
"
|
|
282
|
-
"
|
|
283
|
-
"
|
|
284
|
-
"
|
|
285
|
-
"
|
|
286
|
-
"
|
|
287
|
-
"
|
|
288
|
-
"
|
|
289
|
-
"
|
|
290
|
-
"
|
|
291
|
-
"
|
|
292
|
-
"
|
|
293
|
-
"
|
|
294
|
-
"
|
|
271
|
+
"0x000000000000000000000000000000d7dc514bb567591d252943a9999819bc2f",
|
|
272
|
+
"0x00000000000000000000000000000000001e72c27a1ccccaeecb829dfede0700",
|
|
273
|
+
"0x00000000000000000000000000000053b640195ab82344b0edd3beed84a0872f",
|
|
274
|
+
"0x0000000000000000000000000000000000151a9d1214520f5b5d6780205018ab",
|
|
275
|
+
"0x0000000000000000000000000000007e402eb302acc16d0c371395b3fbfa149a",
|
|
276
|
+
"0x00000000000000000000000000000000001a4a5806d3f9b7945f0d56a3d08209",
|
|
277
|
+
"0x000000000000000000000000000000c0b095886bb2d075c9190f14f7c4a4fbdb",
|
|
278
|
+
"0x00000000000000000000000000000000001404952f835787d7017470721c86dc",
|
|
279
|
+
"0x000000000000000000000000000000d8c051e0afc23def1bcaab1318253a2a71",
|
|
280
|
+
"0x00000000000000000000000000000000001f716fc9795aba53e1840ab3b9a62b",
|
|
281
|
+
"0x0000000000000000000000000000002a7aa84474834cc43a8ab71bfc78b46632",
|
|
282
|
+
"0x00000000000000000000000000000000000c1946ccaffca0fa64c48711231173",
|
|
283
|
+
"0x000000000000000000000000000000f0a369e3a63ec49f99a98690abca782f08",
|
|
284
|
+
"0x00000000000000000000000000000000000228eb83767e0135ed4bc96a40d0ec",
|
|
285
|
+
"0x000000000000000000000000000000e8eee1dd68346fed861602b29d39a6b178",
|
|
286
|
+
"0x0000000000000000000000000000000000161b787ee3a1876ed244a6d7a50d02",
|
|
287
|
+
"0x0000000000000000000000000000006c53b68ec6fd933d98d16f553cb0224828",
|
|
288
|
+
"0x00000000000000000000000000000000001f35680d23fce59779c5f2c456e9e5",
|
|
289
|
+
"0x000000000000000000000000000000bbbb7d80fe35dea3f229079f0033c74dd7",
|
|
290
|
+
"0x00000000000000000000000000000000000547200ffd428144b9aa603fd6e849",
|
|
291
|
+
"0x000000000000000000000000000000f472fd6715a63e57c2199cbe2a46910dc4",
|
|
292
|
+
"0x0000000000000000000000000000000000115a8cb56959cfc6e1974ba3c28eca",
|
|
293
|
+
"0x00000000000000000000000000000060b79c8f613e48341e9e5f1d45bd0e9763",
|
|
294
|
+
"0x000000000000000000000000000000000015d0ad84e57564a72792bba51fcbb7",
|
|
295
|
+
"0x000000000000000000000000000000759a532f9125622d9a671fe1e7f73432d0",
|
|
296
|
+
"0x0000000000000000000000000000000000249d1353c3b387b45b73015df44f4f",
|
|
297
|
+
"0x0000000000000000000000000000003cea00fcedd40c6deb1a3c8754925480cf",
|
|
298
|
+
"0x00000000000000000000000000000000000e3b48d9f27dde604c15657844e2a2",
|
|
299
|
+
"0x00000000000000000000000000000083d888387219028cb4c98a43baf64ff204",
|
|
300
|
+
"0x00000000000000000000000000000000002d3591f419ee7f459a40b37f97933a",
|
|
301
|
+
"0x000000000000000000000000000000a9f170a408f216d2deee0afe4155bd2ccc",
|
|
302
|
+
"0x000000000000000000000000000000000026c885fb46e8b2267939014cfbfed4",
|
|
303
|
+
"0x0000000000000000000000000000001eee81b23a887f299049b14c11e98460d6",
|
|
304
|
+
"0x00000000000000000000000000000000002a56ce41f6b0be13b9c26747621b82",
|
|
305
|
+
"0x000000000000000000000000000000d5827d6338c78656c0d12ca1aea6ef2c7c",
|
|
306
|
+
"0x00000000000000000000000000000000001aa98f2de3ddda547d8f6de4e725de",
|
|
307
|
+
"0x000000000000000000000000000000a0814d2f92409f804ee22a8cca69bdb7d5",
|
|
308
|
+
"0x000000000000000000000000000000000026816af753e0cbf7db9a9923adef16",
|
|
309
|
+
"0x000000000000000000000000000000fbb1d6997b5d23a645387ecd06c989065d",
|
|
310
|
+
"0x00000000000000000000000000000000000f7647619d0c12abc8c3b283b3ce05",
|
|
295
311
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
296
312
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
297
313
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
298
314
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
299
|
-
"0x00000000000000000000000000000058df0c41bd9c361ebaf71bef4b8de8da42",
|
|
300
|
-
"0x00000000000000000000000000000000001eacf573ce0339ffcdc02693374924",
|
|
301
|
-
"0x000000000000000000000000000000a3b803af5501cfa065e0ee0776e851f973",
|
|
302
|
-
"0x00000000000000000000000000000000002a0b6d3c33b1426c6411f6b87c8ee0",
|
|
303
|
-
"0x000000000000000000000000000000da67c540f18aacd7520360bc4eeda88114",
|
|
304
|
-
"0x000000000000000000000000000000000025aa46f503791cfefbfca096fad1fe",
|
|
305
|
-
"0x000000000000000000000000000000f90804c4ad7f26cdbc5532cb0e6865be4e",
|
|
306
|
-
"0x00000000000000000000000000000000000afd40f894e766ac6c537173bc7a81",
|
|
307
|
-
"0x0000000000000000000000000000008a2531d6a59885092c9e81f2ad273420ea",
|
|
308
|
-
"0x000000000000000000000000000000000025405ce68708edecf637008517e0a0",
|
|
309
|
-
"0x000000000000000000000000000000b1b9b840201304e64967d8de58b304c0db",
|
|
310
|
-
"0x00000000000000000000000000000000000952bb3e49a8c348c815a1633a02e2",
|
|
311
|
-
"0x0000000000000000000000000000005ad83d03212c7ff42b4069c98707af30c7",
|
|
312
|
-
"0x000000000000000000000000000000000003970556555aa12bded6f7b283caec",
|
|
313
|
-
"0x000000000000000000000000000000f649717b3c8a5a5c88321a021fb2d0b487",
|
|
314
|
-
"0x00000000000000000000000000000000000a435196519a5fb212ffa067e91ea5",
|
|
315
|
-
"0x00000000000000000000000000000075a3b7d8683f1df2adf60d4ced450a295c",
|
|
316
|
-
"0x000000000000000000000000000000000009bc43bb04d8b07aa769496b28d984",
|
|
317
|
-
"0x00000000000000000000000000000090f66e264573a1e4008d1c58a4e9cc075d",
|
|
318
|
-
"0x000000000000000000000000000000000002d6ab39d0715211ec12b0504e6a48",
|
|
319
|
-
"0x0000000000000000000000000000001cf4f4335cd4f26ba205c3ddd8a8ab5960",
|
|
320
|
-
"0x000000000000000000000000000000000006b1903a58c1458ff8f3d22f98d504",
|
|
321
|
-
"0x0000000000000000000000000000009c77afb61b59e913b123067c4c892fe7ff",
|
|
322
|
-
"0x000000000000000000000000000000000003ccb06408b1c89b093c6751f0631d",
|
|
323
|
-
"0x000000000000000000000000000000e6fb50f843128668472fc5209271e5d0c8",
|
|
324
|
-
"0x00000000000000000000000000000000001f656036b5519d454c628119f9a0d8",
|
|
325
|
-
"0x0000000000000000000000000000008e55b9eb3552669b1e7f14f68a9f644b87",
|
|
326
|
-
"0x000000000000000000000000000000000029f7c32eb06095725af465d01adbc4",
|
|
327
|
-
"0x000000000000000000000000000000bfe2f538c7d7883b50b1303d998c95e08b",
|
|
328
|
-
"0x000000000000000000000000000000000006c4fce29a7af4e0e29802f8e383d6",
|
|
329
|
-
"0x000000000000000000000000000000c5a0e760a776bc8e3325098c5dc05e9064",
|
|
330
|
-
"0x0000000000000000000000000000000000282692cc13b2e773bd96a1500ee38f",
|
|
331
|
-
"0x00000000000000000000000000000064a7482e593c741d34e747143732d68294",
|
|
332
|
-
"0x00000000000000000000000000000000001c6c8855580793d1ec57a39ce9ec75",
|
|
333
|
-
"0x0000000000000000000000000000000af0228102c35bdd7852e791affc080bba",
|
|
334
|
-
"0x000000000000000000000000000000000026faaa2ad05efb3a570cd5dd586aa1",
|
|
335
|
-
"0x0000000000000000000000000000000e3a28eb274a7579e8d00241b7763f8ef0",
|
|
336
|
-
"0x00000000000000000000000000000000002532cbf97f2f27d17f9d0631cf0787",
|
|
337
|
-
"0x00000000000000000000000000000062f08144fa5acb31276e5505705e58ab26",
|
|
338
|
-
"0x00000000000000000000000000000000002f66aa599c819748fc50442f761a49",
|
|
339
|
-
"0x0000000000000000000000000000002a6be8ea9084ff958cc223a1bb1a78ba7d",
|
|
340
|
-
"0x00000000000000000000000000000000000933dcc32ab6463446812c8e999e05",
|
|
341
|
-
"0x0000000000000000000000000000002f3e0d1311d56124109c05c57d29458c16",
|
|
342
|
-
"0x00000000000000000000000000000000000b7b0e5070f44ce5ae7d59a86b0e80",
|
|
343
|
-
"0x000000000000000000000000000000f4c524d4763b5bca40549bf3420330b614",
|
|
344
|
-
"0x000000000000000000000000000000000003116cb524ac997893438212c83a02",
|
|
345
|
-
"0x0000000000000000000000000000004be1dd7d002a7c7c347025f6b4ed901f7e",
|
|
346
|
-
"0x00000000000000000000000000000000002fed9b630b239886378b3c0dc6f238",
|
|
347
|
-
"0x0000000000000000000000000000000093cdf2b25e12a009e30d11eb4d7ba357",
|
|
348
|
-
"0x000000000000000000000000000000000006896072fc8ebffc559aab0c0d2aba",
|
|
349
|
-
"0x0000000000000000000000000000006689a36168a9bac84b8ae5ba0971504ab8",
|
|
350
|
-
"0x00000000000000000000000000000000001d9b6e5cbde4d5f95471b14fe9d130",
|
|
351
|
-
"0x000000000000000000000000000000629d21881b71110a4b7c15be1d407a5980",
|
|
352
|
-
"0x00000000000000000000000000000000001222f49e27b486113bc8d6101ca447",
|
|
353
|
-
"0x000000000000000000000000000000e44044b378ff08bbb580ad221f6605d92c",
|
|
354
|
-
"0x0000000000000000000000000000000000143c6a33a1b84d69a000b5f77e7184",
|
|
355
|
-
"0x0000000000000000000000000000001a150f68f56aef4ac2e8b07ed29897c097",
|
|
356
|
-
"0x00000000000000000000000000000000002982936980903c39c10dae40db8545",
|
|
357
|
-
"0x0000000000000000000000000000005b82c16516ead2dc10bfe9231edbf767d1",
|
|
358
|
-
"0x00000000000000000000000000000000002505be6d3228a84bcd2283fdabeec3",
|
|
359
315
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
360
316
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
361
317
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
@@ -372,16 +328,60 @@
|
|
|
372
328
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
373
329
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
374
330
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
375
|
-
"
|
|
376
|
-
"
|
|
377
|
-
"
|
|
378
|
-
"
|
|
379
|
-
"
|
|
380
|
-
"
|
|
381
|
-
"
|
|
382
|
-
"
|
|
331
|
+
"0x000000000000000000000000000000998e606b85c5cead84c0862da8b92c6159",
|
|
332
|
+
"0x00000000000000000000000000000000002318d5f69f5af0920ccaa0f0101b64",
|
|
333
|
+
"0x000000000000000000000000000000926226a789de3cee48e168145cc72deeab",
|
|
334
|
+
"0x0000000000000000000000000000000000164bc6a622bcfb7ca9a67b66ce2cd7",
|
|
335
|
+
"0x0000000000000000000000000000009839c8e671930d465cc97c57b3f3d8b23f",
|
|
336
|
+
"0x0000000000000000000000000000000000240f3cc384fc18ad9ca1aba06c27bb",
|
|
337
|
+
"0x00000000000000000000000000000015c6efd32b83911c1f56120e7445de84b4",
|
|
338
|
+
"0x000000000000000000000000000000000015acb48253c5fd45111cfd63a6bd58",
|
|
339
|
+
"0x000000000000000000000000000000339896d31527272d9d18c5e683ef6f5402",
|
|
340
|
+
"0x000000000000000000000000000000000020aec98eaae400edba53702a9f7e68",
|
|
341
|
+
"0x000000000000000000000000000000bdd2e2f58ae6eab7ef8c175a368e565b26",
|
|
342
|
+
"0x000000000000000000000000000000000018cb6bf3e6c9035b9054032f9dbe5f",
|
|
343
|
+
"0x0000000000000000000000000000002af2a92e9e02a14c57d3623e504405ab4f",
|
|
344
|
+
"0x00000000000000000000000000000000002230196fc06f6157c5950e20d07ce5",
|
|
345
|
+
"0x0000000000000000000000000000000e07192e8b1419e486f2abd4bf1c320c8b",
|
|
346
|
+
"0x00000000000000000000000000000000000f6ad6670d9f1d967b83cbb2794c05",
|
|
347
|
+
"0x000000000000000000000000000000ce8b81dad0cd3b29a9b7378d438d9c754b",
|
|
348
|
+
"0x0000000000000000000000000000000000273f0dd725391c3db822cbb41a02df",
|
|
349
|
+
"0x000000000000000000000000000000de9fb5ff0979b73009be642ac0addfbb38",
|
|
350
|
+
"0x000000000000000000000000000000000012b53f5971091a5e128aa0144c10b5",
|
|
351
|
+
"0x000000000000000000000000000000cb4d43277694667f31042613193dd3c9c0",
|
|
352
|
+
"0x0000000000000000000000000000000000293c30f17d10b8db2463cc9bf67952",
|
|
353
|
+
"0x0000000000000000000000000000001ab232688e95e7d934b3d13c4320aea08e",
|
|
354
|
+
"0x000000000000000000000000000000000009756ab204243029fa5ba2dc43e3ee",
|
|
355
|
+
"0x000000000000000000000000000000eb762d3d5866d9e63fe4cda2dbbe5efba9",
|
|
356
|
+
"0x00000000000000000000000000000000000d2d6841ad825cc424b640d390d6cf",
|
|
357
|
+
"0x00000000000000000000000000000025e665eaa02643f91ac6389efde791d6c1",
|
|
358
|
+
"0x0000000000000000000000000000000000293700fb33c7c5fc3a85c4348c6144",
|
|
359
|
+
"0x000000000000000000000000000000c6563b6749d65e5bf302f13880f8c58d87",
|
|
360
|
+
"0x00000000000000000000000000000000000cd295ad8e754f9db07a6180d3ce73",
|
|
361
|
+
"0x0000000000000000000000000000007806a182f21c26efa1eee3ba91ed39002c",
|
|
362
|
+
"0x0000000000000000000000000000000000121fa0f580b0535f380c4e363d0107",
|
|
363
|
+
"0x00000000000000000000000000000064e04789d9ddfb557126e1238606ab061f",
|
|
364
|
+
"0x000000000000000000000000000000000017a3fd43b5029c64098141cfef1bac",
|
|
365
|
+
"0x0000000000000000000000000000005c4a65da584ba18a1f8b5b8356e3be1711",
|
|
366
|
+
"0x00000000000000000000000000000000000177365a1725df1205cf52e5e5dbc6",
|
|
367
|
+
"0x00000000000000000000000000000039e7b7b895c4c37ee8edd6151cc84b6543",
|
|
368
|
+
"0x00000000000000000000000000000000002e9b54939bc79862394a4dbddfe702",
|
|
369
|
+
"0x000000000000000000000000000000662f383a582d6c48fe6c0fa368d43644ee",
|
|
370
|
+
"0x00000000000000000000000000000000000d62d266d727f54bdfe1c64cfa1fa1",
|
|
371
|
+
"0x0000000000000000000000000000008e6f246eb16b12878f85afe1fdbb526613",
|
|
372
|
+
"0x000000000000000000000000000000000001ea9f8eb66a9499b6f64b66b88069",
|
|
373
|
+
"0x000000000000000000000000000000e46fde32efe923ecd23c3ffada18dc15de",
|
|
374
|
+
"0x000000000000000000000000000000000019aa93fd38f3d80ea43a881910661a",
|
|
375
|
+
"0x0000000000000000000000000000000eda24800e5fbaff938a30e8195d8165d6",
|
|
376
|
+
"0x00000000000000000000000000000000001219228acf9a82f7c461c8aa889d04",
|
|
377
|
+
"0x00000000000000000000000000000031cfedd88afc9be58b701ff357b9efcc26",
|
|
378
|
+
"0x00000000000000000000000000000000001763e67f9f2b215dfe722220c7636a",
|
|
379
|
+
"0x0000000000000000000000000000003b17b7eb389e61a3e6b18e952d5667d8b2",
|
|
380
|
+
"0x000000000000000000000000000000000008b8b04a4446749cc046a6ed2e7b48",
|
|
381
|
+
"0x000000000000000000000000000000bc8b34fd47a7ca348c6e03cde308018fa9",
|
|
382
|
+
"0x00000000000000000000000000000000001402ce3d70bd621149fc10bc806aa7"
|
|
383
383
|
],
|
|
384
|
-
"hash": "
|
|
384
|
+
"hash": "0f97ddc87b8f81cd3baecabf1a453c7cf0492a2ee89368d74efd23028b1a41a8"
|
|
385
385
|
},
|
|
386
|
-
"aztec_version": "5.0.0
|
|
386
|
+
"aztec_version": "5.0.0"
|
|
387
387
|
}
|
package/dest/prove_native.d.ts
CHANGED
|
@@ -12,4 +12,4 @@ export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, _workingDir
|
|
|
12
12
|
proof: Fr[];
|
|
13
13
|
publicInputs: AvmCircuitPublicInputs;
|
|
14
14
|
}>;
|
|
15
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
15
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFFTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQU03RCx3QkFBc0IsMEJBQTBCLENBQzlDLGFBQWEsRUFBRSxVQUFVLEVBQUUsRUFDM0IsT0FBTyxFQUFFLFVBQVUsR0FDbEIsT0FBTyxDQUFDLGNBQWMsQ0FBQyxPQUFPLGtCQUFrQixDQUFDLENBQUMsQ0FlcEQ7QUFxREQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBZ0IsZUFBZSxDQUM3QixJQUFJLEVBQUUsTUFBTSxFQUNaLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLGdCQUFnQixFQUFFLE1BQU0sRUFDeEIsT0FBTyxFQUFFLG1CQUFtQixFQUM1QixPQUFPLEVBQUUsVUFBVSxFQUNuQixNQUFNLEVBQUUsTUFBTSxtRkFZZjtBQUVELGtEQUFrRDtBQUNsRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsaUJBQWlCLEVBQUUsTUFBTSxFQUN6QixNQUFNLEVBQUUsTUFBTSxHQUNiLE9BQU8sQ0FBQztJQUNULEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNaLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztDQUN0QyxDQUFDLENBaUNEIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,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;AAM7D,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AAqDD,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,kDAAkD;AAClD,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IACT,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,
|
|
1
|
+
{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,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;AAM7D,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AAqDD,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,kDAAkD;AAClD,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IACT,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAiCD"}
|
package/dest/prove_native.js
CHANGED
|
@@ -64,7 +64,7 @@ function _ts_dispose_resources(env) {
|
|
|
64
64
|
})(env);
|
|
65
65
|
}
|
|
66
66
|
import { BBJsFactory, constructRecursiveProofFromBuffers } from '@aztec/bb-prover';
|
|
67
|
-
import {
|
|
67
|
+
import { AVM_V2_PROOF_LENGTH_IN_FIELDS, CHONK_PROOF_LENGTH, HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
|
|
68
68
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
69
69
|
import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
70
70
|
import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
|
|
@@ -161,11 +161,8 @@ export function proveKeccakHonk(name, pathToBB, workingDirectory, circuit, witne
|
|
|
161
161
|
}
|
|
162
162
|
// Convert Uint8Array field elements → Fr[]
|
|
163
163
|
const proof = proofFields.map((f)=>Fr.fromBuffer(Buffer.from(f)));
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
// TODO(#13390): Revive a non-padded AVM proof
|
|
167
|
-
while(proof.length < AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED){
|
|
168
|
-
proof.push(new Fr(0));
|
|
164
|
+
if (proof.length !== AVM_V2_PROOF_LENGTH_IN_FIELDS) {
|
|
165
|
+
throw new Error(`AVM V2 proof has ${proof.length} fields, expected exactly ${AVM_V2_PROOF_LENGTH_IN_FIELDS}.`);
|
|
169
166
|
}
|
|
170
167
|
// Explicit verify pass against the serialized public inputs (matches the legacy binary flow).
|
|
171
168
|
const piBuffer = avmCircuitInputs.publicInputs.serializeWithMessagePack();
|
package/dest/types/index.d.ts
CHANGED
|
@@ -28,8 +28,8 @@ export type PrivateKernelPublicInputs = {
|
|
|
28
28
|
};
|
|
29
29
|
export type ChonkProofData = {
|
|
30
30
|
public_inputs: KernelPublicInputs;
|
|
31
|
-
proof: FixedLengthArray<Field,
|
|
32
|
-
vk_data: VerificationKey<
|
|
31
|
+
proof: FixedLengthArray<Field, 1270>;
|
|
32
|
+
vk_data: VerificationKey<115>;
|
|
33
33
|
};
|
|
34
34
|
export type AvmCircuitPublicInputs = {
|
|
35
35
|
global_variables: GlobalVariables;
|
|
@@ -168,45 +168,45 @@ export type AppReaderReturnType = AppPublicInputs;
|
|
|
168
168
|
export declare function AppReader(commitments_to_read: FixedLengthArray<Field, 2>, AppReader_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<AppPublicInputs>;
|
|
169
169
|
export type MockHidingInputType = {
|
|
170
170
|
prev_kernel_public_inputs: KernelPublicInputs;
|
|
171
|
-
kernel_vk: VerificationKey<
|
|
171
|
+
kernel_vk: VerificationKey<163>;
|
|
172
172
|
};
|
|
173
173
|
export type MockHidingReturnType = KernelPublicInputs;
|
|
174
|
-
export declare function MockHiding(prev_kernel_public_inputs: KernelPublicInputs, kernel_vk: VerificationKey<
|
|
174
|
+
export declare function MockHiding(prev_kernel_public_inputs: KernelPublicInputs, kernel_vk: VerificationKey<163>, MockHiding_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
|
|
175
175
|
export type MockPrivateKernelInitInputType = {
|
|
176
176
|
tx: TxRequest;
|
|
177
177
|
app_inputs: AppPublicInputs;
|
|
178
|
-
app_vk: VerificationKey<
|
|
178
|
+
app_vk: VerificationKey<163>;
|
|
179
179
|
};
|
|
180
180
|
export type MockPrivateKernelInitReturnType = PrivateKernelPublicInputs;
|
|
181
|
-
export declare function MockPrivateKernelInit(tx: TxRequest, app_inputs: AppPublicInputs, app_vk: VerificationKey<
|
|
181
|
+
export declare function MockPrivateKernelInit(tx: TxRequest, app_inputs: AppPublicInputs, app_vk: VerificationKey<163>, MockPrivateKernelInit_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs>;
|
|
182
182
|
export type MockPrivateKernelInnerInputType = {
|
|
183
183
|
prev_kernel_public_inputs: PrivateKernelPublicInputs;
|
|
184
|
-
kernel_vk: VerificationKey<
|
|
184
|
+
kernel_vk: VerificationKey<163>;
|
|
185
185
|
app_inputs: AppPublicInputs;
|
|
186
|
-
app_vk: VerificationKey<
|
|
186
|
+
app_vk: VerificationKey<163>;
|
|
187
187
|
};
|
|
188
188
|
export type MockPrivateKernelInnerReturnType = PrivateKernelPublicInputs;
|
|
189
|
-
export declare function MockPrivateKernelInner(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<
|
|
189
|
+
export declare function MockPrivateKernelInner(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, app_inputs: AppPublicInputs, app_vk: VerificationKey<163>, MockPrivateKernelInner_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs>;
|
|
190
190
|
export type MockPrivateKernelResetInputType = {
|
|
191
191
|
prev_kernel_public_inputs: PrivateKernelPublicInputs;
|
|
192
|
-
kernel_vk: VerificationKey<
|
|
192
|
+
kernel_vk: VerificationKey<163>;
|
|
193
193
|
commitment_read_hints: FixedLengthArray<u32, 4>;
|
|
194
194
|
};
|
|
195
195
|
export type MockPrivateKernelResetReturnType = PrivateKernelPublicInputs;
|
|
196
|
-
export declare function MockPrivateKernelReset(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<
|
|
196
|
+
export declare function MockPrivateKernelReset(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, commitment_read_hints: FixedLengthArray<u32, 4>, MockPrivateKernelReset_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs>;
|
|
197
197
|
export type MockPrivateKernelTailInputType = {
|
|
198
198
|
prev_kernel_public_inputs: PrivateKernelPublicInputs;
|
|
199
|
-
kernel_vk: VerificationKey<
|
|
199
|
+
kernel_vk: VerificationKey<163>;
|
|
200
200
|
};
|
|
201
201
|
export type MockPrivateKernelTailReturnType = KernelPublicInputs;
|
|
202
|
-
export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<
|
|
202
|
+
export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
|
|
203
203
|
export type MockRollupTxBasePublicInputType = {
|
|
204
204
|
chonk_proof_data: ChonkProofData;
|
|
205
|
-
proof: FixedLengthArray<Field,
|
|
205
|
+
proof: FixedLengthArray<Field, 15516>;
|
|
206
206
|
public_inputs: AvmCircuitPublicInputs;
|
|
207
207
|
};
|
|
208
208
|
export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
|
|
209
|
-
export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field,
|
|
209
|
+
export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 15516>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
210
210
|
export type MockRollupTxBasePrivateInputType = {
|
|
211
211
|
chonk_proof_data: ChonkProofData;
|
|
212
212
|
};
|
package/dest/witgen.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH,
|
|
1
|
+
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
4
4
|
import type { RecursiveProof } from '@aztec/stdlib/proofs';
|
|
@@ -77,10 +77,10 @@ export declare function witnessGenMockRollupTxMergeCircuit(args: MockRollupTxMer
|
|
|
77
77
|
export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
78
78
|
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[Uint8Array[], Uint8Array[], KernelPublicInputs, Uint8Array[]]>;
|
|
79
79
|
export declare function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<N>): FixedLengthArray<string, N>;
|
|
80
|
-
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof
|
|
80
|
+
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>;
|
|
81
81
|
export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
|
|
82
82
|
key: FixedLengthArray<string, N>;
|
|
83
83
|
hash: string;
|
|
84
84
|
};
|
|
85
85
|
export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH>;
|
|
86
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
86
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxnQ0FBZ0MsRUFDaEMsNkJBQTZCLEVBQzdCLHdCQUF3QixFQUN6QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBSzVELE9BQU8scUJBQXFCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3hGLE9BQU8sb0JBQW9CLE1BQU0sOEJBQThCLENBQXVCO0FBQ3RGLE9BQU8saUJBQWlCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3BGLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8scUJBQXFCLE1BQU0sb0NBQW9DLENBQXVCO0FBQzdGLE9BQU8sOEJBQThCLE1BQU0sK0NBQStDLENBQXVCO0FBQ2pILE9BQU8sNkJBQTZCLE1BQU0sOENBQThDLENBQXVCO0FBQy9HLE9BQU8sd0JBQXdCLE1BQU0sd0NBQXdDLENBQXVCO0FBQ3BHLE9BQU8sS0FBSyxFQUNWLG1CQUFtQixFQUNuQixlQUFlLEVBQ2Ysa0JBQWtCLEVBQ2xCLGdCQUFnQixFQUNoQixrQkFBa0IsRUFDbEIsbUJBQW1CLEVBQ25CLDhCQUE4QixFQUM5QiwrQkFBK0IsRUFDL0IsK0JBQStCLEVBQy9CLDhCQUE4QixFQUM5Qix1QkFBdUIsRUFDdkIsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQiwwQkFBMEIsRUFDMUIseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUNsQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFXMUIsUUFBQSxNQUFNLGdCQUFnQjs7O0NBQThDLENBQUM7QUFDckUsUUFBQSxNQUFNLGVBQWU7OztDQUE2QyxDQUFDO0FBQ25FLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBQ25GLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBRW5GLFFBQUEsTUFBTSx5QkFBeUI7OztDQUF1RCxDQUFDO0FBQ3ZGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSxtQkFBbUI7OztDQUFpRCxDQUFDO0FBQzNFLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBR3JFLE9BQU8sRUFDTCxxQkFBcUIsRUFDckIsZ0JBQWdCLEVBQ2hCLG9CQUFvQixFQUNwQixlQUFlLEVBQ2YsNEJBQTRCLEVBQzVCLHVCQUF1QixFQUN2Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDZCQUE2QixFQUM3Qix3QkFBd0IsRUFDeEIsNEJBQTRCLEVBQzVCLGlCQUFpQixFQUNqQix1QkFBdUIsRUFDdkIsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLHdCQUF3QixFQUN4QixtQkFBbUIsRUFDbkIscUJBQXFCLEVBQ3JCLGdCQUFnQixHQUNqQixDQUFDO0FBTUYsd0JBQXNCLGFBQWEsQ0FBQyxFQUNsQyxXQUFXLEVBQ1osRUFBRTtJQUNELFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUN2QixHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsT0FBTyx3QkFBd0IsQ0FBQyxDQUFDLENBSTVEO0FBRUQsZUFBTyxNQUFNLDJCQUEyQixJQUFJLENBQUM7QUFlN0MsTUFBTSxXQUFXLGdCQUFnQixDQUFDLGdCQUFnQjtJQUNoRCxPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztDQUNoQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FPNUM7QUFFRCx3QkFBc0IsOEJBQThCLENBQ2xELElBQUksRUFBRSxrQkFBa0IsR0FDdkIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLDJCQUEyQixDQUMvQyxJQUFJLEVBQUUsbUJBQW1CLEdBQ3hCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHdDQUF3QyxDQUM1RCxJQUFJLEVBQUUsZ0NBQWdDLEdBQ3JDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLGtDQUFrQyxDQUN0RCxJQUFJLEVBQUUsMEJBQTBCLEdBQy9CLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsdUJBQXVCLEdBQzVCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHVCQUF1QixDQUUzQyxrQkFBa0IsRUFBRSxNQUFNLEVBRzFCLGlCQUFpQixFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLEVBQUUsa0JBQWtCLEVBQUUsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQXFJekU7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FFL0c7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLDZCQUE2QixDQUFDLENBSzdHO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQ3ZELEVBQUUsRUFBRSx1QkFBdUIsRUFDM0IsR0FBRyxFQUFFLENBQUMsR0FDTDtJQUNELEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDakMsSUFBSSxFQUFFLE1BQU0sQ0FBQztDQUNkLENBUUE7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLFlBQVksRUFBRSxzQkFBc0IsR0FDbkMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsQ0FNbkUifQ==
|
package/dest/witgen.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,
|
|
1
|
+
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,wBAAwB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAK5D,OAAO,qBAAqB,MAAM,+BAA+B,CAAuB;AACxF,OAAO,oBAAoB,MAAM,8BAA8B,CAAuB;AACtF,OAAO,iBAAiB,MAAM,+BAA+B,CAAuB;AACpF,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,qBAAqB,MAAM,oCAAoC,CAAuB;AAC7F,OAAO,8BAA8B,MAAM,+CAA+C,CAAuB;AACjH,OAAO,6BAA6B,MAAM,8CAA8C,CAAuB;AAC/G,OAAO,wBAAwB,MAAM,wCAAwC,CAAuB;AACpG,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,gCAAgC,EAChC,+BAA+B,EAC/B,0BAA0B,EAC1B,yBAAyB,EACzB,kBAAkB,EAClB,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAW1B,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AACrE,QAAA,MAAM,eAAe;;;CAA6C,CAAC;AACnE,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AACnF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AAEnF,QAAA,MAAM,yBAAyB;;;CAAuD,CAAC;AACvF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,mBAAmB;;;CAAiD,CAAC;AAC3E,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AAGrE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,EACxB,6BAA6B,EAC7B,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,yBAAyB,EACzB,6BAA6B,EAC7B,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,CAAC;AAMF,wBAAsB,aAAa,CAAC,EAClC,WAAW,EACZ,EAAE;IACD,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAI5D;AAED,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAe7C,MAAM,WAAW,gBAAgB,CAAC,gBAAgB;IAChD,OAAO,EAAE,UAAU,CAAC;IACpB,YAAY,EAAE,gBAAgB,CAAC;CAChC;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,wCAAwC,CAC5D,IAAI,EAAE,gCAAgC,GACrC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,kCAAkC,CACtD,IAAI,EAAE,0BAA0B,GAC/B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,uBAAuB,CAE3C,kBAAkB,EAAE,MAAM,EAG1B,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAqIzE;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAE/G;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,6BAA6B,CAAC,CAK7G;AAED,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,EAAE,EAAE,uBAAuB,EAC3B,GAAG,EAAE,CAAC,GACL;IACD,GAAG,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;CACd,CAQA;AAED,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,sBAAsB,GACnC,gBAAgB,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC,CAMnE"}
|
package/dest/witgen.js
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH,
|
|
1
|
+
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
@@ -310,7 +310,7 @@ export function mapRecursiveProofToNoir(proof) {
|
|
|
310
310
|
return proof.proof.map((field)=>field.toString());
|
|
311
311
|
}
|
|
312
312
|
export function mapAvmProofToNoir(proof) {
|
|
313
|
-
if (proof.length !=
|
|
313
|
+
if (proof.length != AVM_V2_PROOF_LENGTH_IN_FIELDS) {
|
|
314
314
|
throw new Error('Invalid number of AVM proof fields');
|
|
315
315
|
}
|
|
316
316
|
return proof.map((field)=>field.toString());
|