@aztec/ivc-integration 3.0.0-devnet.2 → 3.0.0-manual.20251030
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 +1 -1
- package/artifacts/app_reader.json +1 -1
- package/artifacts/mock_hiding.json +2 -2
- package/artifacts/mock_private_kernel_init.json +3 -3
- package/artifacts/mock_private_kernel_inner.json +4 -4
- package/artifacts/mock_private_kernel_reset.json +2 -2
- package/artifacts/mock_private_kernel_tail.json +3 -3
- package/artifacts/mock_rollup_root.json +3 -3
- package/artifacts/mock_rollup_tx_base_private.json +6 -6
- package/artifacts/mock_rollup_tx_base_public.json +12 -12
- package/artifacts/mock_rollup_tx_merge.json +3 -3
- package/dest/prove_native.d.ts +2 -2
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +5 -5
- package/dest/prove_wasm.d.ts +2 -2
- package/dest/prove_wasm.d.ts.map +1 -1
- package/dest/prove_wasm.js +3 -3
- package/dest/types/index.d.ts +5 -5
- package/dest/types/index.d.ts.map +1 -1
- package/dest/types/index.js +4 -4
- package/package.json +16 -16
- package/src/prove_native.ts +6 -12
- package/src/prove_wasm.ts +4 -4
- package/src/types/index.ts +7 -7
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"noir_version": "1.0.0-beta.14+82ec52a8c755d30ce655a2005834186a4acfa0c7-aztec",
|
|
3
|
-
"hash": "
|
|
3
|
+
"hash": "12292007849378193588",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -153,7 +153,7 @@
|
|
|
153
153
|
}
|
|
154
154
|
},
|
|
155
155
|
"bytecode": "H4sIAAAAAAAA/7XbZbQVdL6H8X0OHLobDEAMMEHsREJRuru7u7u7u1O6u7u7u7u78/KwH5fgvXdd74vZazGfGcdxjnGM3/f5hwSCn/BarVSl6knCAoFI/ueQFz/CKZ9k//hpXUODP+3Vz6s/L5/UZbPXPplmZKoFOTPNa9WqYLGUaS9kbrSwZq8MJ+/2ufHiv08c9t9/Gf/LJ4RfdtQXP+q88v+VKDRoYk2ib+ib+pa+rUk1mSbXdzSFvqvv6fv6gabUVPqhfqQf6yf6qX6mqTWNfq5p9Qv9Ur/Sr/Ub/Va/0+/1B/1Rf9KfNZ3+ouk1g2bUTPqr/qaZ9Xf9Q7NoVs2m2TWH5tRcmlvzaF7Np/m1gBbUQlpYi2hRLabFtYSW1FJaWstoWS2n5bWCVtRKWlmraFWtptW1htbUWlpb62hdraf1tYE21EbaWJtoU22mzbWFttRW2lrbaFttp+21g3bUTtr5hQlD//7+/OtHaOD1P3eE1zCNoBE1kkbWKBpVo2l0jaExNZbG1jgaV+NpfE2gCTWRJtYk+oa+qW/p25pUk2lyfUdT6Lv6nr6vH2hKTaUf6kf6sX6in+pnmlrT6OeaVr/QL/Ur/Vq/0W/1O/1ef9Af9Sf9WdPpL5peM2hGzaS/6m+aWX/XPzSLZtVsml1zaE7Npbk1j+bVfJpfC2hBLaSFtYgW1WJaXEtoSS2lpbWMltVyWl4raEWtpJW1ilbValpda2hNraW1tY7W1XpaXxtoQ22kjbWJNtVm2lxbaEttpa21jbbVdtpeO2hH7aSdtYt21W7aXXtoT+2lvbWP9tV+2l8H6EAdpIN1iA7VYTpcR+hIHaWjdYyO1T91nI7XCTpRJ+lknaJTdZpO1xk6U2fpbJ2jc3WeztcFulAX6WJdokt1mS7XFbpSV+lqXaNrdZ2u1w26UTfpZt2iW3WbbtcdulN36W7do3t1n+7XA3pQD+lhPaJH9Zge1xN6Uk/paT2jZ/WcntcLelEv6WW9olf1ml7XG3pTb+ltvaN39Z7e1wf6UB/pY32iT/WZPlf+BUM0VMNpeA3TCBpRI2lkjaJRNZpG1xgaU2NpbI2jcTWextcEmlATaWJNom/om/qWvq1JNZkm13c0hb6r7+n7+oGm1FT6oX6kH+sn+ql+pqk1jX6uafUL/VK/0q/1G/1Wv9Pv9Qf9UX/SnzWd/qLpNYNm1Ez6q/6mmfV3/UOzaFbNptk1h+bUXJpb82hezaf5tYAW1EJaWItoUS2mxbWEltRSWlrLaFktp+W1glbUSlpZq2hVrabVtYbW1FpaW+toXa2n9bWBNtRG2libaFNtps21hbbUVtpa22hbbafttYN21E7aWbtoV+2m3bWH9tRe2lv7aF/tp/11gA7UQTpYh+hQHabDdYSO1FE6WsfoWP1Tx+l4naATdZJO1ik6VafpdJ2hM3WWztY5Olfn6XxdoAt1kS7WJbpUl+lyXaErdZWu1jW6Vtfpet2gG3WTbtYtulW36XbdoTt1l+7WPbpX9+l+PaAH9ZAe1iN6VI/pcT2hJ/WUntYzelbP6Xm9oBf1kl7WK3pVr+l1vaE39Zbe1jt6V+/pfX2gD/WRPtYn+lSf6XMNeA8I0VANp+E1TCNoRI2kkTWKRtVoGl1jaEyNpbE1jsbVeBpfE2hC5fOqXUL/vlVws3z5tQRev0WODe/3tI7T8TpBJ+oknaxTdKpO0+k6Q2fqLJ2tc3SuztP5ukAX6iJdrEt0qS7T5bpCV+oqXa1rdK2u0/W6QTfqJt2sW3SrbtPtukN36i7drXt0r+7T/XpAD+ohPaxH9Kge0+N6Qk/qKT2tZ/SsntPzekEv6iW9rFf0ql7T63pDb+otva139K7e0/v6QB/qI32sT/SpPtPnGvCP+xAN1XAaXsM0gkbUSBpZo/z1faTRNLrG0JgaS2NrHI2r8TS+Jgh7/RbZze/t7tpDe2ov7a19tK/20/46QAfqIB2sQ3SoDtPhOkJH6igdrWN0rP6p43S8TtCJOkkn6xSdqtN0us7QmTpLZ+scnavzdL4u0IW6SBfrEl2qy3S5rtCVukpX6xpdq+t0vW7QjbpJN+sW3arbdLvu0J26S3frHt2r+3S/HtCDekgP6xE9qsf0uJ7Qk3pKT+sZPavn9Lxe0It6SS/rFb2q1/S63tCbektv6x29q/f0vj7Qh/pIH+sTfarP9Plff60NFzREQzWchtcwjaARNZJG1igaVaNpdI2hMTWWxtY4GlfjaXxNoAk1kSbWJPqGvqlv6duaVJNpcn1HU+i7+p6+rx9oSk2lH+pH+rF+op/qZ5pa0+jnmla/0C/1K/1av9Fv9Tv9Xn/QH/Un/VnT6S+aXjNoRs2kv+pvmll/1z80i2bVbJpdc2hOzaW5NY/m1XyaXwtoQS2khbWIFtViWlxLaEktpaW1jJbVclpeK2hFraSVtYpW1WpaXWtoTa2ltbWO1tV6Wl8baENtpI21iTbVZtpcW2hLbaWttY221XbaXjtoR+2knbWLdtVu2l17aE/tpb21j/bVftpfB+hAHaSDdYgO1WE6XEfoSB2lo3WMjtU/dZyO1wk6USfpZJ2iU3WaTtcZOlNn6Wydo3N1ns7XBbpQF+liXaJLdZku1xW6Ulfpal2ja3WdrtcNulE36Wbdolt1m27XHbpTd+lu3aN7dZ/u1wN6UA/pYT2iR/WYHtcTelJP6Wk9o2f1nJ7XC3pRL+llvaJX9Zpe1xt6U2/pbb2jd/We3tcH+lAf6WN9ok/1mT7XgP98EaKhGk7Da5hG0IgaSSNrFI2q0TS6xtCYGktjaxyNq/E0vibQhJpIE2sSfUPf1Lf0bU2qyTS5vqMp9F19T9/XDzSlptIP9SP9WD/RT/UzTa1p9HNNq1/ol/qVfq3f6Lf6nX6vP+iP+pP+rOn0F02vGTSjZtJf9TfNrL/rH5pFs2o2za45NKfm0tyaR/NqPs2vBbSgFtLCWkSLajEtriW0pJbS0lpGy2o5La8VtKJW0spaRatqNa2uNbSm1tLaWkfraj2trw20oTbSxtpEm2ozba4ttKW20tbaRttqO22vHbSjdtLO2kW7ajftrj20p/bS3tpH+2o/7a8DdKAO0sE6RIfqMB2uI3SkjtLROkb5vPz1+OtGGfb6LfLVTzhNFvhXn5D/z8/7au/5f3WdSf591/nyiwin/9P/zhPOv/46E4X9Z77ORGGvf82hft0vfje9/P1Bw0a/RrtGt0azxo2YVo1OjUaNPo02jS6NJo0ejRaNDo0Gjf6M9ozujOaM3ozWjM6Mxiypvx2SB4JNWYpAsCWjI6Mhox+jHaMboxmjF6MVoxOjEaMPow2jC6MJowejBaMDowGj/6L9ovui+aL3ovWi86Lxou9KFwh2XekDwZ4rYyDYcdFw0W/RbtFt0WzRa9Fq0WnRaNFn0WbRZdFk0WPRYtFh0WDRX9Fe0V3RXNFb0VrRWdFY0VeVDAS7qtKBYE9VNhDsqGio6Kdop+imaKbopWil6KRopOijaKPoomiiuN/TQtFB0UDRP9E+0T3RPNE70TrROdE40Te1DAS7ptaBYM/UNhDsmGiY6Jdol+iWaJbolWiV6JRolOiTaJPokmiS6JFokeiQaJDoj2iP6I5ojuiNaI3ojGiM6ItGBoJd0ehAsCcaGwh2RDRE9EO0Q3RDNEP0QrRCdEI0QvRBtEF0QTRB9EC0QHRANED0P7Q/dD80P/Q+tD50PjQ+9D0rAsGuZ1Ug2POsCQQ7Hhoe+h3aHbodmh16HVodOh0aHfoc2hy6HJocehxaHDocGhz6G9obuhuaG3obWhs6Gxob+poTgWBXcyoQ7GnOBIIdDQ0N/QztDN0MzQy9DK0MnQyNDH0M3/d0MTQx9DC0MHQwNDD0L7QvdC80L/QutC50LjQu9C1889O10LTQs9Cy0LHQsNCv0K7QrdCs0KvQqtCp0KjQp9Cm0KXQpNCj0KLQodCg0J/QntCd0JzQm9Ca0JnQmNCXJAsJdiU0JfQktCR0JDQk9CO0I3QjNCP0IrQidCI0IvQhtCF0ITQh9CC0IHQgNCD0H7QfdB80H/QetB50HjQe9B3pQoJdB00HPQctBx0HDQf9Bu0G3QbNBr0GrQadBo0GfQZtBl0GTQY9Bi0GHQYNBv0F7QXdBc0FvQWtBZ0FjQV9RcmQYFdBU0FPQUtBR0FDQT9BO0E3QTNBL0ErQSdBI0EfQRtBF0ETQQ9BC0EHQQNB/0D7QPdA80DvQOtA50DjQN/QMiTYNdA00DPQMtAx0DDQL9Au0C3QLNAr0CrQKdAo0CfQJtAl0CTQI9Ai0CHQINAf0B7QHdAc0BvQGtAZ0BjQF4wMCXYFNAX0BLQEdAQ0BPQDtAN0AzQD9AK0AnQCNAL0AbQBdAE0AfQAtAB0ADQA7P9s/+z+bP7s/Wz97Pxs/Oz7K0KCuz6bPns+Wz47Phs++z3bPbs9mz17PVs9Oz0bPfs82zy7PJs8ezxbPDs8Gzz7O9s7uzubO3s7Wzs7Oxs7+/qJkOCuzqbOns6Wzo7Ohs5+znbObs5mzl7OVs5OzkbOPs42zi7OJs4ezhbODs4Gzv7N9s3uzebN3s3Wzc7Nxs2+/XLbDg1u2uzZbNns2GzY7Nds1+zWbNbs1WzV7NRs1OzTbNPs0mzS7NFs0ezQbNDsVbxp4T0Lb1l4x8IbFt6v8HaFdyu8WeG9Cm9VeKfCGxXep/A2hXcpvEnhPQpvUXiHwhsU3p/w9oR3J7w54b0Jb014Z8IbE96X8LaEdyW8KeE9CW9JeEfCGxLej/B2hHcjvBnhvQhvRXgnwhsR3ofwNoR3IbwJ4T0Ib0F4B8IbEN5/8PaDdx+8+eC9B289eOfBGw/ed/C2g3cdvOngPQdvOXjHwRsO3m/wdoN3G7zZ4L0GbzV4p8EbDd5n8DaDdxm8yeA9Bm8xeIfBGwzeX/D2gncXvLngvQVvLXhnwRsL3lfwtoJ3Fbyp4D0Fbyl4R8EbCt5P8HaCdxO8meC9BG8leCfBGwneR/A2gncRvIngPQRvIegG+Ptmtkd2RzZH9ka2RnZGNkb2RbZFdkU2RfZEtkR2RDZE9kO2Q3ZDNkP2QrZCdkI2QvZBtkF2QTZB9kC2QHZANkD2P7Y/dj82P/Y+tj52PjY+9j22PXY9Nj32PLY8djw2PPY7tjt2OzY79jq2OnY6Njr2ObY5djk2OfY4tjh2ODY49je2N3Y3Njf2NrY2djY2NvY1tjV2NTY19jS2NHY0NjT2M7YzdjM2M/YytjJ2MjYy9jG2MXYxNjH2MLYwdjA2MPYvti92LzYv9i62LnYuNi72LbYtdi02LfYstix2LDYs9iu2K3YrNquXe1W44E7FRsU+xTbFLsUmxR7FFsUOxQbF/sT2xO7E5sTexNbEzsTGxL7EtsSuxKbEnsSWxI7EhsR+xHbEbsRmxF7EVsROxEbEPsQ2xC7EJsQexBbEDsQGxP7D9sPuw+bD3sPWw87DxsO+w7bDrsOmw57DlsOOw4bDfsN2w27DZsNew1bDTsNGwz7DNsMuwybDHsMWww7DBsP+wvbC7sLmwt7C1sLOwsbCvsK2wq7CpsKewpbCjsKGwn7CdsJuwmbCXsJWwk7CRsI+wjbCLsImwh7CFsIOwgbC/sH2we7B5sHewdbBzsHGwb7BtsGuwabBnsGWwY7BhsF+wXbBbsFmwV7BVsFOwUbBPsE2wS7BJsEewRbBDsEGwf7A9sDuwObA3sDWwM7AxsC+wLbArsCmwJ7AlsCOwIbAfsB2wG7AZsBewFbATsBGwD7ANsAuwCbAHsAWwA7ABsD9n9s/d39u/tz7ufVz5+fGz32f2z53fW763PO55XPH54bP/Z7bPXd7bvbc67nVc6fnRs99nts8d3lu8tzjucVzh+cGz/2d2zt3d27u3Nu5tXNn58bOfZ3bOnd1burc07mlc0fnhs79nNs5d3Nu5tzLuZVzJ+dGzn2c2zh3cW7i3MO5hXMH5wbO/ZvbN3dvbt7cu7l1c+fmxs19m9s2d21u2tyzuWVzx+aGzf2a2zV3a27WL+/V4YN3am7U3Ke5TXOX5ibNPZpbNHdobtDcn7k9c3fm5sy9mVszd2ZuzNyXuS1zV+amzD2ZWzJ3ZG7I3I+5HXM35mbMvZhbMXdibsTch7kNcxfmJsw9mFswd2BuwNx/uf1y9+Xmy72XWy93Xm683He57XLX5abLPZdbLndcbrjcb7ndcrflZsu9llstd1putNxnuc1yl+Umyz2WWyx3WG6w3F+5vXJ35ebKvZVbK3dWbqzcV7mtclflpso9lVsqd1RuqNxPuZ1yN+Vmyr2UWyl3Um6k3Ee5jXIX5SbKPZRbKHdQbqDcP7l9cvfk5sm9k1snd05unNw3uW1y1+SmyT2TWyZ3TG6Y3C+5XXK35GbJvZJbJXdKbpTcJ7lNcpfkJsk9klskd0hukNwfuT1yd+TmyL2RWyN3Rm6M3Be5LXJX5KbIPZFbIndEbojcD7kdcjfkZsi9kFshd0JuhHSHNIf0hrSGdIY0hvSFtIV0hTSF9IS0hHSENIT0g7SDdIM0g/SCtIJ0gjSC9IG0gXSBNIH0gLSAdIA0gPR/tH90fzR/9H60fnR+NH70fbR9dH00ffR8tHx0fDR89Hu0e3R7NHv0erR6dHo0evR5tHl0eTR59Hi0eHR4NHj0d7R3dHc0d/R2tHZ0djR29HW0dXR1NHX0dLR0dHQ0dPRztHN0czRz9HK0cnRyNHL0cbRxdHE0cfRwtHAvO7iwYP9G+0b3RvNG70brRudG40bfRttG10bTRs9Gy0bHRsNGv0a7RrdGs/ayV/vHjZFPorC//z2fCNqzwrrNdy5H3BH4x+e/AAKqjTLYPwAA",
|
|
156
|
-
"debug_symbols": "
|
|
156
|
+
"debug_symbols": "tZTfioQgFMbfxesuxv/ZqyxLWNkgiIVTC0v07nuKrOnCGIi9yfT0/fT0ec6EGlONz9L6tnuh4mtCVbDO2WfpuloPtvOwOs0ZitNyCMbAEnqLg6rXwfgBFX50LkM/2o3rR69e+3UcdIDoI0PGNzACsLXOLG9zdqgfaSlmfBNjTnc5P+txWs8EkxuAiVwdBHwikIsTCEXjESRnOwFzckLQC4TieUQoiQ9Ezj/OQz5IzEPJZB48TaBERAKljO8EQj72Qoj9R7CUF/K2F/l9L9R9L+RtLzD+VzPymAbBOFkYF5eSURJLi1GBT1l8w0zXNpy6ASKogAtA1ycDOGTAlwrNkFiGedkrWF05szWPdvT1Wy8ZfvsYid2mD11tmjGYZac1Bnv/AQ==",
|
|
157
157
|
"file_map": {
|
|
158
158
|
"22": {
|
|
159
159
|
"source": "pub mod hash;\npub mod aes128;\npub mod array;\npub mod slice;\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\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",
|
|
@@ -164,7 +164,7 @@
|
|
|
164
164
|
"path": "/home/aztec-dev/aztec-packages/noir-projects/mock-protocol-circuits/crates/mock-rollup-tx-merge/src/main.nr"
|
|
165
165
|
},
|
|
166
166
|
"51": {
|
|
167
|
-
"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
|
|
167
|
+
"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,\n PROOF_TYPE_OINK, PROOF_TYPE_PG, PROOF_TYPE_PG_FINAL, PROOF_TYPE_PG_TAIL,\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",
|
|
168
168
|
"path": "/home/aztec-dev/aztec-packages/noir-projects/mock-protocol-circuits/crates/mock-types/src/lib.nr"
|
|
169
169
|
}
|
|
170
170
|
},
|
package/dest/prove_native.d.ts
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { CHONK_PROOF_LENGTH } from '@aztec/constants';
|
|
2
2
|
import { Fr } from '@aztec/foundation/fields';
|
|
3
3
|
import type { Logger } from '@aztec/foundation/log';
|
|
4
4
|
import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
5
5
|
import { type ProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
6
6
|
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
7
7
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
8
|
-
export declare function
|
|
8
|
+
export declare function proveChonk(bbBinaryPath: string, bbWorkingDirectory: string, witnessStack: Uint8Array[], bytecodes: string[], vks: string[], logger: Logger): Promise<ProofAndVerificationKey<typeof CHONK_PROOF_LENGTH>>;
|
|
9
9
|
export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<ProofAndVerificationKey<535>>;
|
|
10
10
|
export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<ProofAndVerificationKey<457>>;
|
|
11
11
|
export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger, skipPublicInputsValidation?: boolean): Promise<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAcA,OAAO,EAGL,
|
|
1
|
+
{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAcA,OAAO,EAGL,kBAAkB,EAGnB,MAAM,kBAAkB,CAAC;AAC1B,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;AAClF,OAAO,EAAE,KAAK,uBAAuB,EAA+B,MAAM,iCAAiC,CAAC;AAC5G,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D,OAAO,EAAE,uBAAuB,EAAuB,MAAM,mBAAmB,CAAC;AAqBjF,wBAAsB,UAAU,CAC9B,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,uBAAuB,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAuB7D;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,yCAYf;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,yCAYf;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"}
|
package/dest/prove_native.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME,
|
|
2
|
-
import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED,
|
|
1
|
+
import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, executeBbChonkProof, extractVkData, generateAvmProof, generateProof, readProofsFromOutputDirectory, verifyAvmProof, verifyProof } from '@aztec/bb-prover';
|
|
2
|
+
import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, CHONK_PROOF_LENGTH, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
|
|
3
3
|
import { Fr } from '@aztec/foundation/fields';
|
|
4
4
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
5
5
|
import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
@@ -20,7 +20,7 @@ import * as path from 'path';
|
|
|
20
20
|
const vkAsFields = await VerificationKeyAsFields.fromKey(fields);
|
|
21
21
|
return new VerificationKeyData(vkAsFields, vkBytes);
|
|
22
22
|
}
|
|
23
|
-
export async function
|
|
23
|
+
export async function proveChonk(bbBinaryPath, bbWorkingDirectory, witnessStack, bytecodes, vks, logger) {
|
|
24
24
|
const stepToStruct = (bytecode, index)=>{
|
|
25
25
|
return {
|
|
26
26
|
bytecode: Buffer.from(bytecode, 'base64'),
|
|
@@ -34,12 +34,12 @@ export async function proveClientIVC(bbBinaryPath, bbWorkingDirectory, witnessSt
|
|
|
34
34
|
}).pack(bytecodes.map(stepToStruct));
|
|
35
35
|
const ivcInputsPath = path.join(bbWorkingDirectory, 'ivc-inputs.msgpack');
|
|
36
36
|
await fs.writeFile(ivcInputsPath, encoded);
|
|
37
|
-
const provingResult = await
|
|
37
|
+
const provingResult = await executeBbChonkProof(bbBinaryPath, bbWorkingDirectory, ivcInputsPath, logger.info, true);
|
|
38
38
|
if (provingResult.status === BB_RESULT.FAILURE) {
|
|
39
39
|
throw new Error(provingResult.reason);
|
|
40
40
|
}
|
|
41
41
|
const vk = await extractVkData(provingResult.vkDirectoryPath);
|
|
42
|
-
const proof = await readProofsFromOutputDirectory(provingResult.proofPath, vk,
|
|
42
|
+
const proof = await readProofsFromOutputDirectory(provingResult.proofPath, vk, CHONK_PROOF_LENGTH, logger);
|
|
43
43
|
return makeProofAndVerificationKey(proof, vk);
|
|
44
44
|
}
|
|
45
45
|
async function verifyProofWithKey(pathToBB, workingDirectory, verificationKey, proof, flavor, logger) {
|
package/dest/prove_wasm.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
2
|
-
export declare function
|
|
1
|
+
import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
|
|
2
|
+
export declare function proveChonk(bytecodes: string[], witnessStack: Uint8Array[], vks: string[], threads?: number): Promise<ChonkProofWithPublicInputs>;
|
|
3
3
|
export declare function proveThenVerifyAztecClient(bytecodes: string[], witnessStack: Uint8Array[], vks: string[], threads?: number): Promise<boolean>;
|
|
4
4
|
//# sourceMappingURL=prove_wasm.d.ts.map
|
package/dest/prove_wasm.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prove_wasm.d.ts","sourceRoot":"","sources":["../src/prove_wasm.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"prove_wasm.d.ts","sourceRoot":"","sources":["../src/prove_wasm.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAWlE,wBAAsB,UAAU,CAC9B,SAAS,EAAE,MAAM,EAAE,EACnB,YAAY,EAAE,UAAU,EAAE,EAC1B,GAAG,EAAE,MAAM,EAAE,EACb,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,0BAA0B,CAAC,CAerC;AAED,wBAAsB,0BAA0B,CAC9C,SAAS,EAAE,MAAM,EAAE,EACnB,YAAY,EAAE,UAAU,EAAE,EAC1B,GAAG,EAAE,MAAM,EAAE,EACb,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,OAAO,CAAC,CAiBlB"}
|
package/dest/prove_wasm.js
CHANGED
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
import { createLogger } from '@aztec/foundation/log';
|
|
2
|
-
import {
|
|
2
|
+
import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
|
|
3
3
|
import os from 'os';
|
|
4
4
|
import { ungzip } from 'pako';
|
|
5
5
|
const logger = createLogger('ivc-integration:prove_wasm');
|
|
6
6
|
function base64ToUint8Array(base64) {
|
|
7
7
|
return Uint8Array.from(atob(base64), (c)=>c.charCodeAt(0));
|
|
8
8
|
}
|
|
9
|
-
export async function
|
|
9
|
+
export async function proveChonk(bytecodes, witnessStack, vks, threads) {
|
|
10
10
|
const { AztecClientBackend } = await import('@aztec/bb.js');
|
|
11
11
|
const backend = new AztecClientBackend(bytecodes.map(base64ToUint8Array).map((arr)=>ungzip(arr)), {
|
|
12
12
|
threads: threads || Math.min(os.cpus().length, 16),
|
|
@@ -15,7 +15,7 @@ export async function proveClientIVC(bytecodes, witnessStack, vks, threads) {
|
|
|
15
15
|
});
|
|
16
16
|
try {
|
|
17
17
|
const [proof] = await backend.prove(witnessStack.map((arr)=>ungzip(arr)), vks.map((hex)=>new Uint8Array(Buffer.from(hex, 'hex'))));
|
|
18
|
-
return
|
|
18
|
+
return ChonkProofWithPublicInputs.fromBufferArray(proof);
|
|
19
19
|
} finally{
|
|
20
20
|
await backend.destroy();
|
|
21
21
|
}
|
package/dest/types/index.d.ts
CHANGED
|
@@ -26,7 +26,7 @@ export type PrivateKernelPublicInputs = {
|
|
|
26
26
|
commitments: FixedLengthArray<Field, 4>;
|
|
27
27
|
read_requests: FixedLengthArray<Field, 4>;
|
|
28
28
|
};
|
|
29
|
-
export type
|
|
29
|
+
export type ChonkProofData = {
|
|
30
30
|
public_inputs: KernelPublicInputs;
|
|
31
31
|
proof: FixedLengthArray<Field, 2084>;
|
|
32
32
|
vk_data: VerificationKey<127>;
|
|
@@ -201,18 +201,18 @@ export type MockPrivateKernelTailInputType = {
|
|
|
201
201
|
export type MockPrivateKernelTailReturnType = KernelPublicInputs;
|
|
202
202
|
export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<127>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
|
|
203
203
|
export type MockRollupTxBasePublicInputType = {
|
|
204
|
-
|
|
204
|
+
chonk_proof_data: ChonkProofData;
|
|
205
205
|
verification_key: VerificationKey<1000>;
|
|
206
206
|
proof: FixedLengthArray<Field, 20000>;
|
|
207
207
|
public_inputs: AvmCircuitPublicInputs;
|
|
208
208
|
};
|
|
209
209
|
export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
|
|
210
|
-
export declare function MockRollupTxBasePublic(
|
|
210
|
+
export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, verification_key: VerificationKey<1000>, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
211
211
|
export type MockRollupTxBasePrivateInputType = {
|
|
212
|
-
|
|
212
|
+
chonk_proof_data: ChonkProofData;
|
|
213
213
|
};
|
|
214
214
|
export type MockRollupTxBasePrivateReturnType = RollupPublicInputs;
|
|
215
|
-
export declare function MockRollupTxBasePrivate(
|
|
215
|
+
export declare function MockRollupTxBasePrivate(chonk_proof_data: ChonkProofData, MockRollupTxBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
216
216
|
export type MockRollupTxMergeInputType = {
|
|
217
217
|
a: PreviousRollupData;
|
|
218
218
|
b: PreviousRollupData;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAkB,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAEnG,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAE,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAC9F,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,IAAI;IAC9C,GAAG,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,CAAC;CACb,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,GAAG,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,GAAG,CAAC;IACrB,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAkB,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAEnG,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAE,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAC9F,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,IAAI;IAC9C,GAAG,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,CAAC;CACb,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,GAAG,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,GAAG,CAAC;IACrB,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,aAAa,EAAE,kBAAkB,CAAC;IAClC,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC/B,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,gBAAgB,EAAE,eAAe,CAAC;IAClC,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,oBAAoB,EAAE,aAAa,CAAC;IACpC,cAAc,EAAE,GAAG,CAAC;IACpB,YAAY,EAAE,WAAW,CAAC;IAC1B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,SAAS,EAAE,YAAY,CAAC;IACxB,SAAS,EAAE,KAAK,CAAC;IACjB,iCAAiC,EAAE,6BAA6B,CAAC;IACjE,0BAA0B,EAAE,gBAAgB,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACpE,8BAA8B,EAAE,gBAAgB,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACxE,4BAA4B,EAAE,iBAAiB,CAAC;IAChD,sDAAsD,EAAE,uCAAuC,CAAC;IAChG,kDAAkD,EAAE,uCAAuC,CAAC;IAC5F,wCAAwC,EAAE,2BAA2B,CAAC;IACtE,oCAAoC,EAAE,2BAA2B,CAAC;IAClE,kBAAkB,EAAE,aAAa,CAAC;IAClC,YAAY,EAAE,GAAG,CAAC;IAClB,8BAA8B,EAAE,8BAA8B,CAAC;IAC/D,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,eAAe,EAAE,KAAK,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,GAAG,CAAC;IAClB,WAAW,EAAE,KAAK,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC;IACf,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;IAC5B,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,iBAAiB,EAAE,gBAAgB,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;CACvD,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C,CAAA;AAED,MAAM,MAAM,GAAG,GAAG;IAChB,MAAM,EAAE,GAAG,CAAC;IACZ,MAAM,EAAE,GAAG,CAAC;CACb,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,UAAU,EAAE,GAAG,CAAC;IAChB,mBAAmB,EAAE,GAAG,CAAC;IACzB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,yBAAyB,EAAE,OAAO,CAAC;CACpC,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,cAAc,EAAE,IAAI,CAAC;IACrB,cAAc,EAAE,IAAI,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,KAAK,EAAE,KAAK,CAAC;CACd,CAAA;AAED,MAAM,MAAM,6BAA6B,GAAG;IAC1C,WAAW,EAAE,GAAG,CAAC;IACjB,eAAe,EAAE,GAAG,CAAC;IACrB,aAAa,EAAE,OAAO,CAAC;CACxB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,YAAY,CAAC;IACzB,gBAAgB,EAAE,YAAY,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC;IACxB,aAAa,EAAE,KAAK,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,uCAAuC,GAAG;IACpD,WAAW,EAAE,GAAG,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC;IAChB,aAAa,EAAE,GAAG,CAAC;CACpB,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,UAAU,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CAC5C,CAAA;AAED,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,GAAG,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC;IAChB,aAAa,EAAE,GAAG,CAAC;IACnB,kBAAkB,EAAE,GAAG,CAAC;CACzB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,UAAU,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC;IACxB,kBAAkB,EAAE,gBAAgB,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;CAC3D,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,KAAK,EAAE,KAAK,CAAC;CACd,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,KAAK,CAAC;CAClC,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,aAAa,CAAC;IACrB,gBAAgB,EAAE,YAAY,CAAC;CAChC,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE,GAAG,CAAC;IACZ,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;CACxC,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,SAAS,EAAE,UAAU,CAAC;IACtB,OAAO,EAAE,KAAK,CAAC;CAChB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,GAAG,CAAC;CAClB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,2BAA2B,EAAE,kBAAkB,CAAC;IAChD,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpC,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC1B,CAAA;AAGD,MAAM,MAAM,mBAAmB,GAAG;IAChC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACnD,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAGnD,wBAAsB,UAAU,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAK1L;AACD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAGlD,wBAAsB,SAAS,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,iBAAiB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAKtL;AACD,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB,EAAE,kBAAkB,CAAC;IAC9C,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CACjC,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;AAGtD,wBAAsB,UAAU,CAAC,yBAAyB,EAAE,kBAAkB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAK1N;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,EAAE,EAAE,SAAS,CAAC;IACd,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,CAAC;AAGxE,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKjP;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAK3T;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKjT;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CACjC,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,kBAAkB,CAAC;AAGjE,wBAAsB,qBAAqB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKvP;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,gBAAgB,EAAE,cAAc,CAAC;IACjC,gBAAgB,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,aAAa,EAAE,sBAAsB,CAAC;CACvC,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,kBAAkB,CAAC;AAGlE,wBAAsB,sBAAsB,CAAC,gBAAgB,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,aAAa,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAK3T;AACD,MAAM,MAAM,gCAAgC,GAAG;IAC7C,gBAAgB,EAAE,cAAc,CAAC;CAClC,CAAA;AAED,MAAM,MAAM,iCAAiC,GAAG,kBAAkB,CAAC;AAGnE,wBAAsB,uBAAuB,CAAC,gBAAgB,EAAE,cAAc,EAAE,+BAA+B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKtM;AACD,MAAM,MAAM,0BAA0B,GAAG;IACvC,CAAC,EAAE,kBAAkB,CAAC;IACtB,CAAC,EAAE,kBAAkB,CAAC;CACvB,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,CAAC;AAG7D,wBAAsB,iBAAiB,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKtM;AACD,MAAM,MAAM,uBAAuB,GAAG;IACpC,CAAC,EAAE,kBAAkB,CAAC;IACtB,CAAC,EAAE,kBAAkB,CAAC;CACvB,CAAA;AAED,MAAM,MAAM,wBAAwB,GAAG,kBAAkB,CAAC;AAG1D,wBAAsB,cAAc,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKhM"}
|
package/dest/types/index.js
CHANGED
|
@@ -64,10 +64,10 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs, kernel_vk
|
|
|
64
64
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
65
65
|
return returnValue;
|
|
66
66
|
}
|
|
67
|
-
export async function MockRollupTxBasePublic(
|
|
67
|
+
export async function MockRollupTxBasePublic(chonk_proof_data, verification_key, proof, public_inputs, MockRollupTxBasePublic_circuit, foreignCallHandler) {
|
|
68
68
|
const program = new Noir(MockRollupTxBasePublic_circuit);
|
|
69
69
|
const args = {
|
|
70
|
-
|
|
70
|
+
chonk_proof_data,
|
|
71
71
|
verification_key,
|
|
72
72
|
proof,
|
|
73
73
|
public_inputs
|
|
@@ -75,10 +75,10 @@ export async function MockRollupTxBasePublic(civc_proof_data, verification_key,
|
|
|
75
75
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
76
76
|
return returnValue;
|
|
77
77
|
}
|
|
78
|
-
export async function MockRollupTxBasePrivate(
|
|
78
|
+
export async function MockRollupTxBasePrivate(chonk_proof_data, MockRollupTxBasePrivate_circuit, foreignCallHandler) {
|
|
79
79
|
const program = new Noir(MockRollupTxBasePrivate_circuit);
|
|
80
80
|
const args = {
|
|
81
|
-
|
|
81
|
+
chonk_proof_data
|
|
82
82
|
};
|
|
83
83
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
84
84
|
return returnValue;
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/ivc-integration",
|
|
3
|
-
"version": "3.0.0-
|
|
3
|
+
"version": "3.0.0-manual.20251030",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -62,14 +62,14 @@
|
|
|
62
62
|
]
|
|
63
63
|
},
|
|
64
64
|
"dependencies": {
|
|
65
|
-
"@aztec/bb.js": "3.0.0-
|
|
66
|
-
"@aztec/constants": "3.0.0-
|
|
67
|
-
"@aztec/foundation": "3.0.0-
|
|
68
|
-
"@aztec/noir-noir_codegen": "3.0.0-
|
|
69
|
-
"@aztec/noir-noir_js": "3.0.0-
|
|
70
|
-
"@aztec/noir-noirc_abi": "3.0.0-
|
|
71
|
-
"@aztec/noir-types": "3.0.0-
|
|
72
|
-
"@aztec/stdlib": "3.0.0-
|
|
65
|
+
"@aztec/bb.js": "3.0.0-manual.20251030",
|
|
66
|
+
"@aztec/constants": "3.0.0-manual.20251030",
|
|
67
|
+
"@aztec/foundation": "3.0.0-manual.20251030",
|
|
68
|
+
"@aztec/noir-noir_codegen": "3.0.0-manual.20251030",
|
|
69
|
+
"@aztec/noir-noir_js": "3.0.0-manual.20251030",
|
|
70
|
+
"@aztec/noir-noirc_abi": "3.0.0-manual.20251030",
|
|
71
|
+
"@aztec/noir-types": "3.0.0-manual.20251030",
|
|
72
|
+
"@aztec/stdlib": "3.0.0-manual.20251030",
|
|
73
73
|
"change-case": "^5.4.4",
|
|
74
74
|
"pako": "^2.1.0",
|
|
75
75
|
"playwright": "1.49.0",
|
|
@@ -77,13 +77,13 @@
|
|
|
77
77
|
"tslib": "^2.4.0"
|
|
78
78
|
},
|
|
79
79
|
"devDependencies": {
|
|
80
|
-
"@aztec/bb-prover": "3.0.0-
|
|
81
|
-
"@aztec/kv-store": "3.0.0-
|
|
82
|
-
"@aztec/noir-protocol-circuits-types": "3.0.0-
|
|
83
|
-
"@aztec/noir-test-contracts.js": "3.0.0-
|
|
84
|
-
"@aztec/simulator": "3.0.0-
|
|
85
|
-
"@aztec/telemetry-client": "3.0.0-
|
|
86
|
-
"@aztec/world-state": "3.0.0-
|
|
80
|
+
"@aztec/bb-prover": "3.0.0-manual.20251030",
|
|
81
|
+
"@aztec/kv-store": "3.0.0-manual.20251030",
|
|
82
|
+
"@aztec/noir-protocol-circuits-types": "3.0.0-manual.20251030",
|
|
83
|
+
"@aztec/noir-test-contracts.js": "3.0.0-manual.20251030",
|
|
84
|
+
"@aztec/simulator": "3.0.0-manual.20251030",
|
|
85
|
+
"@aztec/telemetry-client": "3.0.0-manual.20251030",
|
|
86
|
+
"@aztec/world-state": "3.0.0-manual.20251030",
|
|
87
87
|
"@jest/globals": "^30.0.0",
|
|
88
88
|
"@playwright/test": "1.49.0",
|
|
89
89
|
"@types/jest": "^30.0.0",
|
package/src/prove_native.ts
CHANGED
|
@@ -4,7 +4,7 @@ import {
|
|
|
4
4
|
PUBLIC_INPUTS_FILENAME,
|
|
5
5
|
type UltraHonkFlavor,
|
|
6
6
|
VK_FILENAME,
|
|
7
|
-
|
|
7
|
+
executeBbChonkProof,
|
|
8
8
|
extractVkData,
|
|
9
9
|
generateAvmProof,
|
|
10
10
|
generateProof,
|
|
@@ -15,7 +15,7 @@ import {
|
|
|
15
15
|
import {
|
|
16
16
|
AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED,
|
|
17
17
|
AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED,
|
|
18
|
-
|
|
18
|
+
CHONK_PROOF_LENGTH,
|
|
19
19
|
NESTED_RECURSIVE_PROOF_LENGTH,
|
|
20
20
|
RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
|
|
21
21
|
} from '@aztec/constants';
|
|
@@ -48,14 +48,14 @@ async function convertVkBytesToVkData(vkBytes: Buffer): Promise<VerificationKeyD
|
|
|
48
48
|
return new VerificationKeyData(vkAsFields, vkBytes);
|
|
49
49
|
}
|
|
50
50
|
|
|
51
|
-
export async function
|
|
51
|
+
export async function proveChonk(
|
|
52
52
|
bbBinaryPath: string,
|
|
53
53
|
bbWorkingDirectory: string,
|
|
54
54
|
witnessStack: Uint8Array[],
|
|
55
55
|
bytecodes: string[],
|
|
56
56
|
vks: string[],
|
|
57
57
|
logger: Logger,
|
|
58
|
-
): Promise<ProofAndVerificationKey<typeof
|
|
58
|
+
): Promise<ProofAndVerificationKey<typeof CHONK_PROOF_LENGTH>> {
|
|
59
59
|
const stepToStruct = (bytecode: string, index: number) => {
|
|
60
60
|
return {
|
|
61
61
|
bytecode: Buffer.from(bytecode, 'base64'),
|
|
@@ -68,20 +68,14 @@ export async function proveClientIVC(
|
|
|
68
68
|
const ivcInputsPath = path.join(bbWorkingDirectory, 'ivc-inputs.msgpack');
|
|
69
69
|
await fs.writeFile(ivcInputsPath, encoded);
|
|
70
70
|
|
|
71
|
-
const provingResult = await
|
|
72
|
-
bbBinaryPath,
|
|
73
|
-
bbWorkingDirectory,
|
|
74
|
-
ivcInputsPath,
|
|
75
|
-
logger.info,
|
|
76
|
-
true,
|
|
77
|
-
);
|
|
71
|
+
const provingResult = await executeBbChonkProof(bbBinaryPath, bbWorkingDirectory, ivcInputsPath, logger.info, true);
|
|
78
72
|
|
|
79
73
|
if (provingResult.status === BB_RESULT.FAILURE) {
|
|
80
74
|
throw new Error(provingResult.reason);
|
|
81
75
|
}
|
|
82
76
|
|
|
83
77
|
const vk = await extractVkData(provingResult.vkDirectoryPath!);
|
|
84
|
-
const proof = await readProofsFromOutputDirectory(provingResult.proofPath!, vk,
|
|
78
|
+
const proof = await readProofsFromOutputDirectory(provingResult.proofPath!, vk, CHONK_PROOF_LENGTH, logger);
|
|
85
79
|
|
|
86
80
|
return makeProofAndVerificationKey(proof, vk);
|
|
87
81
|
}
|
package/src/prove_wasm.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { createLogger } from '@aztec/foundation/log';
|
|
2
|
-
import {
|
|
2
|
+
import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
|
|
3
3
|
|
|
4
4
|
import os from 'os';
|
|
5
5
|
import { ungzip } from 'pako';
|
|
@@ -10,12 +10,12 @@ function base64ToUint8Array(base64: string): Uint8Array {
|
|
|
10
10
|
return Uint8Array.from(atob(base64), c => c.charCodeAt(0));
|
|
11
11
|
}
|
|
12
12
|
|
|
13
|
-
export async function
|
|
13
|
+
export async function proveChonk(
|
|
14
14
|
bytecodes: string[],
|
|
15
15
|
witnessStack: Uint8Array[],
|
|
16
16
|
vks: string[],
|
|
17
17
|
threads?: number,
|
|
18
|
-
): Promise<
|
|
18
|
+
): Promise<ChonkProofWithPublicInputs> {
|
|
19
19
|
const { AztecClientBackend } = await import('@aztec/bb.js');
|
|
20
20
|
const backend = new AztecClientBackend(
|
|
21
21
|
bytecodes.map(base64ToUint8Array).map((arr: Uint8Array) => ungzip(arr)),
|
|
@@ -26,7 +26,7 @@ export async function proveClientIVC(
|
|
|
26
26
|
witnessStack.map((arr: Uint8Array) => ungzip(arr)),
|
|
27
27
|
vks.map(hex => new Uint8Array(Buffer.from(hex, 'hex'))),
|
|
28
28
|
);
|
|
29
|
-
return
|
|
29
|
+
return ChonkProofWithPublicInputs.fromBufferArray(proof);
|
|
30
30
|
} finally {
|
|
31
31
|
await backend.destroy();
|
|
32
32
|
}
|
package/src/types/index.ts
CHANGED
|
@@ -37,7 +37,7 @@ export type PrivateKernelPublicInputs = {
|
|
|
37
37
|
read_requests: FixedLengthArray<Field, 4>;
|
|
38
38
|
}
|
|
39
39
|
|
|
40
|
-
export type
|
|
40
|
+
export type ChonkProofData = {
|
|
41
41
|
public_inputs: KernelPublicInputs;
|
|
42
42
|
proof: FixedLengthArray<Field, 2084>;
|
|
43
43
|
vk_data: VerificationKey<127>;
|
|
@@ -292,7 +292,7 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKe
|
|
|
292
292
|
return returnValue as KernelPublicInputs;
|
|
293
293
|
}
|
|
294
294
|
export type MockRollupTxBasePublicInputType = {
|
|
295
|
-
|
|
295
|
+
chonk_proof_data: ChonkProofData;
|
|
296
296
|
verification_key: VerificationKey<1000>;
|
|
297
297
|
proof: FixedLengthArray<Field, 20000>;
|
|
298
298
|
public_inputs: AvmCircuitPublicInputs;
|
|
@@ -301,22 +301,22 @@ export type MockRollupTxBasePublicInputType = {
|
|
|
301
301
|
export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
|
|
302
302
|
|
|
303
303
|
|
|
304
|
-
export async function MockRollupTxBasePublic(
|
|
304
|
+
export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, verification_key: VerificationKey<1000>, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
|
|
305
305
|
const program = new Noir(MockRollupTxBasePublic_circuit);
|
|
306
|
-
const args: InputMap = {
|
|
306
|
+
const args: InputMap = { chonk_proof_data, verification_key, proof, public_inputs };
|
|
307
307
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
308
308
|
return returnValue as RollupPublicInputs;
|
|
309
309
|
}
|
|
310
310
|
export type MockRollupTxBasePrivateInputType = {
|
|
311
|
-
|
|
311
|
+
chonk_proof_data: ChonkProofData;
|
|
312
312
|
}
|
|
313
313
|
|
|
314
314
|
export type MockRollupTxBasePrivateReturnType = RollupPublicInputs;
|
|
315
315
|
|
|
316
316
|
|
|
317
|
-
export async function MockRollupTxBasePrivate(
|
|
317
|
+
export async function MockRollupTxBasePrivate(chonk_proof_data: ChonkProofData, MockRollupTxBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
|
|
318
318
|
const program = new Noir(MockRollupTxBasePrivate_circuit);
|
|
319
|
-
const args: InputMap = {
|
|
319
|
+
const args: InputMap = { chonk_proof_data };
|
|
320
320
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
321
321
|
return returnValue as RollupPublicInputs;
|
|
322
322
|
}
|