From b85b7f10245bd9be233b23ec42c5eb1271a13d1e Mon Sep 17 00:00:00 2001 From: Monica Moniot Date: Wed, 25 Oct 2023 18:30:29 -0400 Subject: [PATCH] fixed typo --- whitepaper/zssp.pdf | Bin 422497 -> 422499 bytes whitepaper/zssp.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/whitepaper/zssp.pdf b/whitepaper/zssp.pdf index 69c9ee219dd86f0f6d6f6a399f79e5471586403c..86b51ac74118772a2f959dfcf1f7afbbf8ed2ed7 100644 GIT binary patch delta 5400 zcmaF(MDp9H%%DgLiX_jsqbbCF!%dB3hl4Yyy*zPeamUeKAhbaKVar~N51*e@ z|M7px&lmjqJ#z{?drWhRDz~~HeOmM>?bn~*>H2#5_u~FN73_7XudVEP_x{29*OvR{ zsdb$0RQ4q={bg_E*cT|Hqhq)hbgLH$Hmh%Y5F-vEy#b>vj1% zI?dnKN@V^EuDBQDI*Y3$Z}!h!u~&1uMVNvcWsQ$@1Z(LTo{3$%V82MxFSVk1LaedU zDakwj{(GwY;+)Sm;|rg@8P;@6UOzptWp`S$^FQ|gM;+bItV%k6G;QmlV|RC@E1JE( zc6!ypXt`-Uxw-XQZuvZ`sBmk&vX0ihM~mEeD$A<(X1;oRmg@)m zVnfR~gOgGYOLCPQEoLZ3xdg7OTi~9v1H2y}LI*;KWC(_urO(ePr{vNiZ#DU#ES*s(`aM zzG&|WIDch>hqv&doyvRSADzyUH9x+j=0eNnedjM9QkdkCx0^41z4-le;;n@(3PCr6 zAAb?HT`$J!$(WR|UC1+WiGe_HOTG8r{cB28{5pkW#h>glQCcN^XV3Rj)$(%dR+nBa z`NetuFQ1LxSzTGdYa%x%p3~QPBW3O3z-hQ(XO#Y|-@9|$Q;iQgepz$M++hW`>HZ2cPfa)ehJx7QE;Ev<*7~a&~1(?Fspjzft#XufmbNJQvpG&veakXC_ei1Pxvj!mZIUGSTstC} zcsM2OWv9X{SH0viX=h7(1-a6CJk*Wt(u=(wY0Oud%crnV;o6Bs*OpCo6ZqZYS?uGZZhORV_MzAt zLU}q2zyDPnFx9F`jJN%0#=Ymbe6_p4mdMBg2gctAm}@>y^P6^oFHX>8=1KPZ*`^bv z)c4Na;}>(f{=vRmccMewlzQG-@`bq_Pt4KKycku=5_iw#D(ic;skQ8Cn^qb*YHRQB z@$2KNYpWhY!88RhLk`~KuyjI_L)a}5P<42zD_@UvT z_TxnGzq7ycw$~b!Z8maSaB6ptaP?<~5(oX|#j8Kr_a0c9+GoLRC)Y9Yg!o$NH<=SRPLCxTgPR_oM@j``=eJ zR*NU?J!9?^*Cd?#B$- z+KstiM9t6EFbbZrR64UnvF~F{TezyyL359%kGDLl)8l_+;G^Hg%z5m%QguLm%9e%? z#VpD7_jCOdm#{px%Q^4(?W?S7nSKBcqagIu%r z`Dt%W^?9ClEYZ6>y;;r2if{ILyK60?zSCR&Zj71wNk-<{A(xX6vXf%7H0Ql_uas$; zWdD25gpdC&OprQc&OhUBK?|?pr_MKRPipJWD;hIDc~U32ZOh{|XC6=3%E8(BVEeDr zjOH?%^{#xnALMnYF2_sh$hIKwLp#nH*2`V8Exnq`UhCJP9mn-!W97w8CoT3n>`N=Y zIrG6Za~O%v>4 zUtzbVx&CiiLZ_8r#v$HIVShum-_F~+Ff%sx{@Lo()T=_Xc|K^ou?FJc_xTGl|)mQgudg^dpbaxT` z)a@$zY2o57m)e`Ro7NOKZ}H?Yo~~M#`t9+7y2c>OiI!LS>o+wCC)-$NP1tG7VExLY zDO#(_;LTD=%`c(RZ>K$wSvy^NOI@FDJgX}YYh&(olVbkPpF&DIJ`3HNw&LK5eQTIK zT&kKTbDHl{3(Oas_s;pWY*vtQJnQ?-Szb4I7o2AEvE7;*5wq}Acv-@q?-t>u_p9gB zow_M^UrziPYlP+!ulRbAhi7)A{L=Yr%75PW#5TFu+RGfV8*@9~U%$S4*IvdJ-Cd5? zj*HA~)J$s-30E$f=J;wA-~LA>9M8O%H=bCUJKu)!`+fuC6$_snS7S4~dC>8N%x{T2 z8_f>!N0l8#7CD9e#SS5gRm}=c9h_lK$zS5vPv5-z*}8_V5~F6_mrm=R*E_H?7qIAt z9DUpTVZJ8c$AyodeP&2F=xu6{e*gP@)l~;NzOA}0J!xW^O52l4Lyu6qSH~V$OulC# z5^i_0)K6vI`JN+3^?QzdU067;tmJk}UI5GS1@hv1=C57ck^WlP`NL^0o*9`+fgGY2 zgXEquoY>!Rw76s2&*?sHD!0pRBqx^C+f3>?(QbX-ZMkE{`Q(|cA%5ML4{6AU`e(6G)81E4t+~INXU(OGDc#RI zTPLqmW4r3?Qo3&W&aYMC+Ifl<@3&WS+{;g%uIy-a?cv5*A66#*+V-OI(4z^8nn`oM zSf73V+4`;L{@}SEtb1>>|2f?8Wxsf)y>8gDokuNxI&xi>amu^L%HWwA6~%Eev@w!x z%BhXb$IJX|upKE+Iqt*NbkZ{1(5J9k4q7nljeP4`PknqRpo>czL>jJJK!zvO)P ztPC&T{&mqkrHJ2(x68J#61;jS#n*I!F>CKhh4gCU`+a;YrB76sC;!@PnR@uc4sGG1 zKdkyHqR-y0*nMNoJEaDupnL6g3$`|}F+V%Y&XZ-8Ev%;CuFX^-HLc$B-vZZMJ;TF_ zeWF{R9$aK*eS5?7tiGF(QjMt+cZ{F z*xOSp;E{Sv@YFYdPH(;mtGw$coN736|H(uxV=LXop&FA8n@>F3u^0``f#xDjDfKd+)t^5V6I-z8V_+2$YSvwD@eEbG^s*Vi97y-utb zk`$O<_NQ%j*+08$M?RdqJb&-INoTLA&tAxS{$}-ii?Y8HYW^+!mM&{h+@rQu!Ya$V z#Y#)-fKKvnx$6&O{TQ1Pva69YF&bq6G-fa8S3w>-> zs3uPme0@aUdfrwmt~nduFQ1!N5x8cdXI7oBiDmsRPZ^)JV*Eu62OD!X{F8aQY$Ze0 zlncRSTQ)3Ktype*@ctBU<`({-|Bo8<4d$$@3$jT|W1I8iDCcDVa<+3mGhX;GA3q-3 z(k(gp#@lj+RM+;!Z0`hx?%cbA3pa`N2| zTC=ByQ%*pAWy>@9NZ=<$ihIiS>tC_wp{e z_VK#Oq}hLy!!zeOdvVP6YFhMxUG`7NyURTqXWI(yowp8hW%_)&`q)nvp-G#guNUm+ z;xFvydcMTqK{XD?Y4(y-X=j)irk#m2{vL)X;y*WVC7e23q`C1`c% zzOd}cQMnrH^U7YQ=CP^IS^T+o>(v6T+rbLo)|{KOX)mJsXTI3{cy2GMZe%a9((ie^{`c=O?G+XyV>E=%cra9YBJWZ_L zS8K`tKq|8DbZ4+xuKUv)Ds~4peLFHC{PQ`k!_Gy0H}0l=SG3I9*Ir*^=anZ`sdj7I zT~B$vJMB@+=CV#W{8g5<>-y}yJCqvjx2ARc^_Shv9Q$4K=}MD^%6_&r+tmCQF#eN` z4?kzzzk6LfOUI{7gO$2yqWVY%6% z=fiVc(f#qE1Lrh186A@lij|zWgVE-HyIx)8`Re@hbLUm>dp+lL{iFi1TMEo?pT#Wn zwwV6(Om9rrj`yY}#ozi?wd_2yWz~}6bq_q32y`v@(YZ5aYyGxmk2Xws_+Dz+;|(@^ z!RDrCx(=VR@UdV2kn8!HH=LnnB`PtC^qi+M?=0wulfLS8qS>$N_sUNT8Q5ODU98oj zWZ{*se^o1j_xQ`LL86DHEFAOsLpi4$(%E}ABz1$>vlnj{X|CXA=hovI?*LU2jFKd%tFm2wtwKEfCuUwX1vb{Hv+2ok}G|gq(r#^JM;j+H( zo>-gjhMD&mt7c1P9S*Cq{j#N7EqB@S>aCp%{W92XWy3GOPAZwYtLCowU4y%xca!c` z+ltug+8!&jV7gmy|A=T{rP1CDLG1a~>NZs5~WhT{u5J=UvU}ZJ)w^ z2&G*#tWdOB->ANO-<>yuOFGk-suWF`>pf5A5K>mI3j>TfG&+8q4Ca#`4C|Lm8g3PvwaE>WL6 z&!;J{(;^)T&GS3nY z={#TbZFb{Li_p!>qPjx)SJ${nDuvhGTk~dOnOglnk!aDC^{$(jz3y9RaBk=4p;_WrB<8x0m-l@1_Cu?pW#=MFv$#lgkld$zGw3?kFm@CtqH_uwi z5q2&a4^M9B8U)$Qd;OL~SDvMQvUdK1z zJZ*Waf2r!?(jsZ|MSWfMUllfse`^eL59>aYcO$RNF#iAPM-y-ISD%@dzxq1Y%!;Se zOP{tsP}nl_uEpxuTMs!(4kf;5<=cGz-vzzc3ul!UU$)@R$ssIfib3C`h#N4+PTvm9Hr{bc7Hd~ z4>sV9`rxHF|Dnzc^Ag<`KhGUza-J9V;2m4DinQPCyY;g@n>`%XE&aFe*^kTaJcT?* z3@2Qkz{_I10J!$>vSi)3E(XXR%5yw0C_q3Sw?Pvt{} zr~O#ucXf&CySpK#sV7%ShF+eQBOPLzd@}vp>RDT#%(Y(iOy}o^m$~z|hdixcC8o1A zKk90|r}x}nfmb!X_ug9iYRl5Rt1F_mT)E2^>OJjToo_tXxlPah7foAdzhq(LuFu7x zoZkCO-9j&2lE1#fEArRD?W-BqTy!)yBT_OKuR%&)$33Hc{Ql33a zIa*Bl>~v+_a^>Ci-EXveQ`nT)&%0UK_m;$Wd^zvh78RkStnYFx-&Jj$+p_x?3Z)ka z-g3O3`0K{S@O5_CU)L_5FY$MmOk>^!_9*=?jdGjp3ck)>bbgbfL|d`}(_#a*#|!*p rYj67%@me>W}wo%2Y| delta 5412 zcmaF-MDpPi$%ZYAqPHer%+#!Z8lBrOy;L7ai|zLq6dh7Eytd)w)2s7Drk_4J`{n2N^Y`x9Q&IhMy1NP2->**%ckXZAzwX(O zswf3L^*)QUrl*pB95L`(Vc z{k~d&$D@sKd;yG`T1C3i@du;$eyE)y=qTxzWusv<#u!J z8TJ{yCqFiLhB0X6vP-q}S}t-8dHRa|)RSF(uM(e3DXghpQg%z|Da)SM@xL0ie&t3v zty?yIh2~9zjbBW4=5%tmpO@cXa6yp!Qi^lJDWR-X^>Y+53r zr?J=jag`e;U)HF;+xEJwyj;3_kDoL1=RC`(^?Qx=80@y3zW#>YOEgM!c3rFZtLFwh zXD>DGxFeWnRTv-kdWTq=MU}6Gcj-JasfjK{w?lta?fp@T) zVQy(OmC|5SZf%>P6!YqDB5!p4qbXmc+Aiz%c3fjMf4_I_z4rFkS+S;bEe{n(H6CBO zZ>jR3S&vG1ev3~tILyZtz{H`k?ppV=e|fhZ#Wh+KPpzu?$o{Fa+g0I~c*x<|UGrz; zNpwGSR@}IkVYd_0GWEd_vtDN)@xZiN4ti^00>lVo^?Fr^LGVAlq zI~ts;+n?{^RSwwsHfYcLwhcQ1a&~1(?FspjzfpH>ufmg7ciavTnz}?+ zWB0O_&LxfSop~LN7d*K2rAx>A8mHc^j>lPZqSd1+T?~Fi3a7X5&W&8E-jpGhzVpfy zrq99)f@*d9+Ye8jDmzW|cur^G$phi7atoU3eKt+&Nk68ku-_%@(1TaUc3H{xb5rq7tLnpJOdH;BXW#7R z8uaa|@cWewI{#)=$VY76^uU1Ocf*IhmEP*!8tg(Wu4$hRUXSu!a?CGZeLcI6(T333 zlbusl4!x+C^WR|fsl{;q5|`|&oE4SAzTzi%q<+6^@|~>}yk*nJ( z++6ZYN#C?7y4O>^gw)tA`cu>LD!TIxep{h#Kqci;VX zaz;$5aHHD$O*3!2W?#UZWjVKc>iFsy;{zWZdR^>ZxF%j`3rODVSZ&a0l^2=E zCAH$H!z>;#(M5Ao4~0)%ASKtm(#TSWuh&V4aTBi=ugJaBV~1zRNbqZKIof%_D)?8E zJp09)6?XeCd`ekmw>hC+qjT}=51-;!=W-s>oT$V5X7{8+hKFK;c9bh_IXy#?No&zV zGn*WxX3rx}kINQpKG&Z9>fj2cDcyDrnq}vGg$nMmiHW>y%_M7lY?3 z3?{c(94nTMo7%#XXKgf;tw%}BTV~fne8~4j^2iHqz9^Co; zbaBD2N&MGX9W%c_4tEu8ydKP6uanK;`)g)Xzs-s>Ox))sVs>uNSzEbK(_N)>=3beS z#7l({HQzSst$DFaWljInRa34#Fc4Go;)@r4-8S#h&AKVa6*Yct_Ggwn-~P)-;NPbP zOJ4T~d1d*tnGy%~h8U|R14Ruq;oB>z2>XJFi>5ZdZ!J83{ibebzq_dtQVju3*2zzO>@2FH{U&H)BEG6c<-xOWb=%g4ht}juI)5#zJD|+b`ck#}jIsoOfaaR!uVoK9 zt?ETH4)LA}`x~_=;WfV5ix-eIhmdAXa$QAC7HZGPj z(<~m!aD;Z;Q|J&#YLcFB_-p<3(>G&_!yR0$W*(eWqIkV{LNlX9lW6^_N1q&joEK^T zaiQ>YCBudTLA+mPzWTRYMbzSAO4Z4UJvzw`Jm!fvhdf=J$J1y0R<`ZYDfOM_I*)vv zIdR92)`>gpuAIBU?dREg zE~6CP81XQ(69r1`ozh-LrxWK*Ua(WEiRJwF^|q{?QG$;TyU+pBQ>6LS8ZXFsz%GjiW~t@@vKt9gQ#etaT!UYJ{br5fAST9;D2 z%Xg}FcU$KvR`{R3!~TBz##0j&WWPTwG=CU;_)G4@%0mwdoZ31HCza1Sf86@5=e?DF zAN(GFWBhNR^!L5%E&p!o%XgCI{85m;EaQ}SkCmZ$Zf2&UOL*%^qlA#YzpvVLRk)Xn zt8V^iARzLm{`J?_;Sb*}o7KL!;Y0Du1FF|%^1E?gt>asI_oY|-;!g9guikBoyAsWk zeLv;)yD-y5Q7_i4tSVWSU?}+{C;!>)i;WBX_8fdUqr`0a8wt7c+b)Lt`gHGweKxzN zXSRAb$AX3_-xtb7=q_;Vuly|6JnP);7QPb~Wf^V$oKmU3;G3&gZ+KX-FE{IS^Xyx1 za*oH{Dn4`W633mkgQmeQ4__wLd|u`)rC8=hj}83m#OZZMK^w%ra$TnaS~|zPoaAKl$$3pwV6`a;<&W=JK_h%4f2g7=3e8 zm@4V6aob)*$I@Yyo}(7CVtxH&_f=u=`FDYyFj8;h{N1{Hsu-=4QhcqS1WWms}$8b@hJXu>9+ z`ggyrWFG&&uUHIwFf=jWO?WBublJi8>{BiTmz5;D zdnYXSe2{-Cnz`kB)c;2e;xEpJ*lWre8{7K*dDL=p`Q%1pVKuAG2R;^xKTJBN682m6 zz>MOfiH1Agp1)S(IH~yDj$;nKThASPYVUMGYH{_R5>CE7`?JeK=Rf$MdbHNu-tggJ z^%cSQ44zBWyLB!}_n$Bz*1hh4hrg`o~jxcDF}bUv;;4u713D$H(jG zzk+X1XqElELd@XQMaH=+L>;blNT;iFtC!X6>8if}`2CNh8NV4@B;H)r+8>_HUcEK3 zx^#22ezCd5Lz$E2@7A^j--u({_&oO?_nZm0`lnC)$Re_R+H=PFyo?r;6InF2$9-j- z$zGpk*{HT`fuyQZ_>*U=Wilr4^mf|yr~cv+&A4q4|Pt*RTHdtFJ{Zc%Ak%G3!R&#M6hr)%-5H zS9SAH1U_($zESJ7dYF>IthJvA~ z!SsuB88xTJ=dkhBdvmvLlb3zTpzFM_XQ}*BkrxbGmM%4x)yR$LDAex^T*Q4vKz&i? zk*ubsBQ7zLPhHMl%t%r(bW2t$eCWifEiR>!$8i4t#_srgpYPo+UjBUEd#mSM@~U%M z%T64!D_(a(b7m~ zQ{ScR#ac~C7H;|cSG^)w7k?=Wo_ZilV)6FwEZ!-HO!m$VNe$pL{!$i@nxLz5;kI8W z<5a=OU;NbC^@2 zow2x7K5L&~**(@>(vuBXHyb3b`|A0&e9~gg(&Y*B+*k7!Kil;xWNw@5=C|{Wzi4*6 ze{eEdN=<=%8l!%T|Lp2F%eH;u`dQOAk=sk+ebaN*`j0L5#b;Q5pI!EB?nfKe^Pj&S zxjlVGb=~%DpTd5ao>`Rq!KosS*}tsz*qzm>xBATwOs-ykXL8y4Et7-&8*10?EYI3v zEcw0EXVuG-v+@nfAG7Ah@;|vUS^Iv@yVc&e9CBr)#MbiblPkjR`{k`3GRUOZiLusqc$N3sRDXKY z&%pSR`9k))ciywUXuRlM)#MZN?9^kcOvx2V2R{otg!~D4lN*-LcP!z;oxe%Gu3u~} zes($Ee?a5RfgO?eT;G-pEqffIJ1fgD%y!ME$kdLQpOKq4vEQ2c=VxX8HmxA;w6o!| z&WUr1=ib~~ZyLkqx%peXiH|d%PJ7H|=l>bba!-yw{`PW5>qe_pS*~k-g-$*8Dl;@S zfMxZ<133v%n?(+LMX-i$IF|En*0yQRY}cGvLzuE%wuxP9oOXh3g_-s5&HuLZnKg)c zUz@aMn#bDu-ZcNGnfBABt+{qm_fCCBmDaW9H*y)wYx~xS-JHAO>YJp6|E3>R-Ys4> zQ}=F2zIn>ysrwgd+cW%Lc=ydM<6EinGHrSm9D6Themg1qwuoa_WJ-zD@&_C;?TQi& zcAN93f01`jw2=G0sjr$TV%4U_8^2Gh;@%jgG&%pU=+|QjGHOZhW6k!khd-3s!yljZ zyxuin0^8X<`wNBYiCkMAOm$K`oOvNX!}7(?bBAP{=Y>6Z$JVSO?Kk^w?M%;R4~KnA z|3wx3d8yoH!S+bvMCJ+BCdr^Q{^+myEXDQ%wdD@?M*`dbM_Wb{! zJAZ4))BCHQ>C|5}Tl8wm(r5d_P4icB%dYZ^e&yzNwP|VI+t95UFYj>w3M!apTzx!p z*TPum%_Y~5uM(P8_qJ!%lBM>iR(M7Jx+lKs(zLo8YqgFSdHs5w(v+?KB!_`k?5>zA#4`f797{ia2lI&sj9mAyKw;k Dab8oa diff --git a/whitepaper/zssp.tex b/whitepaper/zssp.tex index 1ed1131..6a3e3f4 100644 --- a/whitepaper/zssp.tex +++ b/whitepaper/zssp.tex @@ -1060,7 +1060,7 @@ The Noise XK handshake packets, as specified by Noise, do not use a unique count We are going to prove that the ZSSP header authentication algorithm is existentially unforgeable under an adaptive chosen message attack. However our algorithm does not fit the standard syntax of message authentication codes. This means we must prove security under a different security experiment than the standard message authentication code experiment. We choose to use the syntax of a message transmission scheme \cite{modern_crypto}, and prove authenticated communication under the secure message transmission experiment, \algorithmref{alg:header_auth}. \begin{definition}[Message Transmission Scheme \cite{modern_crypto}] - A message transmission scheme is tuple of algorithms $\Pi = (\algn{Gen}, \algn{EncMac}, \algn{Dec})$. \algn{Gen} is the key generation algorithm, \algn{EncMac} is the authenticated encryption algorithm, and \algn{Dec} is the decryption and verification algorithm. + A message transmission scheme is a tuple of algorithms $\Pi = (\algn{Gen}, \algn{EncMac}, \algn{Dec})$. \algn{Gen} is the key generation algorithm, \algn{EncMac} is the authenticated encryption algorithm, and \algn{Dec} is the decryption and verification algorithm. A message transmission scheme is \emph{correct} if for all keys $k\gets \algn{Gen}(1^n)$ and messages $m$, $$\algn{Dec}_k(\algn{EncMac}_k(m)) = m.$$