From a51c517b5fb6cd64dd421598fcda7c2aaae455a5 Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Sun, 6 Feb 2022 12:07:35 -0800 Subject: [PATCH] Update doc --- plonky2.pdf | Bin 215152 -> 215153 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/plonky2.pdf b/plonky2.pdf index 7aba5eb70423d2fd9e24206dcef989a107c38c98..299d1724e96e442aaff59c0502759b287e8698fc 100644 GIT binary patch delta 4524 zcmV;d5mWB)kPY#W4Ui=QGccEdN&zX6Pz!%D5OFDry7etZo1zzVx2b^w+xCH$7@LSh zdMP@A_v<^up%W*YY>NQla7Yf%%sCvHXWNWtKVFpZpJ!!Oc0DU)mx;1xqHVKbzW8*( zTHf+LOGEK|is$04I-2##!C5abI1W$oi_--FlN_0JbP!Tw?WHRQj;-)ZN6jsFiIXH6q&1Sp!G)t$(iO0rrs1n|S;?A=j( zix?piY-vgXktFMR%Hev|cDY)@s;IcgZ&qclhl5|t{Yo^sChwKs9%gOP6Bcqkn6M-3 z!>{ju`-MzpM>4K&e!?r?U00BTWR-txL@c6g7_T6es%Ek;6ULQjb2lBg&cb21;-mJC zto5n`IBJgYF)utTAc?AfK>)ZLxJE*fl1bT|a_dB{H~ygf5hJ#Fb4if}7vdRlrxD63 zvJynX`^dX!S=+Z+AtmD}>eXfmUJc=`^X2*ZqO5>E2mn+G(NTmyS6zj*m5_hlsF%T; z&8iUH$(2|GsC5b4SoDhA%=<}47P>sBV4S7h?v}>EANRp+z1r{0Ku6Sxw+?wr8emm} zWvW;$Qxy}JeI4(@QP2CGS`2dCH@QpRTapP_{!t?lG`a>i?_&~fF$j*Wil*ZE`*c=O zDA+XvxxmC|0uq0uO#@`!KgG9AFAVuU~rulJK0^jCHRF^hz}6@l%jv>fN<4GSh%p5&+&yo z=cs#r_U^H{#m)rBPLR-6v9ldt-gkbTpcc`l76Efvy~g{UncOBugBOyB9r0U;faoP@ zJI0rTY`G*3Xx^aJk(>(_8M_)`LhabJGyyGkI3jcG*=K{kkR|Kun!b>2!y1lXIWW@e zDPR7=_!p3kPzSS71l|JyHJ5=(0VsdPSxa-|wh_MTSIliWl^vJ>L4r(G4v7=lPU7`O zt12J7K2RJ;gNQ@U@*ze3_31`8Ipm0=mA9O@R3!jSJR03!zcAtIZWXS+xsdQbT*;M8 zGa+@lQZf_Dm{qaA_;evmXu@p8&1OEtb$(XtyYWB>MW%3bY>xYHh66T}6aIg4eeu<$ zj#f$wlN!0YzJ12W^>+1B@Ykz9UtX_&zW)0~$ZY@Z`X$c)1%JcL)Akh%#VcuqlCegH zGU%?7REbn;;zq7FQmQ!ku3ASj=$d-Hfp*&$ovSP4@~g`TPLLvtV})CUa7H3j%IkmJ zxzetIq=IheJ5k`aHYZYjOYMIF_f_dQF6#XOdM2n_=MVDKZQj|Iwz$cQHO#-KQCH7S zP{I4J-_w`Ub+*a7zTpo)v0zas%^geU>YEFH)2YmX@bg<_Ar9~;6YQLQaMc}7!aGVW zv`*-bhb9Mc6nVMc=uicXE&8VQTefu;ztw;ofickL#dm#TjIE}dFg(!TTo_b0#{MX_pmhTTfDCC z7EeWqlE*%(2wPj0?f|oSM&A&3JnIEHt7meCTWXaJP{HNh&hbW%xNFXXoEde)-J1?b z&{@3X9=2<{y0W0hNF{%P>u?)|H?u_XcY(Idn>$P2zJGU3wAqbtj@tv4wkKPSs&^fV z{%M`cKzL@rs^U1CbM$?UIMgyjj9B8lgf%Jv7PVHvw|QC9gck%DJrf`;+1hvnZd!rd%g=#aYxP||;*gku%hD!(ZSHQEGw zykAdvCQ1unmjOV#q45Mm`UFETMytklWDp0SyDj1+Gr@=crnR4XmLq-kaH*Sn-lBB( zWHVEE#Kil%8b3X(;}}gblF>^t*9$U_B-nKC$}M$!#$-i9ROOqN`gu|GB#kmBV?`>d z>Tb|~Bx4XicvgQ)p9>4686*iXUORitJll@FfTmcAfw&)1kRc*B1aZgTG^pohY=<<`R-Md{59 zcTNM|!UB+VkeB@+a-fmQTb^-*F$}hKWk>#~1(&j*#}<4`4(6ibY~TXn4`}@Wn82tO zr+gEff^x^Us+m9`5h=jf5I`oI(ZI*u>Fhz^9z|fYd@KA^xTfe`=YwN}D_UN|*zf?l zZ1Hm_lN~mIQg4+Y*WFHU)tpRFa}EJ1-3+9Z0{-KrsTo5Tr>KyD0bHBaH71cYYmQZ<{Xc(r_Ydm607SEpBjFMPl~)@CE09if61WF9^ox%&sJ0{-yaYtI0zzoL zr#`cZT}Y0~+D8jNs=4(#gARpyieR>R!;5aH%xkhx+n9gkOV;F{KJfG2WID6^PSfp_@Ju^~gHq!W( zHJSJaxJjr3iMdduf@>XwbO9VNfN*PZ%(^K3#Ih;?+Be z;a!c~gN5pwjE_RhCdovoqB98^x+7}`@58Cd(zcY8ZTk{LUN2o5yo!H+0DSeW9bdPv z9Mt3G6LB-SBKYOEEM}O54pe_wiDXeU_Z(xSio@eW zC-gCA)ESg2DaCZ8QE}xHWPUem79*9$4024<7PH$#Wa)T!|AH4E-xBz3uknv`8sEPk zp&GGEXQi2llJv!+pevIxDpLORoMn;3@?@JC4vAr(^F}mlQK?XGLajHMg{fV1CP_7r z#^|La_2iBsOXfy(;p-TbzdeIP2zkz+c@=|Z#-KV=HAHI4AiwWELSnSD%_0i46me$0 zKz(Cje98snbmGVRU66C`39kFfuYQGB7qVGB7qWHMjOb1GfT0 zL`F11FhVgyHZwvnG&nRjL`5?X3zqC!xVgB#ioX)!24i_o@7e@j6MtpM#g zX&ER-OQLO&R)9*h60}XyDo~A9inc*o18UJ~&|=a$P>)uN_KdUvG@{j^Jta+pCbTZJ zb<$?gg4T_;M%oJ6(1y@fN!vjO+A!J^(oWEYHiGt;v>WuGO`$y^?FD^k^JouA`@sO( z8rll!Ajp6rkhKuXm}crOf9WvLgH$;SCcy$1#=tn30Fz(}Xze{P4Q9Z7Fbn3uJW!Pf zU=b{VWuRBnJL_Zgm1@(dg}f`-Ox;-JT}Fx2Y)wJq(cCmpOXiTah>BF$2rdFBx=e}T>+9XvW|>VbyW2-2Vl zG=mn<3fe4uu2$uC3qQUo>acKQiaO28w-j}mtt~0)HoM+e)MNJRMp3Ut75^0VS+w$3 zQNKl3X+;ATeHu|TXwmoAiZT}cUQ;w=iEyE4*b<$86zP0f0?XhK904^)zX|;p^dmR} z+C6Gxi#4q0nFi$9G;nTI10~p8P9&WDB+i9Wma}QD`l67vS*@gvthpYbirEQ z@;*z$>iHDU#a(qY>$8KiUSMz>9^!R&)wS;0-agpB?Wv+*#U(8)0np~6j%I}V|w&)29x$aHallAeJ z55N9Qrm`a$*Ec`nmG7=ANI|knHh&@(Q8tWMkV;iE*_R1pA==zcr=7EK7_RtJdq>u~ z=m3tIBYeyY&k9JQ>R%8L-MpA%;5o-zEUSi!IM6t=s>vCRb+!)BNX`TViV^-Ox(W*{A%DkFFM~IT zvOBvHbpW+4fgp=sk(>E2=}1MF2NjI7wA*cI9Q^4J+|H}R-VAg^oyqHvyd(rxH4gWZZQas6|1J=`G<5?Q7G6o zyU56B0@8D$3JD+F7u;LdBg{GnGRr5F+w1R*M~_B`YS}n8S!s_Fg0tjwHf_g@Mlz!oVT8xeo^n_duHTIvqD;Ej9>4(p zsl1U%@LLzi@Aapn@oBdr-vmO|s{ujm6+S)f4dgMoHi zLAG2H2Q+Wc>PXH7i;P{3FrjvATAF|sJDiX?_UyAkpUIN-bxohiwqXs&PaPQP^^`CF z&G-WM^iaDBWwTWT+yj%aSSx=^bK}MlzUx=;wqRumV;;Z&smdX7BHKy4-e_6ngVzTL z9ElTw02dD_@~=<#bOQt_kSlLFaj8m}X$)ri@%3vME$$c5;+rc0|D%Oih%^g@P8U*S zp)_Vu?5;jtg(fmlw&2I=c#7ZoRk0t&10f1CiJRl&u>Wc}U^O}6FYAA+udcOPNFAEg zh{gKu1t06p;-}!RH-ElfFMnSD{VHO%|F*uw`M=sVXP3yVVkqWkXOY~bWk+n?EiMoSltb>2o4UvE8u)Hj7b#KGvDgh~O zXvar)m-9g(K?!a3>?pE)g@L^`B0qFv<` zmj>T@$M-<9EGG(+CY*K-tbn71{`~5 zApoC`3u}x{=!Gd17VJq-r@0N0$Zu0n7(yi}`m*!dKvLeeRMjDX9Azc^hQmpE6#vsn z{HJA5bYQZus5`E0_#I%PZz^V>Cd&2AcjrUHg}@%qRed^3FZ!thoNcSJ$X@EG>LZ2_IjO zAbFXZW@}U^U+cd0z9!X4v49lN;0hxiPe&(0=xR+R&(RB-c3S}Bwl4Xzv0lT8qy|Bo zg$Xkg`JP9aB#c$I(4m6=o;NAx8VP?GCMsU6CJS%G*B{8rVERxPeH>mUaTy@ea^3;< z5S6|v!P2dw%55SBB_I}q6I;#8I>6wTYs0$P_{wEcIqvAN9vYMLKJ+766WtVjXly2i zSe#Paf_G3JQEh~ishSb-6E&yYD8X}1!&0W9HmTQe%3YkC)vye8l#qsb;XQx1Sgm|t$EFj4hkV)$ujhRgx zLXA|`K56(_%};ML7*NKiL}r^e{Lw9Sn_UN0j-^f#y)cH>b}$w$%S(u0GtM+N5IF&3 zG#t`K_vfN#EPzKWa_`_6dMAH%GEnaFwi~v?T!&$I1aJp|hQM~(y#tpj3p2&7x8&CS z+7Ua@%0e2kukPFjML^25RYAdP!vru(Wm{j~8tlt+B2&3)0-kbEM9QEQe{LeC=gP>0 zMx=1QKlhr}#L)!OCR7Mi5t@v-+s{d$LxWo%R{64;`WRMNHeIh&n8<(e;Mpy+P-Mxl z;!mi9d8ZR;C`~r?xkR%d@+7M1C_VDIk5Lqz34lh6;q19X<1mfY^h_nsY^3o@YqIbU zAW5VHfhCcW!J7JQFxdgUXl1@mppYv?D6^B$MyRb@y3~k+JG#bzPGQft9UFRq0SoDP zZ_#(&!~X~lmnljt_zHip31|@khi@VxKOJp>R&*7Sb0Q^rb?Z7Jd1fI*WBx|htoURM z1@l#0U(m(SA)xz`at0`nv(hO33{Z?Q!-{)%ba&9WAz)BL!#5c)x4vp}haT1kiQ#&U z!h?k-oSctR%qq#kNUAe+8ipflhv>r<%G|b8n{E0MR9?>s4N-r^-vho{YRBUCm4mjt zd?s!tB0^k#%W8(!y?Gp4M?)3t@E}akaRavy4tdlgf*R0anepFYG7Ya_UWF zsH8krulE(YB&dHTS1KiS+X5^iMfwF6$&%mCBJt5a5ezXp8~vG}8$;;?F)j;}RR5kp zm=S^wop1(w&1)?SwKPXUd=60x6lCEGJCXOrre>G@aL_IM+S zzxjxhGyh*oj^Z%!-47}`o+#PZC+B2`1fCu0tp8=O;Y5Fhok*tCapV{?RU94eJ7J79 zqt2jJNhzlz&F2idI_2xLW;Ro4tRTlSZMM2i!YmzS_ZNBb;Yxw8_!@s#r|}y63AzzG zcUGE(DoHOM1w)aHS&{0emn?@#EKasL!XYv2YhFdGW{nE{CiHrfRan}oGexR_GDgo8 zsV6dqS#m|(7ru@`@!K;vq>z^knpZJsju@0@x&|eu4DvPalW+Z-Srljy#+ms7^No%1 zDHl+W!za+Vtia*oXej7Ue+d3BE_<4tgAEdg4H5x|4H5#k4H5&qFD@}LGB7wWFfcYV zI4v+ZConK4DGD!5Z)8MabY&nYL^?7sGBGhSFgP$UFg7zdxA#E5QSg$3@~gn?EAj&4zef+;s7d(wkWG0>l_U{M-2^3JjYDU z%?wSfgxnuM=wDHDb-tT?r|NdU>h7xhUWX9EzbJ$#SQva4h;|Bb`YDlt2<)OA5G6no z9HZ?M6@g-Kg0@Fg0#e`hB`#bCQ(zj*fLWlmH^Cg32e-fiSOm9$s@wrNunbm!UQO?; zkI`4EO_LUqdD%?eSm#|PiPUUOLF3WfG*C@i7LcztEuRVh@hh%S=T5dlCN8keNTd3*KgPw8oB2Y_z&cHdT9Lt7q?TWmG_P?xfm0z&% zepe~`!!f@nEo3jH6>|$cbs4?P!rZVflyiZey4;SR9izL9E+@*O84D|~wL)%}m77`1 z=5#FTvM9!M852u+tA%((%W$X5op{m*SX%`2YV2Rfa4y4PGtYt{3kP3RV2t~;8%u#U zw%U$=r5sDSzN0Yn{Ipi!Fvna@CmnM+=5jRxb2;YnCF<$(v6N#K$5)Q89A7z>a!w1+ zS$MUr@@zV1hdQovoZ~phIei@aIOBH4?M&K_!3j78jMmS=1#h4egagWVEWCZ8XXF8= zp5qsnH*%I3`>L5&g9-~DCzWPE8q|PVPzQ8>4(Z_0Nz(*0ycW<3+CV$#0G*)A!sl95 z?zV9GO;L}9-#Wk3y=GNgiu%kpa*F!R-s~wFF#GXK(V#`ue-sT_wE9!gutm>X6pdK) zX+qJcMc-d48nftXUD3ED!nvXeOY~kT()qFsR=^=R0&0$a6Z$XcM{owTd(`4WJ1q_* zmRSBkshIyl%(jXXAPMkfj3;CM264&~xwXQI)j0eI;9{e~mq