From 8185ad47316c504db41cb7876555553ebc8bdd7c Mon Sep 17 00:00:00 2001 From: alexeykoren Date: Tue, 6 Sep 2022 12:51:39 +0200 Subject: [PATCH] Fix reading proof from file in circuit test --- circuit_proof_test_case.bin | Bin 0 -> 5154 bytes src/circuit.rs | 3 ++- src/circuit_proof_test_case.bin | Bin 5154 -> 0 bytes 3 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 circuit_proof_test_case.bin delete mode 100644 src/circuit_proof_test_case.bin diff --git a/circuit_proof_test_case.bin b/circuit_proof_test_case.bin new file mode 100644 index 0000000000000000000000000000000000000000..a490d0fb55cc87fc0062f908d92c3d2c0295468b GIT binary patch literal 5154 zcmV+-6y57@7fVJVBu|vA%N|g&|C5g95ZAA;9}925S`zaJu8s&@j3`<=7$H4^W^|C$ z9F7mu?L@fL^*N{Pw*4}+oobpNI1z+Gy#NhzgMlF}1ld%M86>?T1q?jMT!M)Bc!%J((tlc7?<7Z1zEf6y z^FK14Ub&j6Kj|+40rHo34tZqZh& z18YV(R1-}g?g;5Xax4SzH{SlEzX0!$XQrJf#VByd55aM5U>_p&rRNt@?{kv$t|DEC zuVgSRo_hbZwA7coGMhkV-)~m2pcNg@<6m^VqWMfax?$2zdDVm#oS!;AQq=tyR<^B& zNj)0<2V@O3t8Iq*vJ%f#vgngwds1rEZ=bX8y1}p_z)&reKj4k@1RY`~#tu5!L2S_c-(3wUn@DpE%Ap0ArwAwC_3(4Hb^L}BOJ zl8IuLd%d7y#DQrRF6yrBHv{oY+DS~x`wnwDcsPHyquE(qm<>_W80J?zA9(`rxeiC4 z>%Dw^qX6yb?5AljeD+UD>t>Rq`L$MOxOb_&>{K7{i6fa)_l2f-h?;qr4LLQK)MI(S zCJz+5D7#7ykyal?-eowx899U6Vp{}pbnyYN5C_X>V-RZ@2MiqFu?VEIC)DHkGMMKg~Yu{(<2O2O&7zXo?z7# zjSDr^awStrn((M@dQ@U*(f`1z_u349Q~n8^0<6%R_PjFnN))9^w5x44GgQH|tsGpI zwop`6GS)CgB)~5hn}HI)WNQ3O3z@UiuiekdC89ILGfX<=K5cz&7wxk8f02!5vY$Z#DoV3dCCWk= zXoDd=wtq0kdD;hDK|iu%XME1mDcUOYB_=@rFLf?LN~N86pGS-z@*ye(QdV8AL~MMhkZU2Whz4QWL$!}7T)6DL&!jHm!kDv)up z$lEW(fXV*rt9zdo73Yr6ZA&q+IsSF1kN;_L(ZA#MPG*Dl_fO{+AD&|}ma@@yuE-C> z8fKBGV%xu2CA~1E);+=9L^uBPf#bdzjI!h3c>$j>13v(B94PWg=LKxT)qQ!}IqDVp z+l%_Ww_kc%r3QquITP~d0I?7^E7Dk){j*jxFeU<;X4EJ-#+@w!I2f|a3afcsd3|6Y zRfzfQl~^9RtZq`%Bs|&wxts>V~qeKBTAyKE^J90a=jD+7{~TYo8{zs)Q;!r?+ylt?pYFDXe3C{cV{?Xoe`K;-!Ln@ z7A3-ocWVuuEHQmv$X0zxlke2X0sCy(zxodmc^d#xHkE0N6WHHTw?Rfc>NS&)o!#}k zTXak@s#f}>nMrE<95=}ZsmJ{2r5x@e(!aiqdj0uR7W(>m{LqS<1>rnTKTGKr;F%8y ziJ%Pj{%dE3rOLG89&xN07`o<}XzZ^dKJ0kp$f^M1h7w({Lh5Parq@eo05hEzkhbUC z%CqGbC|@{PQhpB=LU$92D#n)GLi56tumh0sMh+X>`7lZ(7Vxb9|1NOJa1eO~&GH+` zY$2vUzsTu_);s@M^{INL2O)V;De70~tk=fzl0DTSRyx!6-FBTO&2V{%_AU2TAdLJl zNahEftx%&Hj=_H(S>Pd!!qSG5h2j*$NyJvaCs2lT2ka=TCh^eduBk>eSJ$ffp0RDg z`%dOBY{&*g7QnHr<-f|<->3GdigP|CU%M{o?4id9)&kTIQ!l*HG&{Q6#sS1D1Ac)= zPOKfI5BWWM<=(ZPn6^YR(m36EEK~c=!I$sGfvOgJoJXf9*U@t*V)~u)Xg;HX05j5;1h>%W#sVCm8LMP7$lu(Zo4khefE53D~}Rv;MV^0 z^zuhd4$0>#{i6?U6wfE6&F^kw1>g_u3V@7}ezLafkzy&wejNHbe&~D=Gr#^W6j$G@ z^q8)0EJ6gWu~78W%8f_{#2o<^yP(=>O+9KMga3;{;lHM9Qa=uh8fKb@qv zcH;~6D}vp02oqh3Z-$18BZwG_y)88aWt`C156OyRjYr$evYXA*wi=j5kF!b(a`inm z_9$h0BiK+cBI2uPWL{i8C_(Jgy~U0DO%CR6{O++6!vEd-RO*^hV!Gy) z7eR%8RutRal~DF2CWJXwel>H6Kx9Xhg}{n*u-Q8hF)%uJexw_%%sj!5InbuIiDR;) zaC~k@A}Y?oFm>u)Ia&4DcZNo@rp4UkY!W*KPBN=8q2<7>z*T4BtbuU(3{7M&=9guZ zbcI<>;fhGT2wD&e^Z0Ys^18ZaZDB8qHw)pcG|V3tDuv}8mkh#-;!>)BaI^P-PU5o(k{Mv64B^uVikt|_$%T|eUGU0Ci{j;K%f>;EJ=MU zdfLjnoD3j!VQ9P}g*ZJW$YI&$moNJ!<4+>66NRv`?XIXhqALzVZJjQfzu%W!eC@G& zVPJj9?HO3Z0yn$q=|BCAA4_PIIj;c9o7D-sA3I+FJ{u73IL?%HIGC4Yq2B?anW>#b z1l=S>Tvz*$I7?4;tJwij9FNA09cn6f&B_CR|6{2Exv)y^IxCnKiy8bX7V%3Az=gae z6|dsUt0U-DbMB<{+U-nw<`PV^ES=*0lU)a>x)=^t0yyI$?K|^!Nhb;%o|yJ9lb-}@ zp);7z3@!nPm6J^V7TcDmuj3+CLetX)$2M!7}E_!W%JW_ z9tdunzlPf$emF?k_DM;EQ+=&UdnTe>I4nO+&>$Pgv8ARHu^ei-P7m-ls6P<0HJ2Qx z9a`_}7IGn=afIYLTdh$eb*Hxu#SsA>;lA}Bf#J?!RIQ>0E$V_oH%X@?tjT!du91mx z=H3h6)lu|a5jKv1axQ}PEoW)Z^@2C3ZNu7pyU8}ZoC-3W{`ocvtGDDN53twKDpJ7O z(dKw^26FAkBk#l_yWD4jq{%`h3LnH&MKVpg8v#@Xjd9$E&c@4$h>E~P&MS)q5VXwT zS@;=f<0hdE2O+fYOdYWrj;2~bsM%Crhd+*DHCG_fuDf~2c@3Y56{&V?@PhoTqpmFj z72(lhxRAu_ph#(4jMg8SJMGg@qoN!%!hM64K7!;R{O+)|a-!=-ucRV$JRXQn4 ztf?3~9w?xiuE}Xf6#W;hKGxLA(Sj%Gf)_;7$84E(_C(Ukia`UPE_tQP2(v}~bp*%K zfG)J9mF4=7qWSqD4VKMNDD0J;p^Nfl3J~n>r=XfW$F2YC@RhDB2bC;oS~&QUNU{>5 zotk_!Gm;G{ceg^F?XiJ_^fA_nFb+Td^k@R^z4kh7FhYY11;$>c+ zW}8KNPP=791uR!{L6>vsHQ+8AYMl`=|K7{!@G7!G)WpPSKxt)V_^JMf80~?s7O?YR z6>!%Z;;Pznq`64$%=3l?u=`|j2_(NuyCuT08Gi2_*XB-zNfxfibAOvvm=+8Ok#xI`CG!Qb-7t~>avHRN(1k_{@SGLtxPvr3(iu8Jk7}sVRrZAXyDN9;^Mg znEEnwk5}=wZwV*kEV1ha-n7W*kagnN4qWQG=B9Vu0~1oU(L#7rWAx+_VyB*B9od;S zOQB({7RrW;_f5tZ%%abEOUlJJiV^DBD%EJK7yNm#3pB*2912aEUuyZU0JIvXnAmOy z%C7b)l%f_yL2CoRt@V+2{QT z_Y5Hreyxk<5c#$IK)Vo64h`%-IBPf?cRW;!-wWYaVpo7ZRbGcOBVM)5NKFrgzKRU3 zpGKpNl>O6g;{CPG(qlG%=_q~I7()1^!J>E5GZJ5Cc6IbHpOQWNrGg}J1r-G^RB?0> zFNCNyOCsDml1x@x#4k_#(4H^&)t{Dl*^}6gswMx12I*VEf13~_)X3=T0EZ5Ot)+=W z!oZjtWOBq^GMV~;7WSTD3K9I&M-)^{`vPz;EZdB8_MuSLOqWKEhh~S~EokbCp7aU{ zs@;VLa&cl%##Fl$S2sies%wYrNZ{c%J7|_k0l+9Xqnylife&R|ZB63_kb6^}J z58oyA)3_Z?VT!kM?ljur2T?0hP1|D3Y%nm$GfwWu?RtzZ=m*&A)R4@@vLne1gB+N) zz#0B*B%TQkd5sYd$5?c+Fk~qyA-VWGaa!Gsf~fw;D=Zk|Mq_#pO;=BbK_gaN7R^z0 z=Qqg>Fe7Xn4umk(j=uctoIo1t7}fpp*($5hpy zCQ&cB0Fx({5sl=}qSTn93Xu~FJY9c!*+wyqvp@8uktfR9&MIcSVbgL-*n5*eDI8|+ zX}e~lLYQA(?RBT$CsWV`QDI-3#|>7jYZS*6eFh|q=s!`8`5@eN{D$a;0bKo39jruj z6pxMheAXVJk1JIpw62=7epQ)kGe_5sn;GS(liPh|J#mWQDu)thc$(BaT-L>Ic5Q&= z`56BDcfPy&KV^V$zEzW-pZ?CnWe#HZ&Hd|sIXYt*`gl5J5~=}M-Ds{%1cGpFHF^0L zmCzpYcfi;t;tIg?l~fII0EgQIYI+V50?4^BokjBzGF?v7p6Uu+aXF{~`3=(xmEkvx zPxp7>_rl6IE_E^a^C#gc#!X7*yP(r>Q>-B#QX?qSG1_oYo!!kvt2Xg z*OK>ru0b8w>&{3~L4DHeE#pte@@t?jRf8^P0j@lzQZhK((s}7NqV~bXMI^nX@(&bn z3;j#{sqqu(LmnFe0k#p}X5t8+xW(T9NLE9^{%kgKA_&W5?elYN7|8=^Io0_$pq8LM zpnM)uAVG~leZ-5=`18!dqdoZ=S#oMdzR0au4#m8Kf#uRTEC^iz!L|KVcup8jy?W05}n z1K7g|VH_s6+A*@{v9j7uA*dB0Mt`oeQswS_0!h}WR-9*aK60*@X6g(e$*%3Rfiypf zR7kf!SIKwC9e+sXDOj<%l$lUG^JcsPUy=b5Bqk`1&=MctKgzx0*EmzSWr$xeAd%w$ z4gWkU==g+XGnHD&=2Yo{1b5(Ak0UpMXQ}Izc#{9?BsT!StG4As(Hu97 ze2;1K2(m8Au9oHzn@!ACN_gZATFbg=>P`GF#l~)RgI~Z;((ca3=WHU?`G^FLpW7qV0~Dl?Zg(tsd|N_^+ZKAo6Gz!y- z45DdPl^I&ddX~1AdX}Z(_awr_6S#}#)ox(4mN58l8R4`eBN>`QrLAA!Y0-Y&5o2$7 zTrIB&{Ah4!x$H%jD%cuQ?0mCLhn{A(7?KzuiNTRZYw#r6x6>`A_Sd|$b zfz^DG%Nb5UwQiYWxMK6>AQoPS5$l%!+%~J@5FT7zV}W~NrL#ZL*O^ss0@&h8|3-W$ zI|g?&kKG?VN(CVWs$7weyhoNB6-5_bIQD*PbPZDJck1cu{4wNFTxsHD2Y9(Ozn( zH+Bs)Ftk5rv4ImeB*og_texs6j3Uz%ao+*5uBCF54q(el|J1^zLx#S>E_zrX@gNI* z5aUva5{cR??i}O$kzyntV}L4Rl;4~b7)W`NR&C!;IuO&m<3WopOjmoCKHi4u_XC&? z7;TB4EvZM>_x!4>J^>^57)BwdhMaj9zWokCzyD%Lg;sd;62+}&@a2AnClw(HEVTsDcR+UK zKV7R+3nTc@Fgb|5gV-_>fMl$7?{dPRVj9uDRgL8^r#MtHS7}<(3d*C!C*iYwXoxd8 z4+(=EixkU;_)nyfaTD-frK8;}FdFskU+8X*CTa>#&DI-5TzKu;f6}ik7IBM@Y*$e zEMq9L8#zMJ(6p@3400iiu;Xy|eau@5jthK33GJ|76XjnH46OBSk9qkWN`U52%Jo3A z^6eq3O2H8;Np+HPYt_?b8WVJ@bwN*leP2WD@vEnaHTWT~bhK09T|}+kR*hBEE+#6L zLWXwQT;c?h7_FSwUL0J)F1IkvFxu!HQdot24_b4scild1u93)7_{lRVwoSc^(uoq! z4vK?eg;&Hk3=@KjDnM=HUnY@6dhLbwUjtAKY1tQ_7#VP8>#eM712K;38rqZjA0anz zaU`$q?D^47CF6iBp@c2SBK205gL@xE`1vNs@;0|Wu9g7Ph z(t}m44gFw-l>OLa17r>N?bAW2xD#^+$`DFEDA`#dFt9tPOPVoFa zFxdC&TyV?J1|Tybe3M29@l_5r8~-&(@*xLhO7409CuDFBKNICev-Par|E z(B6tYqYEI4pW%y47uo2^zM(K=W8lG(H!E-K*LsEFFWL+s*qwa}p83Y$D#?ZVC-!-v zH?ZpnhEUYK0TSUWC3#UD{DsZ#J_I$*5~{0zh7ju@fpkc8X26Bp~iGC$T%6pen%4CBNKL8Q=%8%RU|Pd7!OgMs-8$Ahx!)zF3_r6(Aoo$49%Fu zStylrNktxKmCFz+0%TE;}hkR}hEu^;=2B5=*g?l8Dw4-q0i9 z>)N>GF{MGw3dXe>7o#YX-RSc&8&)}N_b6*RFBUXR(80Z_eY%9fUL1LeoK7_N-$r+t zGra#>I@xmCJ?oRCUQkhS%$?A+&mU%Ws9Xq};>fSH9T;`xaw_p%CRkHrX8reP<~}g& zAEr3^E*Xw1mqf}&ElEiEEWX?Z^TWz9vyIe>pgU#n3mYfq84~idFeoX1B3MrQ@cvWE z6nCZJqs(e1PXhV(Lte4L6WwQ1ycq^97n0Faxpu||?N2lA*RmtsTvBTk9&xN{rFrDI zHK+I$29n`>BYix3X}S~$23ihVfD7@?H*Dlp35 z{p^^?mNVla>wL?ypom)8Y;k#t@VDvDsb2Pt1Fto5Oa#)t*iDOV(U2ywc5~1*f`%Tw zzldG5m_q{`87<*w&}g_m@ig=ryuSjGzoCjBYEkLzC>7N&&!#;J7>N;M>6!nRW+*KV ziF^}W*EwmCkm5(+9a-ZOrEWb`2DvD-rp0md{>$bWZ4WE$L|Q4CZemM12?v=ULAQ7@ zIb&94IeWVzM99NEP%LTZ+?o&NBZCyu6ukf-)jVLe8&`^_V{s%p%m=VvR&)ZjuAKTQ zc*G~@Z00FEmdja}q?H7Nezg)UKnc#j_u7U_%0(kX)% zFqPE~{`jD5xWycCJ~nYy^Yj!^!L+2G6}7gU+loItT)KU5f2)wGDRD!SwPSE?q5L*z zlT*pEGQPgr=!Is*cR=jA20_BibazE18aaT1QQu5c8q0S_b*#%9B(9#`5}j4ARppL`|NH?|D$GE76iS;e zAu63#(!Tw+00eXHUygN{BpT@oR9h+Jw4Yw3uc)hdeKdujDXiR)BzbN|xLa01%}znL#Q**SICyqXEV6oL9xg zp~{qCJf|iU5rzH7F1+Q=Z0Q{TGDM>JLU+v2>hnZV(^I|;=_1%*(Y`Pl45ftPq)^oj zuS#c*oQ)DtD4kp)&s1)1eql)*?|d1;~M=7uMm@7J>vtn_(^vxflx; z0^>F=tK1g_pC2}X2C;J})NFmM*zDGaR!@s$T^+5^B;{2Pye4h!G!=R-q_$kL-SaV^ zdH{|DV<2!E!s1CpJb1x&w3KVZ<7HNB*|fe&6;6&5o&NgE?%ToEmT87OrP4?JAE)9p z49CZgG@lD6x-eAZ4>((q&(W;$Q>=P)`mrEh3XOXMafH< z<)3mWeC!J~6ShdS_XJc!z@o_}72{y$xd0FFzmofucn1kS_6Rr}gBZ5)*e>8J;cPf6 z+R!CHSgs2FNrVckLiByAC^#-Av>}4sz>Np-r_FRgo<(<=m0Qm?B7GD^+oiCp<^ggl zgY>zya8xF1jyCB6RbHBcjjCd!|PorDPsxp30d^LHF zk|7-QuehXv2htE4`8X7lJ)czc_rVVYGB%QPZN$GvB>ApHFyil^M>)x2wHr!{?01R< z-X>571MN7Mb0@njx0yqsj{&E;B_!ZMAc&m4v7lhDgvz5p106Tnj*3zN@Lu3@pP@!D zW7f5`k{Y&@y+Q+fE*9-{dr9V`r^|$Ffk3AQy!`?@u=GJ#0fV)fuynX^&gBs>rCWe_ zSOfTCmNh6Qr9Y%^ad6T)b>1+P5c*&ZuA@KZ)gDnEFUDAcZBc6#ACuLXK9aM0+BwIH zSgohTND6=oG9u(|Cwwhbw5bcdzq90cs)}B%WlWkSbY&-W%v$2q?TVge2$if_GIhy1 zwR0DiK1g1?6#unJnDo^{+