From cbfc13c33f368f1051607f142251c1263621f1cc Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Thu, 18 Aug 2022 08:50:49 -0700 Subject: [PATCH] Minor paper update --- plonky2/plonky2.pdf | Bin 235072 -> 235098 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/plonky2/plonky2.pdf b/plonky2/plonky2.pdf index 8e99f30127a0507f5a82e18dd6bb35a2be2bbb00..ad0cef0228082e7ce26f6c059dd66618c0e43235 100644 GIT binary patch delta 5904 zcmV+r7w_o6tPa|&4zQX50WY(g0k8rDiYE=9oPHS&+EVZ^rz?7n_sSfxT2Blzg|B? z`9I*Vn>oLJoFDs>77|a)fH$ zP5E`R(uHc>o~JGx+cuM-wZVLTj!p^)mAaWfbuO!K}r><-nqKX3#3cR^=`xM z`qu4mkvGjV7&HQjZHwLMkk^L~I86X$RpY`h?u+&|+%?sy+?U7{kmCR0R9DwkofL1z zi4n3B9;__%fBKs+6J|`MoMqj--@**d#xn#Fyw}w8xCUJrk{Rj^(GWp3@J&n>m427n z35)|59%lWP()wh#D5LvZSGyFOQWD11z-8Ksr0f^;+V|o-x}Y^-EC?WrYSUrbD<))f z%nye@fZ(`ZzdhyNOu)+U@*#{iC$Gxe@RT=rjkbvcf4idIo!|%lVef8g=fZtehnc&o zY}y*l1MH&h#!g`;;>lx%C^aMQ-y6%(2)R(}Qxk8#t&Xp#qA4M1O|0qt=sz2osZK#t zQ7K}n?dHL1EG*qtc$L6HS+#MyJY06w@mRD+*KsgRk5lCOop+gCi%jD%dKHeN^VoHD z_)u2Ie;ra1-Ugirh|Lq%UymK zZv4jZCJ&E4y86u_&S^n4&yXG+P0f$Gyi+ee9b6t4*i|)b7o5K;_f1@*nk?TGYH~xfr>Zx7>2y8>A-@Ofnj?7bDJb z?>0)V^TR0zoCR&cgcJn|Y)yB|MrvoXvt#0-}EucUEHVp$*a0=k}d2&_g%ONN^Pmf<0oK8{w$ zyHlGCG7Qrh1%Zij-eIW6B+wyv>~{3xf7>)`TufZfdX&Ij8yD$7aKdXum57RmCXC+S z7Ja0FM^|nG0UUIIDbfTyb{>cTtzoi?K!`V99(fOvap)Cg^5#@yVzCc{uYGuen*smu z=_YRxBZU?r()HQU;SiqkBqDGNA$mwKAo^$trYb~AQjkbkGnSMV6W)=iGQnRETSmr+ zvU-|-VIX(!TUYMgKF0Exwbef3JGFVp8$*n4c6AYxzzB&&eD`xSaLkA6o0u5?^xYMD z(!};*;Fqa4c#6>ew_HJT6V=3j7nfm5e#~XKR4JF?!AL;_ld*IYfAbti&KaDhHc)4L zifzpm#AQa5qW8BZgE?@tBHAv#tRN zs-uS&|9onEf4U`Ox+QIFqQJl`TLbsZWAe)Y925Zh#5)JH&g+{~=kbgA7`g?2vS<%j z-REN+#0mLed<07bn@Pn-rPU-pzT9jL_x2#E4|Das1tr20gd-J8iaE@{lVLW@hZZyiR~5(r!CWr?=!a8P5{rBmRNx|K| zObhvf?s#Gu02F_WgFri|NSjF3;<=qrV2s%l>G4Z7)5A$&F)oW`KwRSyci$D4Wp^rz zIaL7PzRW~=8s`?fhknt2x?N1G;6V_;=6Or8uW2XEVBFv~k4KuZZwUw&PNQvbqoUq|6 z^JUU-DC3v8ko{5su$7!H02pLQY;K1W`on5aN{B2>D$^BRhVC(%_KH%v(1OuJS;B&1 zy-_nT*junz7w+fL&`%tUEp$W_hr&cp%_^J>mPK>hbp)$&q1fR=*XV-d$$9ny1)pVh zn!M->k{5sbvFuiJeMxpJ3ALk0#p%K^?QjCRlt5-fQ|u}0?2Et;N)(+o%Ocgg4ls?DxrX#eMytoZkqe{9|ZY9 z*R*b*tn+6EV;*BLFBUv18yd+W+f73i=FQ38H=BRf_Djb*m(|4ylbmaoo^?kB%c5o( zXy#N$<B4wO3$TSGdj3 zcfVLlO347wN&Q(&$!wHv`hqSX}_zL=|T*@zmVpk_6P@HF;wDNF|pRhkjUqsOa2#dJktuZE_zuC0XdU_2q=@V zgeHHsMoUtFlds=XLrUg|w>CKmV0mt5x@)RWRh?>5^2QlTV#p^PgJC^S(Fn1j>`Vwa zk_iR3gNZ&GDki3khu$Q{%UMi{VMHmJOt>!2loD_s80v0d1ja<{F$?JwIEG|A;aCcg z_!GfZ!IQ{3MNp$?MBQVU<#D4B-YNP}|BHWyog@5*0ZB)9&M;$AcFC}CFoK&BlM!48 zSMUH2L!c2m!HJGQI7#?4){%-R#vAXlK61u0OlEw&_Yu$G5idn2z)AFsJJI-*;2l6R z`B8wOIp{mEG#9lj!(_OY;Wb|pCVo@Ce>bI5-N#EJ#036o@D+JzHMD$Kb6quTAsoZ~rkRT2RijjiA--{ijb?dyxr9als}; z&vB&3m;{DaARSrc_QOb`07fFWGnk5EPzNTmNJ@S1%l3BJdF-Vq!mWQ^dx^j#^6LvQ zkK*Hn){6(27Age)>H;B7nI2#$9+DrPpw7gHCrC{wIO_}2qV{m1 z{bD+LMbg~DAk3@r9PfW(=D5Oj%v@krt)^G>Oj^ z1>@?G`yKV0XBQXU_|3EH<*dDJE}MV7{#pON`?y@*E&kRtAIH}>pC@+KHh-UtXY+A$ zdGp^F|GxR<`Q-aPp^K{}bPw4PI*Bd0)F554&PxRnH2{&ye;R-7dVE4*qZoE_aFd-; z)y%`tD34U+Jlf?g+Ld@J?MgU6yKhdI?4nJYD1*(KH%Y9@JDU;3=r>r{OU1p;4;Xo*L!4JebY%~TYZeSY29({Ds9qMM_xbYAxVi|%@(*j23t_She-yUbWeK_g?hHd>b^d>dAz?V_%V0bN_{Vr$!q#r?a*v{QQ4_Zv0MVI;K~w1?EZ zi0<9y3Y>qSmCNEQkStIRp=L}*Tj-n|Mn2}`h@z9Z5{y{$oGQU^mhR-#Wcyxz?x+6E zoZhPgJtf&I3O!jlbWZ28mD4$$n$vmZH{I-79pjLi(|eE_#aTB@5?V4Z(H7k}bJ-?; zNOiW0>1@*84wxZ|>Ry=Qm7CDP=v#FEAOr`E6Ze0c^5OIB^Yw6c1gAM68K2NML5c*} zfdsBQm9Q&*+ZKv4pKG@*`p5%0Vha}#&r+lUsZECN#+?^({aEVBsJ*RVKN!D?vQwkX zZ*_9I&3a;#`L$y5>uB@Cc6P|1rP~cm8da#mN&wxaBq*f=l$uPZckk!3;mD08w7QHz zGJ<~%E5gxc{RJa3;y>)SWImlNKF;1R2Q&q8vE=yG6x|ria@>@=dHZGddA9uh!?>>v zl<>Z`@$DnKAo45OcpNDuqkeG(QuSAsn%R-)Eh=pVa^@mknC%a2`<~!GHxRYtwE_7Qwkz< zSB2h2LYvW!A5wN8J$2hl6-d%=ukk~YPh9y$9*lCk^uZRAwU?t^i) z_Vh0Kzet|+TK}&Z>(qpkx8+HylqbbMO*m;SOVWlc`9CzphhCR)h5-|U8jXhWJF@VWvGKCAFcuaT%&_$boZ$~JV`pJyjDNu1g30sw+I;4m z?{n{ce!qLZ=lntlVL65ngN5c>foQ%I=L19rB3MA%PgDS9CHM-oZqgNCCE7}~eWa^E zIoc|;F478ruo|rzt&_A8RH4PSOU@h}MqQPP!3nLfeU!NH>Efw1a3nNVkAyv_oiZq%B}8+F`Wqq}xC% z+Ho|Zs2|wjC(yJ+hw^XUkH#rc55$xD1vDM6m*Fjc{URDq5OopUkY7d9qv;a4T`!{X z^ic&URmPI)rq@#O_M>e<uq3!{7*M70^+YKv&!g`oJ-89Gn3C z;3OCTr@$aM4TiulI0Mdtb6^CFg7e@4xCkzRF)$7$z-2HAdMuPJ$jVoM?ge+oYv4L4 zf*W9e8q9!Ma1%^fD8H=(=GZG^t_Q0@Igl}Nc4`4z!8XteutmZL=?GQeD5sg6W^!7{ zX@j_Eq3*tZE#tg(K)zSwR9JYj#NDT(pa)Hzg73Z3Li?=tu3=jp&<}KgV{fmsu&+}~ z)DYO)Wl;?0SkL9+Mhm?YS|{_%3~Cp77stAP94kw;SQz@K#d0j3ba@gdx}3O|$L$4} z!I=k+*PIFBx{@vnW79h20PBtc{Nj2`jO5yjRlH=v;&&~^SB{ZlD#yiOx%^d4t6-RXPPb zrnR5}V1|U761GiD$Fu{~Sa{y89gSck*aR4siRqY{0W&sj2W@~6nV5-bH|PK=au?84 z=?0o5D(ES25+n<+e(En7plKJ_13JNfAUF#KEWG`ubwl7ZI0r_+C^!!ohl%-@RI)KJ z4ko~5a0SrzX%b94Lc*`r`_`Kwa1LepPG(F#}V6&0*Z@bI1@ zO#v#CsZ7=vN1qsdQ#5xO1-S>%V7U*_Jz1X^eN*%i;qEg{k|{;zo-=ovx!pVr&H(N{ mbI+N3&ZAa%I#_z<7cavtSVN0 z^`PkLW<^)uUNQJjS8T;>MwqlK&N9M{S?!KjZ?A}l!2jtxE9#~=Cd&^=R^ryz!TMhWIi3Cns+3> zZnoU4-DWG5Sy!hz+|=$ajJHKwRAm^v%j^8;Hf-IxntyDz7T#aq7EO5BUE5nfmtL0} zcz-(L|F}k+yLufdi=%4-?fcEZL%($H1zc?vBMdm-f)=Dyf$N>C+q^)&q+IVd+^%ok z4kvljJcB_aklD7_oep_@_=sczII9{Le(}C&Z^KYO8ssJ>i<^FzS_zB; zCmyJNOYQn(wWy=_x2|?6F{LDot3k@N6-n7o=y%_%^XS5^31dM4S==@q$X+oan`3@B z{0S7t_4@58_htfChL?|Fv^n{$ybVuzgV$)AIDfD!>fH%`;2-wxrgkpeS9PG=Rb|uG zXdYk}Z8vrbD-q8gGeoHwbN}90jz-9ZTA!MD^G$VpMHNjcNo!(F???aH$V_z`G*y)% zmfDUEW@BOMw!*6f5z4BK%jMy+tB%K_J-SYUfjpAP^*iq}yB3AUVe~2-N9VEY>hQ6w zj(hf-T@#*05IKi%}VY%S^Rk?5C9Mxp{rYLW^>7%IK zJ}0(_P6hjra-R(RO?11%Q?tM=&w5k;E`R9_lxQwS?&U4F-1i3QSp<`e#_ZLIH16F- z$#s4><$$xWTR@QFK!L64Zu)3s(u}YIY|N;D6(Ufv6rX?|)XQ<3uBI9<>5<5`R*A zsx8;T2ivWXL<0nSazntq8KCF-1^N$IuV4_a8Z_KV{%~eOFf+wmfD=$i+(R<^334#` zNv2H4=!=vnkYHFl*kv!qKw*d(EcahY)Hlhv2c>(SM6?(xP!OaXITz0#|KZiwB@6_fYZwxWI+0{i%0wW|A@!ikSz%d`LZ(?Hn4L9=B z97oOtoTfHVXZ#-9nr{%78Glid;|-AjZk|Yd@(wYOuxGD<6v#DEjlLXNR&JL|7H#|i z0yI3oLsk2MH{SPrhIA&3B~+RyOBNQFkCEj9OBoAuU+O6!LfQXE3kd0LQr974tqX+4 z-3T7$DnE;}3^Z?{ln-&1cX5`-IQxSy1O+C9b=AgzTOIxf!4^mq>wgo)8&|p-(A}3t zK5xehl%6GI14+lGU}3@xTGtG4I=K*5`Th3zV2g7@uD1#S+*Z*z?3go2b9dz zcx!#(*vm31Qw)|VIEEX5*CEOwJMV#=qV6IJ&tP+B75ywiCvB1vX?yi18MZ`cBYvMW z{~JL;ric)H3I+TrpnpJSeMZyd$Gd||8j2Kf%LWFSOjHCQ1X}ocMKIUKtRlD|OCMI8 zC+b#AR;-uwFB2=mtSTV~{8BJ|nIPivf~d409P#E{l4Z1jjp ziFa1K#YT@9QaQzADk{yo1|+DC9$x(OsqyKSjOmuNv55i$vwv(2+%u2KF9UE;0O*r^ zZ$Rt3zBzRsznG6bZL|lh?(?w@;)J|6K7u8J&7|U^(rOYPUv9RBdwY=72Rea)E?GQt z2ASa*9BSs_u}Nkc7RL6T6~x$C zi4+?iIy7JNLw`sBd=ZS5MV|m)AR*IGbgB`Sr?&*+nE3pTmlKcm?X9wO{dYX>DPwmiuVe5N0)n66^Wf*tk&<;1L=D2Zo&Ml$!gv*7*(Agl z3#T-eJzW!1%uXGQ?GCGE+d+LMLnkHUgndiItiSx}{6BSn`D<*Yzf3R>euQ<*nEUV2 zA(Mi;eV!Kb1>Nz)Gyo`n7zcrOjt&!hT#M&+fXIrOC)&r))l3JUqs*Te3d&%h-t_HRFb+pgb_KG|%#3IAa> zr~^byzRIO?45S>9y`q#Z9A3k1w_B4F1a8S9F=Ve3h>QUc4Jdo#I zWUWw1=(NFR{45`T()~G)jaeh!XPspXUl_nx-UhnK!Ae(g!_B!h!C-3JgwP&>#? zCDfU0R$A3=nxgjK?f600v~Hg)$L%yJHIFfv7Yn_|(H4iKG!=@tpDEd*X44XU=@jO& z@-<pY1CQ=IM{K zAXFG`9>s8EcKK5sPSo$$GH#|BeZ&)Md#E9>O~MpWJR(hxiV&K2dF#qi2j43Ol#m}H zNanAr+I3wJAnWR@`7!L5Ni7+GN~u3dD4C72LLYgSOo#!h@=FiX`c@GepNZf%U@*!v z+V|2?OrOv$;r<9f?N4b%#rc``t6G_^m+&(QY3}P{Z~zuVB}7P25RZL##^+x({uk45 zzH75YdRYpU5d$fc#)Kw+Hb+ZRfRnG^Q$tGTh$7i0CjmswrE9uts!yG|3?*-zp(KWU z!Z8@u^AwE`8_LdvfFqeua66djqoHDA${6$}F&@rhQVb(X$z;NHai)}j`;ejT24-L^ z#2%}VE`ei6#uJXEKoUO@TosH&)+K@}MI-8lp_a#uLU^X=p#F=0hMgn)!-S->J7<`& zD7$1>I2gfAiOC4AgDV)oUAtV7OthRTe$_da4A7V%Pa z0h~n7xD$;}3D$u~CO-;LGzWbKn&zUKWvC3(GOXrH!U8avIL4ApIElDJ9@bV(I2&PI z8^f>%p3=7nA&wY-Mv(|Zvd81u>xSTn*N%9&U3{Z+;m>4lH14XgZKd7o|yC678x)FFh!;%bLV-DGW09dhLH=%MYqM~||bzW%d z7;8tU*r64QB-TBNP+oN22sj2{u@GQMDjRU3`xm203H!^i6;{U65%Z;-M%by8S!cm? zIYD3iQo)8ZER#x5n5b10GcbB~K6jpyT~^@$0#IEfvm@D}7o7Z;=E&F{BU(>$Bc z+tsMKynDBQ>aKs8&2L7{kL_YIUA%R0LU+~t)co8$e@orPsChlTUYWO?y%m@;WM{o1 zsyM5@3Wv1t49Gn*7Z;|vG|fNSH?3)2nD2gi-?l3(H?{P=`Qe8V{?1nf&S{eXK{431 zr-%h46)(6?M-<_66aj~9DN>3RKn1R72|G_NSr7Mr^--*In26PqG7a5?gYqk#xm6FBOuA0q|7*(_q(s z!xI7<#qcBsx6v6jo4KDF;gO1*2fMrjyAn@@T?q$Z_sxXKF509-8EjVGB(a+Ac}561 zz}!z#B~qMPWTnTnrhM(VLXtxUvf`O|>7!yBFMT9!<7Ep7`w8qsh+rEYLqt>J8i=qf zk07FX_gN6>rx~7;q`062V;4sMR$9rH~ztc%zTfdB!Y29&SDlO91N8XI{ zkf21ZW(&+6gYKQyWf@@vRS7aZl5zx;GF%dl($5BD|54a#l_jVKxKj+o>iiLZMZ$2Y zFQXiB>ZS!LuoiD{fuvLphDUa>pUeNa*nb0>)B*N4=5{S!CAUE(a{rJR!Eig#&fv8uARQ2UKmb^Q~PimUr)#(=OAq zzF(**hmq7WXirjk5!JiR6>@@qQZ9?HkYqvT5NhURl!ea8VaW$hjtDxLD}~`}o>QeT zjHR8N8n*B8bD#RRIlUJLdYNP|DD=|Gp*fw)4ySWEmD71`H*I#Uk8#MH(|dp#!C4z7 z2_>1AXp1(^T(-#{$~xQSbT(<{12RO>yceo?#U}D#)GgXS2*Dx8iThQ5`S5x6`Fc1# zf>TaN#wXNGNJRql0D)_#5_-jNYoRFexwdW5mps4`J8}X3EJZ3Lwa6frGhMFlOT9E| zZz?xA|c!J1}VJx`9c(3Q<@AplwP*rgQ*Olj-#K z{bDv8xUq#+w=qbDvtdVnINGdVFe1bM!+uQ`)5-GV?EPv$Rgf;09KWifjlnF(Rk>ZX zUuK_YtKUD2`?-Mv-q#kseaX&={5owsE-57=esP7Q=3iNARtM2rMA{0;wV}=}k$U~W zy-Yf-F@TO8b+d-x!g^J7}a0N}uJ=ZR$TNv5<^<{muj5@<`()XgHy+yHD;|10p^4 zRw=dK+LJsG8h7P1$9$qozbmQVYT{EtbXSrvXG#^4f|Q&?sgXp+RZ^^wB-CyqN8bG* z#YXm`-#NdXEw(*>zp}wQbRr%74qHSzl`X>BIvm}g2{fa`&jBofELFdSJGdx9iD)JE z4NcoK`-0#k{hUk)O!`$od;SV022jhMzMvMi+qJFiR=4+I;JADCBs&)=&gPP9Boj== zQX@$yPB>IZN@44&R+pII^fiLm*<2^7Uph;yko1V;{;ASIepeE88U?P9)Lv8cHRjZ; zG^d))r0i@6HRdD{?WFug$w{y9|H@aV(oNn?PEuuZQv74ONt>i3Z6ziD2j1(4E`uM9 zhaZgrw;zoHsQ3mqF*Y(cHJ8nW104o8F*Y(cHMj7E0|E?EGDJ5;Lo_%xHbO%~K}9x3K|w}EG&eUiH8(ReLpV4- zT?#KuWo~D5XdpQ@H6W9L2q=Fgl}m4pQ51&v+NY{jwCd89UTE1>t=65k^s0)Y7p-bl zFK!V7=9`(z%)rQygsC5}NQ}kYOvFU|0TGD^=Xp(@to5F~_xZlP-nG6ELiig)h`~bR zjX<Y|t&6lAtU-TUkJd?A0oI~b zqU|MJ2iBuip>>c}f-1DlXzipMKsDMHv^}I7!6vkAXlABidoKouo}*JK7Pn7SbJ{8SMlbQPdCY@IEvx(V_gC_oH!2 z)C2LPejZK7>t%RLzkq+n6GUAEH{>&DdNf@kx9jt0JbhFFij}dXy6Lr4yaQ+rXuNq; z;SYhs;FyI_i9522as(VDT?=$n1<)1ufL?GMoB(~G9}Iv&Fa(CdNiYIVfl+W8oB?OS z7&r&cg9~6BOn^x+1ulY1pxZ*pimW^hbT7CwUIueu9$Wzn;3|Ju1lPcxaO~~X7WQ>&i5dcXyDW;~9P7DUTx+3cO6z2P znL+I$@8VdOV`YD-CJQ6)v{;VClP*ub zfL~m1iIH4;v5FT>IR9CT@s(pFA7lqDl<1j+eH=GAZgQm<#D^{1?A2b(<(SJcmt!u+ zT#mVXoKv&}H#u%{%;1w2?!C|fxXE#t&jQ@!xXCe+VRrUkT5*2g^41i?e`3L{G{lb#n)dI zUAOq+!!joIU;@`JQ%?kD36h$jc|4~%1!h=c~MVbOsCR3TLFOEJj`le{^G754x zpuuu4pnI}DG5V(HBf{Nhnj}+-%sprBG;_Q86c`2EedeAs_ngP9@VLGB%+KzJe=Cyd T(U&on10V@CF$yImMNdWw_+164