From d6d1dbea140dc6825976c20b996d79e3f446b924 Mon Sep 17 00:00:00 2001 From: Jack Grigg Date: Tue, 22 Mar 2022 17:59:56 +0000 Subject: [PATCH] Update serialized proof test case for circuit changes --- src/circuit.rs | 4 +++- src/circuit_proof_test_case.bin | Bin 5154 -> 5154 bytes 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/circuit.rs b/src/circuit.rs index d8ce462c..39978bae 100644 --- a/src/circuit.rs +++ b/src/circuit.rs @@ -1074,11 +1074,13 @@ mod tests { if std::env::var_os("ORCHARD_CIRCUIT_TEST_GENERATE_NEW_PROOF").is_some() { let create_proof = || -> std::io::Result<()> { + let mut rng = OsRng; + let (circuit, instance) = generate_circuit_instance(OsRng); let instances = &[instance.clone()]; let pk = ProvingKey::build(); - let proof = Proof::create(&pk, &[circuit], instances).unwrap(); + let proof = Proof::create(&pk, &[circuit], instances, &mut rng).unwrap(); assert!(proof.verify(&vk, instances).is_ok()); let file = std::fs::File::create("circuit_proof_test_case.bin")?; diff --git a/src/circuit_proof_test_case.bin b/src/circuit_proof_test_case.bin index 79311047298386d690656a7f7d24ccd6d8a5f4fd..7c3116a0fa3471f713d4f9fd9bfde7b99deea761 100644 GIT binary patch literal 5154 zcmV+-6y59p-MJ-9t-j>o1`44cuC$SG*j7`vNdFj>FPmb1@(2OzDw3Ct1u_O^UXs6G zyG(i(Ywr%99m?X3Ozan;>cT{_^niA5$9yT5DOODg``)ijt+>!^{e+d$ zM=}!g3Ia`F?@qe7_5JcbYEpw50+kjG9e?s=Pl}Iw!>xa6kS^&Qb$z!BFm2>68G*EN z?3fo(tEVG{Bf{>b7Obr7e(S0-e_^A+{unlm5x~n`_*0+Jx2}XMv<77KIwz`%Ul)8D_rghWi~~nSvBcZ= zL!7$@l^|2PiGGe~{I6KuuZi3do?4}_(s`JLmyc}M0zmohZKEyCapPb;bM>@gI z`F@(+?2T`Jv*JK@r%EeNTDXJW6DGI-Jwk%k-Td~Q18X`E*BMe6I(mTmZ@YIG&CtxT02C%hY92B(#_z95MQZ(*A0z&|ildnTdgN)NX!6GfIq4OjD9YcI?Ut<_J zFbqqDbtkw@0Gp2-P7H6z{$^Pqki3u>1WC%wg*%t8bfx+)b>oPFiWomu$R@}?q`Zx< zA1`IIH1resub8g8;BzXq>Ljh#-PH7ZvZ=Uyq^{ZlnGVSb1K!&Ea``1-?^Wr7M|c4~ z*86kuL>FhTCpc+E(0klAO zaslp3XuAg%qXQCMo@zK~wf;0H9n}F4p^g%ED&MNB^79^g7^@2^V{2QE7f4D3b+ktw z^zR2=Jbnlys9-Yc2F=Ftd(4QK44;xz@|Q7*XS^x?6vk4MwFl;1D;HBavkkX$daDU)2_Vj;~a83LAtI42)=QlZ*sr&`LR@ozap zua&RYi;UYxCOsMZ3B&A{f=)3lsj2f{mXS}rzSoBSMk&?uBnp$ATEAiJ4M4;T8G4W{3E^snxN|CH$HeRqzv0{!-{akFgw4GuX{sf*2<95)rO9`A8G;B#K0cejpHN^MY zENrPfr1RQGL>+laYP(fAt(9}2RjPxH83$tSKPzlR3c*4K8pEzBW)M1)3Vj3~KSxJa zo|F_ybEA-jG_}Oy$b5KEOiks`p8UA>bt`4!&+D90><~RQ3Q}&F3`=$WcOi(E^XEsI zg;s>1qa$;$0)%+Djpzk>=9JIWCRLYLK6Bige4XZ45R@_(_poN)UO;C-jh8>n-afon z4Zf#}?a=;agcJZPr&Ag;p{z}nS5~k4IN7X}>eK@K*R=)AEdIa+MVrc9Q+O-TJ zQ8R2&D3-3Dzv_gbk&H`h-HQ%6j{-ve!PplZqu|$-A)O;&I6*rq1*W2`N#~X~Jv?^* zFL&D>cDqao7V9xxP)@BoE@c?;Iy*L8w(|9AbvH) zj{f`pHPCu*x!~sv$;fmL5I5cXP zA1IuqKT~vJrtXP&EA7_`TIWkgJsm=PUftQHtE)E^$BZF59W`+l++OAZ%XLnpGHL8F zHe)M#CC|Gd(r{?nfRnj_C#E!RL2m@)PD| zE-M6ZBG=ip)XOaEE{cDzso`(mAW<-oQ&0U(8&V5}y{Do@9ouveNP35!|BrMFDX}#mV1#vC8ow&~4iHF3c_R4_yrTclKJo{djP5q4M3!q3E`4oVtNG z;qpeXzoVgs8mX*)xhx!b4ER&D{@F#mX;f6O$&AKhqU36eOkxnq8t8jM^EPs*IR>C} z(!><+KiMbZTQsb(V@OL#0cbCOB5wu)4+vu819tu%_Sgu)jjxY=2yGC6Q*Jv{wO+F4-Pv6cR zbFA4F5?<`S-MTQfaa_>B3G2kJ$6+ek&IFzxxsjos!@Ast3M4#)>S})EVmT9q;bAPl z>N{z)^^Ktq;3$&%dHu@=B66`+!U2VL4o0RvDQUafEA|`rso)ur!2!p>Yhxs7DDKuWEJJVlG1Ru7Pq%8gI<$-TH90QFL_#tmg6E%)~H)b;j>Ci9K>Ka*S;sY_gg{=>Ra2c@wAj&Kl&I_w?A~C2rEhSzVfMV zuW*Zghez^=Eq*CI$2LUI38!|MfzB|8DI;(bF-KYhIqQ^;I231QIhw&4o{1#rF|bIi z^0RlPB#vNgnB^rJ;PjgMATX}-5iN%x9dyM{8WuFuF726z$IEP!-6zx(^3Z46-t>S_ zC{rWry7~2D{n;#~k#$v)Oq)sIMIEB+Cjyk8`q)X#KJkC!8CE1#4=p9|d~%9QX9LuD z8Y}3<+JeYi7Srvw4SYEj^!ZZ!UbPNUBwXuDjX%6+*QMoUGAEo{CDcmo5MkcTE833&sFRQQcyu#}lDnims{? zft?UFEOIoR^!qC6b10d@Kl(hV{;*8E2)!+dG|6|YljN5rK*zB+o++o{c!?gX6+JeJ zuIxU*5C#^VC?%Ve3j)>uZ?EGG<1|p(LE%L^IUm5E$~eXk9ixtal$nQxm zYcqyqr{iGaBMQ5Kd|1LaPS%5CGx1l|&9#Pk3cFL~AXZmSmGVJMjTiJAfduYw?dikk z0;&tSwR?{$zHLVRy0kBu0(dS|vu`=Y;NH2wP;WlTJmJU)rzAg}(72GtMZ7&`C0&mi z$jO1qDp#-ik9((0C4YtZACR)8FiK)tH>d22czNCR)XnPZ_(g;Ox0M(^CYXH8Zgubm zZ>Kny*Y<2yj7blrkfGKxD^TWmsvk$aBg~Zd1<*WnOy*(TqeU|;4I%q+C>dd-|9J!_7t51Sh6Kme5KVvyaJsxh->I&uyZb9w7tyx1#CH)GW z%zUBCOFj>>ho|R)RBwCkLlt?#oTbt1&fA0^h@Gt0Iv48B@n0?C`#Xf0 zbF;<{94?Dxu12{R&659aQh!!q@)|$>Cj&63A zFBXFm6PWoquE`elJ=FJ6X%37C3h^q?nyyKmE^4huwicqkcvaoaxaW_PHK_rt%8X$u z)4)lPg=Vm=JO7v}`_9KtWv!DDa!5!EET;R&OheICUdXaHhC+CGr+&LRiulut&vAzvS1?aNb33gA!eo!BF~0WK z$B8NbPF_Vdf$6%Vo^RGI#oM|6L?2p;j#^|O5{F(YM=&M6v$8ex(V$ZjfYdra6rxyG z)EQ-R-ex5pIF(oBdXw2a-6J^kUYnSwqR zHZQP*u=t4@76S>V(|89x8yuGbOy=scqfq|b8o2eZ3lK8uHb)Zh0qhDD2bJQu;kuoT zKa`QS9s-t=ULegCBg3>3jqV0s5>glRI0=nIb^4CNbP=%_W>p3^qkzuO9uV9gkI+_P z{)G#M@Z$Iq#oEZVh*O`8FM23$d`#hMq{W4Tu+cZqAFwS#A_jde(rP(R{*ua?`M~#r zk3&gUH@-M#717y<8u7oZwzrWyC3JAcWhIu}hP{TEgjh682=ZMSa|g;wd{L2(OGec7 zNEWZVl*$KwxLerL2n!*75~iXDYX}m_dDgPN_HXKwHVGygPw?K5s2aC|SP02y7|1@a zkWe&iL{5~Kvk`z5(><5EL-R#!E2wAYh>}3n2GC~(KB!|%Hrw*Tca=l&HF~ka>WrJ* z;3DoZi1e1hCs&9t2NELTQF7uFmxb{&PtpD&7@QzvOxt}Jz$LOlw|bJ7Q0eVJ#8Eel zy--R8Hr_S@MqkjPDei>TC=t}Dx5iGCz4eYJR+9@>-G2{ooc6jw3+Qi=<<_EBH8N(X z82K$PcdvUPz`;STl)$mwWJ@Tup<&mGc+TbTC+r-iKxOKiT56c5?a`G znW#RzHXXLPvqe-jufrf*GpfonYtB_Ly)-|-b^Yb9&Qw^{o0`N_iidy6j`kLxb?r_GF2isONBRE3>N QBdqL!J6)`*^a1vb2dZM)&;S4c literal 5154 zcmV+-6y57Lw2(c`=9**zS_{SRS_by*7x=O!%HoeKbmDZO`q&Z8!fQL`&4XTBMi3{y zz}$cyxd2I{b>|hOS2W;5v9tm*7xsO_Q>C>o1DU&7QyFjgmABUt?uRyr6&Ur2Uu6~8 z(iZ5hxY>k}B~;l32-#fz*GKJAVJvBA$)HoH_jwSUa8`=*!HS9Zs$xqY=C@xJsf2IS zPg7_F9(aDR*`N~v0dzJtwhNP@c21ZjD){NsCfW_Rv1jA-!^JAN@sOJxF!t;9!Rm1w53tzsV1;WP$;!UmvaTgI8;aOMVqOS{{t29g;aDtm-M_DdeFYDf z8nMFmpUZ1<>Mx1JS*2;*p0Vs6E5ZBkPM<$97-mJ5FA}G;f{RPK(jX60x|+q8tEkSw zwH7ei8|Yuu84fnwwL2heCH8d(4^HOJdZv@W=lk<)1E2g<3*Y*&SwK}r4W&}Yo_3Jc zkFO{F1}9O&Gl?yHt=7-f`!M;H@5n$uKS@CezFEF^Z-^C^9=%s9G0_bw&`=>ZM9yz5 z%y!OdH=JqGvl6duGXB?PH^t>+JL&$&;JtKZR|&}SqCiM){47_QKp`Wd#?+~W?D*-- zHlAh5+BLNbB`BJWS++3m9Fl~vSpI=4RzJCzZ0va5dH%La*YaPE3RBNE9y_}Hd}dK&!0~a+N8l2zMYV8kie8+?6X=*o zOZZ=L8=#B*l$G(-h-*ISB3%&orcv2Rc$?nnamzm4vVnZJwAx1}mwUk=ti172;mUZa zfWE?VxGO&^vC3Lkd(*dXmTO$(c!xfEQV@_8F4&9uS9ENifGt>*KxW|?)$Ut5n?m-o z8i{yaOKAVXfOBg+EZCtd<~*wsp(e_+k-W;Jwz2jKQ+XH2Hr~M4jqS+g#;f5E8Uf86 zCK(C%HJX}h0`!w(-j2kaA|C&52awvJHsU;PjmvabVdiwxC@_QQ}*dJ5aE1tQ=6rSjD=9A0-)pi`)TTL>MkPW+9xgXLK6PKaS|haQQe8Kge(~ zJ;*$rhHy^xgA-1rpOre=^74~c=X-$7*OpYOrbk4@EI@AmXrgyCICmuasH3zNO!UDI zHG90X00%r9P7BXzrIKmJU}ITg(HA( zq>IZJW(IFg(P{WY_Su!DWbaG&B$@00I#C8n%Z!&D!{{uw=D<3~Yncs=9A6B?G`E0H zAtWmjrHQ3oEB1oIil{Yqcl|mZ=`ECmdWIQKfx)d^c8(nWs2Qdpm{&90r|C(kUG6{@ zR&*n}3;5^<>#0f!*r;JK1V~}5Es2}kj${7xdyiuXB_+2cF(AN=Ikot#20q9rHw`Lb zGZFNZ4*P?rriXVUdVB| z$3!m*7PjSv&POFq3H%>yt@QSeWTqa^XYFK z<+QO_f|7^Vk-zd>h;gfw?ZxC)AI##?1ETwe%6SWd3-CtaNcu%L z*Lco@lzCnF66&H|Xf&d4XRsuv(b5)fqWP-Yhtmj`hH;yZQG}KdC6(hq&1h=i$LS7Z z(Hi@mND!zSQ3y>!6Tj8b)|Vz$DsG3gHjYCPoO_L8WqY~V4VE%-^3J+y<+sBuQXk`Q zHI<%7Jg@W!j!j3&qBecS=+>41%>jqb-Z`=n1hmMo3yatOUSLyvDQS2B!RonNNc3?s)n(h*dzvr#|THu3Et7RV~Xu z02nh83Bz*-2(^9qiATjdQY0(H(-d)< zWW!9$0alyz8>i!XE@Bz`)ba0C5^jge=6aKrA07EabBA0`DX8RxfniIm;-njWEJ<)Ac~wLxrqs)1qJBmJ7eKA<|NV!8RG42=24;&RlWWu zA|3xviO8P7-sSI;=Cb{+0vp0ZXjj+a@kxb0GSlJ;2Ck5!_PG^`mDUfS_HdjDIh17E zp&rymCg6lt?1}O#4m1T$z0VH}UIyKqUD#F*(tyhwDGA~mOh@4$h$r=8B$G-y2nmfL z>yj6T4{a5ZVCBKx-Z3DQj1_QZ&w5{)4@0c`h1DeHo4I=cAf#e?M<=`-EG7&C!@=0S zIsG_DE=ouakAe^t0OXWft}P40>B!dT)-iZHy)%rke8PY(1B5%ZJR!h-sisqKQ7+z5 zV=_V@3o4RI>I3!5PPTrT0EhL`1ch8;yH&(Ivh3f}-pQeQcwf^a5bapeNP=2;2}U_0 zg{)6H5~c#ba{qa9kEpUF1mRvX+yNp#o%?PyD7m|}A(83^B5*cxEC_03#P3~mUi%qzKqJm5|t6;&udBJo+4h8eQ3J~DpsJ`Ki!#B=Xqscx_(KF_XiF?=- zX)((i9XOQmWg6CXwI>rDSiOcF?FNNp{t95qfcNqY zHjQ&6$~$B`{V3yceBJY=p55H?Li54@%Cf&;3io)k#!o+*+dlxZm+AD>n{R{(^KT^0JL_J$-SA z105s&Kiuys{AOr%ANeOmac|STJ|rC%w?wm25ha$(L@XlX@h z!h0}KeU^wl7jG7fdAupLoJgbETyu2FQd9e7H9M5C=yDgTsqG8a7 z$Z-~GvulheAynl~tzLdW4PoPT5QVXE1$qdba&J7`rzSm)j(B-OvBS6YusjW+1g6Q| z2!x;Dko81Jb(2Ux_iyk{%yF81mQ$ZekW6l~==LRoBBfvJ3d6N7Yj!!UM;>#QD~W+| zYBl*YgFO^m`wIt{2zt5b($XZbU`Ty|p}Z7aQ3Ygy^mzs1BSY!ib}KnFoqD)HCXv=XEs_iE-2UQs-2X@Py`ZV^B9 z3>-D87rBrY0-*2E>4(IMO~*F#N?Td}u)K^sr<-;^gYi>~AJ&D?ICMOnw)*^|IW~5W z&w8?0*1mk^a4X)DkSx2lYE;mTIhCQ@AT|ioEto(e%!YB*FVuZmL>nwgw$et9h3qA~ z7AMuL&P#&_E|CBKsxCzU+Qp`R!wBxfb5uMn#s2y;4cti;~`t}*74R- zNU$BQA}?TgAIlCW&Uzm}%&iMsJh8vl&X9vu_QFm%z8uguB{(^??Fl6oaj$= zfX?aq9V_l|`>y0yh86ENJ6pj@Uy4LB|1MVsyd)L!fQ5v46`B4>v}02lVghd5F#9pf z%<_@pJ;4IOu=V=zM-Zq6sTOEP=R840!fOHR5uzup0abVed}%Qkh>PLyU@(`ycc-%~ zuE*%f&$*v8J3lPBb~I%7lxM@2^mv5_vqz1HjjTn9kl7cr0r9I+o;=8rHCIVzuK7CI z8)uXyCJ&hw_SPJfO)WJD<@=I{Ag%69U|Nw+nDZh&z6gAvX3X&aH(rJ?{Fnv9$e?7+ zBq-UvY`+C^l6~%f8vz#-9NxXtjaU>S$r~dSQ%9z49HhHXQ{qdH zEVxB^XjYBb3U`JnF=Q~Os&Mwj{HZeQE|xUUoEuJg5UbeeCG<@@5TFd7EyTaJ#RDbm zJnqx^@pX#KiXWG1+C$j!&!7{*5^fcvr!w!o`42F`0hO1kdnfeM5U(ce-HXG7V?!!@ z>?CFG4HclSEMpXuVHN)P?oEmR{to}@_c2cmT3q&SJ;*j}KgSp!QCJb!8W1RU8DKVZ z%$~Dot#bpax$mZJDKWagoG>uTTt*Y0I0S8D{hH*q}N7(Ik3$HYR@zPSpqv-_S z3~)!#8K_Rz7NCA#M8hY zsUr@54E9~?G2yeXV=9Zout4M`a0(q)qUpnm9Qgz;8HUW8L^EJolQ`HRhy>tUC2ms|Y+lM&pN`szc@6bgE3TOm&lpae!f&W^lI)!b}3vbhW3D71IO?DK=nm6DUhj+;z> z`hD30Q(JM^*Jc5oqh&I2e5^au$J$8RB3~c77%9g<-#fUUW$O17npN)aJZsP-fM)l(WoersU z9eZA0aKEDjO}tB}#3+kIm@~9y*i~>RJuYrp6s1$hx%WPsU87ZwDvB%m0&i;;vQwUV zsl+Op5^8het|QK%=DVHmit(2~#*szT3q|TGuqX7PF)sm@Q^bZLA5C(%27hKtL9dj{ zj^9Eg#rvJXG#w4vIW8+i0M5zsA?qa+G6ymBl^iH(J3nu13R~FM?mMtZa=`CV(BX#u z4kOvwwgIL2=+_p^lpGUpx$gnLElfnKG0s7EfMr_UBTJ0bNJg1*B>GW^UFWLR`4u{Z Q;A$1_QB~9n)XhksHeu7?!~g&Q