From 400a9f6183272d625e29b8d7060e851dc8906897 Mon Sep 17 00:00:00 2001 From: Duke Leto Date: Mon, 25 Dec 2017 01:51:30 +0000 Subject: [PATCH] Update HushList protocol whitepaper some more --- whitepaper/protocol.pdf | Bin 294112 -> 295156 bytes whitepaper/protocol.tex | 25 +++++++++++++++++++------ 2 files changed, 19 insertions(+), 6 deletions(-) diff --git a/whitepaper/protocol.pdf b/whitepaper/protocol.pdf index 41d90feb087aeac47f52224456b8433681c45388..8cea86501568163b2d63bf04588fe25327fefb6c 100644 GIT binary patch delta 14237 zcmai)LwKMKu%%<$9ox3ej%_>X*!;qdosN@^ZQC|FwrzX9_ zQ6B=);weEnlZ+{-fko{J_l;K6&38Ia3-mjD4pIJ>@o98(lac)hDvkPDODqf-H#Uo; zOG@jQkH@x9u+=Fn0TuT#Npb7|+JEO7pm1GP*xrC2s^IPC*U=CW5MM`yo@Zv(naQVE zELq6=xW|sBLw8;LAox}T_T$yG=e_PK%&0)_q=yfxZW~b_KqdEIX1){{4l6GOl#R6x z#5SAyYPbMXP)RFvI<)wqew=+fVz$heZ@O^R9^NN=cuKa))Gf(<6xt(+<@hwQ!PIs$ zF9&d$4&h=|Bcmb_#2;|zVKg$bswC!T5~888Qv+*xoMjjh5&Sop5lad?FEmQ&hINfZ z6?wWzC?lf4Zs|E%;b?w11$laS?zkjX{27GW)6TnYmS2I{Ud2gdXqgh_;Gqn%Xtc5c zWqsPDtCU4dsM`2Cj#WM@*27&h(WrtK3yiH%*=`6z#U-dERY^k<6{12GVzU{p=;dBJ zGA9f&Hw4is5o3Q~@s$5J->i?XZ&s zh3a|Pclq<Fr`EGEF)y9%ML|KzL`()X9`p|uz({9Nf;h$bYD3H zhu=;hsdV+=PwWr^X|~UdwB)|CnwQwZd^ZHbBts$$bnI5#_T8Zg<|q5+;+Gk|r)6zN zmgZ%P6LM~rth$!i>(Ld5$)+({D0xHD$|!JWpcYEVK~=e_5_=`CwDs{$uBGD zXhW7c6jYodp|d%E{ggvcpSi0KIW%XXqDQ4fm22J=J3xk*d=-ZRYqXPi6>({MpUwlU zJ$OlBGgF4Yn2a&DKJGv1TAcR$(bEQjSI~yLNbF|J=#TXsPgl9lDg}P+z%)dVwM=0$ zm}mV}1~qqT1?TO~E+jQ+u~)kdUwPwSJKOb@c5?$Yql5vaOF!M;nlmq^=(uH&V3OO< zYL>wChe?F#vxA;#0yIc9EFw(E>lgu=?h_bOhrp1K?d5^k2u|vC!rHnDWV~^4BpH~o z^}yu^Va&*#D!w-i3Thpevm!m*!7HLzjuGr;4hU)EBk&9O5}^&|uzA`0vsqMY+7<)pOr@_t3iFB$38}l1t#~=WOP7?ROLUH z&mv{FBNy})V)K}YPa+Vjebhh~gn&IfXx>wapI3agmNqz|j6}`J?s{A6~G}7t0FF9>!Rv zmr&+?;YnzUgsLVd92q32Ul(BK<=ayM54R%?F7cj`t6Ub&9B=YPnD1?nc7JTQMcQmi zeohHO>-@Tg;@DL+F;6O})it$){BeE(H zI@%+CG>_IVX`r|U0A0`+$3FEXPKbzeJ?9lrk`M@fBW&xjn8O?RQV#=?3=BByZ}(a( zw~u^if_aQy)eVuv)cwGpP)67b&@@5wCXVo->GH}bl4A=H_%+#WiPUbfb^93}q(52` z_kY%I#jg`#|5e8S!u zFVLJ!sh4z42fbnb$mGt4wXCrr2*(N)OzzwpHnur11^M?^Riwb{X3M1!d37P1ioxv< zeaL~*8hlCIGI6LSS%@ETk2j9(A|Dp$3GF-7ZlA8=3~N0j{=|#kluG1tk$JpV=gqe5 zmtwhg<5uf2O_1Q}`wWVeN^@-yn;o&pFevAq?V>9jEhFt43Sm2$isD@I?99|y7%#4` z?-Nt-uvKD;-ZB6!D~{&AhNb8s<~#OZLupi6K8AYw2JrY2M7$PLm*ye;=K{6`gPTK( z>ooAWyMp`sYoh(*V`)7z(5ufpy`TJ9V73MOzu*Y@pjZ=(lV*FGAiWqGFc{5Ta(s~u z9+ilz1Bh)~1lX}|J2M8tAr4c=Z4L}89{|$_>j`v?o&#X=M?;0vNa?sG{{FG0jNU;O znxxS7iJ$t-RN=w)FYnRWFHKz{-c)DW1yU7kk37XHhJJZ<`^|kBAr(rDlkbgpRFL7P z3^%@&i#t^)$=Tkfs?+f_?vY}0PRtbW=i;l8X~xILz3Psr-QU7G zqzoa`qxf-N>>6se=UwkaD^bbhjfCfFs;giJe!Q$R_#w+`TV=2vIUc#mF;cgU0Uo? z#dYFh_pGf>!Iirfm{2TS9+|CcRui|mL^%NpJNSH5gDsz)^Xjw=_kEgv2;7gp zinX(DK!7Mr9V7_p>O)5z)7eLh_Nudcgv?u?l;Zt~q)u4CXGcP;)@!!B97hGBP7M)r z#%kRy3N`hRvK^(6Pj5M~<{(g1P)xJMzbd>t)*;fjvj|7D9((Q)ccc6kg^`L|&w$x= zN1QJrf4P)Thn$NKL&B|*m}n!fuH0&)fYFn0nbHRBBQOQXOay}G#|NXGeBFD~N3h0a z6AP^0j2HJCHWI@VtO*u0OzkqC$i>vSd5J9_B|wX;KDSBoT5Z9$!&rv`hbZN&d^TPn4*Dggo3 zrgrz5=6hQHh6q*(mZZT9j+q^Tm6Ma>f30Ja_GZ$0Gb%7+n74(VUS|ZhQ(}2%)Zy+o z*7lS&Gv%5k7lxKcHiA(WZdRRoO0@k6LVYLK5;@|JDq~dFvBLC$1*g$cVf5H?4fgKq ze!sb&%Bn{91CC(W#;rkDVwYC=C;1Ow%nIZ!TSLm6(|giu7oe)Y*JtgZiOA>K{{V1P zKmPW5JcY;!S4sHUrXx#JPi>(w-56xmYsiYpJ9YG> zq6~LccD*YvTT}C7F?QlaOzhj$33UKVstSKN+n+b}z86C0gCz)&b13r;L~B zw&;e-=Y-x&p07Q8Xdk(&_sVI-(s05lFDo z2S%qmh9s{NkQlEC04wZZ$QUUvi1eMmmxbHpcYUp~k+V(P8P=Q0GIxC^W~SrY|0Xz} zK&b{C7T#Tv(6%d@@o~N;x&UH-;L?8|dvk&8O`^K|sv5u%rJI`|DONxF%n#a;rT`Ue z_OcASo=v+c2gj+jC7gV9a=Ih*f4Vdl!1u*zQH#l@z8~mQDh9!JM$;KJlD4gVv^Y7g zzp&-|mm;zdi-969e|^9*(phX=8JdlLQgAM1-?eU*>hh#iEss{m+yVHOvP?dtH9siW z2OdLqOUH3igKy-`=e4k``wGjVTBkEHuN)!v{G!*kw0d4o3?fX6Zo+zLj@dUaLmnuu zZcb58*Nh2xCVw<|tHo<6XQIIl47tegu)BxpA+uCgDW|sJYmr%K^7+YyC|PYqm$0WV zrGV(kveO8N-Q7R53IS=>9#1^EtoV=vdEgvPS>>?)}xIlXZ*78NcUc2ahliLUEYIi9#nfQrC1k^wzy(>tLRRnP0R<5c5pu}Uw-}m z{H>n6GnbR*@(Q08e8t8(8hjArig+a))( zKY(U$QsGQxP@Vi&#EWLj8!}x%W-BGghS5Hn!elvP-L6biS+QPUf-Y-QQ|jJKD)vid zMQO2dy*Kf=pXLCErH!EwL$?I?r=BmrNgU9n!rP{AYGB)O`O(XOl| z4g}^$#36FOlm(#W9qYqC5&p3|78mTHZdX!b(d)3Z6V^M=BAUk37gEcrTN%_i8N-fm zczL^@=qZ)8{EYP_KyRakVV30?)_hJ|3!f58eaGm*kB~XyOBH!~DqdmYGpaqG@|V~v zU>2-k;&xDMt=Mj~31&|Nk1u)4a-r!bK zgKNLgJV|xF$E{bi9X+4Q$saqPdknikl+4!^U1k5#9trDdz+d@@rc1OZ6vbC|*k4F` z>Hd-;*T?|dsxdj9SD0_gV2Hs^$2pd<8(6reIdW}VG+4j^tupMq6{!kTuROL-Y{r+u- z4iR7|bjoAV3@cIjILWCAzcx7AQK-5e?TKt67zG@;Ih@%{ZrRr*NlW0DGs$6%_VU0O ztngc3h^)f$Y*P){iFwPJqY17Y2{V*b5fo!uP4vX^D=Q^^^9ViL7t0&NgDZ?ahgF|{Kg z`wfVD;3=RrR%@fFLwf2&qfiteW!I@@5o?%6TDZE>8;8YDe1a*f3-eUI`83Cit{P>o z{*ZWAo$v5mfiURR{h3!7kdO<`I~U?q3Pp6yWfvG`hvh|-nUaePB6(!7j>ru|`5=wg z&K7n0B}H0}z)wJBNP@1qQk5Yo$6;fwB?FvwT7?&cxDz;Chuv%Sh`c_SDXnoX&I&vT zWFz(w7s3DKA-Ah^tL2OArGas3{7qKhqKI9@8~y?n`uj9dX8j4=&|OR@UVK&|F6XFC zMhec*?GaTMuOpUE`Oq(}Yxl_$I9b=_Wkm*g!(q-l052drue#25EHOX+mn&OaW&ku0 z`ve4V7FTANjCJv1uqqk$b+8<$@;_dYJ^k2(rtbACL6pAf7dy?XZ(JP792rBA?{i0Hv3boWrCLgQ?+4C3CK4HBqmR8e5Ga zbubnRy)i?&PiUs%MtT!2ztjf7UVKgY_|DpY7l#%MJX6m&?5 zH`qU^siORdJ8`0C{M%FRqHk?{<6l|k-Ptr>*0Q1@DiGJn6&BnS!?t@4mjOt}`$Opf zu~P~#i$nBxfMxT5)5ZwL#d214Qmp08H(k8wanlZ}9=?yzfbmAA{FEhP#xp{3%{>`L z-3;ylPm%1%oU!~J87K3OrxlpU&JWg{zCAejQ3SC@1l#h?`Zef1Pn& zuB6bU`>8G_5^wF|9~d*iWIKyGhU;P8)b!M2-uLN{Byt}1sKm#} zd)48fT^2G;#kl#^x1x@kZK8SZdemqP0*ez;J&4j*HU&mSU>GQB$o!$DKsP#A%CiJZkkS(R(+RpXD#q@y59sq z6Mt{S!kOEfB_T+PfpVvk#DUWQmpYpccwA_}c27{;80fC^%TzGxKbh%e5Qgen)s0|N zjMz$UQ35;Ss`ZDSo^8j&KN@sZm_sUtS0aU@htnTN!2>^jk|#U%$KR0JBtRr!6+%!j zjl#r0n}yy=Dxpy3MfKl;qfKXs+U_QytwrR{u^=+IqRm+wCrcAv<0ha1yzupN@aVlk zvr-~DQpSD49a>to9DVTTy-In|KuJt(z(E!!Qd%dNi|`F)ARo#t&I4GS2oo<8|H%*z z9I`hJ`EK?s9GF*}pb35e!HFM+PH>u{sIIw$5e@zUaUS>*cw{UwVXdH~y6{0^Gz^x& zL5O#By(glxO@Rb63OgyKwjEpi6U?U1`?cfwooC+ur|JUqrH;aPVv5S%z|mzH z?oI0b(*AMk+x73%+HPU?yGw_OD^Z?7(N{4A>osXsb@ezf{<4yE-0jCSajz;%GPAg@ zoGwV)@bj}%;<1kIWu8p(vetBeX2bWC_URtVuzhQ84ZgP-d8PVJ(2gWV$N5=57Fl+t zea2n~!OOFQAo$$WaoZ+w@iEhV!_9*V;evZxYG1QVXxz(s#-UN-#09Ctx!cO^Ay1## zW=>A$c$ENNq$S4Ke}w%kVvxEJ1ux`!=pK>IUV=HA&kb{))7lm}uU@`vZT{+hn5l5+qrLIXClz22 z7M|!4KN~Jwd8>qv6O(i-BC=9Cax-F`J=9&94?H68_P)fjM}*{yd$12HY~0y$% z(ok+%S_ZPy9SOSmQj~c3{7i_uywvnWX7$qiRY}sPG&(6v#HL zgaNLv6P397(IhnPJDF_C-FQINa?8-#lAN)hEoIC05(46Xj6I_I)OUg7XLw9$T>>k| zU6Ew{zs{VD!wmA;27D~B|EVrKAuDUAtf!a^tNVyle|4u4ELL5q(FeA3XbRfD$20 z>W~yaizz>V){vYWAJ_c`MYnJ|EHreX??xW_ExFTC1azquaRJq6*AWJ$CLC$*#*J7( zhwb7f3gWG{7K1;_;d{sAg%Q86bQefK|Asj(mpIyeF@ZH5!Omv+c^OtE{RY#zbHT$V z+NekZbB@|_abr+O7UETb+IDxD8-2rSduPm!Fj0L-I)-e4olT!F&+#OODV_eP7kD4n zl^FW35X86Tz44eor;4(`;4UHHUs_GBj8h{S{*SB&yRFdz8G)3uu=|E(CU$`SzR+NH z$O60>dSkwqA$Wk(9ZM<%eVBXDf-U4~v5-(b=@cHPu3B<&Geh+T^Q~CzLFS0)vAWNf z!|U|6mI)4uh56^=b0|QtAuC%)K9O-*D1(eo%tR$XvvRvsMVN1{VEYY z6$}rHM^EaR+xfq#(uB0k7XAU6!fUFaI(AqmG)Eq5z7_rr56NBXN#5mi##D>(+Hr3m z4Vp;r#jr3R1)2*TLmzu>Pv9f{({(9pTDDm!sI?LIh6FDCV-b`j-|9RP+JpD_(-W%k zW+{i(g6`=buex9S?`q42N8j`lw`%@YLA6=`4*w=?Qyq#ie_a;iZUVq>uu;{no6mHVzitrAekia_5w6xW%HI$lV9)raea}i299h3f z?3#?md)|azps*>n{5lNI%iA+2##+CqD^~4Z%f5Uyrv+o3d7VHUm^JRM+kJ`3UY_;C zjZdjd|Mq^3PV#^68j}DaEP}_vRVW?Y!bmAjvM8T;M?GZHHAD}#=@`11?%_wNNT843 zf2D*phs<4N5{0`NjA_+Ouok-yf1sPAh!hNBv2flicz?x3viI+U$a=E%6^?F+NQDs> zSgpnDhOJq=#$2P-;w~ZjVlsk7J_ihP-_U#B8cHL)KndpcW|IS&ArU<7(S4Lhc$gL{ zO3_L`iuaxBcl8B*UbP*)2&|CGyfNs#Zp&86s^lzO;<#O`FA|++Y;BtzTzEd&@Bv!s&$!&2PSg zYu7{F2JZ#;2=;Md?-{L%6E&fng%81Q5y&~x*+d7wK?(~n1A=cA!fq8n|0}STTLo|! zVN@<=W;iA}b9+lyD^_AwW-hkW-6L=e2sRd0p8vsWsR1G25J0juo&kk*B8IlJH}9<4 zWFJc-3l8ff`S01WG_R4)$p@EZ$Op0r-{eHi2F z>`*2QN_1!P0N`hRp%P4SaWz_aa3A&Fa33+WaMKV(FEW~GJT*ol2>)P?5gb1;MB)xN za>y_UWr))Xi%B?KIDXM?@K2T~rC5wG5^@B|+#=6NI@;KTUSlvh<$>{jQDvEgOHnWc zBrdR+6v^Iz;2V(OL2^(m+!#J%VR2LxI9P5`LE+Z`L;w;D5NfX>y1CKczus?24#9p( ziWn+AP-Lw3{{`0o{or1tILlb`a{~F@L6LtJDJ_;Bbc9J0CS4x;JY_Pr{CgS~5 z$qk+xL@iAkifKpX#5Rx~$n@_%{wciWTpf0Nj3RpF3g!o+W>yN~b z#UnO1Yz(1QDC1xFRNi+nPAKWF6WbQ|k9BR-q(EpjvhKH=2VI;d7nEusYkk%EMkZ_qpAkP*!dP(@10cQVI9gge)FHb@WD?w5XI1SJp*SYjScVGVYT zGeB~;n0Dhuc+X_06z7IVlm-L(p5!A8h3-&X1SDxRw{@il+)x*yoM5L<4>ZYC`he}B1SdR&+&432k8VN?)fiz%#1||*)TEU?{QGZA=D!JjN{o7L((so! zmu&n=)V}_-Z=}B%%}6S>l=Vsx;bd7MeSnIG7SgS+Q8Zl|&TR;gkA?_~F4`MpBcHFe zs-r;s6)BItmpJ^FLhH76m)o56cf}vPKw%Y{+IkI96v0%PgWCxuCFp}4Bg0~ByH_DP znIE!Jt<=bp{Q*TW3_H@~SvX*jsbNJih~Y(h8OI{dMgAb^A-Om?V1ummNH@x`B7oCK zGiQLDYHM-|0c8AUk5+TQMO9;W@o~Y5UJ(Y3;mg-+A&s4oT#%&jxe?)4?l%L3P%uPF zP00>#{+|EG{cBH*AqVqkJs2?I?j&+phoxp@Y#mG#ZzBci&Y9d=gVu(w7^Twtq9(K+ z*#(6{9@ZMNM45cv%Etfht76Rm2}q00v8(#10CiX8!jivjZ0*HD19R5%u0rD%=InYX zuekUky=&Z8aK0Bf4~~TwvhPFo39#8@&$e%uc%L2j(r=+MTy-w{KoY;7J||NK^XcGI z1ugOEVR-HR0KiMKjpe4sZ`a1q$?XApqT}yT=a^1wUg^j4z(Rf;hYHgPARXdz$e?r2 zgxAQfr_m=Eb5>a7Olw^=K^THTe!9f^Z*aNV=J_a9NOv)2c>D2(obQ}9K3b^A%#|;o zmRYQsC(`}+O9SmTS4YFVfpFjO;Hc4d-QZ|E5}Zgq8q4x;+eF)zM^>+C?5|_Eixdjw z;*x8TZjSIX|IXYNg9C*)pn@rfm5X@lb2!{AkX_w8Vdp_tU0)7yG8EbA>JTG)g+;(+ zd%Eln<(_hc)1ga>4nu zTUIG*OA6Eaiq(WFL%*4u-OMFzf~fYCejK)I_jLol3t4W)?_&F9?JeIH9M_-;D zEXkYWqAf#*KR0-5gv8vGXL_aNYsj$SRik}lv-ur%AW_+#AvarlO`1wGaZ>F$XMg3z z#k6B3vQIuiK5cRG+Utk9J6~`246m4QrbK8spc=ro|1ezvKKi^nAH@u}+RGX8RqtLI zo~Ku07s#0mh8dk#3(BugTsiJ5C+L(qB{<)wC(*waOtTO=bk$jNI<+r*#GWx)ANcRm zsuvIW#8&h4&mUOfWZNyzV(YQCrD;j7HKtAkx&@!98baQlvpH;BB}c~7zm)ziYL}p4 zRZJDQIdJ>}?i-8SUhJ3pZ&G?K%Cy@?`I<8F)^lDTw2wNqT@2pmQ~cKQaMd|Xk4wWA z74N&tj&t^tu&=#dFs85C7YEIYLK_*%tm#dXeV2I)Z6~|fFXJ|Tgs56(ks^SFrFatR zT+>RoyB9Is-}odJl941_s4U4S6+rTv93;bWOqb#TtUjtfAxDj zG8~Pk1%bDQnIu3~yD!Zr^WcD<(JDQqI&pS+!bpe6e zLXCAGn9X*i_%?$^K$YE!*P+1b;>c=QxH(dNZc`+TNHF`8yJbrBU4KZ$u0-}~1F2CfNBTIFx#IT*cEw(qZ2D{L{@kK7 zfhsJ42w~HAE^8}iPcF;11Y(!Y<4VlOjpjX&YI%C7ZaAg7*d+9P;51p|LzMQe7o9UR zo|W`>Z-eOGHE)+Ah)!g{t+%C?TduKb_PPnfU4duOt;|MetBc|!t7)dc=Uc+2(-gL7 z*-Q(_M z^|+1K!5izhld3?_jw}b-DRDxnu=$qmnoX=2I~$^$I-!lpZqxfZQCpWs#LR0=Q`5&u zmlz%sf%`vYjeb!?ag?(KI!m}ZX1{a(Xb?z$T@w3#^qCYqSa!ge=QTUPv%j6Th^des zo(e%`VjmAa>AS@;ZZ%c=j)nVlr#1t=YpNV|Yvb|rPvf@74rhz0Y;yQQ2sWRiOWb;; z*`2W(=KDR84DUO`7|VG(dqMFxaS>sf0rPGQZpx>2XK%NJDN$$yqpBg%xMFE5(nPqp z6C1o?PI=^3=oBJ+rPOYoJ(^GTTf230%X=a}J&os6-UQc09zP@e%O~?#zM6ruUj!A# z1zcYR>H-|sb`BIv`lsp3+~3%u1_POw7F}=kJ~eND#WyaN{_3!F2H5>t=fD|Qe6Xp7 zCH!htY%j5z`C|`UZ#onVkBc16K!*82?i&k{X2@+-nGPoqUbd-kJ7XX`$Gt3XBjy#Z$?kvLb)KDlSj)GVedha&M0C44Nr zq=cB!kq7*qxI!v3@_1PT&eimbJMUCn){Zk;r%uM>Hm9-TgRoC;A}~Os9HzNlI!P!i zimD`{P!IjEgb@zy~#AC`{KUtQNPUyf>?5_XGu(?`gIWhh{TYRDX7 zkq8Z6G5d4hzSt&(q6J9LaB@63%9I_fZ|jVKFsur->#3bXU(~PUKMtr4slJpq_6fV- z_c&*q}pO-EzZlz%)-UO%KCrB z)O0(D0Z@+r<*KQ_?IAE3DAwxIbT@{JGzCWD8d#8@sLofn47+R)~Ng~F1>T+`;S_8>>=JDE%PkL=}tLv?2`~N zQmiADql3aAU4JxKvC|gO;;1bUkqlVRb5+e!R^vhO5Zr&vipBy-;wk;Y=7gozM%G4Y z3#172li0G|AkziEJz$lBtU`3H?2jNft z{BTS^A>#&v8zUiMre7cit%#@tD7U7vh&<-dFAeH8p2`I=#SnA!& zMVz8W$inw!XT}4BEQ8~I>fpyLhy^ypUclD>(e`As>W5y>`(1syvC*)l_8b5Wx1WA= zk|XM?b+eu&^LNni#2CuLW|Ts}wU|Rv-P^j7IB98i7r#7!GirSAf!J+Zv zWs^8+Pdg)$n3M&ClT?_r+sc6Vj(xJY$*~Gnuv(-)5XmgJ(j3-VjbcKWEnRNzfWOT^ zmligyDv%Bk4Pcha*oAJSQ~e<}AC3@Bkr=8Xt8zwq%fSP3K;jdxa=@yJ8g9lZPEGGP zY5+}&5gJzfuOUH8oH9N@JS3oOCgmacmvczLMPUZ!0>-K}A}Az7xH{&^1`0JSZLU@? zF=-X~9yPA1fUz1gMtE|p9JntER_=HZz1R_Y`lvXKd}#O*8U`t%xDN(%aAiMEVMOK6 z+!u5vd*tc1JjH6%9x-JipVXh0XQ>%Z5afWnG~_rEP23R5zwuTT&qOr#(>YuZdH%JZ zv6yKsf<`g%+LBRblB7WtE?}Uyq@s(lgcGE~;lz9L5F}0r-73YuiC4Vwcc=cOo*i2(eYe|8j=V6&|Gj4+!d@^L zX7Zdap#F*gGJL0BOH6oJAEc9J2E~Pb`s@xryuLfY010O=fUCWLJ31P zoyyyoq>xqu!)@~|rRto{zweztKrZU-!SeE1>k%;k&2F#1D}9pBHrJa=Xt{T;X9j|27V&QiE{ zJ`8bk@)P*E*X1rPSfK#WrxLnC-~$%zdc9QueH3dC_g{_YJ#~)C4?lr2r7drN779JQ z#B!>t4>7Ra&9A8A>%ZTQFK3ITo#ptH^_!P<#HjGUapB5ytm#*Bb;}Ob6Lo^@n^k4G zL`1ZgAwo4s5hF7?>(Q?`eZv0`31)SAw=LJt+i|J<*ZE&j z?zcJt;NuPEC>vwBU{(KXfh8T>Zq8bhzEHOEKF>~n#bT4T%x=XB?{G*bdM)hFS1Pm* z5t7Yywtt5pQ*l&Bw0KQDUPe$TqO;1k{L_Chkqi3NN|32rO&dRK0?(hNy>s%|u7XG{ z|Je{9ziZ7w*Y5g;{#UVl2avB2^Q7~=V$r~3^^V}Hbn4~(@^WxU^FwPgk}nu5=AfF? zaDF6Tj(j+;O*SSfwS~#`EQ%1fVZ@f{^2|C2g8D*c*LD~fps1_*HkXQnmAiN>jOIv`)rn`w`cre0u; zUS26*<_%gtoRD9!LNeV8jjG&yc}ZibXt}>zOAA0cK@?5h)}OWD3NIFVO`h}u%(!&BEW+T zny(P`E;A>XA_-UE0|**r8bt;E_ESL+5yx}4Qdb&IGZ)++p-&?RBP(GkPx35|ORY#_ zR1tke+wbk!Ku%R^zN){H`D@=IA{W|-es-C!k!^5MP)=EGKcb?b5j~7w>0P|iJtWEa zq*~Wd?%kt1Zm-L90b0SxEIIa+lkBy+kV2VF4PU+({nSo!3Q#)ee%CJ^aco*&sH0kS zTPw{hRlv-X+rA=Z}Q1CBM!-N&Qfz=7_I8b39 zE|U5$#@XU|jLaN&VcOF*Gw60Qa(h5?X9rAlL$_A(6*IQaN|d<5>r2m;eGBjwI>5zM z<9h1U^r<3;0UpbY1;MkCjH3IxA7i=!w637E&yE2ezfjs=)Uf}`7tBz6(0mK*Y_5WO zfL0fUso=S2R(q}R9|=t@YC&;H901JvWh;-pev!MZH!3S&+|mR-)& zPBjZ}Pg9fN8`0ED3+7^|-eT2Li3fthZX@3tGk!%CZRgr{0mA>lvIg1|yw$w>b;4-WXtco=3HBE1PdCRdU>rXKaQV)`lB?dMyd?S76TA;LWfeYCqo4Yw}On@lPaM zE)F#4-O{(*(yQi}BhNSwHLMIbNPDFS@JC_J048`dGy?Tu7IpdBjn-Fz-6qbqy_9fx zWaZ8zW-3e>QN`{}F26#{43#mq!2Sy^O5KD4G{YSwhgJqx%$k@>Qu{LL$PK`?;J+EBSRWCwP0OFjKumOAmswjroZC`n{dk%HvqQ<;gTPqE(nJFF9d-9g(1vnT zgjRI|UH;;J%4i!Z{Z>@c{GVK&DaUl+Mq^To72S&NE84nUDoQ=;=c5>IjSGfc>c^4D zZ|lVjfo(F}xMY<@Jz+ZMHiU7ru2`wT<$3-d!)xb40r1a zd#Rbe&Df~5>oXGosPqm1@jrGu72g}eK!uf?MTA>|lTDnRS%i&6f`gq|f`ye`LX1;_ zi$k1QL{yNN|Nq;f|Nl+}#Oxg0#Q*ztOOVv2fnkgiTG0+2Xl#TcVWuoBVFV%~;=U?@ zih`r*p6nvc&dPS{C^t!a0~#*l2^H=MZ`cb>4B4IOd;D~H_11Bwk(sVfX%W%J5RF&9 zkINF`93Oz~8C;5C)(f%aq6XUvN_h*VRFsP_x%XHwE`l|=DVk#H1F$j8x#1mpIV0v~p+dgHvmMGZ0+)+u1;w5^AEl5RVP6?BvfN`<= zC_m6T5x35wMk#rTnYz^+IAbpYc;SY7F>stFE>Ewxq33LF9`hJI`jFC~7wjJqy*+OKANI7$*Vu+sX`a}nd6U`m24RRJi6dt(9#cY%sBorm#{tpw2Cmq}OytCdN-@zVLtv#);_I?OJ z-F-!grvzn7N`R#XmbDbJvc^z)-hZ90%k6s6ivl+(SzJjm1hrh-o{2%-K87H2L(rz6 zxdh*DUFyrkBnOX&sk)&WZXW8Zt2)a9d*-b$T!1gC-@*ImWs=ZW{(g)sST$*9yKk>@ zIf6=({XRQv^nBK)^Zks^Rpl7o`)8b+(2I_p*!AOhT(>=N3M+KmA!+HrET|#z8HG4V zN_1ZH2y}mDLDvP;*HeOO;cMD(>5NTLetq8^ELAFYZw8LTUo4y3I6@Ol{=t);BH35f zi|qQ<^GA<(k%rmO>Ze#pK+IrrQL$CNT1NyJ0WT+#P1r^Wt+Z_u=ngT<2n@c^3-3K` z!jlPys|_l!&ppR|-T{GOs!WcGT9#b$lO{loDt|wS=*sb_S|g(LQWd2{ECo5u!5i7Q zYTHx%D#aj1`gxVzY2^TMjvR`A{O>E2;o_UG_2uM-3LjvbGE6VMzps@A{yO%3B@UTvW%B(q(wY)JIb)U44d%lRU1A%~KqPgj z1ObK4bYJe`@!)nXN0Z5{t4o5|WOT3q&q9SJ$iyJ#2y4-IIaS)f^bY}nh;iZ9P(iop zpOav~mYc+?VprgGZd%^C^(>d0J?3CHeDt=a98QB;*Lr}})zSzWI&2zJ)}I-*x1SKV z-5V~~N2(VLYTN4vqNe&`wS4Y~26YbEp)nj$K~_iED>0knU8IAXXnQLEOe-(K0(b5T z;`?vpJs(yGIge4Y_As)a7d7RklB98zdWQl4#&^~nq>*u|2Hw+F+oo6;yNf0Jp&MQA zed6UBYd1RX8H_{Bzh-^QFz;3((=~T{$6xJ_CX4YA#vCCVL*-dT@ljeIgo(q-#}hp4 zdVE%9N2P>PzZMCo%nv_O(y=S_56vRRCXHn@N##j{r}o4STZ1QG#Ua6(>?B@AT-x7( znSyaXf`niNIg{%&W>|;s*W>n0Zl~TyyL|zlD6K~|%odF3kIh|ASJAG@8GeZXO?Z$E zxgBC?B)xS8HFsh~XM>)OTQ_O3N4LMfMT~6sb{eYMkN18JK@rpHM3i24jBhuHCLV?h zmsftBY3EmRLxdNr-uS`gyCK_jinAmFnrY|;uEF&d#3Xyqk9An2P-dIpoKKHVav9Vl zFeF}lW0{0yq9|Q1Qh9$MIOrtX)#QS1zV_7QejDkC`JTwesT&GYn8kY`1EAPQf9lJ=WmuHP(+XFL(ORD6;2 z_SE}uwuMA(6MbgKK6NxZ#KR*{lXCmn!$|E<29ADd6DV0tHXt1N>Jxr$X2h8H%PVRv zHla#~sEqo^My~I%f>BQLcb#`=_h390(O>Tb9MF11~U;} zeQoew9IcfN*g(XaS|tDd58zni`bp=%M$4KdcLuUVS@%U~Hhg1e%n`rzOQ<<{R4q z(Hg%_OYM*{7}1+R{8-9h1vl(cJKaT;0AlM#CRM=lyxFrx!p9YG;a&&JwSYsDH-V$~ zW3a3iUsAg`2)-%}nl<-)Z|`@|OAJ~<$1b(or>i)_M(?N}@v=9`PxAT50$zgi7MqT( zAO~(Ucn=dh65(UdN;Wz*S1V(rngejKAIT0as*ZYdv#aCLadtxQAtoxS)|O1cdQ{AidYG+#eVe3II8nf3ag}hpKf}a z2I|id)yc_@(8z3DLfaUa?z>oXvL`>(%F56>IzK-oYl2bIT<1YxSE?2+Rs)Yx4^*u; zHS#av_~uPQ+^G8);el|7qtyxALxZYmz~sSdlB>#ZT8kAhH#mq@PKo3Gk8NVx7!QHw zy=URGItf>jieJj};)+E0odFr|E_7gG?_~%SF zKF6mM>C$#C$hmCyLOIE|@w(9KwCM7c8j>8vdEQbsT;H!UGEvl;GQs*X(BK;t9dklQq=8 z&t*6YF-I+w;%dqp0}oK6Uzy}_*Vjp!OkIxL`B*%Y(>=erI;&)K5o2Rqcf{A^9HN}j z22g4equo?HL|L5#Ho4VBY-_v`5j*M`N?SzkY#8=!^DoKB5UE{zUfM49u#Uy{hsFzy zw4s2qrp5C|T{X@?P48v|oDk15IRl+F#LJ06fq%nXs}0|a+7p|?6j-IXnS>Q*Di;iI zx>tgg70HlG+{~=#((3gdQ7><6m)u&h(!}jtOk11x+TJ(9g_CU6^z5px**gtbTlH?5 zmzB01h#iGY4#6Pum?+MLi+?`L?#*TKy(R&=nM{Rs_JE5AH-c)NgWWH=kM5hXBfgH7 z1qcwu%fker#v1U0*GRlVWJio?f&yn;-gAvok>oNfMBFgUUyN5;oz6o$#&1f4Bj%cX zY^-#QVTx^qVGo{oQ1cMTw8SHn5nU&b_Pvj6wLC(x5$8Y}-T;-~vM^#v+xgt4BR23w z5%*HPKYqeLkFY(&Rj&V-=DY;pemR#&w%5;bYOG+%e5F35M@smw+uI@AC;kn z-BB0kQi-vykoviy$*eDN2n z1|3cquj2B#d8_QcdWl*(26LrG-cYBo`2f6`I-*&fh7)#8$G1z4sk3&<_rXyb`|Q!?3dYlp9wtM3 z)l~AKdxel^%S(mnDm1B{fY`_m{!0GrM(o0}@n#1OMr4h1@l)m~Vvm%(|?)CI@f8TIHT=yC=f&`PiTi}u?s0!mX4b0g`)O=OfmI?@x>8P-_Yz2z^W z!VZtG!-cs{g4_bUGnk;zg z3IcSI$a8-Hn*S%ye%|gb2RzvkQ^uEf)!m9|XozVl&QVn|>75N9P7$V(P?jqG;KAm|9 zg}#M>DfOeB*9WOo4A6}m1z90bKjA#T^JGV-=?lpY#$<)ILTK5J9#l!idosDecKs9w zwLFJpisMOTU@&29(l_+4$!kOSN^ChiEzr#RVQl7pv_?AhfZoCmP`36x!$PUd{V)sW zQsc$MYh;jWLQhyZ`T@DwaL_-Jpe5G2vjX95$au^xykpLV+PGZS*4-^lgmTIHAVck8m$%*9-jMB3EFQv z_X>*dbH-OnEmWBqAY>>jKhjmWQC(awIOGjFrzp2{SIkX2FoqA$Ddl0y=HPu0xe}0r zikiWv`u%8`5D`Q+Ua^Mx4!w=^^*2QMi?Tj42DcSN|tBXYC=S6l=1XzmL z!w>2lM|r%4MMDFkdA6oC!Zz|64nonebhzBt8FPzKN<6>;MAl>-sL&Qlgb1`{=9Fa3ri*RBBrgj`?#;EH_?!i^0{&z1X1nL#=P7dp$ z$KS&vdq*RQIHG;(ak&IOHUEeZ_MvrH6<~nH8=TV22;wnyVUmw*o!snlOATj{g+LdFjs-Q38m~y}LAi;P}`vB~p9{7!YXeV%TKz4E- zv>pq11|MAE4$NoMZJY@)2Y#x3z^B+SXSI~pjga5&)I0<_M_!)kU#aXAI_2Yo_W8f2 zy$alDHaV_vR5TW58iJTa7;-7ZwM2admLlbSJ>aujLr%~lKuXbWtJ=Z~R5$l-TVP(i z1{Ff9=X%03Dj9c#5q9syLP?iWoPgQde;orkCrO&Q-}tAZ?0H#m#7R65lDK&~68rbJ zZ_ecyqJO9nXc$$@=RZJMxH0h1ax%xMS>>nZAO?X1q?kGBparAA>3u(}ZLk@tv z=cX!InQ-LxVYj1$93A)S%m}WTaZ!|P$8pcQO*u7~#j-V326|S0WcINV3;KrRi<%~i zLSG|qrCyQjHh^CspFouc*+q?v_Mcgwzp8nri5w;G()`0)A@Y}R5da<^;UHB!GaU8h zuhHCopNsE|eC; zOP>96_uP?`W$OOI?36pe8+cN|Ro@LJ&jQsw!X-yMUYbv0|Fv({>cDHF_^~!!pEObM z+?1EG)>>D769OrXjP9Vn-DT{7y2Y0UkpZF|Mt``6HAs_UlzQ^KPea3;y{my`43gWW zWX1pBJLyC6$!Wf(plV5==;IMg2GI}}om5o5EV}ds=jZdM`7bT2?gedS+s7mRaP;=S84is2 zGe3!5>&wTNANABE4@*w>sN>bNj2o81UpmjXP4nF&jV7fR0TT@VH6$yd5$Fkh$Cyg_ z(|EoLGmia_bw7QL`S9sYkHJ0TK#`$H7|6Q};~JxUk9~kunGQvJLTgM? zHgkA+uVaDPR8}z?1C;_x%*j>!2q#5oYI~~ew}cXad7#XZq3~V!LL&g^^LxS74pa3k zYxgFbQ%{ABPPwQMZJ=At4A2T%4S=krkG%HcjQR8uM_t<3En^k&) z_}Ri3$lZ%%S}go+3jA94>(m17)2YPQ}kAiN_wgmkBb-%Q};TxP{;6v`+_+1|5IrH{|+ikk+d2 z1?@>A_dJ-Kc^|_w+vH)zRRBuW za^)-Fj67V`k{!Oj*h}tKCoi0od$JWOZ=1A`w}BMH{BPk56uw5ATNm zvE|sv6N4uOAO8Uf;Mo@UTcGF5RkX-=VU($^6IZ0uTT&Qx^H6qWUb;pS{)v;K+Q;kiTXfyh|40nCZlmYRH_E6NF zFOwjTgy(BVAQVW}tT_IzuNS{LdGW+l{`LK$QtQD1YOd^~_;lDtJ9XIJKU>Ugg@+*( z?-Z~yYm`N;#T8Te4wahg6$PqMy%057U@@Ul5R2Ra6noJe?69r=+f<)ys zJgO@N+bDzZ5`-#X6A`5-IXbq7gH;4KE?MB?+TS4Sl+47z!IcK3yt6)NU2*(@tTMto z2Jai#Lq^d@AxKQQ5YBFLU)xKAc{mtYxN&U%42s(0^9ofy5TN=3odMLtrUoY&&`0zc zc~w;?;dK(GK^^y2qfP?`Mdems^8q`zN!jkqV78uM`;*2Myil z$4NKTOlH*rn!B^;q`&HaHN{pl&fn*QI-Jy}ney!e~EO=Pyp1ij;8>ks_NkE@=inKx5eDR;>CS#bV* zGT*WU*yGoD|2Q>Z=_szMTh@MM?fkMciozu{{F*1t+Uo(k%LQPWy&Hv*Sb7(ab)K_Q zO8-@7{#A{M;42Tk+$v)d@>w?8;RF@&d$9KI%{CC^GTPN#<5_XWv#I8y1#RIFv3f0b z%COXq;$M?KZ;C!~<7SEzQPE5teXOTDR5F-684s&?YkG0eiY-0YLknImqW#YNV4>-S zIM}H*FWij#*#{JNy}M4n)`uZ8d$|~nA)v={3}TbbR)nyg86fX(s*>>h!|r*PphTyd zIN?Zmv)HBLJ{8932{X<~5uX~L-IGRFy&!;GM$vt|z|fgC=Yr$F`E|W)>!;^eCb*q^ z|6Ish;OPl4qj*(+n1~dPxZYLz`70iX7z+7A5%Y*mZv(PMc4dqCDd?ST!UW8Vslsne zQ-E0h)sd2>xmOsr-xZ4F_jmiVi*mM9&_agF#6&^IGwm3llw9l|MDt$7Iu-06oI<%D zoL>^-cA?x@)iX{2szD|YQsIw;j_gb|cGrxebva%Q%7Y6H&*w^PKD zLL2_r?9E#N*L6NrLzaqqO^%6Vi0mOm{GBfLxUMCCYIh2k&8DdMn%eT z#T9-Kc&ck=ite_)QkfD$N!AOHB7n_d`B&4fCn~L>nuZc*wqarq3*0v;1FsPwE z1cX3mvn?`^V6NBt(x2y{Q@qVghjgdvri4{=U|b~Q-=Q=#5V3>ERl>+sK>s7KR&o_^ zXkipiZcbPxc{6(pS4&o67H%%qwD~7+3~(M6uK$utvziaTnibJ(%}`N`$_hiSGsDy{ z2YSq=DRTr$ag@n%G|yBvoB2%J@xnAE=Xwq~hMp#kL;)v_oVeP;bg^bKW5<=bM3(n# z^u|Qzb>8*K@8fJQzt!t|-=5x4&s+n4ikzsB{#@)xorN(qsojGMxV_&@_^8DAK5_uJ zF0DT>V#AqSlMWiT{ zU*W?H{sd!nAXl!Ko8WzP3?O98{tQ5)QF0%VJ*cMb0MoS?#KfYnz?$n5tq>BfL=TiO z_1h1mP5yK2r83(#|G*AzR_bcROBEa zf(-N)V-QSJBpUq))ph^3XP5tnqd(F>fHDld(%sNVj%c7PX++(@HwamH-x0@;gFRue zL4)Q!F;t0~xV$_hWKrnILF!=VaAEv`VpQacIuxOF8(u_YNPCrf&F#VGB)JczETuU; z7Gnz=2$+bUQ$uJ$Kg-F#;Ou+0IibV=ig1Xu=wHF0NGN^I52&vhBxM7~au!}*-Vk*R zzR;HisXf^Jh_WLlP7+OBgj-vqC~Nc$;OsVh#H-~{6K;dSqF~LzuWEa49Z1- zGc#jgC^(%CA4tUTPy7hkvB8NIO!7JCX_r0C5I>NRXk+dKFmV-rlpAIiK*n$6Nlo}R zIcwyXyZ?TnrZ2*nl3*q5t+Ei=hi3%M3TPX4RB#Y7qf-cgBASm$R!^cP%ELaO$e;IB z{aF!kYcUTbT%Jb`Q)({w7pE}PQ)CJttZk~G^~xSb8&JZIqw@P{Pg3FZInqy&xNY}y zE9#KC=P5EM-f{o_JT)}|pzaz`6;2GzQ=KiY9RdQ1Ls(DeOI<*8BF zXh!*@So563?|;v2Y&fVE`->rWEhf_=)3GRU%J51z9+36)=3a!~%?$LTnST|iOK@^M zX_%>>1@)zhaD|;`&J$JF_@=*FJbiFTRbCNfDK|)k zjcjcByxu1RSp{J#96IT=e>QMq!o1Yua^CBUZ2Xv1AblRi3Y}hVmoIj4e$u1sP zm7BlPuDe}oPvucxW;EmF9m~oEUTegq{u6XV=y)j$A9^HMAKKewk}pJRw$A01 z%C(qUIv1$vU47dw48m{O&rzzmnlQ9!II%p!ec=Msvb-@%OQNx+|1y)3tBqq`{?RUGVA})>iz|i>OdoTFJjE=a~5I ztiDLRo)<;0$&FE|!IVq0(&N?|bk&}|TEN=)4FzV0{Alsr?374OvkOPkum|TqQwffa zS|Omze(DWC8c}y}5TugP;!o^%St(V+)%Q8KU3qN!r&Id3`k8(HdDEb>*fp+e7E$h_ z*kz`X-fZxFc1Ph^@OKNhZ;ioT#A3>?V~{`X>%%rP#7?uWR?!17cjga;tGehm7LQ z;G|2GEpDCuOblN0lxGqP&I&eDTiv-zw*LDL=QSVj?bpOqMxw8YS-CjxK5-?W$N$3K zKgXe7@pB;ind)6RXAhqnyMFx*UqfVX zP16M?bBX3r{xY(ZqrRE4vvPErfybG-luZ9VQZjfkYIJrD+DKIneXQY0(&oY7k5t~c z1U2iFP1q*@}gsIwosbnY8J)iWPei$Rc*huR~*cYQ=BA|y(J*YE?4f$ zpYP~JJTqz;-}e=DH>xf(FZGNoCoec_BJx6@{N_Nsa0wC*jp@jFYzm$~Y>SaD8y*yBpuPPu_%6d5GFY&#Hpb=t{4^dxYt+}QPeGgkhIot){_W&5tU$(I!BO*6;i~& zpouOZtN-LHZg##cr`7IW$W`*?_%ac&eHH#%UP1*sN-K-`iLtD&Ljl0r(cl#FRq!gl z+S9M8-R+fTrs7=LnR}#a(vGv|9YI+CV;=iCykV_x-?}zn7>a0G_quZ2u3>dNlLeO> zt`$l}gOnOQ<@@#~`V~#$ldF7!+X6B}~!XFK+{mZvFJ0lLxdEE*+=g}A+ z9f4nRQwe%^W(f5XzyLOnFJH8VDat*{-b5Cbd^zM(2&>^XNcuTBYm;z90QPR2QWQ+TkX7pL*uc zKPLiAk>1BCAtc4k_9JxLs+d`=UCbNxNBA^7C9b!ua8k{rR)B%tS@`$(N|BwH`Eg)b zfEi>tBqqg=R`BSFbFlO7o7!nBwTRA6tOL93k1wA?zBfdd8 z=0>kz&FoEGTw6PG!3P$|*;&~*csQ7~X<(TY98ATHT+N87#d%qoS-4nOS^xhqE#C=Z z5R9GY|6zMtj57oVBg19`!FVJog*$$lP1GO52)xL6nYpyzzKTd7)*yk&>21~qEw-RR z{qoOei&*Swv(6BVfIDneec*V0-5hPnDRGsNtQUPtEKL>3Fi$^wi%EXE2BJ!{ z$p$PuIwYeDcmV=rY@eCD4_F2B0XT!kl<69YYaa-kpoyf;G{3)221_{SjFE_WI?NhX z{EU0b=ouj~R(PV?W$vH!$G_ z1s^ozFy0?r*oa93M}gUK6Cyo|VVftjKazM4GaaXa7!nNqht)2EBZOofBqo%C69{Zz zi}}rr=`PD8u#L1$W97uIi1cG7a}6!f)(mrdh;ujS@~7CUtNoRhLxoR9s3_hnyVNtf zeA8|#Pm*B7``jQrHyL|T*i6$%nJiNbhUo$>E}9!V(JiIVfgl+Si*&p=`)_j;KG;+| zX7joM({My?uGs!E7QxtJh`mDy8K>inP)UaIS9IJt;3@!;W*?n|@&r=zWPFiBv<{RU zavK(>UP2j!ZdaIBM?9@y3Cug}p&{0pnfNa~I`kVT^v`l(iW~}b5~+G!lN1=1waP|z z3=wfsd?pl7)PBkPg@jU$5I!{{g&U_BNVRHYmxfe|G369`@M+VA0^!F)Z@Y4G!xqRI zXwZSb0P!XKz$&#Wj@Uvtd^Alpxoraa86hJHls|viSaX1`IW3qn7(5Cr9R4|i3V4S9 z4Tw?dgZ~-`jxWAU=4q-Y!%)TG*SKf~FPFBASk!bG!3qiLlG-%{!S zCHNT|D%dXhfhghoPmi{oek85H4T2oNWOLk!zte;lsg9-#p`sBM@Ajpr8BdJ4y+zU+1AZyzfF%1H6=RF zH5u%UBv+Th>F4sO_^f{!@~VXn5i`{wW9aZ!MMcxA|2aT9Ker7 zV30@D%l&zEa#TitGR&QqGW;dN(mj-Uc52=4+WfMc|1z+BSxEU$&XKCDQKa_HuaAhy z5=~$i@?-q;NkXu_gRx(UbGHacxH9_Bqed^aIR0|`&pMOsFF(_L)@q%3A5i%WO+&Kp z%`P-6_Y^L44D|s6Oyu2)eFgR&N`0jF?o)kG`Ay8e@O+1SPXH%me*L4rb>*XQdJlQx z{=7ha8QsyG5Jetk8{FFXeLg<%=H0^N-QfuyG>+4s{9tnII%<9Wt)dIu@fh4le8E&= zCNXs#9zF8UdcC&q%6&xu#|AIIzAOZpo@hl8shGvE@1E9o!-xn+9v2JmEoQZKe-%9> z#rV~c>g-z`D5NGy)d_O-FqNW=^ta%8gxrXdlh8Q2CXmYe<%~4y|L-XD4 z^f75H^G54F>$w~af|hq)HnIB(B_fb@KR^?ijtg&zym+RClBYch!QYH|a*mHCU=H?= z&69_GF5`b|))kJ9$83y|D zl|Hu>xEfzQ8EVwm{JrU@H3%}xNg94>!Y`M*M^UXzJ$!zT)@u5{5Yg7Zo;2gbe~2Oc zP@iSTw4JM7x}%k05aHS^FV4!(ud)dgrAvU6P|#n8@yNO~KB}dXvM7~epxbgMldvP} zR`SEcTkN}D^Be=>Hb=(wqJ2J}F3*^#n6IkZaHg;Bb7RZ#Pk#`61|ly|w7kx>FxWQQ zr7UpTHbplWGl*W=hkT#j++K$@U(fVz>!L3X`%3;%T}M)Acb*|%-Z2GceZ5`6V~_9m zT~Y>}+PaR?3M(srZ?|}tg8AOu-5f59Y+C!oSs1ags!#*xi>C?~M4PspVYYbzd>FYF zqe?TeGvj^68h`PcEXkfRUK0f|%t%=ftM#mPySjX`Rev?vOy$-HG*ntVnu?7pY3G-y zjN*1@>mA<@x22zaxI|I6s$P2gz8s$DX!XY?w%;9us>TKY`;Cm(GsP97ij+d6++j5qJ>SAU#bftI28r_x}F1Zh-X;?g_V%GD>gSvS2tHa-M}ev)1Roh7fj#|F&|dXf8rAHCYLLSQE++q zqyZvN?nU)Wr?0d1^%6{14yl;)xJLKBZk=GyH^v%k*Bc(S#4mWm4=y+huMCm1^=b># zi&Pp`TzI4`SK5KG9FD^6M2i2T@|`=3bjS%*Db0r#e^+o9HG z#apjDDzC0n$4@&|^#Ly`lU&1wBv$j2^{-)lWe!>sN|n>Qi3Why7NotylXH@%d152o ztj?};!6f>rb8#K|LH^wUwwSoc4>*xXIV6#(@(6flo)8?G>Kw91U>vy$T1)ags-ik) z-pw&dl{%ZoWn(mZ<2AcosW~@YCp7MB*&S#V^Is6=E=O84$5^D?Rrz>o(B&?3=9*13 zp6_YZc&2W8rqaw-gjuxjYuO)YmGDmz<{m{_)W=vP+|m1ZV$$UfbLOgg1ExsR#uAN| zi+{m=hYwf$70@{))s95RiuBpB6fUh#)?ih8|4?`Ri0@&^|1IFH9sN8zIp6iyq=vRC zZX}77$oyL{J^8?xbyFw@%PiozNZ^e^-)4AyFUdE8SIOhI+X<$GGd1xf<*IXB$V1N` z1h?+P(WESyb&&;npB)Lj6X22XGg2_Y!je?o@VU%Po)Vw3qRKE1^R+D-y%9i>U(Sr| z>#V~~8UMqfS*f#5xL8AmCR*8AY>F7I=Abi&kY6wGmwe##yGO3cVr*UQH zA;ZV5YXs6t!EjiV@_o$n1FShl&oacS6o5KhWGETR%399%3MlI)_~T;h^E z;+(9aT%4j3;w%!}ERv#v#Qgu~ir)X`>%{CFY)SF3Gyp*ok2Z!fa!6$dk)S8P=NLZ? zY0y*|b>J91^ce9yehrPS48g0~5X_FM0~zYT-TMW(!L#hqcABpI|D11dt{o(-gbeUW z(d@w8WJvu%xSukk`VpuWRF5D@oW5l!99WOAk7&-7zGi4lcF~f0zG?itj#7@QH1ey+ zIakuJHjVa?-B0dF;M0jp{rId_wcJ_h`>!kp|L41E#Q<9+m&%k?yeqYpXoRvbx(Ir~ r_65_T1IJkg)9Ul;+lJ{kC}pU!Qre_H1R)$7J2M+B1%-r?B<%kH<06gi diff --git a/whitepaper/protocol.tex b/whitepaper/protocol.tex index 36256d2..56a00ed 100644 --- a/whitepaper/protocol.tex +++ b/whitepaper/protocol.tex @@ -277,6 +277,8 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg \newcommand{\Transparent}{\titleterm{Transparent}} \newcommand{\transparentValuePool}{\term{transparent value pool}} \newcommand{\shielded}{\term{shielded}} +\newcommand{\shieldedXTN}{\term{shielded} $ t \rightarrow z $ transaction} +\newcommand{\shieldedXTNs}{\term{shielded} $ t \rightarrow z $ transactions} \newcommand{\shieldedNote}{\term{shielded note}} \newcommand{\shieldedNotes}{\term{shielded notes}} \newcommand{\xShielded}{\term{Shielded}} @@ -1026,7 +1028,7 @@ transaction: \end{quote} Note that the transaction -does leak the metadata of the amount, since it was a de-shielding transaction, from $ t \rightarrow z $. All \HushList memos have amount=0.0 by default so this is not normally a concern. +does leak the metadata of the amount, since it was a de-shielding transaction, from $ t \rightarrow z $. All \HushList memos have amount=0.0 by default so this is not normally a concern. \nsection{Metadata Analysis} @@ -1041,15 +1043,26 @@ network transaction analysis is possible. If these psuedonyms choose to actually \nsection{User Stories} -"Pen Name" user story +"Pen Name" user story - Amanda -"Oppressed Minority" user story +Let Amanda have a transparent address $ t_A $ and let there be a PUBLIC \Hushlist with shielded address $ z_L $. -"Security Researcher" user story +Amanda sends \HushList memos from $t_A$ to a PUBLIC \HushList, ie. -"Whisteblower" user story +$ t_A \rightarrow z_L $. -"Censored Journalist" user story + Any person who is subscribed to this public \HushList will be able to see Amandas memos, +yet Amandas identity is "psuedonymous", i.e. everybody knows that every message from $ t_A$ is the same person, but her identity remains unknown. If at any time in the future, Amanda would like to *cryptographically prove* that she is the identity behind $t_A$, all she must do is publish the PRIVATE KEY of $t_A$. If any transparent value resides in $t_A$, it can simply be moved to another address before publication. + +Of course Amanda is free to never reveal her identity and remain a psuedonym indefinitely. + +"Oppressed Minority" user story - Charlie + +"Security Researcher" user story - Dana + +"Whisteblower" user story - Martha + +"Censored Journalist" user story - Billy \nsection{References}