Onchain verification ProofLength Error

[fahim-zk]

Guys someone to help here....AI seems to get nothing here!

i wrote Noir circuit that is being called from Typesrcipt file using Foundry cheatcode ffi....in the script, i load the circuit path, load Noir....load the bb, load the honk backend, then pass inputs...then finally use ethers to abi.encode so that the Foundry side can take the arg thru process.stdout.....then in the Foundry test, i decode it using abi.decode....but finally the verification smart contract throws an error saying this error....here i also give the solidty contrct controlling the game logic, the test, the srcipt file and the circuit....someone to help plz

THE ERROR

                                                                                                                    
┌──(fahim㉿DORANE)-[~/fanta/Zk-Learning/Zk-Panagram/zk_panagram]
└─$ cd Contracts  
                                                                                                                    
┌──(fahim㉿DORANE)-[~/…/Zk-Learning/Zk-Panagram/zk_panagram/Contracts]
└─$ forge test --match-test testCorrectGuessPassesGivesERC20Tokens -vvvvv
[⠊] Compiling...
No files changed, compilation skipped

Ran 1 test for test/Panagram.t.sol:PanagramTest
[FAIL: ProofLengthWrongWithLogN(16, 8032, 9024)] testCorrectGuessPassesGivesERC20Tokens() (gas: 584773)
Logs:
  EncodedProofLength: 8096
  ProofLength: 8032

Traces:
  [14090976] PanagramTest::setUp()
    ├─ [6642728] → new HonkVerifier@0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f
    │   └─ ← [Return] 33166 bytes of code
    ├─ [1640839] → new Panagram@0x2e234DAe75C793f67A35089C9d99245E1C58470b
    │   ├─ emit OwnershipTransferred(previousOwner: 0x0000000000000000000000000000000000000000, newOwner: PanagramTest: [0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496])
    │   └─ ← [Return] 7736 bytes of code
    ├─ [69591] Panagram::newRound(0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a)
    │   ├─ emit Panagram_NewRoundStarted(answer: 0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a)
    │   ├─ emit Panagram_NewRoundStarted(answer: 0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a)
    │   └─ ← [Stop]
    ├─ [0] VM::toString(0x0899ea31cd2aee24cfed4511e9a49c5735d8712c8cece09515af6e8d5af0c4e0) [staticcall]
    │   └─ ← [Return] "0x0899ea31cd2aee24cfed4511e9a49c5735d8712c8cece09515af6e8d5af0c4e0"
    ├─ [0] VM::toString(0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a) [staticcall]
    │   └─ ← [Return] "0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a"
    ├─ [0] VM::toString(0x0000000000000000000000007026b763cbe7d4e72049ea67e89326432a50ef84) [staticcall]
    │   └─ ← [Return] "0x0000000000000000000000007026b763cbe7d4e72049ea67e89326432a50ef84"
    ├─ [0] VM::ffi(["npx", "tsx", "js-scripts/generateProof.ts", "0x0899ea31cd2aee24cfed4511e9a49c5735d8712c8cece09515af6e8d5af0c4e0", "0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a", "0x0000000000000000000000007026b763cbe7d4e72049ea67e89326432a50ef84"])
    │   └─ ← [Return] 0x00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000001f600000000000000000000000000000000000000000000000042ab5d6d1986846cf00000000000000000000000000000000000000000000000b75c020998797da780000000000000000000000000000000000000000000000005a107acb64952eca000000000000000000000000000000000000000000000000000031e97a575e9d00000000000000000000000000000000000000000000000b5666547acf8bd5a400000000000000000000000000000000000000000000000c410db10a01750aeb00000000000000000000000000000000000000000000000d722669117f9758a4000000000000000000000000000000000000000000000000000178cbf4206471000000000000000000000000000000000000000000000000e91b8a11e7842c38000000000000000000000000000000000000000000000007fd51009034b3357f000000000000000000000000000000000000000000000009889939f81e9c74020000000000000000000000000000000000000000000000000000f94656a2ca48000000000000000000000000000000000000000000000006fb128b46c1ddb67f0000000000000000000000000000000000000000000000093fe27776f50224bd000000000000000000000000000000000000000000000004a0c80c0da527a0810000000000000000000000000000000000000000000000000001b52c2020d7461f1f14a4801e54c68a6ef3f4923f48942d8c6c1a1a456878749f2f1f9971ab760bd715111ecf7f69c8cabf2df3255f12dfc398a1cc68721e12711b296552caac2341c908222a71140dab7ccfe6fe53045a7adbee35327f3b8c0fa4b085652ab914f91c1f4ab59b3139b12c2f5992b0e72a278e1fcfbb14283d97f6071b524bcf018436cc68bf6fd96b0a7a203d636344791c05c584586c297639b294f3f2ce0b178ee4b6f1bde8ee6fb6ca4ac595d75f84e7c3931346f946b87f27325b836fde16ecefc4b60639decb2802c640e484f25666726d86c1023a047a908f2fb2c79f1c52d4387bb92e7d06a9a80ecc1bb915222b94a423363936de4216f4935fe43620bb6449e12e76017fd19b43ca68e8a25bdf9f8b33d1131cc1aa239722a57cc3152e8937bfedd954fb7a1a0bbbe8697d6dc357ae80c6f969aeebf016e182fc3e203d3d1a0855cf7bccfe127bc20630eb9209fede6e6ed49a7693083b622ebfc81512f600dee5cc63334d568482c7f8374b32b1b43642fb11cac1ce1c7a3ebd771abb6722899c6cbb7e88d5dd8eef6811b3b92efd1731f900051efbd7b7444d1929321befd614f4e8878a3d72dd31fc41b0d8e22b619da90d3908b3e2a78bedc429c3aca4f5d4c16dc4abe2f6233a96232d84b532e53964fa4d79482e75a9d02b28f3e3e94eeb499ecfc0d8ea8dd87ba2b85fd8466ae6eab852c09c7c5ef2f03309296fa5b648fabf77cdfc262904bdd2f7fb3d42bca9ffcebd97c2574a1112cc273adecd2ae8a56a40824990587c9a8a3038ab05bd0f70c2864a333ca5eeed3516f4a8a534ee2151338b55fa706fbb29e5aed5f9931943b3fa60c2459fd4c9d403862b069cf31a38e067bc982ea735d451a533204098475dc1eb18fe9bfd6dbc144b871eda2a11f492671b9e968b13888b787903657d761d147a21687de9fe4f05834e6ae2b1452a319320ad62dcef309dbf0974f89a524a51becc01fc147a810fa93a3959091c3d8a70a17d79a6175c1343621da20af2a92f39a4dc6453198717310686039425c77794656c4a43acd478960f511bb2b5dc3cdbde7cd0ec8ee22f2e2c7714fdf020638a01db5559cad4fc6a7e7f2a4ade366cd8a2bde8370a141a4f0013ea8de792b08d4a81f3e8171eaef507e53664224a7fdfadcee797eade1e3796d99a655cc78cc40990eac91a9ffa5fd699149bf3a610dd869c135643d924284725d021e69d977291b6f3a02f47eb683531f4c4d4247539444fead65fc128fbc965ed3d7286694548453494c8dbaea86aa0a66a16e4cf470e307596490717695043571d06f79aab936ec2069d120a72773ea001f75a7e8ab44263679aae050612783f343951d0ca09178a5b0b0382bd31b3a90d58277c6c9217b6f0a57410750c816076d696efc2c758a5de607a86542290403f677b95d8e57a3a74e943022908af5199f5652cb607a86155cd0d8f7718d53f68f2f567f10408616efc3b0671073139e0801922c348cabc5a5fff5243e98bc057c6d5faf68c7f4c39a7fa09d1e2d7b6579ade6a8f5266437b63ee22e65028ba80d75b4403831e04f37045008ad23d2812f3607f772dec841a433f218adb2c42ef31ab9ff151f3b3abf3451be9cd3760ad7f8230fef245443ad35b0faed8f5a98bded38917928714016071020ebfe4d24e68ef972698a1d3475eb28df6f3e24f13896efa71615951ed0b3c07e934a41897ab7ca4c85eeed1afabc121783e748ae468f2e16ef73a4b75342f146d68a39f090290c8ca747eccc410b063c9d0ffb0fb558985267823a7440858184e6e5576574614928f9dc76a55d4787decf81afe577de25c7666fae80b1e181a609a952250907475f2941fa616920cf04aef944c0d54f6fa1e8bfb9d5d6f551f1dfa15f9f8a7d083cb7f9df9df03dabad0d17b3c5e4cf76c241a4b97b4e68b28d01dec3dc754b7a72ff40d74240fa9979dcbf57c5451f1bfd11e6424e741122cffdd6552a172dfcbea97bff4f7c7a593584048cdca11b3cfe68b43513f01db297825d8c86a1196feb6a297c5559fd222413ab005c148fd41bcfd6e7206c0870ce4dfe72b86b0f0307bc9b25f2483a714b0e96ba65051c61d63df7b80ce422a043ad57f44eb7c28c57b68d7ea72d4eee397cbe78153444dcc64d0dd17695bbd29ef93734475039b2e22dfee1315d4c818fc46f172732a03cd51319cae2768b7049053c1f5120dee380d3aba254c092068e1779cdd71e345b369bd198a6885a602a96a5f780b0e23c825ba1dad2bf184df3653b9a585ddff6b28e565604a0d440f24d1ff498b2476185174a9f17b0fd9f8291fc15823504852489e7fa0615b3b14118a08aed377961bac224d7be0bd1061235534f2cce1a6d262bc43003cfcfc271462942760ee4232b6042cf8f866c558a25f559b4a0bd3a4113592b7503d4e1b81f0a9ca569241ec2cadb419495afaf54b728db5b43e4f86360658510a5071175b1b4d6e05b1467268ae638f6c0f92e291d87c8525c796e3708e12246e13df0259fe5e7138b984d16f1778af3faabf98465e1c333bbbf00799655cc916e5eb05c7667d5887489598445262d0a9a4f86e90fa1c8c1eaa810934ce91668dc2eb1542be509841fc15e81c0219a30788e47046b615dd1661f836d447c8d87246242272d7810812f713564c6fd48f141c6dc5d6d3fb330453cc6c9f33dc1858146f1a6cfc424c050a4d33b0fecb6658919c5bae66ae4d2ae20322435289c8fe1cf7279c8919034a3fa9173630bc74724e6608b58b69fdedf5bc4b4cf0c11c11f7d90b67ce883a5bd9f60e76b6825d44b304acca46c88825c372160733134c94f9da0d98cdacbe4890030c812cb88934bd9ec5d734ad012344f1e48f7c7f16af859a2ceefd16547e40f41e98a0435eb2021fb79fa86498452333aefb5ed0053311e1243c8a3d3c0b61b9beaee6f5832c6c4552c103b13c230f9492845c9b92da266d28757d6026e42a4940f3b38fbb3fa7f125c81a1873c73a69f85357f4a5a1d7eb17622558ce63099469851574759356a18fbbf7b923ffd83435ea127d3ff0ec2c185d5d349d58d8762cd23b4c26dc1ecfab68b4b3822efcbc107daf1089b058540c8dd064e2a05f8d115ef8871b02593f761696c09f4d38eac46f232493d4166f2fb5d846d966ef2c818c2a3f0fd250963b0bb1ba2949abb607390e5c27eb84d21452e16c227f2407d4a0d826b0f3f02f8757d285c4f513a281000e17c1aa44e80851b74a948542cfa982a0288e51b88bdd11993b0d2d0e505cb608577211114e0291be294ffb178e0a7e4572eb65b8aa3e3b947603412be6eaa4a263b061edd8020644ba293490ddc1bdb81e309b07ee5e5bf30b17b7e75ba5f28a611fe8eab315d1033e6ef18a4ba46f8f8f91805e7d3d3381acbfc5a0e7be13b7a95afe2159194441a8c2fe35c83e32abdcdc952e9930aee9e26872c0abb9035a1c869d92121418d85917b3831d015a93e85dedfe5886d5a4e71619e3b68961e0ea347e6f6e1f787a1ac71af0b31dd12b917118e5d56dc432dd78e476f30346da7fa3b4badd20e71e8215c734a5617278811e06ecb75fbbb0fd72d5593a5192062bd92bb75d17d6f64abcc88956b9d9cdc75bbd79aa21c06b87fe2068316cf8af64f22e78460d381b1d36891829c5951ed36e615b0e9c027c0051e2734954554a4ffee6421f145e21fa5d35dae5c191333bb9c5ff33a83b165a374f3512e50cf2f3ad3dfcd92231ff563d9991ddb1fb905227a03ca1955ae3f9028f90d4761254ec4259a6872e49d2847757e69f2912978de6e540fa87fb88a1f16c9e4ecda16484a7e8430301f14ed82610b794a1befb0e815f1b07262668d7f27e3a6375dbb14b860ad037163adc9814b3f05f163edd1a94fad516160b0d11d1157f21425b029e56b30a25268913119dc4bf082fb8a45fe9d606f4040cea4a77b279473bb7bb812e060a672dd2ede47d64f70a426eaf56a994be00bce88e86ded7ec7ca77b6b8726dd7e7815fde2998eca5403041eda3a9bd56c6124e4eda4bbd7cac079a110a6f38c10242b437f498a886e2106431893ad116cb783ae7d3637c8d33a3a54a47682f7238f0fa5c168889494dae93a33ad15fb9d87637440c77c5bcd55c5f93d503edd0c4a0cb82707f476ac2428e8fe163539b410a71a957c1f47db8d97632ca948394ede22448b5776cff3f6a00d04ed7aadff0e9ea449f91dfc11e966c6ac3993a1bcb019efde7a58eb492237bf002aa5f384786439c1235d6aa7bef20189887d7d9b7c0d9b58c32d6693e367ac51097c86d400192677192a3d8152ed424cd6f8549f6f2da8f172949effe8fc8fdbff2375f5aee1930559c86b721181e23d938f91d320111afb069d32984ac7ca86f6a989486a6da1b619226a10566703a1cd82155bdb03d800e1053b682d74a1ed9e7390c48eee5b9d2ea7347b7e35d4e5c945578dfc0c22c44c9fa5b0c97aeab51cd6aa67554e150d2694aa0476d7dcb9ee5b8be1943018a5969dca36d129fc359feac3e2cc718e925403f55d7c32c52e6977c83b852784cf279718561a4ad4f9a70763b3d119b8f1ada8bd99e77b56b4e7b22f8899279ca24c07773cddfc37a3219df2a9c111d9a6af863779ea7d2c4944e48ba05302e3b052d925757ac7eea659d8b1761747b227047563c43e71dd18d7d18ef9042781312be8e64afe229965baa07d4dae611ab583c625c3734091a30636b5f0002ccfafe2462db40b701d4abe653f84122cf0577c57f9549da158cded76e2ec1206ddf34428d88946d348675388ea7132adb9831b3579cf8ef50380bfa5714d922a12dfa9e38b6a3bf004e51e8a50c4b0201623290ecf53836db2991eab85c10c15f831fc98101ea0281a767a6c0b26d07ac68d87326878742f3e9355545587cf2a3c6bb74a518b70a264ad885ae4a52347fa2edf27f61b70e7c0a97a98668b4827a76ad4aa928994bda9681218198f2756daa337cf2eef6813d110d80234d6aa299307f45b219942245dc325a0dec176c85549f243537a43535f1bb8cd7c19e419dd4f43857955b72830be583f5a9da59777fca648bf13ce9b871f89217b3e78161e1e4692d873b5aff6b44ff18159463bbce44949fbca6bb4d0394249e9a55c291a5325ab1338e21ac5091adf16099fb6a409214f2315ded62fc8619b340d2a0f9f0bc76a142a8d6e616291dbb17bf1710915cf7c712c7f42351f0e0ff6526b26506eabf5a62f94d2ef4286c1aa14b00177dd5eee43ad7214f619b3ee9fe48c188880e607b6b6b2e53762afa81f5e6c451153155b813f5b76f7edca5294e39c2e40c66a9d7c375adfe390a5cb5015b2c7ee946cc16d50b59001081c8b7c8c3c26d8dc85f48e58dd8894c785684184c1ad98853f31aa86edbec87d6525ea01da1b5aa9711ca379b0dd61d97a129902a9390d57ec0450c0d34aeaef37e966680d179f74496160e4b686501e77f3aa69e7889cd1a52bc55db37e87d049f93fb597251ea43387af1d249406234fb399acb8f72d2932153bd4b0f42db7ea2cee45ed11b8cfe669b9fd0d90b8065fff13efb8e36e22503174bdb8d5a52a632249b45110cf2ca37b92720c02dcfe5811514eb132c7f0af5f23ce2edd182a2a472dd5d90dd0549e0bb2d094fc1d8002c8d81c737ef37ea582b1c5c297da29f6cbb6a3db12708869313ee864a6895974747e11718d96730a19eb6d16412c8c4b9508b1051a33d9d3b88751f62670f1f6f7da4c76cf8b9aec832648faa06c755dabceee5e136e373c5630f9ec687cc922279fac1579f9e793076a35ea7a1e139b825ff18e0474b55894b4c60207031db415330deee3e8305ee9f38c2292f79001f737b7c61c4e46f271a6a9d260749a60398f4548a91d6db087d7cf3f9e1fa56744297f451918f4bf8b989967a2e29fc50b880d6bbcdf35b578d918ab492d38e02dece15c0aec3ee98951b4ebf92f25a5bcb86e80a406ce26ffdb08bc9826e817f51db1c216c69e954676333c6ed038354ea08c80d3f8af9b9d05258436b7e4df1453d5f2099f12cbf3c7bb1236e7e093ffcf032b19e0ff59135539b6a49c10d50703241728d18a470826c243e2d8a79147c9f5af7cc3225e10a2a965ab4af24e09dcd1e127e1421433134705b2d6f64d5784f49836047b43b66ac2ff0c97e0b37b7336560864c7f7d381e2fdd19110c2310a7339efaacdae4ee1e9cc74656781e61c915e12a0c7f68e87abaef9d1e8d7a529761f042ad18d4f15cb689e27c329679058b5103774d71a8bea14a878af096d2a195c4ca4b16722d8977b4a07e5dfe81e40a505c0b32cec06580453094f93f81eff92187f9bd1bc4958681ff69a79e9b7a46c0ef66ae3e1dca6a5c64a6f9aeb0a3c89ab2b6aba304ebface1e178f3b517055208c426f4620090bb13aa793ad485ab8e53f0d487dd0989216c785d31c74a58f01e60de73a1ad5b933aa991b162b2aee2974cff78bed4374a568963ea1037bd691edbc8abb3a285d89bf450b65b714cb8f9cd8be1eaa109d9756db0de68b13b8811d1f1d8e30a5eb3bc873f2afa536b9a735f6e00af84284249071bad9f1f7ea40dcd3bd7b8b55e2612af003c32c4de08c457874b28e1428911afe33da13d65a6258fac37d9dbc277a12cec22cd5a19411c6e9990d30968fb0ebf2d6b090ee3c21cd21b7d5b1e799d1be1ec99109440f7ce864e47f1cb65739a56085983db85aa304eeda953ff9e46d15ec3dcd1a4137113ef30a69da58501d0fee0683e35ec4c1e057d98fd057e03d3b55d5eb20f753bf5194ea93e3bd77f8cfebb0c23f97bbe1cf15c69e959e59ee94aec98ecf60f164e160175f2f6beec266059096610ebfd02372da565e8fb5d3dc2440c39d6385cd7a2dd82b4c39aa47255eaf9b12a644d01abd74db144dfb0405ade705dde0481481a70eef04d3a3c0626e30f5f48ccf70c818fb6cbb63ea4b20c5dd3573d04ba504997d720e3430c96a714af250585c72487b3d567c4a82dc38d91f6e8064916c3c3e78885892fce7c86ef1eb76304c004f6db5ccbb8858bbb8821fb97ede6d0dd8d42e18210e5a3948bb51a75a71cba14cd643d8fad4d58b6ebee2515e4186d4687c8d3dc3b5927f09e14ed71ab4b190b38b0718b010bbb123328536efce7f9d23b668f236009de46ca4842ccd2e03d0e6254a81a3387be4afd78337f11dfb78b4ad2d437fc6f190fec0b6ec3db6f0f2885444910a64b10682cb9da9f17996bb6ac05994f6d3d7000f46d94949fc41a0bfdfbf0d794db29895009bb5fbff2edc0da12c5114d0098126ad1f2284286ad1e7f144a785dd96571445743fecc5e55cfa3fa2a238ae5e913459544712b36b5236b6bf91f8c9f8f54adf4869033b4039eb7d4f6cde19aa287eb1002e9eb8ef829c2cd612ae066b73a04615c8717c66c8ce05c0b16455ef1a70e0e3588f2e1a522789e8c09a1d40df8ed192aea2a78186f922d798aa9c0a29ef89d124401e3e7289ca56aa031f40747aba920dd7c20d3559d8c26299c50bc3bc49ddb2c0cb09c1c1872edeebd152ac4b54c494b6becd9bf970e4933be548fc82b8acea04a06612cea1cb029ca9534fc0849ea7a8f7608eeea226e42b60f5f715f97d9079e70ac2bd6e4eb760481a3fd3db122874674ea2009796bbc486c43a27e359926c5532111534695ab02b6bec8f67751c40957455613ff11765b964d2061a9813ce96fb527af4ee25117a986f84396b42dfb7faca8d16eea7edd02b0cb141f8d10e0200e16b4345fbed476ef6273d047afdca82b6b23e7e4eb05ca8b04b8e42e66e3c923259a6d7e3ddfc3cd00dd50f95fb25630d662af0699d2b51e7306ee7cbb82dc7a0448e1731488bcd6465f0d56c8af5d992dac20b00bdd3f1132d7f3d06eafd5b12e400f3c6eefb4b4f28e000a205d34c4360eb9acb133f8ff2ba46ddae4562df9243e3b5a82ec1b93f2796e86f9267e44b7ecd3c5fc776ea46eb0e40e5ac854ea22f9554a3bf03efbd561fe659cec06a4dea1ee3f65d3199a7ed8667a0b457c1a25f474a3a890413668c7ee11d497411108c09b8999021715adddd78aadf919d00d238b845aa6843ce4243f6cdd8420621ca637ae43af43cf892802022ce65a7e2e4d9a6b53dc5b31f73f3403ff14200877257ea10d347765edc99e489391eea31acd6f45dcd8228a9aaabf1e0e416685c7cbad77d0de465fe719a959b545a17d2c4e964de4e009f17ad0236c557e62a7630e8b61c273d3d11344e1692effa89c1994594708922db43ea181bf0a8bcd7990c313d76c61f6858e03ebd106b86ebf01af0328f5e8b4760b2f8ac1fe3a6b5bcad78cab94eb70329908781f63300ede22912d9598da14ca9358b5425c8207c3957b16f0abdf6ae1f3dfafbb280aff7727d41eb87c3976afc2403f6cc815b1e87e6834f98ae0e7526043d0d1fd8485212865f61ec8e5ca72a2a67f87ce24d5e0cdb50faa2463ab68ef5efcb3fa199cdf221a34e3e1eb101cd6613357454c16af1bec9f32e016abd57593f9c39eefdbc01970e0812f73acc1c1fe211e4ac5766900f11e5b026798a7763f6c7ae5b373c22a7888bea32f4e27cb1f05f72848b2aede74e5ec67e5d2113d9b1bc0ed014ee61bda4235fa8e6fa47cc75f754502e0571adc06641c4028957227af521fb0a4ba045a65d07749f3a4200084a7454601213a227a722dd9f3eb33ea9177623be9231e0df8005742a41e793b0d6158526f28c940ae04c9c65d476d48bd246fb285fa155cfbe14c903cd7c355f30ba22b5267ebe2b20335602e968617b10f714a85e31e3593e54680be712e8001204e36478b4f897c3500db317b4d5b8d29a5de7a6514ed2015f17aa6c8302f2ac8889991391b059ba2cc02d91d9df8053b657e129c058966eb7a919a4a47813f201cc5d21af6f47112f310313f320a17a8aec16c421427431ff15f73e7711fd45be386d77c9195a187c092b525536e144c890a850f0953036ad251b80c352bbb7ba8e4b3b9e51ca3ba00319f3718c52b58a8ab5b1e254c9b556383d6fd1c8823cd7ab1609fdd8b115ed2b51327df0926f4ee105b24057e995e9672421b8c0204e4ae3ccd8c89b910f97d19b08f99f3c3bede26724b1979cbd7a2df8dd15e1b3a829c52f46f84c3105bc4f71b5816c0f5184240503e1e36523cb38b269f72f1fbd8e4c2a78ee9cada60865eb2022b5e1d78eb1490511fd871376cf1f6d709d5f69c75fe331d359f32ceac6730bb9882979addc66ea32c65f0f06490758843ecacd661692c89ca639ae93fffc714746d6eae02a3aed21d158216c6e0fc967f9b4c55bb37cfaa615d3749f177bff86a46c7386ca2e9f1248933d2c0f32cd9bbc9204c9ac8b42c9eb3343ed52547278a84610afc94b14a2a54c3a7fc4b041f8a3652b268799d2c1e09f2697b7882d1b2ed002e9cabe2330a02cdcf1381c4f993a229c7126b3314e6d254ad75e0a3d7e9f69b320c2f668a276bb117c2c9121b389b2fd725ca7dcabad1128f21cf40e1091af6207215037727e4807cecd4f01f190ac55e3ece15301d4a6410c15f13f71679de4fa17dd7a809101cad326a55757cd366ca0d567afffe31f069d489df30978d87760ce4194e1bafe6008840d5f7d51cc2fb346fdd52f7a3e6dc72fdc1cefa2952ba68bfb5171acfc8d69476224cad091e90fe3efeb42516a797d6ad3f4f6e2b1652a10d2b210184a9e0f85eb560df5ab71a394e8420f422504d9340be47c2c2bfb682eab5480624cb97359cc66addbe8a1c7535f78d8979bfa184d4115e17e42a10936718c710a568de45d9058ba94385cef7fdcf6f288039923cc5ce79de8f37ffaf000b5f1bc9cc30deb461142f13427e1398e3b0f24f5a5312cb322f6de867169419100405cfe31ac208d51ffbea763346dec6b8b4d50ae73915bfdfb68d830110af62a523965bb33d7e973f1ca312c0c2684d9a048642844e68934181aac59b4721f225290c22100da06d010394a136dc5a78c94d80d94b4618d099ab410f9979a4076e1d7eb517e70e1fd762f7e5457e1ee4e80fe971aa166823640ab23d8a61c9cae10844d6c8ae166cecfa253ebfda1ac8ab2ad7789adc3387e24d370371f065473f1a3bdb408bcb628c9cb9ac5dc4632e12d0cdd81d5029b019ad91e616514812b105b0245cae2b2f892d134da3f13a2641148100d923254b525bd3c387b730ece128f0e2cce40813801319a5e616cd446b493cc97a77ff917c5e312341e6eee4351e6bf965d161dba6cc1baada20fee84d5db5710f7802d315df916c4957ffa8eb231cd65b9c7ec505fb56ccf78b2429edc837647435917d9817d95030d733d787246fd5e4854d72a101893481dc4abb86f6d7bbe8cbd5dbeb1cbff044d9ab33c2138ea595ebf0fc3df38c59635291180811aeabe13c624ec70cb73559c593b6290269d62fae9c647e3c1c5d87817260ff0a0b870ad2a6b64485788ceeb0bce69b0b59c1ce032a465e611a7e46e546a007870ae470e7e6908bc9931a09764dff6c1f1f00aa3d82162ae772fba562be44846c5c08e0eeb03b06f6f80fa5d8fbff662150a45ee656eae8b3bf660d82e59018bd7e395d8c88feeaa65f5cc38d76af7c
    ├─ [0] console::log("EncodedProofLength:", 8096) [staticcall]
    │   └─ ← [Stop]
    ├─ [0] console::log("ProofLength:", 8032) [staticcall]
    │   └─ ← [Stop]
    └─ ← [Stop]

  [584773] PanagramTest::testCorrectGuessPassesGivesERC20Tokens()
    ├─ [0] VM::prank(player1: [0x7026B763CBE7d4E72049EA67E89326432a50ef84])
    │   └─ ← [Return]
    ├─ [23865] Panagram::makeGuess(0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf00000000000000000000000000000000000000000000000b75c020998797da780000000000000000000000000000000000000000000000005a107acb64952eca000000000000000000000000000000000000000000000000000031e97a575e9d00000000000000000000000000000000000000000000000b5666547acf8bd5a400000000000000000000000000000000000000000000000c410db10a01750aeb00000000000000000000000000000000000000000000000d722669117f9758a4000000000000000000000000000000000000000000000000000178cbf4206471000000000000000000000000000000000000000000000000e91b8a11e7842c38000000000000000000000000000000000000000000000007fd51009034b3357f000000000000000000000000000000000000000000000009889939f81e9c74020000000000000000000000000000000000000000000000000000f94656a2ca48000000000000000000000000000000000000000000000006fb128b46c1ddb67f0000000000000000000000000000000000000000000000093fe27776f50224bd000000000000000000000000000000000000000000000004a0c80c0da527a0810000000000000000000000000000000000000000000000000001b52c2020d7461f1f14a4801e54c68a6ef3f4923f48942d8c6c1a1a456878749f2f1f9971ab760bd715111ecf7f69c8cabf2df3255f12dfc398a1cc68721e12711b296552caac2341c908222a71140dab7ccfe6fe53045a7adbee35327f3b8c0fa4b085652ab914f91c1f4ab59b3139b12c2f5992b0e72a278e1fcfbb14283d97f6071b524bcf018436cc68bf6fd96b0a7a203d636344791c05c584586c297639b294f3f2ce0b178ee4b6f1bde8ee6fb6ca4ac595d75f84e7c3931346f946b87f27325b836fde16ecefc4b60639decb2802c640e484f25666726d86c1023a047a908f2fb2c79f1c52d4387bb92e7d06a9a80ecc1bb915222b94a423363936de4216f4935fe43620bb6449e12e76017fd19b43ca68e8a25bdf9f8b33d1131cc1aa239722a57cc3152e8937bfedd954fb7a1a0bbbe8697d6dc357ae80c6f969aeebf016e182fc3e203d3d1a0855cf7bccfe127bc20630eb9209fede6e6ed49a7693083b622ebfc81512f600dee5cc63334d568482c7f8374b32b1b43642fb11cac1ce1c7a3ebd771abb6722899c6cbb7e88d5dd8eef6811b3b92efd1731f900051efbd7b7444d1929321befd614f4e8878a3d72dd31fc41b0d8e22b619da90d3908b3e2a78bedc429c3aca4f5d4c16dc4abe2f6233a96232d84b532e53964fa4d79482e75a9d02b28f3e3e94eeb499ecfc0d8ea8dd87ba2b85fd8466ae6eab852c09c7c5ef2f03309296fa5b648fabf77cdfc262904bdd2f7fb3d42bca9ffcebd97c2574a1112cc273adecd2ae8a56a40824990587c9a8a3038ab05bd0f70c2864a333ca5eeed3516f4a8a534ee2151338b55fa706fbb29e5aed5f9931943b3fa60c2459fd4c9d403862b069cf31a38e067bc982ea735d451a533204098475dc1eb18fe9bfd6dbc144b871eda2a11f492671b9e968b13888b787903657d761d147a21687de9fe4f05834e6ae2b1452a319320ad62dcef309dbf0974f89a524a51becc01fc147a810fa93a3959091c3d8a70a17d79a6175c1343621da20af2a92f39a4dc6453198717310686039425c77794656c4a43acd478960f511bb2b5dc3cdbde7cd0ec8ee22f2e2c7714fdf020638a01db5559cad4fc6a7e7f2a4ade366cd8a2bde8370a141a4f0013ea8de792b08d4a81f3e8171eaef507e53664224a7fdfadcee797eade1e3796d99a655cc78cc40990eac91a9ffa5fd699149bf3a610dd869c135643d924284725d021e69d977291b6f3a02f47eb683531f4c4d4247539444fead65fc128fbc965ed3d7286694548453494c8dbaea86aa0a66a16e4cf470e307596490717695043571d06f79aab936ec2069d120a72773ea001f75a7e8ab44263679aae050612783f343951d0ca09178a5b0b0382bd31b3a90d58277c6c9217b6f0a57410750c816076d696efc2c758a5de607a86542290403f677b95d8e57a3a74e943022908af5199f5652cb607a86155cd0d8f7718d53f68f2f567f10408616efc3b0671073139e0801922c348cabc5a5fff5243e98bc057c6d5faf68c7f4c39a7fa09d1e2d7b6579ade6a8f5266437b63ee22e65028ba80d75b4403831e04f37045008ad23d2812f3607f772dec841a433f218adb2c42ef31ab9ff151f3b3abf3451be9cd3760ad7f8230fef245443ad35b0faed8f5a98bded38917928714016071020ebfe4d24e68ef972698a1d3475eb28df6f3e24f13896efa71615951ed0b3c07e934a41897ab7ca4c85eeed1afabc121783e748ae468f2e16ef73a4b75342f146d68a39f090290c8ca747eccc410b063c9d0ffb0fb558985267823a7440858184e6e5576574614928f9dc76a55d4787decf81afe577de25c7666fae80b1e181a609a952250907475f2941fa616920cf04aef944c0d54f6fa1e8bfb9d5d6f551f1dfa15f9f8a7d083cb7f9df9df03dabad0d17b3c5e4cf76c241a4b97b4e68b28d01dec3dc754b7a72ff40d74240fa9979dcbf57c5451f1bfd11e6424e741122cffdd6552a172dfcbea97bff4f7c7a593584048cdca11b3cfe68b43513f01db297825d8c86a1196feb6a297c5559fd222413ab005c148fd41bcfd6e7206c0870ce4dfe72b86b0f0307bc9b25f2483a714b0e96ba65051c61d63df7b80ce422a043ad57f44eb7c28c57b68d7ea72d4eee397cbe78153444dcc64d0dd17695bbd29ef93734475039b2e22dfee1315d4c818fc46f172732a03cd51319cae2768b7049053c1f5120dee380d3aba254c092068e1779cdd71e345b369bd198a6885a602a96a5f780b0e23c825ba1dad2bf184df3653b9a585ddff6b28e565604a0d440f24d1ff498b2476185174a9f17b0fd9f8291fc15823504852489e7fa0615b3b14118a08aed377961bac224d7be0bd1061235534f2cce1a6d262bc43003cfcfc271462942760ee4232b6042cf8f866c558a25f559b4a0bd3a4113592b7503d4e1b81f0a9ca569241ec2cadb419495afaf54b728db5b43e4f86360658510a5071175b1b4d6e05b1467268ae638f6c0f92e291d87c8525c796e3708e12246e13df0259fe5e7138b984d16f1778af3faabf98465e1c333bbbf00799655cc916e5eb05c7667d5887489598445262d0a9a4f86e90fa1c8c1eaa810934ce91668dc2eb1542be509841fc15e81c0219a30788e47046b615dd1661f836d447c8d87246242272d7810812f713564c6fd48f141c6dc5d6d3fb330453cc6c9f33dc1858146f1a6cfc424c050a4d33b0fecb6658919c5bae66ae4d2ae20322435289c8fe1cf7279c8919034a3fa9173630bc74724e6608b58b69fdedf5bc4b4cf0c11c11f7d90b67ce883a5bd9f60e76b6825d44b304acca46c88825c372160733134c94f9da0d98cdacbe4890030c812cb88934bd9ec5d734ad012344f1e48f7c7f16af859a2ceefd16547e40f41e98a0435eb2021fb79fa86498452333aefb5ed0053311e1243c8a3d3c0b61b9beaee6f5832c6c4552c103b13c230f9492845c9b92da266d28757d6026e42a4940f3b38fbb3fa7f125c81a1873c73a69f85357f4a5a1d7eb17622558ce63099469851574759356a18fbbf7b923ffd83435ea127d3ff0ec2c185d5d349d58d8762cd23b4c26dc1ecfab68b4b3822efcbc107daf1089b058540c8dd064e2a05f8d115ef8871b02593f761696c09f4d38eac46f232493d4166f2fb5d846d966ef2c818c2a3f0fd250963b0bb1ba2949abb607390e5c27eb84d21452e16c227f2407d4a0d826b0f3f02f8757d285c4f513a281000e17c1aa44e80851b74a948542cfa982a0288e51b88bdd11993b0d2d0e505cb608577211114e0291be294ffb178e0a7e4572eb65b8aa3e3b947603412be6eaa4a263b061edd8020644ba293490ddc1bdb81e309b07ee5e5bf30b17b7e75ba5f28a611fe8eab315d1033e6ef18a4ba46f8f8f91805e7d3d3381acbfc5a0e7be13b7a95afe2159194441a8c2fe35c83e32abdcdc952e9930aee9e26872c0abb9035a1c869d92121418d85917b3831d015a93e85dedfe5886d5a4e71619e3b68961e0ea347e6f6e1f787a1ac71af0b31dd12b917118e5d56dc432dd78e476f30346da7fa3b4badd20e71e8215c734a5617278811e06ecb75fbbb0fd72d5593a5192062bd92bb75d17d6f64abcc88956b9d9cdc75bbd79aa21c06b87fe2068316cf8af64f22e78460d381b1d36891829c5951ed36e615b0e9c027c0051e2734954554a4ffee6421f145e21fa5d35dae5c191333bb9c5ff33a83b165a374f3512e50cf2f3ad3dfcd92231ff563d9991ddb1fb905227a03ca1955ae3f9028f90d4761254ec4259a6872e49d2847757e69f2912978de6e540fa87fb88a1f16c9e4ecda16484a7e8430301f14ed82610b794a1befb0e815f1b07262668d7f27e3a6375dbb14b860ad037163adc9814b3f05f163edd1a94fad516160b0d11d1157f21425b029e56b30a25268913119dc4bf082fb8a45fe9d606f4040cea4a77b279473bb7bb812e060a672dd2ede47d64f70a426eaf56a994be00bce88e86ded7ec7ca77b6b8726dd7e7815fde2998eca5403041eda3a9bd56c6124e4eda4bbd7cac079a110a6f38c10242b437f498a886e2106431893ad116cb783ae7d3637c8d33a3a54a47682f7238f0fa5c168889494dae93a33ad15fb9d87637440c77c5bcd55c5f93d503edd0c4a0cb82707f476ac2428e8fe163539b410a71a957c1f47db8d97632ca948394ede22448b5776cff3f6a00d04ed7aadff0e9ea449f91dfc11e966c6ac3993a1bcb019efde7a58eb492237bf002aa5f384786439c1235d6aa7bef20189887d7d9b7c0d9b58c32d6693e367ac51097c86d400192677192a3d8152ed424cd6f8549f6f2da8f172949effe8fc8fdbff2375f5aee1930559c86b721181e23d938f91d320111afb069d32984ac7ca86f6a989486a6da1b619226a10566703a1cd82155bdb03d800e1053b682d74a1ed9e7390c48eee5b9d2ea7347b7e35d4e5c945578dfc0c22c44c9fa5b0c97aeab51cd6aa67554e150d2694aa0476d7dcb9ee5b8be1943018a5969dca36d129fc359feac3e2cc718e925403f55d7c32c52e6977c83b852784cf279718561a4ad4f9a70763b3d119b8f1ada8bd99e77b56b4e7b22f8899279ca24c07773cddfc37a3219df2a9c111d9a6af863779ea7d2c4944e48ba05302e3b052d925757ac7eea659d8b1761747b227047563c43e71dd18d7d18ef9042781312be8e64afe229965baa07d4dae611ab583c625c3734091a30636b5f0002ccfafe2462db40b701d4abe653f84122cf0577c57f9549da158cded76e2ec1206ddf34428d88946d348675388ea7132adb9831b3579cf8ef50380bfa5714d922a12dfa9e38b6a3bf004e51e8a50c4b0201623290ecf53836db2991eab85c10c15f831fc98101ea0281a767a6c0b26d07ac68d87326878742f3e9355545587cf2a3c6bb74a518b70a264ad885ae4a52347fa2edf27f61b70e7c0a97a98668b4827a76ad4aa928994bda9681218198f2756daa337cf2eef6813d110d80234d6aa299307f45b219942245dc325a0dec176c85549f243537a43535f1bb8cd7c19e419dd4f43857955b72830be583f5a9da59777fca648bf13ce9b871f89217b3e78161e1e4692d873b5aff6b44ff18159463bbce44949fbca6bb4d0394249e9a55c291a5325ab1338e21ac5091adf16099fb6a409214f2315ded62fc8619b340d2a0f9f0bc76a142a8d6e616291dbb17bf1710915cf7c712c7f42351f0e0ff6526b26506eabf5a62f94d2ef4286c1aa14b00177dd5eee43ad7214f619b3ee9fe48c188880e607b6b6b2e53762afa81f5e6c451153155b813f5b76f7edca5294e39c2e40c66a9d7c375adfe390a5cb5015b2c7ee946cc16d50b59001081c8b7c8c3c26d8dc85f48e58dd8894c785684184c1ad98853f31aa86edbec87d6525ea01da1b5aa9711ca379b0dd61d97a129902a9390d57ec0450c0d34aeaef37e966680d179f74496160e4b686501e77f3aa69e7889cd1a52bc55db37e87d049f93fb597251ea43387af1d249406234fb399acb8f72d2932153bd4b0f42db7ea2cee45ed11b8cfe669b9fd0d90b8065fff13efb8e36e22503174bdb8d5a52a632249b45110cf2ca37b92720c02dcfe5811514eb132c7f0af5f23ce2edd182a2a472dd5d90dd0549e0bb2d094fc1d8002c8d81c737ef37ea582b1c5c297da29f6cbb6a3db12708869313ee864a6895974747e11718d96730a19eb6d16412c8c4b9508b1051a33d9d3b88751f62670f1f6f7da4c76cf8b9aec832648faa06c755dabceee5e136e373c5630f9ec687cc922279fac1579f9e793076a35ea7a1e139b825ff18e0474b55894b4c60207031db415330deee3e8305ee9f38c2292f79001f737b7c61c4e46f271a6a9d260749a60398f4548a91d6db087d7cf3f9e1fa56744297f451918f4bf8b989967a2e29fc50b880d6bbcdf35b578d918ab492d38e02dece15c0aec3ee98951b4ebf92f25a5bcb86e80a406ce26ffdb08bc9826e817f51db1c216c69e954676333c6ed038354ea08c80d3f8af9b9d05258436b7e4df1453d5f2099f12cbf3c7bb1236e7e093ffcf032b19e0ff59135539b6a49c10d50703241728d18a470826c243e2d8a79147c9f5af7cc3225e10a2a965ab4af24e09dcd1e127e1421433134705b2d6f64d5784f49836047b43b66ac2ff0c97e0b37b7336560864c7f7d381e2fdd19110c2310a7339efaacdae4ee1e9cc74656781e61c915e12a0c7f68e87abaef9d1e8d7a529761f042ad18d4f15cb689e27c329679058b5103774d71a8bea14a878af096d2a195c4ca4b16722d8977b4a07e5dfe81e40a505c0b32cec06580453094f93f81eff92187f9bd1bc4958681ff69a79e9b7a46c0ef66ae3e1dca6a5c64a6f9aeb0a3c89ab2b6aba304ebface1e178f3b517055208c426f4620090bb13aa793ad485ab8e53f0d487dd0989216c785d31c74a58f01e60de73a1ad5b933aa991b162b2aee2974cff78bed4374a568963ea1037bd691edbc8abb3a285d89bf450b65b714cb8f9cd8be1eaa109d9756db0de68b13b8811d1f1d8e30a5eb3bc873f2afa536b9a735f6e00af84284249071bad9f1f7ea40dcd3bd7b8b55e2612af003c32c4de08c457874b28e1428911afe33da13d65a6258fac37d9dbc277a12cec22cd5a19411c6e9990d30968fb0ebf2d6b090ee3c21cd21b7d5b1e799d1be1ec99109440f7ce864e47f1cb65739a56085983db85aa304eeda953ff9e46d15ec3dcd1a4137113ef30a69da58501d0fee0683e35ec4c1e057d98fd057e03d3b55d5eb20f753bf5194ea93e3bd77f8cfebb0c23f97bbe1cf15c69e959e59ee94aec98ecf60f164e160175f2f6beec266059096610ebfd02372da565e8fb5d3dc2440c39d6385cd7a2dd82b4c39aa47255eaf9b12a644d01abd74db144dfb0405ade705dde0481481a70eef04d3a3c0626e30f5f48ccf70c818fb6cbb63ea4b20c5dd3573d04ba504997d720e3430c96a714af250585c72487b3d567c4a82dc38d91f6e8064916c3c3e78885892fce7c86ef1eb76304c004f6db5ccbb8858bbb8821fb97ede6d0dd8d42e18210e5a3948bb51a75a71cba14cd643d8fad4d58b6ebee2515e4186d4687c8d3dc3b5927f09e14ed71ab4b190b38b0718b010bbb123328536efce7f9d23b668f236009de46ca4842ccd2e03d0e6254a81a3387be4afd78337f11dfb78b4ad2d437fc6f190fec0b6ec3db6f0f2885444910a64b10682cb9da9f17996bb6ac05994f6d3d7000f46d94949fc41a0bfdfbf0d794db29895009bb5fbff2edc0da12c5114d0098126ad1f2284286ad1e7f144a785dd96571445743fecc5e55cfa3fa2a238ae5e913459544712b36b5236b6bf91f8c9f8f54adf4869033b4039eb7d4f6cde19aa287eb1002e9eb8ef829c2cd612ae066b73a04615c8717c66c8ce05c0b16455ef1a70e0e3588f2e1a522789e8c09a1d40df8ed192aea2a78186f922d798aa9c0a29ef89d124401e3e7289ca56aa031f40747aba920dd7c20d3559d8c26299c50bc3bc49ddb2c0cb09c1c1872edeebd152ac4b54c494b6becd9bf970e4933be548fc82b8acea04a06612cea1cb029ca9534fc0849ea7a8f7608eeea226e42b60f5f715f97d9079e70ac2bd6e4eb760481a3fd3db122874674ea2009796bbc486c43a27e359926c5532111534695ab02b6bec8f67751c40957455613ff11765b964d2061a9813ce96fb527af4ee25117a986f84396b42dfb7faca8d16eea7edd02b0cb141f8d10e0200e16b4345fbed476ef6273d047afdca82b6b23e7e4eb05ca8b04b8e42e66e3c923259a6d7e3ddfc3cd00dd50f95fb25630d662af0699d2b51e7306ee7cbb82dc7a0448e1731488bcd6465f0d56c8af5d992dac20b00bdd3f1132d7f3d06eafd5b12e400f3c6eefb4b4f28e000a205d34c4360eb9acb133f8ff2ba46ddae4562df9243e3b5a82ec1b93f2796e86f9267e44b7ecd3c5fc776ea46eb0e40e5ac854ea22f9554a3bf03efbd561fe659cec06a4dea1ee3f65d3199a7ed8667a0b457c1a25f474a3a890413668c7ee11d497411108c09b8999021715adddd78aadf919d00d238b845aa6843ce4243f6cdd8420621ca637ae43af43cf892802022ce65a7e2e4d9a6b53dc5b31f73f3403ff14200877257ea10d347765edc99e489391eea31acd6f45dcd8228a9aaabf1e0e416685c7cbad77d0de465fe719a959b545a17d2c4e964de4e009f17ad0236c557e62a7630e8b61c273d3d11344e1692effa89c1994594708922db43ea181bf0a8bcd7990c313d76c61f6858e03ebd106b86ebf01af0328f5e8b4760b2f8ac1fe3a6b5bcad78cab94eb70329908781f63300ede22912d9598da14ca9358b5425c8207c3957b16f0abdf6ae1f3dfafbb280aff7727d41eb87c3976afc2403f6cc815b1e87e6834f98ae0e7526043d0d1fd8485212865f61ec8e5ca72a2a67f87ce24d5e0cdb50faa2463ab68ef5efcb3fa199cdf221a34e3e1eb101cd6613357454c16af1bec9f32e016abd57593f9c39eefdbc01970e0812f73acc1c1fe211e4ac5766900f11e5b026798a7763f6c7ae5b373c22a7888bea32f4e27cb1f05f72848b2aede74e5ec67e5d2113d9b1bc0ed014ee61bda4235fa8e6fa47cc75f754502e0571adc06641c4028957227af521fb0a4ba045a65d07749f3a4200084a7454601213a227a722dd9f3eb33ea9177623be9231e0df8005742a41e793b0d6158526f28c940ae04c9c65d476d48bd246fb285fa155cfbe14c903cd7c355f30ba22b5267ebe2b20335602e968617b10f714a85e31e3593e54680be712e8001204e36478b4f897c3500db317b4d5b8d29a5de7a6514ed2015f17aa6c8302f2ac8889991391b059ba2cc02d91d9df8053b657e129c058966eb7a919a4a47813f201cc5d21af6f47112f310313f320a17a8aec16c421427431ff15f73e7711fd45be386d77c9195a187c092b525536e144c890a850f0953036ad251b80c352bbb7ba8e4b3b9e51ca3ba00319f3718c52b58a8ab5b1e254c9b556383d6fd1c8823cd7ab1609fdd8b115ed2b51327df0926f4ee105b24057e995e9672421b8c0204e4ae3ccd8c89b910f97d19b08f99f3c3bede26724b1979cbd7a2df8dd15e1b3a829c52f46f84c3105bc4f71b5816c0f5184240503e1e36523cb38b269f72f1fbd8e4c2a78ee9cada60865eb2022b5e1d78eb1490511fd871376cf1f6d709d5f69c75fe331d359f32ceac6730bb9882979addc66ea32c65f0f06490758843ecacd661692c89ca639ae93fffc714746d6eae02a3aed21d158216c6e0fc967f9b4c55bb37cfaa615d3749f177bff86a46c7386ca2e9f1248933d2c0f32cd9bbc9204c9ac8b42c9eb3343ed52547278a84610afc94b14a2a54c3a7fc4b041f8a3652b268799d2c1e09f2697b7882d1b2ed002e9cabe2330a02cdcf1381c4f993a229c7126b3314e6d254ad75e0a3d7e9f69b320c2f668a276bb117c2c9121b389b2fd725ca7dcabad1128f21cf40e1091af6207215037727e4807cecd4f01f190ac55e3ece15301d4a6410c15f13f71679de4fa17dd7a809101cad326a55757cd366ca0d567afffe31f069d489df30978d87760ce4194e1bafe6008840d5f7d51cc2fb346fdd52f7a3e6dc72fdc1cefa2952ba68bfb5171acfc8d69476224cad091e90fe3efeb42516a797d6ad3f4f6e2b1652a10d2b210184a9e0f85eb560df5ab71a394e8420f422504d9340be47c2c2bfb682eab5480624cb97359cc66addbe8a1c7535f78d8979bfa184d4115e17e42a10936718c710a568de45d9058ba94385cef7fdcf6f288039923cc5ce79de8f37ffaf000b5f1bc9cc30deb461142f13427e1398e3b0f24f5a5312cb322f6de867169419100405cfe31ac208d51ffbea763346dec6b8b4d50ae73915bfdfb68d830110af62a523965bb33d7e973f1ca312c0c2684d9a048642844e68934181aac59b4721f225290c22100da06d010394a136dc5a78c94d80d94b4618d099ab410f9979a4076e1d7eb517e70e1fd762f7e5457e1ee4e80fe971aa166823640ab23d8a61c9cae10844d6c8ae166cecfa253ebfda1ac8ab2ad7789adc3387e24d370371f065473f1a3bdb408bcb628c9cb9ac5dc4632e12d0cdd81d5029b019ad91e616514812b105b0245cae2b2f892d134da3f13a2641148100d923254b525bd3c387b730ece128f0e2cce40813801319a5e616cd446b493cc97a77ff917c5e312341e6eee4351e6bf965d161dba6cc1baada20fee84d5db5710f7802d315df916c4957ffa8eb231cd65b9c7ec505fb56ccf78b2429edc837647435917d9817d95030d733d787246fd5e4854d72a101893481dc4abb86f6d7bbe8cbd5dbeb1cbff044d9ab33c2138ea595ebf0fc3df38c59635291180811aeabe13c624ec70cb73559c593b6290269d62fae9c647e3c1c5d87817260ff0a0b870ad2a6b64485788ceeb0bce69b0b59c1ce032a465e611a7e46e546a007870ae470e7e6908bc9931a09764dff6c1f1f00aa3d82162ae772fba562be44846c5c08e0eeb03b06f6f80fa5d8fbff662150a45ee656eae8b3bf660d82e59018bd7e395d8c88feeaa65f5cc38d76af7c)
    │   ├─ [6439] HonkVerifier::verify(0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf00000000000000000000000000000000000000000000000b75c020998797da780000000000000000000000000000000000000000000000005a107acb64952eca000000000000000000000000000000000000000000000000000031e97a575e9d00000000000000000000000000000000000000000000000b5666547acf8bd5a400000000000000000000000000000000000000000000000c410db10a01750aeb00000000000000000000000000000000000000000000000d722669117f9758a4000000000000000000000000000000000000000000000000000178cbf4206471000000000000000000000000000000000000000000000000e91b8a11e7842c38000000000000000000000000000000000000000000000007fd51009034b3357f000000000000000000000000000000000000000000000009889939f81e9c74020000000000000000000000000000000000000000000000000000f94656a2ca48000000000000000000000000000000000000000000000006fb128b46c1ddb67f0000000000000000000000000000000000000000000000093fe27776f50224bd000000000000000000000000000000000000000000000004a0c80c0da527a0810000000000000000000000000000000000000000000000000001b52c2020d7461f1f14a4801e54c68a6ef3f4923f48942d8c6c1a1a456878749f2f1f9971ab760bd715111ecf7f69c8cabf2df3255f12dfc398a1cc68721e12711b296552caac2341c908222a71140dab7ccfe6fe53045a7adbee35327f3b8c0fa4b085652ab914f91c1f4ab59b3139b12c2f5992b0e72a278e1fcfbb14283d97f6071b524bcf018436cc68bf6fd96b0a7a203d636344791c05c584586c297639b294f3f2ce0b178ee4b6f1bde8ee6fb6ca4ac595d75f84e7c3931346f946b87f27325b836fde16ecefc4b60639decb2802c640e484f25666726d86c1023a047a908f2fb2c79f1c52d4387bb92e7d06a9a80ecc1bb915222b94a423363936de4216f4935fe43620bb6449e12e76017fd19b43ca68e8a25bdf9f8b33d1131cc1aa239722a57cc3152e8937bfedd954fb7a1a0bbbe8697d6dc357ae80c6f969aeebf016e182fc3e203d3d1a0855cf7bccfe127bc20630eb9209fede6e6ed49a7693083b622ebfc81512f600dee5cc63334d568482c7f8374b32b1b43642fb11cac1ce1c7a3ebd771abb6722899c6cbb7e88d5dd8eef6811b3b92efd1731f900051efbd7b7444d1929321befd614f4e8878a3d72dd31fc41b0d8e22b619da90d3908b3e2a78bedc429c3aca4f5d4c16dc4abe2f6233a96232d84b532e53964fa4d79482e75a9d02b28f3e3e94eeb499ecfc0d8ea8dd87ba2b85fd8466ae6eab852c09c7c5ef2f03309296fa5b648fabf77cdfc262904bdd2f7fb3d42bca9ffcebd97c2574a1112cc273adecd2ae8a56a40824990587c9a8a3038ab05bd0f70c2864a333ca5eeed3516f4a8a534ee2151338b55fa706fbb29e5aed5f9931943b3fa60c2459fd4c9d403862b069cf31a38e067bc982ea735d451a533204098475dc1eb18fe9bfd6dbc144b871eda2a11f492671b9e968b13888b787903657d761d147a21687de9fe4f05834e6ae2b1452a319320ad62dcef309dbf0974f89a524a51becc01fc147a810fa93a3959091c3d8a70a17d79a6175c1343621da20af2a92f39a4dc6453198717310686039425c77794656c4a43acd478960f511bb2b5dc3cdbde7cd0ec8ee22f2e2c7714fdf020638a01db5559cad4fc6a7e7f2a4ade366cd8a2bde8370a141a4f0013ea8de792b08d4a81f3e8171eaef507e53664224a7fdfadcee797eade1e3796d99a655cc78cc40990eac91a9ffa5fd699149bf3a610dd869c135643d924284725d021e69d977291b6f3a02f47eb683531f4c4d4247539444fead65fc128fbc965ed3d7286694548453494c8dbaea86aa0a66a16e4cf470e307596490717695043571d06f79aab936ec2069d120a72773ea001f75a7e8ab44263679aae050612783f343951d0ca09178a5b0b0382bd31b3a90d58277c6c9217b6f0a57410750c816076d696efc2c758a5de607a86542290403f677b95d8e57a3a74e943022908af5199f5652cb607a86155cd0d8f7718d53f68f2f567f10408616efc3b0671073139e0801922c348cabc5a5fff5243e98bc057c6d5faf68c7f4c39a7fa09d1e2d7b6579ade6a8f5266437b63ee22e65028ba80d75b4403831e04f37045008ad23d2812f3607f772dec841a433f218adb2c42ef31ab9ff151f3b3abf3451be9cd3760ad7f8230fef245443ad35b0faed8f5a98bded38917928714016071020ebfe4d24e68ef972698a1d3475eb28df6f3e24f13896efa71615951ed0b3c07e934a41897ab7ca4c85eeed1afabc121783e748ae468f2e16ef73a4b75342f146d68a39f090290c8ca747eccc410b063c9d0ffb0fb558985267823a7440858184e6e5576574614928f9dc76a55d4787decf81afe577de25c7666fae80b1e181a609a952250907475f2941fa616920cf04aef944c0d54f6fa1e8bfb9d5d6f551f1dfa15f9f8a7d083cb7f9df9df03dabad0d17b3c5e4cf76c241a4b97b4e68b28d01dec3dc754b7a72ff40d74240fa9979dcbf57c5451f1bfd11e6424e741122cffdd6552a172dfcbea97bff4f7c7a593584048cdca11b3cfe68b43513f01db297825d8c86a1196feb6a297c5559fd222413ab005c148fd41bcfd6e7206c0870ce4dfe72b86b0f0307bc9b25f2483a714b0e96ba65051c61d63df7b80ce422a043ad57f44eb7c28c57b68d7ea72d4eee397cbe78153444dcc64d0dd17695bbd29ef93734475039b2e22dfee1315d4c818fc46f172732a03cd51319cae2768b7049053c1f5120dee380d3aba254c092068e1779cdd71e345b369bd198a6885a602a96a5f780b0e23c825ba1dad2bf184df3653b9a585ddff6b28e565604a0d440f24d1ff498b2476185174a9f17b0fd9f8291fc15823504852489e7fa0615b3b14118a08aed377961bac224d7be0bd1061235534f2cce1a6d262bc43003cfcfc271462942760ee4232b6042cf8f866c558a25f559b4a0bd3a4113592b7503d4e1b81f0a9ca569241ec2cadb419495afaf54b728db5b43e4f86360658510a5071175b1b4d6e05b1467268ae638f6c0f92e291d87c8525c796e3708e12246e13df0259fe5e7138b984d16f1778af3faabf98465e1c333bbbf00799655cc916e5eb05c7667d5887489598445262d0a9a4f86e90fa1c8c1eaa810934ce91668dc2eb1542be509841fc15e81c0219a30788e47046b615dd1661f836d447c8d87246242272d7810812f713564c6fd48f141c6dc5d6d3fb330453cc6c9f33dc1858146f1a6cfc424c050a4d33b0fecb6658919c5bae66ae4d2ae20322435289c8fe1cf7279c8919034a3fa9173630bc74724e6608b58b69fdedf5bc4b4cf0c11c11f7d90b67ce883a5bd9f60e76b6825d44b304acca46c88825c372160733134c94f9da0d98cdacbe4890030c812cb88934bd9ec5d734ad012344f1e48f7c7f16af859a2ceefd16547e40f41e98a0435eb2021fb79fa86498452333aefb5ed0053311e1243c8a3d3c0b61b9beaee6f5832c6c4552c103b13c230f9492845c9b92da266d28757d6026e42a4940f3b38fbb3fa7f125c81a1873c73a69f85357f4a5a1d7eb17622558ce63099469851574759356a18fbbf7b923ffd83435ea127d3ff0ec2c185d5d349d58d8762cd23b4c26dc1ecfab68b4b3822efcbc107daf1089b058540c8dd064e2a05f8d115ef8871b02593f761696c09f4d38eac46f232493d4166f2fb5d846d966ef2c818c2a3f0fd250963b0bb1ba2949abb607390e5c27eb84d21452e16c227f2407d4a0d826b0f3f02f8757d285c4f513a281000e17c1aa44e80851b74a948542cfa982a0288e51b88bdd11993b0d2d0e505cb608577211114e0291be294ffb178e0a7e4572eb65b8aa3e3b947603412be6eaa4a263b061edd8020644ba293490ddc1bdb81e309b07ee5e5bf30b17b7e75ba5f28a611fe8eab315d1033e6ef18a4ba46f8f8f91805e7d3d3381acbfc5a0e7be13b7a95afe2159194441a8c2fe35c83e32abdcdc952e9930aee9e26872c0abb9035a1c869d92121418d85917b3831d015a93e85dedfe5886d5a4e71619e3b68961e0ea347e6f6e1f787a1ac71af0b31dd12b917118e5d56dc432dd78e476f30346da7fa3b4badd20e71e8215c734a5617278811e06ecb75fbbb0fd72d5593a5192062bd92bb75d17d6f64abcc88956b9d9cdc75bbd79aa21c06b87fe2068316cf8af64f22e78460d381b1d36891829c5951ed36e615b0e9c027c0051e2734954554a4ffee6421f145e21fa5d35dae5c191333bb9c5ff33a83b165a374f3512e50cf2f3ad3dfcd92231ff563d9991ddb1fb905227a03ca1955ae3f9028f90d4761254ec4259a6872e49d2847757e69f2912978de6e540fa87fb88a1f16c9e4ecda16484a7e8430301f14ed82610b794a1befb0e815f1b07262668d7f27e3a6375dbb14b860ad037163adc9814b3f05f163edd1a94fad516160b0d11d1157f21425b029e56b30a25268913119dc4bf082fb8a45fe9d606f4040cea4a77b279473bb7bb812e060a672dd2ede47d64f70a426eaf56a994be00bce88e86ded7ec7ca77b6b8726dd7e7815fde2998eca5403041eda3a9bd56c6124e4eda4bbd7cac079a110a6f38c10242b437f498a886e2106431893ad116cb783ae7d3637c8d33a3a54a47682f7238f0fa5c168889494dae93a33ad15fb9d87637440c77c5bcd55c5f93d503edd0c4a0cb82707f476ac2428e8fe163539b410a71a957c1f47db8d97632ca948394ede22448b5776cff3f6a00d04ed7aadff0e9ea449f91dfc11e966c6ac3993a1bcb019efde7a58eb492237bf002aa5f384786439c1235d6aa7bef20189887d7d9b7c0d9b58c32d6693e367ac51097c86d400192677192a3d8152ed424cd6f8549f6f2da8f172949effe8fc8fdbff2375f5aee1930559c86b721181e23d938f91d320111afb069d32984ac7ca86f6a989486a6da1b619226a10566703a1cd82155bdb03d800e1053b682d74a1ed9e7390c48eee5b9d2ea7347b7e35d4e5c945578dfc0c22c44c9fa5b0c97aeab51cd6aa67554e150d2694aa0476d7dcb9ee5b8be1943018a5969dca36d129fc359feac3e2cc718e925403f55d7c32c52e6977c83b852784cf279718561a4ad4f9a70763b3d119b8f1ada8bd99e77b56b4e7b22f8899279ca24c07773cddfc37a3219df2a9c111d9a6af863779ea7d2c4944e48ba05302e3b052d925757ac7eea659d8b1761747b227047563c43e71dd18d7d18ef9042781312be8e64afe229965baa07d4dae611ab583c625c3734091a30636b5f0002ccfafe2462db40b701d4abe653f84122cf0577c57f9549da158cded76e2ec1206ddf34428d88946d348675388ea7132adb9831b3579cf8ef50380bfa5714d922a12dfa9e38b6a3bf004e51e8a50c4b0201623290ecf53836db2991eab85c10c15f831fc98101ea0281a767a6c0b26d07ac68d87326878742f3e9355545587cf2a3c6bb74a518b70a264ad885ae4a52347fa2edf27f61b70e7c0a97a98668b4827a76ad4aa928994bda9681218198f2756daa337cf2eef6813d110d80234d6aa299307f45b219942245dc325a0dec176c85549f243537a43535f1bb8cd7c19e419dd4f43857955b72830be583f5a9da59777fca648bf13ce9b871f89217b3e78161e1e4692d873b5aff6b44ff18159463bbce44949fbca6bb4d0394249e9a55c291a5325ab1338e21ac5091adf16099fb6a409214f2315ded62fc8619b340d2a0f9f0bc76a142a8d6e616291dbb17bf1710915cf7c712c7f42351f0e0ff6526b26506eabf5a62f94d2ef4286c1aa14b00177dd5eee43ad7214f619b3ee9fe48c188880e607b6b6b2e53762afa81f5e6c451153155b813f5b76f7edca5294e39c2e40c66a9d7c375adfe390a5cb5015b2c7ee946cc16d50b59001081c8b7c8c3c26d8dc85f48e58dd8894c785684184c1ad98853f31aa86edbec87d6525ea01da1b5aa9711ca379b0dd61d97a129902a9390d57ec0450c0d34aeaef37e966680d179f74496160e4b686501e77f3aa69e7889cd1a52bc55db37e87d049f93fb597251ea43387af1d249406234fb399acb8f72d2932153bd4b0f42db7ea2cee45ed11b8cfe669b9fd0d90b8065fff13efb8e36e22503174bdb8d5a52a632249b45110cf2ca37b92720c02dcfe5811514eb132c7f0af5f23ce2edd182a2a472dd5d90dd0549e0bb2d094fc1d8002c8d81c737ef37ea582b1c5c297da29f6cbb6a3db12708869313ee864a6895974747e11718d96730a19eb6d16412c8c4b9508b1051a33d9d3b88751f62670f1f6f7da4c76cf8b9aec832648faa06c755dabceee5e136e373c5630f9ec687cc922279fac1579f9e793076a35ea7a1e139b825ff18e0474b55894b4c60207031db415330deee3e8305ee9f38c2292f79001f737b7c61c4e46f271a6a9d260749a60398f4548a91d6db087d7cf3f9e1fa56744297f451918f4bf8b989967a2e29fc50b880d6bbcdf35b578d918ab492d38e02dece15c0aec3ee98951b4ebf92f25a5bcb86e80a406ce26ffdb08bc9826e817f51db1c216c69e954676333c6ed038354ea08c80d3f8af9b9d05258436b7e4df1453d5f2099f12cbf3c7bb1236e7e093ffcf032b19e0ff59135539b6a49c10d50703241728d18a470826c243e2d8a79147c9f5af7cc3225e10a2a965ab4af24e09dcd1e127e1421433134705b2d6f64d5784f49836047b43b66ac2ff0c97e0b37b7336560864c7f7d381e2fdd19110c2310a7339efaacdae4ee1e9cc74656781e61c915e12a0c7f68e87abaef9d1e8d7a529761f042ad18d4f15cb689e27c329679058b5103774d71a8bea14a878af096d2a195c4ca4b16722d8977b4a07e5dfe81e40a505c0b32cec06580453094f93f81eff92187f9bd1bc4958681ff69a79e9b7a46c0ef66ae3e1dca6a5c64a6f9aeb0a3c89ab2b6aba304ebface1e178f3b517055208c426f4620090bb13aa793ad485ab8e53f0d487dd0989216c785d31c74a58f01e60de73a1ad5b933aa991b162b2aee2974cff78bed4374a568963ea1037bd691edbc8abb3a285d89bf450b65b714cb8f9cd8be1eaa109d9756db0de68b13b8811d1f1d8e30a5eb3bc873f2afa536b9a735f6e00af84284249071bad9f1f7ea40dcd3bd7b8b55e2612af003c32c4de08c457874b28e1428911afe33da13d65a6258fac37d9dbc277a12cec22cd5a19411c6e9990d30968fb0ebf2d6b090ee3c21cd21b7d5b1e799d1be1ec99109440f7ce864e47f1cb65739a56085983db85aa304eeda953ff9e46d15ec3dcd1a4137113ef30a69da58501d0fee0683e35ec4c1e057d98fd057e03d3b55d5eb20f753bf5194ea93e3bd77f8cfebb0c23f97bbe1cf15c69e959e59ee94aec98ecf60f164e160175f2f6beec266059096610ebfd02372da565e8fb5d3dc2440c39d6385cd7a2dd82b4c39aa47255eaf9b12a644d01abd74db144dfb0405ade705dde0481481a70eef04d3a3c0626e30f5f48ccf70c818fb6cbb63ea4b20c5dd3573d04ba504997d720e3430c96a714af250585c72487b3d567c4a82dc38d91f6e8064916c3c3e78885892fce7c86ef1eb76304c004f6db5ccbb8858bbb8821fb97ede6d0dd8d42e18210e5a3948bb51a75a71cba14cd643d8fad4d58b6ebee2515e4186d4687c8d3dc3b5927f09e14ed71ab4b190b38b0718b010bbb123328536efce7f9d23b668f236009de46ca4842ccd2e03d0e6254a81a3387be4afd78337f11dfb78b4ad2d437fc6f190fec0b6ec3db6f0f2885444910a64b10682cb9da9f17996bb6ac05994f6d3d7000f46d94949fc41a0bfdfbf0d794db29895009bb5fbff2edc0da12c5114d0098126ad1f2284286ad1e7f144a785dd96571445743fecc5e55cfa3fa2a238ae5e913459544712b36b5236b6bf91f8c9f8f54adf4869033b4039eb7d4f6cde19aa287eb1002e9eb8ef829c2cd612ae066b73a04615c8717c66c8ce05c0b16455ef1a70e0e3588f2e1a522789e8c09a1d40df8ed192aea2a78186f922d798aa9c0a29ef89d124401e3e7289ca56aa031f40747aba920dd7c20d3559d8c26299c50bc3bc49ddb2c0cb09c1c1872edeebd152ac4b54c494b6becd9bf970e4933be548fc82b8acea04a06612cea1cb029ca9534fc0849ea7a8f7608eeea226e42b60f5f715f97d9079e70ac2bd6e4eb760481a3fd3db122874674ea2009796bbc486c43a27e359926c5532111534695ab02b6bec8f67751c40957455613ff11765b964d2061a9813ce96fb527af4ee25117a986f84396b42dfb7faca8d16eea7edd02b0cb141f8d10e0200e16b4345fbed476ef6273d047afdca82b6b23e7e4eb05ca8b04b8e42e66e3c923259a6d7e3ddfc3cd00dd50f95fb25630d662af0699d2b51e7306ee7cbb82dc7a0448e1731488bcd6465f0d56c8af5d992dac20b00bdd3f1132d7f3d06eafd5b12e400f3c6eefb4b4f28e000a205d34c4360eb9acb133f8ff2ba46ddae4562df9243e3b5a82ec1b93f2796e86f9267e44b7ecd3c5fc776ea46eb0e40e5ac854ea22f9554a3bf03efbd561fe659cec06a4dea1ee3f65d3199a7ed8667a0b457c1a25f474a3a890413668c7ee11d497411108c09b8999021715adddd78aadf919d00d238b845aa6843ce4243f6cdd8420621ca637ae43af43cf892802022ce65a7e2e4d9a6b53dc5b31f73f3403ff14200877257ea10d347765edc99e489391eea31acd6f45dcd8228a9aaabf1e0e416685c7cbad77d0de465fe719a959b545a17d2c4e964de4e009f17ad0236c557e62a7630e8b61c273d3d11344e1692effa89c1994594708922db43ea181bf0a8bcd7990c313d76c61f6858e03ebd106b86ebf01af0328f5e8b4760b2f8ac1fe3a6b5bcad78cab94eb70329908781f63300ede22912d9598da14ca9358b5425c8207c3957b16f0abdf6ae1f3dfafbb280aff7727d41eb87c3976afc2403f6cc815b1e87e6834f98ae0e7526043d0d1fd8485212865f61ec8e5ca72a2a67f87ce24d5e0cdb50faa2463ab68ef5efcb3fa199cdf221a34e3e1eb101cd6613357454c16af1bec9f32e016abd57593f9c39eefdbc01970e0812f73acc1c1fe211e4ac5766900f11e5b026798a7763f6c7ae5b373c22a7888bea32f4e27cb1f05f72848b2aede74e5ec67e5d2113d9b1bc0ed014ee61bda4235fa8e6fa47cc75f754502e0571adc06641c4028957227af521fb0a4ba045a65d07749f3a4200084a7454601213a227a722dd9f3eb33ea9177623be9231e0df8005742a41e793b0d6158526f28c940ae04c9c65d476d48bd246fb285fa155cfbe14c903cd7c355f30ba22b5267ebe2b20335602e968617b10f714a85e31e3593e54680be712e8001204e36478b4f897c3500db317b4d5b8d29a5de7a6514ed2015f17aa6c8302f2ac8889991391b059ba2cc02d91d9df8053b657e129c058966eb7a919a4a47813f201cc5d21af6f47112f310313f320a17a8aec16c421427431ff15f73e7711fd45be386d77c9195a187c092b525536e144c890a850f0953036ad251b80c352bbb7ba8e4b3b9e51ca3ba00319f3718c52b58a8ab5b1e254c9b556383d6fd1c8823cd7ab1609fdd8b115ed2b51327df0926f4ee105b24057e995e9672421b8c0204e4ae3ccd8c89b910f97d19b08f99f3c3bede26724b1979cbd7a2df8dd15e1b3a829c52f46f84c3105bc4f71b5816c0f5184240503e1e36523cb38b269f72f1fbd8e4c2a78ee9cada60865eb2022b5e1d78eb1490511fd871376cf1f6d709d5f69c75fe331d359f32ceac6730bb9882979addc66ea32c65f0f06490758843ecacd661692c89ca639ae93fffc714746d6eae02a3aed21d158216c6e0fc967f9b4c55bb37cfaa615d3749f177bff86a46c7386ca2e9f1248933d2c0f32cd9bbc9204c9ac8b42c9eb3343ed52547278a84610afc94b14a2a54c3a7fc4b041f8a3652b268799d2c1e09f2697b7882d1b2ed002e9cabe2330a02cdcf1381c4f993a229c7126b3314e6d254ad75e0a3d7e9f69b320c2f668a276bb117c2c9121b389b2fd725ca7dcabad1128f21cf40e1091af6207215037727e4807cecd4f01f190ac55e3ece15301d4a6410c15f13f71679de4fa17dd7a809101cad326a55757cd366ca0d567afffe31f069d489df30978d87760ce4194e1bafe6008840d5f7d51cc2fb346fdd52f7a3e6dc72fdc1cefa2952ba68bfb5171acfc8d69476224cad091e90fe3efeb42516a797d6ad3f4f6e2b1652a10d2b210184a9e0f85eb560df5ab71a394e8420f422504d9340be47c2c2bfb682eab5480624cb97359cc66addbe8a1c7535f78d8979bfa184d4115e17e42a10936718c710a568de45d9058ba94385cef7fdcf6f288039923cc5ce79de8f37ffaf000b5f1bc9cc30deb461142f13427e1398e3b0f24f5a5312cb322f6de867169419100405cfe31ac208d51ffbea763346dec6b8b4d50ae73915bfdfb68d830110af62a523965bb33d7e973f1ca312c0c2684d9a048642844e68934181aac59b4721f225290c22100da06d010394a136dc5a78c94d80d94b4618d099ab410f9979a4076e1d7eb517e70e1fd762f7e5457e1ee4e80fe971aa166823640ab23d8a61c9cae10844d6c8ae166cecfa253ebfda1ac8ab2ad7789adc3387e24d370371f065473f1a3bdb408bcb628c9cb9ac5dc4632e12d0cdd81d5029b019ad91e616514812b105b0245cae2b2f892d134da3f13a2641148100d923254b525bd3c387b730ece128f0e2cce40813801319a5e616cd446b493cc97a77ff917c5e312341e6eee4351e6bf965d161dba6cc1baada20fee84d5db5710f7802d315df916c4957ffa8eb231cd65b9c7ec505fb56ccf78b2429edc837647435917d9817d95030d733d787246fd5e4854d72a101893481dc4abb86f6d7bbe8cbd5dbeb1cbff044d9ab33c2138ea595ebf0fc3df38c59635291180811aeabe13c624ec70cb73559c593b6290269d62fae9c647e3c1c5d87817260ff0a0b870ad2a6b64485788ceeb0bce69b0b59c1ce032a465e611a7e46e546a007870ae470e7e6908bc9931a09764dff6c1f1f00aa3d82162ae772fba562be44846c5c08e0eeb03b06f6f80fa5d8fbff662150a45ee656eae8b3bf660d82e59018bd7e395d8c88feeaa65f5cc38d76af7c, [0x0988dccc41a93deb670523c06ae56f9f48d2df2ab9dded19bd762d9b19ee651a, 0x0000000000000000000000007026b763cbe7d4e72049ea67e89326432a50ef84])
    │   │   └─ ← [Revert] ProofLengthWrongWithLogN(16, 8032, 9024)
    │   └─ ← [Revert] ProofLengthWrongWithLogN(16, 8032, 9024)
    └─ ← [Revert] ProofLengthWrongWithLogN(16, 8032, 9024)

Backtrace:
  at HonkVerifier.verify
  at Panagram.makeGuess (src/Panagram.sol:73:149)
  at PanagramTest.testCorrectGuessPassesGivesERC20Tokens

Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 17.71s (3.93ms CPU time)

Ran 1 test suite in 17.72s (17.71s CPU time): 0 tests passed, 1 failed, 0 skipped (1 total tests)

Failing tests:
Encountered 1 failing test in test/Panagram.t.sol:PanagramTest
[FAIL: ProofLengthWrongWithLogN(16, 8032, 9024)] testCorrectGuessPassesGivesERC20Tokens() (gas: 584773)

Encountered a total of 1 failing tests, 0 tests succeeded

Tip: Run `forge test --rerun` to retry only the 1 failed test

THE GAME LOGIC

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

import {ERC20} from "@openzeppelin/contracts/contracts/token/ERC20/ERC20.sol";
import {Ownable} from "@openzeppelin/contracts/contracts/access/Ownable.sol";
import {IVerifier} from "./Verifier.sol";

contract Panagram is ERC20, Ownable {
    // state vars
    bytes32 public s_answer;
    IVerifier public s_verifier; // the interface for the verifier contract
    uint256 public constant MIN_DUR = 3600; // minimum duration for a round in seconds (1 hour)
    uint256 public s_roundStartTime; // timestamp when the current round is to start...left default 0
    address public s_currentRoundWinner; // address of the winner of the current round
    uint256 public s_currentRound; // current round number
    mapping(address player => uint256 whichRound) public s_lastRoundCorrectlyGuessed; // mapping to track the last round a player guessed correctly

    //Events

    event Panagram_VerifierUpdated(IVerifier verifier);
    event Panagram_NewRoundStarted(bytes32 answer);
    event Panagram_WinnerCrowned(address indexed winner, uint256 round);
    event Panagram_ProofResultSuccess(bool isValid);

    // Errors
    error Panagram_MinTimeNotPassed();
    error Panagram_NoRoundWinner();
    error Panagram_FirstRoundNotSet();
    error Panagram_AlreadyGuessedCorrectly(uint256 round, address player);
    error Panagram_InvalidProof();

    constructor(IVerifier _verifier) ERC20("PanTokens", "PAN") Ownable(msg.sender) {
        s_verifier = _verifier;
    }

    // function to create a new round
    function newRound(bytes32 _answer) external onlyOwner {
        if (s_roundStartTime == 0) {
            s_roundStartTime = block.timestamp;
            s_answer = _answer;
            emit Panagram_NewRoundStarted(_answer);
        } else {
            if (block.timestamp < s_roundStartTime + MIN_DUR) {
                revert Panagram_MinTimeNotPassed();
            }
            if (s_currentRoundWinner == address(0)) {
                revert Panagram_NoRoundWinner();
            }
            //reset the rounds
            s_roundStartTime = block.timestamp;
            s_currentRoundWinner = address(0);
            s_answer = _answer;
        }
        s_currentRound++;
        emit Panagram_NewRoundStarted(_answer);
    }

    // function to allow gamers to submit their guess
    function makeGuess(bytes memory proof) external returns (bool) {
        // check whether 1st round has been started
        if (s_currentRound == 0) {
            revert Panagram_FirstRoundNotSet();
        }
        // check if the user has already guesses correct b4 in the same round
        if (s_lastRoundCorrectlyGuessed[msg.sender] == s_currentRound) {
            revert Panagram_AlreadyGuessedCorrectly(s_currentRound, msg.sender);
        }

        // check the proof validity and verify it with the verifier contarct
        bytes32[] memory publicInputs = new bytes32[](2);
        publicInputs[0] = s_answer; //q if the test simulates double hashed answer..then should this answer be double hashed also?
        publicInputs[1] = bytes32(uint256(uint160(msg.sender))); // adding the address as a public input to the verifier
        bool proofResult = s_verifier.verify(proof, publicInputs);
        emit Panagram_ProofResultSuccess(proofResult);
        if (!proofResult) {
            revert Panagram_InvalidProof(); // revert if incorrect proof is presented
        }

        // if the proof is valid, announce the winner thru the mapping and mint them 100 PAN tokens
        s_lastRoundCorrectlyGuessed[msg.sender] = s_currentRound;
        if (s_currentRoundWinner == address(0)) {
            s_currentRoundWinner = msg.sender;
            _mint(msg.sender, 100e18); //q test for this amount 100 PAN tokens
            emit Panagram_WinnerCrowned(msg.sender, s_currentRound);
        }

        return proofResult; // return true if the proof is valid
    }

    // function to set a new verifier
    function setVerifier(IVerifier _verifier) external onlyOwner {
        s_verifier = _verifier;
        emit Panagram_VerifierUpdated(_verifier);
    }
}

THE TEST

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

import {Test, console} from "forge-std/src/Test.sol";
import {Panagram} from "../src/Panagram.sol";
import {HonkVerifier} from "../src/Verifier.sol";
import {ERC20Mock} from "@openzeppelin/contracts/contracts/mocks/token/ERC20Mock.sol";

contract PanagramTest is Test, ERC20Mock {
    HonkVerifier public vrf;
    Panagram public pn;
    uint256 public constant FIELD_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617; // prime field order
    bytes32 public constant CORRECT_ANSWER = bytes32(uint256(keccak256(abi.encodePacked(bytes32(uint256(keccak256("dorane")) % FIELD_MOD )))) % FIELD_MOD);
    bytes32 public constant CORRECT_GUESS = bytes32(uint256(keccak256("dorane")) % FIELD_MOD);
    address player1 = makeAddr("player1"); // faking player addresses that make a guess
    bytes public proof; // placeholder for the proof data

    //  and set up the game params make a guess
    function setUp() public {
        // deploy the verifier
        vrf = new HonkVerifier();
        pn = new Panagram(vrf); // deploy the panagram
        pn.newRound(CORRECT_ANSWER); // start the round
        proof = _getProof(CORRECT_GUESS, CORRECT_ANSWER, player1); // generate a valid proof for the correct answer
        
    }

       // helper function to generate a valid proof thru JS scripts which feeds Noir circuit inputs
    function _getProof(bytes32 _guess, bytes32 _correctAnsw, address sender) internal returns(bytes memory _proof) {
        uint256 NUM_ARGS = 6;
        string[] memory inputs = new string[](NUM_ARGS);
        inputs[0] = "npx";
        inputs[1] = "tsx";
        inputs[2] = "js-scripts/generateProof.ts";
        inputs[3] = vm.toString(_guess);
        inputs[4] = vm.toString(_correctAnsw);
        inputs[5] = vm.toString(bytes32(uint256(uint160(sender))));
        // inputs[5] = vm.toString(bytes32(uint256(uint160(sender))));

        // bytes memory _proof = proof;
        bytes memory encodedProof = vm.ffi(inputs);
        console.log("EncodedProofLength:", encodedProof.length); // log to see the length of the output
        
        _proof   = abi.decode(encodedProof, (bytes));
        console.log("ProofLength:", _proof.length);
        // console.log("Proof Hex:", Buffer.from(_proof).toString('hex'));
        // console.logBytes(_proof);

        return _proof;
    }

    // test someone receives the EC20 token upon correct guess
    function testCorrectGuessPassesGivesERC20Tokens() public {
        // pretend to be a player1
        vm.prank(player1);
        pn.makeGuess(proof);
        _mint(player1, 100e18); //mint some tokens to the player who won
        assertEq(balanceOf(player1), 100e18); // check the bal
    }


    // test the game closes upon the first game is guessed cirrectly
    // test we can start a new Round after min time has passed
}

THE CIRCUIT

use dep::keccak256;

fn main(guess_hash: Field, answer_double_hash: pub Field, address: pub Field ) {
    let addr_pow =  address.pow_32(2); // multiplying the address by itself to add it to the constraints

    let guess_hash_decomposed: [u8; 32] = guess_hash.to_be_bytes();

    let guess_double_hash_decomposed: [u8; 32] = keccak256::keccak256(guess_hash_decomposed, 32);

    // assert(guess_double_hash_decomposed == answer_double_hash, "Double hashes do not match");
    
    assert( addr_pow == address * address);
    assert(Field::from_be_bytes(guess_double_hash_decomposed) == answer_double_hash, "Double hashes do not match");


    // assert(guess_hash == answer_hash, "Hashes do not match1");  // Ensure that the guess_hash equals the answer_hash

} 

// #[test]
// fn test_main() {
//     main(1, 2);

//     // Uncomment to make test fail
//     // main(1, 1);
// }

THE SCRIPT FILE

import {Noir} from "@noir-lang/noir_js";
import {ethers} from "ethers";
import {UltraHonkBackend, Fr, Barretenberg} from "@aztec/bb.js";
import {fileURLToPath} from "url";
import path from "path";
import fs from "fs";

// get the absolute path to the circuit file
// you can also use this code here the same as below line::   const circuitPath = path.resolve(__dirname, "../../Circuits/target/zk_panagram.json");
const circuitPath = path.resolve(path.dirname(fileURLToPath(import.meta.url)), "../../Circuits/target/Circuits.json");
const circuit = JSON.parse(fs.readFileSync(circuitPath, "utf8")); // read the circuit file using the path created and using utf8 to read it as a string

export default async function generateProof() {
    const bb = await Barretenberg.new({threads: 1});

    const argv_inputs = process.argv.slice(2);  // cut the 1st two default args of node and script path
  
    try {
        const noir = new Noir(circuit);  // Initialize Noir in the circuit

        const honk_backend = new UltraHonkBackend(circuit.bytecode, bb); // Initialize the backend with the circuit bytecode
        // create the inputs
        const inputs = {
            guess_hash: argv_inputs[0], // get the private input
            answer_double_hash: argv_inputs[1], // get the public input
            address: argv_inputs[2],
        };
        // execte the circuit with the inputs to create witness
        const {witness} = await noir.execute(inputs);
       
        const originalLog = console.log; // save the original console.log first b4 disabling
        console.log = () => {}; // disable the console noise from the backend
         // generate the Onchainproof using the backend with the witness
        const { proof, } = await honk_backend.generateProof(witness, {keccak: true});

        //generate offchain proof 
        const offChainProof = await honk_backend.generateProof(witness);
        const isValid = await honk_backend.verifyProof(offChainProof);
        console.log(isValid); // should come true if the proof is valid

        console.log = originalLog; // restore again after silencing it

        // return proof; // return the proof only

        // ABI encode the proof for ethreum smart contract verification if needed
        const proofEncoded = ethers.AbiCoder.defaultAbiCoder().encode(
            ["bytes"],
            [proof]
        );
        return proofEncoded;

    } catch (error) {
        console.log(error);
        throw error;
    }
 
}

( async() => {
    generateProof()
        .then((proof) => {
            // const hexProof = "0x" + Buffer.from(encoded).toString("hex");
            process.stdout.write(Buffer.from(proof)); // output the proof to stdout
            process.exit(0);
        })
        .catch((error) => {
            console.error(error);
            process.exit(1);

        })
    

    
})();

[Savio-Sou]

ProofLengthWrongWithLogN seems to indicate that the proof is malformed.
See if Barretenberg's documentations help with double checking your proof's formatting: https://barretenberg.aztec.network/docs/how_to_guides/how-to-solidity-verifier/

[fahim-zk]

thanks really..i am following closely on the BB and if my script is making malformed proof

[fahim-zk]

i do not use tg...you can contact me thru X @Zk_Fahim