Files
ezkl/tests/assets/proof.json
2024-11-10 15:56:38 +00:00

1 line
21 KiB
JSON

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