ezkl/tests/wasm/proof.json

{"protocol":null,"instances":[["0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000"]],"proof":[42,201,93,226,115,110,47,39,106,148,234,135,55,243,75,252,31,108,18,100,112,56,43,66,134,24,57,178,97,146,27,21,39,138,199,12,42,99,80,84,191,185,19,47,86,7,24,86,205,171,112,234,40,229,160,240,128,139,99,112,180,127,119,36,11,39,110,18,54,41,97,79,255,122,133,35,110,14,70,38,46,28,63,142,233,111,15,168,218,49,212,38,202,236,111,73,22,0,192,69,34,189,77,163,250,48,86,19,132,150,106,147,51,81,244,178,20,238,220,244,169,192,249,8,12,53,205,224,7,23,23,13,140,211,210,77,205,143,99,173,9,41,38,211,155,175,3,56,69,15,8,32,54,212,149,109,68,6,90,29,43,93,17,50,59,124,13,152,194,155,161,16,92,85,164,211,184,100,117,189,242,250,247,170,109,116,136,209,185,87,43,56,14,22,97,164,76,64,8,194,66,110,25,89,50,99,40,89,125,202,240,239,115,180,200,66,61,158,24,140,27,103,244,53,30,126,37,100,154,134,19,202,78,94,17,154,84,123,61,101,70,141,80,218,188,177,195,126,162,50,167,153,164,110,179,15,4,159,120,246,204,191,76,240,24,244,42,35,1,237,183,34,135,190,66,144,91,66,15,96,250,228,136,39,198,243,54,5,47,36,155,82,36,95,115,119,8,246,188,99,160,103,67,38,107,102,114,0,98,65,186,35,142,70,27,232,127,107,255,245,12,112,164,26,252,3,159,185,223,52,247,0,149,93,41,76,142,71,55,50,183,23,207,105,52,173,91,188,96,87,133,20,45,74,211,234,115,93,5,120,102,182,53,33,196,23,7,54,109,80,55,38,173,223,119,77,192,40,45,17,94,144,61,1,42,29,23,75,127,138,84,57,241,193,71,212,213,184,25,163,131,79,55,28,182,52,178,65,193,214,211,84,24,52,155,247,21,200,242,170,146,244,46,164,38,166,5,201,19,214,103,89,20,8,5,173,157,189,211,53,137,20,32,222,97,102,44,188,16,145,221,184,213,44,170,39,232,87,191,205,210,88,173,154,93,201,207,149,219,142,251,49,236,190,224,58,214,93,197,59,30,131,58,14,136,80,153,28,173,52,197,96,160,139,106,223,61,2,174,199,122,225,200,137,59,99,54,134,12,22,108,191,41,149,213,254,19,67,168,125,48,31,129,142,214,152,71,18,195,160,245,88,39,207,2,246,18,192,26,166,193,169,114,238,23,178,56,150,14,82,170,80,227,172,65,115,202,104,0,6,16,74,254,195,6,45,253,77,96,175,32,58,101,199,69,251,44,84,51,105,189,209,153,198,195,122,235,223,31,67,16,2,121,41,133,50,64,79,236,79,106,78,126,99,139,81,5,199,21,98,193,24,72,196,247,187,224,224,138,72,16,155,178,111,81,144,62,137,4,98,91,67,75,5,106,216,82,196,238,102,38,179,20,213,205,251,206,150,219,178,124,94,105,208,23,72,18,217,189,60,224,51,174,181,153,87,192,248,146,217,30,194,14,70,26,241,204,194,32,167,101,46,232,40,90,131,140,204,236,195,107,115,206,55,140,156,132,188,234,219,160,0,216,46,16,247,158,88,75,17,44,147,233,187,175,134,11,249,98,213,25,215,137,16,251,169,95,122,196,46,82,100,15,195,27,226,40,73,233,24,153,96,24,204,119,16,31,42,142,15,131,188,169,178,196,33,163,29,131,213,127,68,103,118,87,206,68,206,16,57,202,115,190,193,64,130,243,20,74,114,63,99,149,251,251,125,228,205,8,93,155,178,51,40,118,147,210,234,18,218,45,254,129,164,131,150,78,164,138,99,85,171,2,207,61,50,135,71,148,122,37,63,133,44,82,130,197,194,197,4,217,243,18,120,82,20,255,227,21,51,174,57,186,70,152,21,134,210,71,158,50,219,52,245,227,117,90,13,185,219,216,79,85,46,47,122,163,140,221,52,174,54,233,199,53,35,146,55,48,7,227,71,133,15,239,59,194,45,141,76,137,234,12,66,220,74,25,141,229,144,90,187,210,208,155,161,167,130,95,77,182,228,224,237,75,71,151,148,32,113,182,191,73,18,168,142,162,143,5,235,171,244,121,13,238,59,37,13,253,246,123,72,163,25,244,77,191,84,182,9,208,231,128,49,70,60,169,100,33,4,38,247,155,31,56,204,230,27,116,136,172,59,6,58,36,98,127,132,63,83,128,248,141,5,58,209,181,177,154,217,120,247,29,225,70,167,240,61,56,152,12,239,177,252,20,18,35,57,51,4,40,97,64,248,10,170,149,55,59,71,51,30,29,169,35,131,86,56,73,224,216,104,117,243,176,118,115,39,254,238,218,182,161,31,188,227,169,6,37,250,242,127,106,65,67,54,2,148,231,143,178,112,241,191,68,140,139,153,155,238,171,173,11,223,57,239,89,242,72,64,64,246,248,192,123,43,100,218,25,0,68,94,57,94,244,230,165,41,231,48,53,142,178,142,118,124,148,173,104,83,59,25,225,207,246,212,190,164,50,173,4,137,197,47,81,183,85,21,204,133,44,138,216,209,12,230,153,84,160,101,225,92,119,207,229,98,135,223,217,37,192,127,40,212,39,130,93,0,99,20,242,8,203,185,220,162,119,20,143,7,63,114,126,240,100,63,20,44,116,47,18,93,16,181,3,131,6,243,16,212,40,178,43,89,114,109,69,186,205,66,250,161,116,148,17,215,93,130,138,146,243,75,192,246,57,220,26,132,217,112,101,25,232,243,54,81,65,215,103,220,23,166,230,137,228,190,168,26,241,154,142,4,90,161,222,107,74,109,48,91,146,238,109,230,55,113,214,160,18,127,23,120,0,8,124,80,178,87,215,43,175,83,73,180,73,146,162,79,187,128,0,71,250,138,47,230,88,206,16,90,240,152,63,142,143,82,89,111,96,54,10,241,54,240,102,4,43,140,58,219,182,225,3,63,65,226,33,219,25,122,110,159,183,221,96,106,157,58,231,45,32,189,157,196,231,238,118,174,238,182,201,173,209,118,12,108,253,34,116,151,140,234,255,90,94,63,235,168,40,4,244,52,225,64,12,120,135,241,146,204,107,168,3,214,158,203,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,37,132,76,69,173,140,162,48,171,154,122,135,236,43,9,57,169,24,147,87,121,33,140,73,245,180,18,96,44,101,145,187,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,46,212,208,245,81,242,109,131,46,155,140,230,22,38,168,15,252,206,151,146,235,232,109,200,233,60,201,6,53,26,192,16,46,212,208,245,81,242,109,131,46,155,140,230,22,38,168,15,252,206,151,146,235,232,109,200,233,60,201,6,53,26,192,16,43,43,33,191,66,150,223,68,212,50,225,239,64,255,240,215,155,41,214,182,170,121,146,63,224,231,199,52,120,99,15,98,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,43,43,33,191,66,150,223,68,212,50,225,239,64,255,240,215,155,41,214,182,170,121,146,63,224,231,199,52,120,99,15,98,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,23,198,132,249,213,171,73,36,202,250,120,187,251,203,207,77,201,16,182,31,69,90,196,154,134,60,218,147,19,244,249,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,28,198,188,248,206,211,216,192,51,112,155,247,122,88,104,173,205,84,10,59,109,140,150,69,190,33,192,24,198,143,39,220,24,53,46,25,129,180,93,218,255,157,108,156,202,192,109,172,132,13,164,63,41,221,38,70,224,211,177,46,220,199,144,177,22,255,115,235,61,92,19,129,12,229,165,209,227,67,143,118,25,218,49,86,211,101,5,33,23,34,83,15,153,118,202,94,45,188,80,54,6,41,179,51,243,151,254,72,213,149,220,0,58,183,79,206,100,166,30,143,226,196,42,92,5,15,219,187,0,74,130,161,33,237,60,165,212,111,76,119,96,86,207,158,115,140,239,41,157,208,162,33,114,109,8,134,43,148,13,118,3,74,107,201,112,105,115,107,254,255,250,130,94,129,196,207,198,193,201,218,202,125,252,65,132,159,218,57,147,81,17,106,5,117,189,115,85,117,120,67,228,181,242,233,62,50,69,84,247,250,109,134,135,5,172,226,67,146,106,127,190,238,133,160,11,10,59,37,54,91,238,176,25,92,76,79,33,2,102,47,190,241,237,46,48,156,180,163,145,68,162,199,255,160,222,110,19,228,7,169,137,199,137,181,101,231,185,13,161,40,206,202,59,93,217,65,177,160,75,8,221,19,197,94,8,42,178,100,30,110,164,65,14,175,87,142,86,223,232,141,250,15,116,195,117,93,129,170,194,218,186,65,102,62,105,141,159,231,31,6,38,170,203,134,234,167,29,116,98,175,50,170,18,95,234,156,135,206,247,81,181,91,174,187,46,176,225,231,127,227,210,90,15,117,42,12,230,63,242,121,175,113,226,133,209,241,143,230,121,109,192,100,116,191,102,90,75,182,209,244,147,147,98,180,40,120,52,60,159,239,183,89,26,98,95,241,235,13,15,67,114,236,208,113,108,59,193,141,226,168,163,11,118,44,168,122,1,171,54,12,74,224,12,17,36,116,168,53,141,102,197,42,126,37,213,99,101,170,60,168,36,124,220,223,114,36,91,201,33,57,162,105,142,231,6,226,58,125,150,8,113,30,11,92,216,246,229,216,232,137,53,30,81,183,172,139,137,177,36,218,3,137,161,106,152,220,189,95,199,64,38,49,226,126,224,236,39,207,9,220,133,48,59,135,203,192,224,90,170,224,161,173,27,99,10,116,47,54,36,69,212,210,12,38,228,233,98,39,98,248,233,103,21,20,15,40,85,122,111,182,134,31,2,178,20,87,50,75,64,47,130,229,5,195,191,194,142,34,252,2,21,113,211,213,181,175,246,20,166,152,162,212,96,122,236,167,41,123,84,140,97,159,67,28,90,253,48,148,98,191,242,137,113,238,139,126,146,200,134,95,7,174,252,88,59,108,170,118,44,194,137,50,235,24,234,73,11,205,191,222,58,14,216,111,40,112,121,243,124,73,146,185,29,198,76,226,134,183,253,214,17,37,197,92,3,48,88,41,46,14,39,64,21,144,239,218,209,219,23,139,89,58,110,172,157,242,71,228,4,102,72,76,22,219,194,207,218,120,208,90,171,189,130,165,98,80,222,17,69,2,201,23,18,211,170,210,109,120,118,158,215,174,94,21,32,63,129,167,106,186,18,209,59,198,255,1,18,122,133,134,153,120,254,178,106,82,46,64,255,14,157,24,90,169,163,49,40,243,146,217,129,54,34,104,65,66,69,190,95,233,233,4,185,166,122,156,52,117,121,137,22,213,75,80,131,33,101,23,21,103,48,176,228,69,166,70,122,240,86,101,115,128,70,168,157,160,126,134,175,173,176,112,218,168,165,69,88,187,44,180,10,170,67,100,23,112,152,227,180,2,112,90,205,137,189,37,42,37,134,98,192,182,152,204,134,185,98,238,79,140,223,216,16,28,1,180,120,181,50,173,25,189,16,59,94,179,193,182,41,215,207,126,224,130,132,156,219,61,6,174,61,212,235,76],"hex_proof":"0x2ac95de2736e2f276a94ea8737f34bfc1f6c126470382b42861839b261921b15278ac70c2a635054bfb9132f56071856cdab70ea28e5a0f0808b6370b47f77240b276e123629614fff7a85236e0e46262e1c3f8ee96f0fa8da31d426caec6f491600c04522bd4da3fa30561384966a933351f4b214eedcf4a9c0f9080c35cde00717170d8cd3d24dcd8f63ad092926d39baf0338450f082036d4956d44065a1d2b5d11323b7c0d98c29ba1105c55a4d3b86475bdf2faf7aa6d7488d1b9572b380e1661a44c4008c2426e1959326328597dcaf0ef73b4c8423d9e188c1b67f4351e7e25649a8613ca4e5e119a547b3d65468d50dabcb1c37ea232a799a46eb30f049f78f6ccbf4cf018f42a2301edb72287be42905b420f60fae48827c6f336052f249b52245f737708f6bc63a06743266b6672006241ba238e461be87f6bfff50c70a41afc039fb9df34f700955d294c8e473732b717cf6934ad5bbc605785142d4ad3ea735d057866b63521c41707366d503726addf774dc0282d115e903d012a1d174b7f8a5439f1c147d4d5b819a3834f371cb634b241c1d6d35418349bf715c8f2aa92f42ea426a605c913d66759140805ad9dbdd335891420de61662cbc1091ddb8d52caa27e857bfcdd258ad9a5dc9cf95db8efb31ecbee03ad65dc53b1e833a0e8850991cad34c560a08b6adf3d02aec77ae1c8893b6336860c166cbf2995d5fe1343a87d301f818ed6984712c3a0f55827cf02f612c01aa6c1a972ee17b238960e52aa50e3ac4173ca680006104afec3062dfd4d60af203a65c745fb2c543369bdd199c6c37aebdf1f43100279298532404fec4f6a4e7e638b5105c71562c11848c4f7bbe0e08a48109bb26f51903e8904625b434b056ad852c4ee6626b314d5cdfbce96dbb27c5e69d0174812d9bd3ce033aeb59957c0f892d91ec20e461af1ccc220a7652ee8285a838cccecc36b73ce378c9c84bceadba000d82e10f79e584b112c93e9bbaf860bf962d519d78910fba95f7ac42e52640fc31be22849e918996018cc77101f2a8e0f83bca9b2c421a31d83d57f44677657ce44ce1039ca73bec14082f3144a723f6395fbfb7de4cd085d9bb233287693d2ea12da2dfe81a483964ea48a6355ab02cf3d328747947a253f852c5282c5c2c504d9f312785214ffe31533ae39ba46981586d2479e32db34f5e3755a0db9dbd84f552e2f7aa38cdd34ae36e9c7352392373007e347850fef3bc22d8d4c89ea0c42dc4a198de5905abbd2d09ba1a7825f4db6e4e0ed4b4797942071b6bf4912a88ea28f05ebabf4790dee3b250dfdf67b48a319f44dbf54b609d0e78031463ca964210426f79b1f38cce61b7488ac3b063a24627f843f5380f88d053ad1b5b19ad978f71de146a7f03d38980cefb1fc141223393304286140f80aaa95373b47331e1da92383563849e0d86875f3b0767327feeedab6a11fbce3a90625faf27f6a4143360294e78fb270f1bf448c8b999beeabad0bdf39ef59f2484040f6f8c07b2b64da1900445e395ef4e6a529e730358eb28e767c94ad68533b19e1cff6d4bea432ad0489c52f51b75515cc852c8ad8d10ce69954a065e15c77cfe56287dfd925c07f28d427825d006314f208cbb9dca277148f073f727ef0643f142c742f125d10b5038306f310d428b22b59726d45bacd42faa1749411d75d828a92f34bc0f639dc1a84d9706519e8f3365141d767dc17a6e689e4bea81af19a8e045aa1de6b4a6d305b92ee6de63771d6a0127f177800087c50b257d72baf5349b44992a24fbb800047fa8a2fe658ce105af0983f8e8f52596f60360af136f066042b8c3adbb6e1033f41e221db197a6e9fb7dd606a9d3ae72d20bd9dc4e7ee76aeeeb6c9add1760c6cfd2274978ceaff5a5e3feba82804f434e1400c7887f192cc6ba803d69ecb000000000000000000000000000000000000000000000000000000000000000025844c45ad8ca230ab9a7a87ec2b0939a918935779218c49f5b412602c6591bb00000000000000000000000000000000000000000000000000000000000000002ed4d0f551f26d832e9b8ce61626a80ffcce9792ebe86dc8e93cc906351ac0102ed4d0f551f26d832e9b8ce61626a80ffcce9792ebe86dc8e93cc906351ac0102b2b21bf4296df44d432e1ef40fff0d79b29d6b6aa79923fe0e7c73478630f6200000000000000000000000000000000000000000000000000000000000000002b2b21bf4296df44d432e1ef40fff0d79b29d6b6aa79923fe0e7c73478630f6200000000000000000000000000000000000000000000000000000000000000000417c684f9d5ab4924cafa78bbfbcbcf4dc910b61f455ac49a863cda9313f4f9000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001cc6bcf8ced3d8c033709bf77a5868adcd540a3b6d8c9645be21c018c68f27dc18352e1981b45ddaff9d6c9ccac06dac840da43f29dd2646e0d3b12edcc790b116ff73eb3d5c13810ce5a5d1e3438f7619da3156d36505211722530f9976ca5e2dbc50360629b333f397fe48d595dc003ab74fce64a61e8fe2c42a5c050fdbbb004a82a121ed3ca5d46f4c776056cf9e738cef299dd0a221726d08862b940d76034a6bc97069736bfefffa825e81c4cfc6c1c9daca7dfc41849fda399351116a0575bd7355757843e4b5f2e93e324554f7fa6d868705ace243926a7fbeee85a00b0a3b25365beeb0195c4c4f2102662fbef1ed2e309cb4a39144a2c7ffa0de6e13e407a989c789b565e7b90da128ceca3b5dd941b1a04b08dd13c55e082ab2641e6ea4410eaf578e56dfe88dfa0f74c3755d81aac2daba41663e698d9fe71f0626aacb86eaa71d7462af32aa125fea9c87cef751b55baebb2eb0e1e77fe3d25a0f752a0ce63ff279af71e285d1f18fe6796dc06474bf665a4bb6d1f4939362b42878343c9fefb7591a625ff1eb0d0f4372ecd0716c3bc18de2a8a30b762ca87a01ab360c4ae00c112474a8358d66c52a7e25d56365aa3ca8247cdcdf72245bc92139a2698ee706e23a7d9608711e0b5cd8f6e5d8e889351e51b7ac8b89b124da0389a16a98dcbd5fc7402631e27ee0ec27cf09dc85303b87cbc0e05aaae0a1ad1b630a742f362445d4d20c26e4e9622762f8e96715140f28557a6fb6861f02b21457324b402f82e505c3bfc28e22fc021571d3d5b5aff614a698a2d4607aeca7297b548c619f431c5afd309462bff28971ee8b7e92c8865f07aefc583b6caa762cc28932eb18ea490bcdbfde3a0ed86f287079f37c4992b91dc64ce286b7fdd61125c55c033058292e0e27401590efdad1db178b593a6eac9df247e40466484c16dbc2cfda78d05aabbd82a56250de114502c91712d3aad26d78769ed7ae5e15203f81a76aba12d13bc6ff01127a85869978feb26a522e40ff0e9d185aa9a33128f392d981362268414245be5fe9e904b9a67a9c3475798916d54b5083216517156730b0e445a6467af05665738046a89da07e86afadb070daa8a54558bb2cb40aaa4364177098e3b402705acd89bd252a258662c0b698cc86b962ee4f8cdfd8101c01b478b532ad19bd103b5eb3c1b629d7cf7ee082849cdb3d06ae3dd4eb4c","transcript_type":"EVM","split":null,"pretty_public_inputs":{"rescaled_inputs":[],"inputs":[],"processed_inputs":[],"processed_params":[],"processed_outputs":[],"rescaled_outputs":[["0","0","0","0"]],"outputs":[["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"]]},"timestamp":1705939116981}