From eb491e0a0fc269b25b8b73f66bcf286e4b4baaf8 Mon Sep 17 00:00:00 2001 From: dante <45801863+alexander-camuto@users.noreply.github.com> Date: Thu, 7 Nov 2024 20:23:43 +0000 Subject: [PATCH] patch assets --- tests/assets/model.compiled | Bin 1818 -> 1819 bytes tests/assets/proof.json | 2 +- tests/assets/witness.json | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/assets/model.compiled b/tests/assets/model.compiled index b665de88184b0b9204efa70c51e4a5c65d6fa91c..93fa3cb50a625276c8790730d97b4407c203a875 100644 GIT binary patch delta 9 QcmbQmH=A#R6gwjW01jgUBme*a delta 7 OcmbQuH;ZqB6gvP49Rec& diff --git a/tests/assets/proof.json b/tests/assets/proof.json index 3a826cc00..8763e1b18 100644 --- a/tests/assets/proof.json +++ b/tests/assets/proof.json @@ -1 +1 @@ -{"protocol":null,"instances":[["0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000"]],"proof":[7,166,170,150,155,86,23,198,197,35,251,133,221,164,123,78,188,249,59,57,68,214,193,218,251,86,240,150,129,188,203,171,2,82,85,249,202,239,24,81,72,15,251,86,154,120,59,49,224,158,138,59,250,72,16,206,152,242,234,14,12,239,239,64,36,121,131,215,70,251,111,84,20,211,118,0,173,102,224,224,77,102,1,126,237,116,89,182,104,212,229,154,146,34,12,38,37,234,12,133,171,161,149,31,156,50,176,50,230,35,194,249,68,147,184,25,225,208,90,223,255,135,45,87,159,18,103,9,38,26,111,114,131,90,60,187,118,110,105,132,76,53,128,0,251,122,184,184,7,42,136,15,60,168,159,237,137,136,125,137,46,233,243,96,207,204,54,51,126,70,81,63,106,127,78,237,187,70,140,254,193,197,7,125,75,138,6,118,112,64,38,63,46,118,250,108,116,102,245,97,136,150,190,103,192,67,150,65,205,91,146,221,30,4,178,102,62,233,171,1,118,6,171,119,15,231,152,61,146,207,45,91,47,28,200,187,108,145,95,194,73,243,48,220,54,38,70,130,11,60,160,73,79,225,215,96,21,92,79,192,33,77,28,40,236,231,10,99,61,155,156,2,87,80,18,224,201,112,236,95,193,16,210,136,171,100,46,35,8,208,128,120,133,177,44,170,101,136,59,139,198,132,117,110,130,135,104,95,221,216,71,32,6,234,90,61,191,101,64,22,37,170,191,181,97,199,110,84,142,197,216,181,169,222,248,56,143,211,253,188,201,144,203,28,119,39,253,94,172,13,241,27,18,0,29,149,10,53,212,106,165,173,87,2,49,117,192,249,43,5,128,3,49,101,5,84,10,135,92,124,116,182,168,123,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,60,144,182,102,46,0,222,98,219,226,109,172,91,58,148,56,20,11,88,195,241,19,1,110,98,177,156,64,183,13,0,8,227,125,110,101,187,226,63,21,182,254,78,231,139,38,249,148,223,106,81,182,235,226,178,34,5,13,124,90,18,197,181,24,203,224,149,72,137,107,169,143,181,237,173,17,228,45,5,207,156,249,147,63,98,169,59,202,51,252,224,155,210,33,201,24,109,97,70,240,188,71,7,181,112,119,42,98,28,118,218,98,63,28,93,54,203,135,12,90,101,175,12,143,85,52,211,20,198,52,176,227,143,0,160,253,150,146,64,70,213,170,48,88,177,207,60,238,88,177,56,176,41,78,143,126,182,167,119,11,149,244,249,121,211,174,15,169,42,244,117,28,168,120,29,1,206,87,171,18,74,26,202,43,168,107,202,145,179,228,232,42,107,22,215,13,35,233,242,9,111,240,140,191,176,237,96,50,155,32,16,196,131,244,229,141,46,37,235,96,175,34,201,35,249,246,138,169,179,126,107,111,11,247,187,192,250,68,143,4,21,248,76,231,195,1,155,35,102,38,13,75,198,28,184,22,76,8,163,215,122,10,153,206,203,73,98,21,191,86,81,213,210,43,192,125,41,208,138,121,162,242,56,211,129,194,3,10,52,191,235,187,136,28,54,27,134,186,73,229,203,5,51,216,135,30,132,146,14,45,161,113,117,147,200,73,253,213,211,39,182,105,16,244,113,184,222,74,32,241,110,13,136,203,190,155,137,134,43,119,0,110,25,161,8,200,153,236,118,0,77,18,46,92,77,82,250,25,50,231,117,127,224,153,103,204,222,210,126,81,112,32,178,123,247,95,102,192,194,53,76,67,232,39,182,105,16,244,113,184,222,74,32,241,110,13,136,203,190,155,137,134,43,119,0,110,25,161,8,200,153,236,118,0,77,18,46,92,77,82,250,25,50,231,117,127,224,153,103,204,222,210,126,81,112,32,178,123,247,95,102,192,194,53,76,67,232,35,201,169,34,254,161,190,110,143,201,176,169,122,134,196,44,87,187,136,202,93,53,249,172,247,241,56,222,100,30,48,240,39,203,175,34,155,62,117,225,133,2,136,137,75,173,135,94,225,43,79,190,72,113,175,61,68,145,129,56,96,113,138,111,35,201,169,34,254,161,190,110,143,201,176,169,122,134,196,44,87,187,136,202,93,53,249,172,247,241,56,222,100,30,48,240,39,203,175,34,155,62,117,225,133,2,136,137,75,173,135,94,225,43,79,190,72,113,175,61,68,145,129,56,96,113,138,111,16,49,253,185,189,156,25,250,172,50,191,206,110,136,210,29,208,89,114,229,116,152,234,23,170,175,63,84,150,104,100,27,5,87,255,214,34,69,43,71,254,238,183,217,189,75,10,214,151,29,232,207,10,133,65,51,68,25,20,205,51,213,94,140,35,30,180,79,186,133,158,169,100,117,238,31,166,110,110,166,180,119,32,252,128,42,176,50,234,46,215,4,114,28,39,104,8,207,225,122,50,38,193,228,225,68,6,194,14,93,125,91,254,75,9,220,37,69,17,214,97,182,252,125,9,37,181,191,15,76,180,187,188,253,141,198,73,225,196,184,214,102,77,136,10,21,248,58,82,120,14,188,59,61,64,31,141,141,20,64,34,78,155,123,130,12,81,145,145,87,236,198,96,65,203,153,90,99,237,199,172,162,115,112,42,26,197,112,190,21,149,107,25,237,224,141,1,191,234,78,56,22,99,19,148,53,135,125,214,157,51,8,51,4,78,203,238,79,174,96,243,31,147,126,39,21,126,242,84,190,70,6,100,36,79,206,23,97,31,253,143,218,245,14,207,228,241,146,249,182,53,220,134,0,19,133,4,0,167,74,45,93,165,158,13,34,255,4,128,203,82,163,170,242,153,89,13,4,195,12,217,217,249,173,81,208,168,163,32,146,127,167,67,21,163,53,101,251,185,229,112,232,157,41,228,245,162,249,148,237,227,123,120,156,145,121,252,2,177,210,11,168,87,5,84,138,132,169,23,128,174,162,140,254,216,71,145,230,233,148,137,246,160,216,104,128,108,80,53,172,58,166,38,127,192,140,247,214,244,255,249,248,106,179,240,248,2,16,89,16,88,57,29,114,10,155,227,178,195,229,89,0,116,163,17,222,207,53,7,2,227,192,125,238,30,159,64,52,230,103,231,23,5,119,200,160,143,225,1,232,30,129,136,195,149,110,31,3,11,56,252,179,18,248,129,178,139,152,149,168,225,239,40,110,58,7,185,158,186,124,180,87,186,114,243,22,229,247,18,39,140,48,167,249,53,63,108,46,118,81,5,146,57,252,25,173,235,199,235,241,69,119,130,40,156,170,109,141,152,165,32,66,188,216,49,205,189,189,232,154,221,18,135,229,192,117,196,95,69,137,94,212,9,117,67,163,106,36,180,108,5,187,19,77,45,222,24,88,9,89,88,57,24,185,211,42,6,74,85,107,148,193,225,249,155,175,31,93,128,213,250,101,115,68,32,99,240,88,46,78,136,35,68,25,119,206,127,239,89,103,188,47,96,220,252,147,195,8,70,36,133,83,101,2,35,17,43,152,40,17,233,172,191,66,134,163,147,58,126,142,40,94,38,47,168,253,189,215,4,75,231,208,242,119,229,251,70,254,13,112,162,91,248,166,104,204,51,105,158,29,75,47,41,100,86,252,8,68,204,9,52,192,231,135,235,18,196,173,13,48,31,153,108,84,110,204,195,77,140,194,169,247,153,252,57,48,79,70,223,42,12,41,11,222,122,66,54,178,70,15,46,90,6,1,178,191,122,32,150,39,100,143,125,123,129,187,178,123,1,13,70,155,154,204,165,213,142,195,57,7,133,204,182,146,40,104,255,247,167,63,125,148,40,149,24,135,21,1,8,91,16,239,194,161,173,69,176,47,197,107,52,92,110,86,104,31,41,210,161,158,85,45,114,183,49,145,190,179,95,184,134,76,194,210,30,169,55,208,229,9,69,214,48,145,171,247,139,87,20,121,104,30,171,112,163,145,250,191,222,65,13,118,240,49,180,213,143,154,235,234,11,0,77,231,37,30,76,170,112,74,21,227,72,199,167,94,195,122,223,250,66,175,232,233,148,57,42,10,75,51,153,148,67,149,189,228,81,169,81,43,233,95,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,82,30,245,148,185,54,160,171,27,79,105,248,176,192,161,244,25,209,72,146,4,121,102,3,60,82,41,158,26,24,36,46,213,17,106,207,156,166,102,49,135,0,26,205,192,174,204,238,138,20,89,6,141,225,150,229,9,208,163,79,3,197,172,46,213,17,106,207,156,166,102,49,135,0,26,205,192,174,204,238,138,20,89,6,141,225,150,229,9,208,163,79,3,197,172,29,71,111,199,140,15,213,223,167,80,181,234,122,14,76,243,239,251,214,187,120,28,117,245,191,100,21,67,67,45,177,135,42,250,131,138,251,28,216,103,209,238,76,42,143,251,3,48,249,183,96,39,18,70,153,167,16,255,106,133,247,168,140,176,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,44,188,6,250,40,63,151,235,132,131,44,118,53,20,236,49,248,172,74,49,141,0,118,239,93,47,76,58,128,75,156,179,27,252,222,31,46,69,199,133,61,249,116,189,80,173,129,154,199,50,220,127,153,83,226,210,142,13,191,208,53,85,155,16,1,29,147,75,214,85,9,150,210,68,59,75,152,33,237,74,215,28,11,76,231,137,107,47,244,52,22,6,135,5,211,94,45,174,150,176,252,202,143,35,15,241,240,62,17,68,205,207,53,154,249,26,143,121,13,60,18,58,98,226,236,51,111,165,22,32,242,167,252,138,68,140,223,180,153,194,120,245,5,239,89,218,225,50,89,199,99,75,56,211,72,56,176,149,4,202,48,45,251,126,86,0,89,88,241,71,245,8,23,251,187,143,14,108,222,12,115,112,132,200,46,72,19,104,26,94,167,242,40,185,195,193,234,63,50,92,59,38,21,151,10,236,245,22,133,242,234,83,65,30,199,167,192,247,33,36,151,142,155,105,31,208,76,49,83,176,205,58,232,86,103,215,188,64,135,83,234,62,173,67,110,211,214,115,38,163,57,3,154,18,124,240,28,184,170,182,45,32,79,163,127,18,142,203,99,124,117,179,235,76,252,65,1,183,244,223,252,62,248,6,83,102,9,150,11,157,92,149,175,26,197,141,197,78,52,186,219,113,54,42,210,37,45,218,178,231,176,29,56,34,143,63,78,162,246,107,33,51,121,105,95,65,169,29,78,105,112,28,175,241,94,65,208,62,17,235,243,87,243,196,219,74,117,113,100,53,6,45,1,127,33,32,23,109,144,186,9,224,2,102,209,79,114,225,209,148,115,125,16,197,230,44,129,238,72,162,98,9,241,222,21,230,100,179,26,138,169,255,252,116,85,237,98,15,226,82,243,181,195,157,223,38,66,65,88,27,31,225,251,155,71,224,5,213,95,93,57,163,221,5,111,112,70,65,158,206,165,189,80,160,51,174,247,218,179,7,194,169,181,86,61,65,196,128,41,77,231,155,187,102,152,152,64,33,149,118,52,79,103,79,26,149,83,226,131,41,216,207,92,16,160,133,150,217,88,88,32,27,208,15,55,74,137,11,17,22,185,144,24,109,240,189,47,203,171,152,38,213,78,26,149,238,180,54,67,37,38,56,26,91,187,85,108,6,200,5,111,116,202,72,221,83,68,244,130,93,90,243,100,238,163,254,87,143,104,139,30,204,103,49,3,196,42,137,53,237,14,171,171,123,206,33,194,204,4,86,104,138,70,244,116,125,12,178,219,26,206,226,243,87,43,132,30,120,142,18,114,200,124,215,161,167,207,8,112,69,137,87,136,253,167,180,6,113,172,119,191,126,182,218,80,140,197,46,19,60,29,201,28,152,47,45,215,63,236,65,136,227,178,153,47,235,135,80,79,71,38,162,211,217,177,240,15,189,136,220,10,2,224,51,139,150,164,205,46,74,6,66,53,249,25,174,119,212,163,160,167,23,43,80,208,207,117,141,34,167,170,18,29,222,122,198,27,241,220,24,62,17,188,146,76,33,65,170,228,227,49,129,109,255,79,222,85,222,230,231,152,234,46,165,7,31,157,140,79,110,152,215,152,52,222,7,84,111,146,91,82,113,211,163,21,167,125,91,131,181,182,155,15,14,222,85,12,35,119,91,201,232,128,194,20,6,106,58,210,223,65,221,197,45,89,212,35,161,126,25,129,150,150,91,220,173,71,89,43,219,9,74,80,70,77,190,190,244,80,81,20,228,176,115,169,140,135,231,80,205,67,195,125,165,27,53,219,16,253,141,19,60,29,201,28,152,47,45,215,63,236,65,136,227,178,153,47,235,135,80,79,71,38,162,211,217,177,240,15,189,136,220,12,35,119,91,201,232,128,194,20,6,106,58,210,223,65,221,197,45,89,212,35,161,126,25,129,150,150,91,220,173,71,89,43,219,9,74,80,70,77,190,190,244,80,81,20,228,176,115,169,140,135,231,80,205,67,195,125,165,27,53,219,16,253,141,19,60,29,201,28,152,47,45,215,63,236,65,136,227,178,153,47,235,135,80,79,71,38,162,211,217,177,240,15,189,136,220,7,123,194,70,47,156,114,87,242,34,71,150,153,124,255,239,22,222,144,122,185,1,63,220,159,24,133,0,243,43,252,11,46,18,164,46,201,100,171,189,202,204,234,105,51,175,202,246,183,64,231,203,242,22,121,230,124,37,93,123,206,193,132,35,19,60,29,201,28,152,47,45,215,63,236,65,136,227,178,153,47,235,135,80,79,71,38,162,211,217,177,240,15,189,136,220,7,123,194,70,47,156,114,87,242,34,71,150,153,124,255,239,22,222,144,122,185,1,63,220,159,24,133,0,243,43,252,11,46,18,164,46,201,100,171,189,202,204,234,105,51,175,202,246,183,64,231,203,242,22,121,230,124,37,93,123,206,193,132,35,19,60,29,201,28,152,47,45,215,63,236,65,136,227,178,153,47,235,135,80,79,71,38,162,211,217,177,240,15,189,136,220,10,188,78,91,11,221,125,74,247,236,212,71,236,117,176,242,182,228,150,199,25,6,231,159,137,151,227,225,155,167,191,146,15,5,241,228,124,155,31,64,127,88,200,135,66,244,123,180,156,83,235,210,155,17,83,198,255,139,27,211,169,209,181,155,36,223,147,200,80,59,151,233,89,231,109,124,245,22,137,48,92,88,189,129,126,92,236,205,229,187,100,211,82,146,178,231,17,114,155,132,92,254,114,171,94,136,118,37,136,220,53,185,226,197,227,245,131,200,250,142,33,11,233,10,20,178,59,180],"hex_proof":"0x07a6aa969b5617c6c523fb85dda47b4ebcf93b3944d6c1dafb56f09681bccbab025255f9caef1851480ffb569a783b31e09e8a3bfa4810ce98f2ea0e0cefef40247983d746fb6f5414d37600ad66e0e04d66017eed7459b668d4e59a92220c2625ea0c85aba1951f9c32b032e623c2f94493b819e1d05adfff872d579f126709261a6f72835a3cbb766e69844c358000fb7ab8b8072a880f3ca89fed89887d892ee9f360cfcc36337e46513f6a7f4eedbb468cfec1c5077d4b8a06767040263f2e76fa6c7466f5618896be67c0439641cd5b92dd1e04b2663ee9ab017606ab770fe7983d92cf2d5b2f1cc8bb6c915fc249f330dc362646820b3ca0494fe1d760155c4fc0214d1c28ece70a633d9b9c02575012e0c970ec5fc110d288ab642e2308d0807885b12caa65883b8bc684756e8287685fddd8472006ea5a3dbf65401625aabfb561c76e548ec5d8b5a9def8388fd3fdbcc990cb1c7727fd5eac0df11b12001d950a35d46aa5ad57023175c0f92b058003316505540a875c7c74b6a87b09cfa9883522a6c3e116ec0ac8f63d04ec1f47a10c117e871ac508658e52e7392c4c405625deb555a6ba028a6c46742d3c56dc2c17f0a2b98dc49332a32ac5071dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea392a1d174b7f8a5439f1c147d4d5b819a3834f371cb634b241c1d6d35418349bf715c8f2aa92f42ea426a605c913d66759140805ad9dbdd335891420de61662cbc1dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea39063c90b6662e00de62dbe26dac5b3a9438140b58c3f113016e62b19c40b70d0008e37d6e65bbe23f15b6fe4ee78b26f994df6a51b6ebe2b222050d7c5a12c5b518cbe09548896ba98fb5edad11e42d05cf9cf9933f62a93bca33fce09bd221c9186d6146f0bc4707b570772a621c76da623f1c5d36cb870c5a65af0c8f5534d314c634b0e38f00a0fd96924046d5aa3058b1cf3cee58b138b0294e8f7eb6a7770b95f4f979d3ae0fa92af4751ca8781d01ce57ab124a1aca2ba86bca91b3e4e82a6b16d70d23e9f2096ff08cbfb0ed60329b2010c483f4e58d2e25eb60af22c923f9f68aa9b37e6b6f0bf7bbc0fa448f0415f84ce7c3019b2366260d4bc61cb8164c08a3d77a0a99cecb496215bf5651d5d22bc07d29d08a79a2f238d381c2030a34bfebbb881c361b86ba49e5cb0533d8871e84920e2da1717593c849fdd5d327b66910f471b8de4a20f16e0d88cbbe9b89862b77006e19a108c899ec76004d122e5c4d52fa1932e7757fe09967ccded27e517020b27bf75f66c0c2354c43e827b66910f471b8de4a20f16e0d88cbbe9b89862b77006e19a108c899ec76004d122e5c4d52fa1932e7757fe09967ccded27e517020b27bf75f66c0c2354c43e823c9a922fea1be6e8fc9b0a97a86c42c57bb88ca5d35f9acf7f138de641e30f027cbaf229b3e75e1850288894bad875ee12b4fbe4871af3d4491813860718a6f23c9a922fea1be6e8fc9b0a97a86c42c57bb88ca5d35f9acf7f138de641e30f027cbaf229b3e75e1850288894bad875ee12b4fbe4871af3d4491813860718a6f1031fdb9bd9c19faac32bfce6e88d21dd05972e57498ea17aaaf3f549668641b0557ffd622452b47feeeb7d9bd4b0ad6971de8cf0a854133441914cd33d55e8c231eb44fba859ea96475ee1fa66e6ea6b47720fc802ab032ea2ed704721c276808cfe17a3226c1e4e14406c20e5d7d5bfe4b09dc254511d661b6fc7d0925b5bf0f4cb4bbbcfd8dc649e1c4b8d6664d880a15f83a52780ebc3b3d401f8d8d1440224e9b7b820c51919157ecc66041cb995a63edc7aca273702a1ac570be15956b19ede08d01bfea4e381663139435877dd69d330833044ecbee4fae60f31f937e27157ef254be460664244fce17611ffd8fdaf50ecfe4f192f9b635dc860013850400a74a2d5da59e0d22ff0480cb52a3aaf299590d04c30cd9d9f9ad51d0a8a320927fa74315a33565fbb9e570e89d29e4f5a2f994ede37b789c9179fc02b1d20ba85705548a84a91780aea28cfed84791e6e99489f6a0d868806c5035ac3aa6267fc08cf7d6f4fff9f86ab3f0f80210591058391d720a9be3b2c3e5590074a311decf350702e3c07dee1e9f4034e667e7170577c8a08fe101e81e8188c3956e1f030b38fcb312f881b28b9895a8e1ef286e3a07b99eba7cb457ba72f316e5f712278c30a7f9353f6c2e7651059239fc19adebc7ebf1457782289caa6d8d98a52042bcd831cdbdbde89add1287e5c075c45f45895ed4097543a36a24b46c05bb134d2dde18580959583918b9d32a064a556b94c1e1f99baf1f5d80d5fa6573442063f0582e4e8823441977ce7fef5967bc2f60dcfc93c30846248553650223112b982811e9acbf4286a3933a7e8e285e262fa8fdbdd7044be7d0f277e5fb46fe0d70a25bf8a668cc33699e1d4b2f296456fc0844cc0934c0e787eb12c4ad0d301f996c546eccc34d8cc2a9f799fc39304f46df2a0c290bde7a4236b2460f2e5a0601b2bf7a209627648f7d7b81bbb27b010d469b9acca5d58ec3390785ccb6922868fff7a73f7d94289518871501085b10efc2a1ad45b02fc56b345c6e56681f29d2a19e552d72b73191beb35fb8864cc2d21ea937d0e50945d63091abf78b571479681eab70a391fabfde410d76f031b4d58f9aebea0b004de7251e4caa704a15e348c7a75ec37adffa42afe8e994392a0a4b3399944395bde451a9512be95f00000000000000000000000000000000000000000000000000000000000000002b521ef594b936a0ab1b4f69f8b0c0a1f419d14892047966033c52299e1a18242ed5116acf9ca6663187001acdc0aeccee8a1459068de196e509d0a34f03c5ac2ed5116acf9ca6663187001acdc0aeccee8a1459068de196e509d0a34f03c5ac1d476fc78c0fd5dfa750b5ea7a0e4cf3effbd6bb781c75f5bf641543432db1872afa838afb1cd867d1ee4c2a8ffb0330f9b76027124699a710ff6a85f7a88cb000000000000000000000000000000000000000000000000000000000000000002cbc06fa283f97eb84832c763514ec31f8ac4a318d0076ef5d2f4c3a804b9cb31bfcde1f2e45c7853df974bd50ad819ac732dc7f9953e2d28e0dbfd035559b10011d934bd6550996d2443b4b9821ed4ad71c0b4ce7896b2ff43416068705d35e2dae96b0fcca8f230ff1f03e1144cdcf359af91a8f790d3c123a62e2ec336fa51620f2a7fc8a448cdfb499c278f505ef59dae13259c7634b38d34838b09504ca302dfb7e56005958f147f50817fbbb8f0e6cde0c737084c82e4813681a5ea7f228b9c3c1ea3f325c3b2615970aecf51685f2ea53411ec7a7c0f72124978e9b691fd04c3153b0cd3ae85667d7bc408753ea3ead436ed3d67326a339039a127cf01cb8aab62d204fa37f128ecb637c75b3eb4cfc4101b7f4dffc3ef806536609960b9d5c95af1ac58dc54e34badb71362ad2252ddab2e7b01d38228f3f4ea2f66b213379695f41a91d4e69701caff15e41d03e11ebf357f3c4db4a75716435062d017f2120176d90ba09e00266d14f72e1d194737d10c5e62c81ee48a26209f1de15e664b31a8aa9fffc7455ed620fe252f3b5c39ddf264241581b1fe1fb9b47e005d55f5d39a3dd056f7046419ecea5bd50a033aef7dab307c2a9b5563d41c480294de79bbb66989840219576344f674f1a9553e28329d8cf5c10a08596d95858201bd00f374a890b1116b990186df0bd2fcbab9826d54e1a95eeb436432526381a5bbb556c06c8056f74ca48dd5344f4825d5af364eea3fe578f688b1ecc673103c42a8935ed0eabab7bce21c2cc0456688a46f4747d0cb2db1acee2f3572b841e788e1272c87cd7a1a7cf087045895788fda7b40671ac77bf7eb6da508cc52e133c1dc91c982f2dd73fec4188e3b2992feb87504f4726a2d3d9b1f00fbd88dc0a02e0338b96a4cd2e4a064235f919ae77d4a3a0a7172b50d0cf758d22a7aa121dde7ac61bf1dc183e11bc924c2141aae4e331816dff4fde55dee6e798ea2ea5071f9d8c4f6e98d79834de07546f925b5271d3a315a77d5b83b5b69b0f0ede550c23775bc9e880c214066a3ad2df41ddc52d59d423a17e198196965bdcad47592bdb094a50464dbebef4505114e4b073a98c87e750cd43c37da51b35db10fd8d133c1dc91c982f2dd73fec4188e3b2992feb87504f4726a2d3d9b1f00fbd88dc0c23775bc9e880c214066a3ad2df41ddc52d59d423a17e198196965bdcad47592bdb094a50464dbebef4505114e4b073a98c87e750cd43c37da51b35db10fd8d133c1dc91c982f2dd73fec4188e3b2992feb87504f4726a2d3d9b1f00fbd88dc077bc2462f9c7257f2224796997cffef16de907ab9013fdc9f188500f32bfc0b2e12a42ec964abbdcaccea6933afcaf6b740e7cbf21679e67c255d7bcec18423133c1dc91c982f2dd73fec4188e3b2992feb87504f4726a2d3d9b1f00fbd88dc077bc2462f9c7257f2224796997cffef16de907ab9013fdc9f188500f32bfc0b2e12a42ec964abbdcaccea6933afcaf6b740e7cbf21679e67c255d7bcec18423133c1dc91c982f2dd73fec4188e3b2992feb87504f4726a2d3d9b1f00fbd88dc0abc4e5b0bdd7d4af7ecd447ec75b0f2b6e496c71906e79f8997e3e19ba7bf920f05f1e47c9b1f407f58c88742f47bb49c53ebd29b1153c6ff8b1bd3a9d1b59b24df93c8503b97e959e76d7cf51689305c58bd817e5ceccde5bb64d35292b2e711729b845cfe72ab5e88762588dc35b9e2c5e3f583c8fa8e210be90a14b23bb4","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":1730948796270,"commitment":"KZG"} \ No newline at end of file +{"protocol":null,"instances":[["0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000"]],"proof":[28,134,252,102,88,38,51,189,29,82,241,102,213,71,193,128,93,63,131,208,154,125,160,183,214,179,10,64,127,94,195,36,13,4,111,78,138,235,165,211,151,59,74,255,164,81,114,1,121,117,146,21,172,221,63,103,101,210,125,47,162,199,197,54,14,120,91,63,180,131,207,15,59,113,30,248,252,76,116,125,143,167,122,76,38,54,209,159,242,182,190,139,255,74,151,247,39,188,79,77,180,139,23,99,101,17,126,142,34,64,188,174,114,159,58,31,157,168,195,160,157,48,91,185,90,210,43,114,34,29,122,43,34,157,110,167,210,75,238,165,19,171,196,127,36,148,2,212,11,226,140,97,108,30,30,236,230,97,223,183,43,231,93,64,130,132,154,125,163,48,190,250,252,152,5,194,146,52,11,11,72,223,138,206,57,22,44,144,114,234,84,68,6,90,119,120,210,126,102,3,2,179,3,128,119,53,71,219,157,151,85,52,102,242,58,169,65,232,20,125,100,150,133,100,30,44,110,13,63,93,215,134,108,251,45,70,86,76,197,224,210,208,4,254,80,117,212,39,32,54,154,72,137,162,17,254,47,21,131,120,184,84,222,202,250,167,205,126,144,98,4,143,167,24,84,49,10,88,238,144,214,247,218,28,231,255,240,243,4,223,207,76,47,36,54,205,123,251,152,163,30,218,122,245,132,121,121,110,120,55,72,53,242,235,20,192,199,243,109,30,1,31,150,46,221,38,105,211,58,122,170,248,177,123,42,247,87,117,106,150,175,20,114,138,65,5,80,226,217,17,160,74,4,129,156,37,233,202,48,94,252,159,194,219,41,111,179,142,177,190,14,115,222,11,73,204,65,222,224,207,114,187,14,15,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,40,200,161,104,221,3,86,139,87,93,227,76,127,3,162,81,55,178,72,104,251,37,165,185,69,179,56,140,107,124,200,207,28,162,35,216,101,253,219,75,52,201,32,69,195,105,215,12,172,132,126,166,18,220,122,113,125,199,17,184,87,109,160,16,2,72,124,98,208,195,51,167,27,61,38,169,242,200,176,253,167,62,206,106,14,188,106,34,150,198,197,231,179,227,122,176,7,24,213,57,235,1,160,189,64,220,131,244,109,240,157,255,44,247,114,196,200,190,43,186,18,125,12,137,104,93,198,205,44,69,237,46,160,43,107,13,26,200,21,135,85,168,59,237,84,176,240,123,34,91,239,102,168,179,198,116,56,222,131,86,30,242,112,193,187,242,14,110,226,21,152,149,66,86,15,196,51,28,78,148,173,221,34,138,145,67,210,96,246,163,242,232,27,242,161,5,48,207,33,157,85,233,127,37,188,123,98,58,252,5,119,244,29,114,219,17,176,62,208,129,67,248,16,21,33,105,108,97,11,220,84,155,196,81,75,71,144,189,240,99,70,19,98,147,183,136,39,224,246,16,167,191,129,236,113,130,32,23,36,143,218,236,117,187,26,171,247,65,107,239,248,46,11,136,186,12,223,210,243,233,37,2,225,201,230,129,118,228,27,32,65,104,138,159,211,143,156,47,198,24,29,219,23,82,4,202,242,144,81,106,234,179,115,8,89,37,240,243,159,214,37,230,118,107,20,172,116,186,225,209,139,188,224,89,166,148,9,162,105,64,153,161,56,169,125,208,199,219,141,138,121,143,28,152,245,8,68,143,246,140,153,131,21,97,51,56,193,59,136,183,181,143,112,240,82,117,81,30,9,111,124,231,214,73,37,230,118,107,20,172,116,186,225,209,139,188,224,89,166,148,9,162,105,64,153,161,56,169,125,208,199,219,141,138,121,143,28,152,245,8,68,143,246,140,153,131,21,97,51,56,193,59,136,183,181,143,112,240,82,117,81,30,9,111,124,231,214,73,27,83,206,137,32,176,48,101,101,182,234,189,139,136,28,68,243,193,242,113,211,5,255,164,110,227,185,126,162,211,124,146,26,53,76,88,252,243,81,77,95,101,91,13,34,163,143,158,141,178,158,100,213,79,47,111,168,171,205,38,221,202,137,44,27,83,206,137,32,176,48,101,101,182,234,189,139,136,28,68,243,193,242,113,211,5,255,164,110,227,185,126,162,211,124,146,26,53,76,88,252,243,81,77,95,101,91,13,34,163,143,158,141,178,158,100,213,79,47,111,168,171,205,38,221,202,137,44,5,91,192,202,233,232,200,52,124,207,67,114,112,176,31,38,167,143,83,23,136,45,190,126,35,243,177,182,165,107,128,26,9,110,32,37,236,214,236,59,114,104,119,57,72,175,129,44,131,17,114,228,170,73,93,39,182,51,219,116,195,254,230,76,42,248,155,167,242,117,235,253,49,207,28,57,14,195,64,217,241,157,47,162,242,213,64,254,197,247,204,47,232,64,237,22,38,161,131,43,43,102,48,114,95,58,53,67,53,157,217,247,215,105,179,122,75,34,153,32,162,102,27,32,29,20,236,76,44,92,207,30,140,63,240,209,19,59,253,151,217,54,11,114,141,30,35,219,32,197,141,206,227,162,208,13,34,229,65,74,36,166,113,222,239,96,187,22,32,181,156,120,226,25,125,48,113,59,171,28,227,236,86,233,213,245,65,122,60,21,149,135,34,226,44,174,153,87,201,64,68,76,158,97,101,98,220,47,172,211,157,118,57,60,248,229,230,202,194,152,139,1,22,191,10,59,161,86,189,26,94,253,192,101,2,86,53,201,41,162,222,118,168,52,66,179,33,64,44,246,248,234,153,114,93,162,6,81,90,158,38,73,1,23,209,101,169,91,248,38,1,173,66,225,49,136,26,164,91,215,25,246,31,10,197,12,217,186,26,112,59,251,54,35,206,68,146,81,76,250,235,213,242,102,21,41,63,110,244,212,236,27,135,158,7,67,183,111,4,38,22,229,202,170,187,25,234,98,33,220,61,48,97,104,51,60,175,2,21,227,9,41,252,1,82,176,119,15,128,145,81,232,1,38,40,57,171,7,51,155,175,90,106,158,110,156,167,20,59,66,185,179,224,191,218,25,177,91,168,231,242,70,110,213,7,107,198,18,246,193,248,23,112,163,98,90,103,184,192,135,160,62,79,8,31,121,55,202,68,146,133,158,193,0,78,6,33,67,63,128,136,93,5,163,82,139,224,252,54,132,5,216,230,172,152,59,195,228,103,149,111,58,44,126,170,55,232,180,9,52,159,44,20,107,243,166,128,248,35,5,244,232,182,213,137,160,228,193,157,107,32,5,86,66,202,126,87,14,86,40,0,217,190,70,169,25,91,94,91,221,242,210,212,93,108,205,30,217,144,233,210,4,30,102,57,105,129,236,48,227,141,202,2,30,196,63,158,80,158,123,134,106,115,254,237,135,163,139,240,186,22,87,10,225,76,236,41,4,158,48,235,210,57,229,30,53,216,176,178,6,78,250,69,84,238,139,135,187,199,183,239,104,174,134,0,197,147,92,249,72,56,29,44,158,177,84,28,143,77,83,210,146,90,72,89,55,237,83,239,108,102,104,70,64,62,118,98,197,188,14,62,54,244,243,118,208,156,145,0,64,175,26,201,155,8,5,138,0,8,104,254,148,167,242,225,61,98,115,178,60,33,223,233,190,101,47,117,34,45,55,13,86,158,212,148,118,8,229,116,218,56,34,3,65,209,86,23,211,102,67,201,185,0,231,51,62,255,127,0,95,98,206,37,181,26,49,0,47,188,209,166,16,68,137,116,112,14,44,185,78,131,198,192,130,123,239,26,157,226,25,234,125,195,194,18,141,33,111,5,90,17,186,221,220,197,116,27,51,173,6,87,70,0,205,69,252,233,74,176,161,211,215,38,12,5,102,29,35,171,198,135,24,139,255,154,123,244,34,153,9,4,104,85,119,199,198,150,139,108,224,98,203,221,188,226,127,13,30,12,181,147,22,241,252,119,243,54,143,150,150,207,139,176,28,189,251,67,25,222,169,102,213,224,209,234,199,177,195,11,8,47,38,178,39,110,76,109,91,82,181,195,146,226,233,201,213,183,185,33,149,215,18,4,123,87,84,206,46,237,89,159,15,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,25,66,41,242,149,59,82,128,171,201,177,64,223,60,62,69,148,190,17,34,206,82,48,26,247,16,81,50,106,62,77,223,10,95,38,157,50,172,29,55,107,41,196,20,139,172,188,117,17,16,95,151,142,42,97,240,201,146,1,234,225,224,30,99,10,95,38,157,50,172,29,55,107,41,196,20,139,172,188,117,17,16,95,151,142,42,97,240,201,146,1,234,225,224,30,99,42,215,170,245,164,227,15,4,170,15,22,169,180,120,15,247,114,226,231,137,116,224,96,199,74,197,179,126,37,129,85,69,37,131,172,145,176,76,93,197,41,245,182,138,9,62,36,39,202,23,115,219,66,22,240,222,190,126,146,141,62,13,25,208,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,21,218,152,155,163,91,203,145,180,15,32,160,100,169,203,69,204,115,68,207,228,18,23,50,182,251,55,111,23,68,120,12,145,237,151,211,232,33,130,50,15,125,172,159,106,255,250,139,117,199,137,106,186,62,221,131,177,140,17,14,90,210,75,10,188,14,235,14,46,1,194,87,242,158,203,35,55,163,209,52,123,13,129,216,75,85,248,213,252,31,118,187,9,156,116,20,201,95,212,148,192,247,136,237,2,13,132,150,43,49,228,99,20,78,44,183,171,108,253,213,121,84,205,246,85,2,155,33,77,146,166,135,161,206,69,96,83,92,230,109,243,141,41,66,163,218,219,55,133,38,231,166,247,203,210,247,175,3,161,22,138,234,176,66,237,124,175,187,71,81,189,212,85,127,145,147,47,186,113,99,246,193,5,71,186,205,188,191,144,177,53,22,48,6,117,128,52,178,69,111,35,82,194,171,216,156,91,169,42,13,143,22,250,118,168,171,118,232,128,33,233,169,85,43,227,57,166,226,117,104,141,247,17,8,152,1,61,146,16,143,232,20,111,2,181,185,155,141,204,48,22,231,16,93,190,9,7,87,142,126,243,27,44,80,10,174,65,229,23,189,125,226,11,165,28,250,195,147,170,124,156,152,21,8,204,121,202,16,17,165,247,241,167,214,214,156,234,175,2,140,124,183,3,34,15,151,99,177,158,135,189,243,170,225,125,132,47,248,160,5,127,37,75,84,211,242,89,249,152,105,93,249,175,163,63,221,53,81,212,5,248,158,203,82,206,242,43,159,96,198,134,15,194,119,208,189,140,66,51,138,91,234,185,77,29,101,5,185,241,118,123,44,247,192,160,130,67,2,187,48,0,239,239,8,232,191,55,254,73,21,165,68,7,40,48,223,51,121,210,11,117,114,4,51,238,105,178,155,97,206,128,200,174,26,209,41,79,246,89,174,203,59,196,85,138,209,195,120,79,189,42,68,239,3,164,57,180,90,7,246,47,214,231,133,136,193,136,16,201,157,119,0,211,127,218,15,188,48,218,203,53,29,191,58,228,166,38,227,98,124,52,178,74,185,16,68,33,126,66,45,98,2,161,255,158,130,112,169,40,73,101,169,2,69,108,131,32,226,36,236,101,84,83,151,237,28,111,87,3,247,74,47,247,118,125,95,16,140,234,36,64,229,36,85,165,162,249,199,32,114,171,44,214,2,74,248,224,124,80,75,62,80,35,45,229,135,197,121,140,97,63,144,115,228,196,170,226,230,34,20,48,136,254,204,214,141,174,4,87,92,201,29,49,11,215,41,121,193,144,248,32,123,194,1,105,96,69,35,228,229,213,178,54,197,79,97,70,186,37,254,252,249,205,122,77,75,90,31,223,243,244,16,193,43,154,165,176,142,23,87,146,193,241,40,154,55,5,14,53,224,52,17,228,248,222,206,26,89,225,37,102,189,239,195,46,183,229,176,236,4,113,206,194,53,10,61,129,73,47,143,35,80,153,87,105,103,197,202,103,72,5,37,209,227,21,24,181,58,181,145,163,200,55,176,43,79,92,50,221,6,26,161,221,168,208,223,4,144,85,251,154,159,52,16,23,130,137,78,79,97,79,126,144,87,12,254,18,225,8,158,134,59,166,30,160,34,22,230,251,131,113,125,35,246,66,27,153,101,55,196,167,150,184,144,53,77,193,14,233,162,149,155,84,105,53,20,226,187,249,74,207,12,178,130,196,40,199,22,71,157,253,128,26,192,53,9,136,73,137,126,255,125,202,158,207,201,245,9,137,57,250,133,13,236,60,134,145,26,244,31,223,243,244,16,193,43,154,165,176,142,23,87,146,193,241,40,154,55,5,14,53,224,52,17,228,248,222,206,26,89,225,27,153,101,55,196,167,150,184,144,53,77,193,14,233,162,149,155,84,105,53,20,226,187,249,74,207,12,178,130,196,40,199,22,71,157,253,128,26,192,53,9,136,73,137,126,255,125,202,158,207,201,245,9,137,57,250,133,13,236,60,134,145,26,244,31,223,243,244,16,193,43,154,165,176,142,23,87,146,193,241,40,154,55,5,14,53,224,52,17,228,248,222,206,26,89,225,26,70,183,7,230,115,219,30,228,244,235,84,56,195,146,63,174,206,236,83,12,199,169,8,88,168,134,107,29,90,231,246,6,245,209,248,63,244,161,238,169,150,82,65,10,146,52,112,61,254,115,49,212,216,39,84,137,253,236,89,24,227,145,168,31,223,243,244,16,193,43,154,165,176,142,23,87,146,193,241,40,154,55,5,14,53,224,52,17,228,248,222,206,26,89,225,26,70,183,7,230,115,219,30,228,244,235,84,56,195,146,63,174,206,236,83,12,199,169,8,88,168,134,107,29,90,231,246,6,245,209,248,63,244,161,238,169,150,82,65,10,146,52,112,61,254,115,49,212,216,39,84,137,253,236,89,24,227,145,168,31,223,243,244,16,193,43,154,165,176,142,23,87,146,193,241,40,154,55,5,14,53,224,52,17,228,248,222,206,26,89,225,39,62,153,9,32,62,187,180,175,212,38,130,202,74,101,80,13,106,40,130,78,1,115,189,77,89,66,158,95,38,238,233,23,147,43,128,118,178,68,93,92,9,75,226,131,111,53,134,120,236,222,39,224,145,131,102,30,208,19,247,251,30,166,245,18,40,152,37,160,226,112,246,247,90,47,216,172,185,199,4,203,143,229,170,31,231,32,137,163,228,164,187,80,228,153,209,23,69,68,203,80,190,148,80,220,126,253,185,224,197,6,213,42,215,249,226,23,57,38,8,98,160,212,78,31,128,23,82],"hex_proof":"0x1c86fc66582633bd1d52f166d547c1805d3f83d09a7da0b7d6b30a407f5ec3240d046f4e8aeba5d3973b4affa451720179759215acdd3f6765d27d2fa2c7c5360e785b3fb483cf0f3b711ef8fc4c747d8fa77a4c2636d19ff2b6be8bff4a97f727bc4f4db48b176365117e8e2240bcae729f3a1f9da8c3a09d305bb95ad22b72221d7a2b229d6ea7d24beea513abc47f249402d40be28c616c1e1eece661dfb72be75d4082849a7da330befafc9805c292340b0b48df8ace39162c9072ea5444065a7778d27e660302b30380773547db9d97553466f23aa941e8147d649685641e2c6e0d3f5dd7866cfb2d46564cc5e0d2d004fe5075d42720369a4889a211fe2f158378b854decafaa7cd7e9062048fa71854310a58ee90d6f7da1ce7fff0f304dfcf4c2f2436cd7bfb98a31eda7af58479796e78374835f2eb14c0c7f36d1e011f962edd2669d33a7aaaf8b17b2af757756a96af14728a410550e2d911a04a04819c25e9ca305efc9fc2db296fb38eb1be0e73de0b49cc41dee0cf72bb0e0f09cfa9883522a6c3e116ec0ac8f63d04ec1f47a10c117e871ac508658e52e7392c4c405625deb555a6ba028a6c46742d3c56dc2c17f0a2b98dc49332a32ac5071dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea392a1d174b7f8a5439f1c147d4d5b819a3834f371cb634b241c1d6d35418349bf715c8f2aa92f42ea426a605c913d66759140805ad9dbdd335891420de61662cbc1dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea3928c8a168dd03568b575de34c7f03a25137b24868fb25a5b945b3388c6b7cc8cf1ca223d865fddb4b34c92045c369d70cac847ea612dc7a717dc711b8576da01002487c62d0c333a71b3d26a9f2c8b0fda73ece6a0ebc6a2296c6c5e7b3e37ab00718d539eb01a0bd40dc83f46df09dff2cf772c4c8be2bba127d0c89685dc6cd2c45ed2ea02b6b0d1ac8158755a83bed54b0f07b225bef66a8b3c67438de83561ef270c1bbf20e6ee215989542560fc4331c4e94addd228a9143d260f6a3f2e81bf2a10530cf219d55e97f25bc7b623afc0577f41d72db11b03ed08143f8101521696c610bdc549bc4514b4790bdf06346136293b78827e0f610a7bf81ec71822017248fdaec75bb1aabf7416beff82e0b88ba0cdfd2f3e92502e1c9e68176e41b2041688a9fd38f9c2fc6181ddb175204caf290516aeab373085925f0f39fd625e6766b14ac74bae1d18bbce059a69409a2694099a138a97dd0c7db8d8a798f1c98f508448ff68c998315613338c13b88b7b58f70f05275511e096f7ce7d64925e6766b14ac74bae1d18bbce059a69409a2694099a138a97dd0c7db8d8a798f1c98f508448ff68c998315613338c13b88b7b58f70f05275511e096f7ce7d6491b53ce8920b0306565b6eabd8b881c44f3c1f271d305ffa46ee3b97ea2d37c921a354c58fcf3514d5f655b0d22a38f9e8db29e64d54f2f6fa8abcd26ddca892c1b53ce8920b0306565b6eabd8b881c44f3c1f271d305ffa46ee3b97ea2d37c921a354c58fcf3514d5f655b0d22a38f9e8db29e64d54f2f6fa8abcd26ddca892c055bc0cae9e8c8347ccf437270b01f26a78f5317882dbe7e23f3b1b6a56b801a096e2025ecd6ec3b7268773948af812c831172e4aa495d27b633db74c3fee64c2af89ba7f275ebfd31cf1c390ec340d9f19d2fa2f2d540fec5f7cc2fe840ed1626a1832b2b6630725f3a3543359dd9f7d769b37a4b229920a2661b201d14ec4c2c5ccf1e8c3ff0d1133bfd97d9360b728d1e23db20c58dcee3a2d00d22e5414a24a671deef60bb1620b59c78e2197d30713bab1ce3ec56e9d5f5417a3c15958722e22cae9957c940444c9e616562dc2facd39d76393cf8e5e6cac2988b0116bf0a3ba156bd1a5efdc065025635c929a2de76a83442b321402cf6f8ea99725da206515a9e26490117d165a95bf82601ad42e131881aa45bd719f61f0ac50cd9ba1a703bfb3623ce4492514cfaebd5f26615293f6ef4d4ec1b879e0743b76f042616e5caaabb19ea6221dc3d306168333caf0215e30929fc0152b0770f809151e801262839ab07339baf5a6a9e6e9ca7143b42b9b3e0bfda19b15ba8e7f2466ed5076bc612f6c1f81770a3625a67b8c087a03e4f081f7937ca4492859ec1004e0621433f80885d05a3528be0fc368405d8e6ac983bc3e467956f3a2c7eaa37e8b409349f2c146bf3a680f82305f4e8b6d589a0e4c19d6b20055642ca7e570e562800d9be46a9195b5e5bddf2d2d45d6ccd1ed990e9d2041e66396981ec30e38dca021ec43f9e509e7b866a73feed87a38bf0ba16570ae14cec29049e30ebd239e51e35d8b0b2064efa4554ee8b87bbc7b7ef68ae8600c5935cf948381d2c9eb1541c8f4d53d2925a485937ed53ef6c666846403e7662c5bc0e3e36f4f376d09c910040af1ac99b08058a000868fe94a7f2e13d6273b23c21dfe9be652f75222d370d569ed4947608e574da38220341d15617d36643c9b900e7333eff7f005f62ce25b51a31002fbcd1a610448974700e2cb94e83c6c0827bef1a9de219ea7dc3c2128d216f055a11badddcc5741b33ad06574600cd45fce94ab0a1d3d7260c05661d23abc687188bff9a7bf422990904685577c7c6968b6ce062cbddbce27f0d1e0cb59316f1fc77f3368f9696cf8bb01cbdfb4319dea966d5e0d1eac7b1c30b082f26b2276e4c6d5b52b5c392e2e9c9d5b7b92195d712047b5754ce2eed599f0f0000000000000000000000000000000000000000000000000000000000000000194229f2953b5280abc9b140df3c3e4594be1122ce52301af71051326a3e4ddf0a5f269d32ac1d376b29c4148bacbc7511105f978e2a61f0c99201eae1e01e630a5f269d32ac1d376b29c4148bacbc7511105f978e2a61f0c99201eae1e01e632ad7aaf5a4e30f04aa0f16a9b4780ff772e2e78974e060c74ac5b37e258155452583ac91b04c5dc529f5b68a093e2427ca1773db4216f0debe7e928d3e0d19d000000000000000000000000000000000000000000000000000000000000000000415da989ba35bcb91b40f20a064a9cb45cc7344cfe4121732b6fb376f1744780c91ed97d3e82182320f7dac9f6afffa8b75c7896aba3edd83b18c110e5ad24b0abc0eeb0e2e01c257f29ecb2337a3d1347b0d81d84b55f8d5fc1f76bb099c7414c95fd494c0f788ed020d84962b31e463144e2cb7ab6cfdd57954cdf655029b214d92a687a1ce4560535ce66df38d2942a3dadb378526e7a6f7cbd2f7af03a1168aeab042ed7cafbb4751bdd4557f91932fba7163f6c10547bacdbcbf90b135163006758034b2456f2352c2abd89c5ba92a0d8f16fa76a8ab76e88021e9a9552be339a6e275688df7110898013d92108fe8146f02b5b99b8dcc3016e7105dbe0907578e7ef31b2c500aae41e517bd7de20ba51cfac393aa7c9c981508cc79ca1011a5f7f1a7d6d69ceaaf028c7cb703220f9763b19e87bdf3aae17d842ff8a0057f254b54d3f259f998695df9afa33fdd3551d405f89ecb52cef22b9f60c6860fc277d0bd8c42338a5beab94d1d6505b9f1767b2cf7c0a0824302bb3000efef08e8bf37fe4915a544072830df3379d20b75720433ee69b29b61ce80c8ae1ad1294ff659aecb3bc4558ad1c3784fbd2a44ef03a439b45a07f62fd6e78588c18810c99d7700d37fda0fbc30dacb351dbf3ae4a626e3627c34b24ab91044217e422d6202a1ff9e8270a9284965a902456c8320e224ec65545397ed1c6f5703f74a2ff7767d5f108cea2440e52455a5a2f9c72072ab2cd6024af8e07c504b3e50232de587c5798c613f9073e4c4aae2e622143088feccd68dae04575cc91d310bd72979c190f8207bc20169604523e4e5d5b236c54f6146ba25fefcf9cd7a4d4b5a1fdff3f410c12b9aa5b08e175792c1f1289a37050e35e03411e4f8dece1a59e12566bdefc32eb7e5b0ec0471cec2350a3d81492f8f235099576967c5ca67480525d1e31518b53ab591a3c837b02b4f5c32dd061aa1dda8d0df049055fb9a9f34101782894e4f614f7e90570cfe12e1089e863ba61ea02216e6fb83717d23f6421b996537c4a796b890354dc10ee9a2959b54693514e2bbf94acf0cb282c428c716479dfd801ac035098849897eff7dca9ecfc9f5098939fa850dec3c86911af41fdff3f410c12b9aa5b08e175792c1f1289a37050e35e03411e4f8dece1a59e11b996537c4a796b890354dc10ee9a2959b54693514e2bbf94acf0cb282c428c716479dfd801ac035098849897eff7dca9ecfc9f5098939fa850dec3c86911af41fdff3f410c12b9aa5b08e175792c1f1289a37050e35e03411e4f8dece1a59e11a46b707e673db1ee4f4eb5438c3923faeceec530cc7a90858a8866b1d5ae7f606f5d1f83ff4a1eea99652410a9234703dfe7331d4d8275489fdec5918e391a81fdff3f410c12b9aa5b08e175792c1f1289a37050e35e03411e4f8dece1a59e11a46b707e673db1ee4f4eb5438c3923faeceec530cc7a90858a8866b1d5ae7f606f5d1f83ff4a1eea99652410a9234703dfe7331d4d8275489fdec5918e391a81fdff3f410c12b9aa5b08e175792c1f1289a37050e35e03411e4f8dece1a59e1273e9909203ebbb4afd42682ca4a65500d6a28824e0173bd4d59429e5f26eee917932b8076b2445d5c094be2836f358678ecde27e09183661ed013f7fb1ea6f512289825a0e270f6f75a2fd8acb9c704cb8fe5aa1fe72089a3e4a4bb50e499d1174544cb50be9450dc7efdb9e0c506d52ad7f9e21739260862a0d44e1f801752","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":1731011005876,"commitment":"KZG","version":"source - no compatibility guaranteed"} \ No newline at end of file diff --git a/tests/assets/witness.json b/tests/assets/witness.json index ae7f80074..e695fc0ce 100644 --- a/tests/assets/witness.json +++ b/tests/assets/witness.json @@ -1 +1 @@ -{"inputs":[["0200000000000000000000000000000000000000000000000000000000000000","0100000000000000000000000000000000000000000000000000000000000000","0100000000000000000000000000000000000000000000000000000000000000"]],"pretty_elements":{"rescaled_inputs":[["2","1","1"]],"inputs":[["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000001"]],"processed_inputs":[],"processed_params":[],"processed_outputs":[],"rescaled_outputs":[["0","0","0","0"]],"outputs":[["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"]]},"outputs":[["0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000"]],"processed_inputs":null,"processed_params":null,"processed_outputs":null,"max_lookup_inputs":0,"min_lookup_inputs":0,"max_range_size":127} \ No newline at end of file +{"inputs":[["0200000000000000000000000000000000000000000000000000000000000000","0100000000000000000000000000000000000000000000000000000000000000","0100000000000000000000000000000000000000000000000000000000000000"]],"pretty_elements":{"rescaled_inputs":[["2","1","1"]],"inputs":[["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000001"]],"processed_inputs":[],"processed_params":[],"processed_outputs":[],"rescaled_outputs":[["0","0","0","0"]],"outputs":[["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"]]},"outputs":[["0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000"]],"processed_inputs":null,"processed_params":null,"processed_outputs":null,"max_lookup_inputs":0,"min_lookup_inputs":0,"max_range_size":127,"version":"source - no compatibility guaranteed"} \ No newline at end of file