From 37953497fc0511aa894dba8e3b086b0b9d446e0c Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Thu, 21 Sep 2023 08:11:56 +0200 Subject: [PATCH] erasure coding for storage proofs calculations --- design/proof-erasure-coding.ods | Bin 0 -> 13338 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 design/proof-erasure-coding.ods diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods new file mode 100644 index 0000000000000000000000000000000000000000..842a0db5032a2261f0f430eed2a81bc72ed5b58d GIT binary patch literal 13338 zcmdUWWmsL=wj~Y$LeSt2!2$#cZowtEySux)ySux)ySux)yB=Jc+}HI|b-U_zzn?wN z-rrgKe0z>Hm!CD~SP~+jV8}o~P(VN`ru6c@Cd@%pKtMph?)RU7ObtzSZ5%ChH7zVm z47D|F49(4`?aXwj%r&hIt*Oi{bj@_kwQWsx&1|TwEv$4kb*v3^b!{a6g82^f--7m@ z;xRYVGt{@W`WKotEwzogxrvsh74`p2OV7ky(?<7ys`YNE?SIY-<8LgqFt@O^_@(+E zY{dE-Jxy(GT@&5+f|~y)JO3`nUv*-kX{KxPKg`j>%3R+{*V_7jUPfyhO&i<)iyrRZ zl+n;sQ(xDbn%mIERMW!xf13*h1@*7)^#1;T3+#K!RMX5*PuJRp%1TFXGAWtOFdIttt*>`No>+;s9Ldoyxo^*CQjMp%>a>MT-+q-!?u z7J|-MCQCuszM3$o4>+ORhJYOx4Cb+|4|?*FHpdwej(2$M!K*BV8CB4lbyBVVb$F4U zT%jL+4*A%4V>OA1^wPy$OEPz6o^JJPv`%|xv1wdTgpDt(1;FO*s%^AZoT+%PyTlqe zooPGSPWN7}6UJzy(4L7OHM2Ut?Y~luzoBoH*VyrzaE)c_KSu1=T;a+JluL*}Le<sWYZIWmy|8oLjAZZ zPfr11>8WJyTa2*^rHq}4@B`W&q*)>GcAJ)>Vj`}$WlzTK)-eB;FMz+8Xwn~;We zoS2X*`aCv0n|K|9ZLMCKY&Pw~BwgmltbthM^c;#v$x~imX zzRZB^wqE`XS!2OtFlslavbLwQu58(Z0nKR<2PP>?r!0n4q9*lbK3rb0ib^tN>2MEB zl+SJdBIR5~P^hh`QDo4-Tfx)N?(}D08yz=#4#HTJ@qYJ{{MksOqKh@(HX08yKXRFL zjAi}C9T*BBehP}_m;^oqusqA$R~Rx<3j{qpKE44>LF*XB$qF*0B3%H}*C4WXJGqqo z%ze}P;YsYfuSvVCB`Unhg%_UZ>JG5GF_yt$8Xv~yLr4|C*m)!9 zOD?`_3l*Z50d4c7N^TUP_I^Ppr^uknF{DaRK$MY1q^ZCz;?v?ADB6lD$lO9yj?Inf z!qFOMhl2W=8r%47LG{C$ve9z$Oq^y|f^U9+cc!tBiESaPSGBll_o@?>3s!QMEpa{M|@;7_(L2U;QB^J&UInSyTxa985cY(0$t4 z41;OR_$m__*!)vpXfa!>X^dc1y@tUip3rX>8Bh3YiJ?KoByLM%KG&?)DN4e9T91ND zS5`pHZk7Z)fL9$6s}VD#PG8Pz0(6C5NNQ3-1TD!f;oBux7a!&#>Tps=z``?mtFdZ~ z6eFcdN?=p2qe5gERT@a!5ourI9skcF_qCR_SRxVsynvp$M;aX_+?9{to93A1*i1v? z&akZJ(9yZclMiPU7gFi+wB|#AdCh$A$Ue(A0S#?Nw#DhGvX)mCd_kF>WQ_;}3J~q$ zmi~EGo@)L>EExCB!f671Rz{>HIpe2~K+TO-aB!C20F6HZ9A-zwkbe1kP5c4w#eCCx z3AA2-&>gtIp|nX;Zc5QCKlLPp4jzJ4YG18qdqS+5e9dSB2ZN$H0kZdZ8h^6lMYQ6i zU>F4aFyDO-PajX0-My?5_-%!hj++=R7)pA3LKTaMLD3#u^$nB$l$Fh7tD&*5lwdeBI{wE+qP`?0As(5F4r^`f;_`osribRz&1 z;T!1la!Iil%VMorM4#T+wZRcTx!{n&@9T@8p(Cx-XM8_WVhzMs1Bje!p-UDbZIK@g}2xhH8&Q>wB=$QxXhnG9s#Pz~2Rzq;N zTqn+5FMh5;3f#Q5R_qCVSe2&E%FXb$p~x0)6Aombivw~KPGHMujO$Qv!CT=&AfgBD zQALcW8x-}!uvYmQZ!JZk8_8z!v@IfOneBy$6*{KZ_Izk|AB!h8n~%Wz7VyJ`k8HdR zc5&4W9op~Sx0e~En_432t_#j}+kv-VXB7XYz(dw1=ti1>AXpN88hCL_5NEhEX&R0< zUeaIcJ`A*tDol2>T@nL3XF0)EFqEgj$VHIs@iiEg^5rHW*CBW=dd=q&n5mid-KJ0`V_kd)KEhea-(MDnVk8Xyi2 zEuOv~w|QU&SfMfK@MMJbtKqTg{AQV@;$Y%h7sF8>m23CFU{Rc1@Gk+x98@6kWVkDzXKvDy!y$a0JDaXPIN@Iin+s zr4rYuzU>uz!b0R~3_o|+w|Hv%*$Tw^i>L9p5rwa2tv%^Zcst!iv6thxkk`RvbK>_> z9f&jn5?}R?yhk>Uvqgp)UBWlQUmi|WIIVA*N@@4l{Bu+GO7-SMuP`dn;JY{6KX)Hl z`)Rmvth4JE$Oyp^ys!h~@2QKGC=6fr$8!?%p@4~jtA_d*Hax8l6qLu-_+Kv{pQz~( zfb$h*ofzs#7#%tLsFnuA<>im6s}!E&?d+LXatmgoGBPsCuf1lV58eqbz_f?xxH7ic zX>kQDVG<9DHa@0Lp<3gQ&W)d-A~mb&mS}p($`ZEDgOzt~^USn;S2sA+WH9(vT#hFE zZFccRp$gzpe=qhHt}Rw1;rin09kCQti!UqcEXV7itUfz@el)oyhs7uo(G09Zxz2ds zIRn@?!wc%UV+R~R^+A77dHz-fk^iYU4zJkB3Ly=0^L>!2rHt=)o>+Z}hnh7%v{A;G zdvR`CsX@3d0y*Ma(BdeEKBy$zt(sqBZ@D#(rhEnewW`$;2WF;000D)5`A>gSVBS|X zZF4i5Ups>LW$jei^nF=_e{EC8H{hE5ETJ<}E_$iQ( z&MIQdb7hSJrOu4u=FcxkteBLU_}i031CWTMb9my=<%lDJLy(f;G~X%|;FZAQe5-qw znF{vn5OqXK!e07!dt=)>5I}IbvljYuQN$UJD+9A@u$Hh$LWU8s?@^e9m`61{&9#GM zE4u8&Qj7r4;9FAl8t4sap$)0WOCZRkNW>DS=)JZizyczw)X*?3CCL=D2T2qrt8p}Y z=L!p+r-VoHgG1kYmk!A-jEi>13gc3MEQK9>h^JCTG%>NViP{#&%)d8n)}Ikk{3wku zCBrAGr>lQ<_8n_G6jM2AgwTBSUorGo9{VYjgr?ReT(t~mAKr|ASRtp znOG+9TbnGoJWYxQ#sL{qHNj+@x$f%B`Nr_0s;L$cs`BmTLYq(L$@W#2+tNW*wrd4c zdNi*xl(h{Z&8~#W;Ari&<}~SCxt;1k^8W5B-W~bL(GMtlFbZCdI*=1-OSd?4|D(!C zclk)MQ5XBlafz;;;?Gp>1{fdbq0L7vVRykjQAG%NK_lT0 zc?``ENYI;4S2J5X-Lu!HS2bt9vEY~b_Ds5JJ$4Wc>(Q-kC?jVxFPMHTgLxj!s;QT4 zb_kOi)S!T0A9|LdAK<`bei$kILa{YI0~v;$#9yhXG>5D7!9;$9xU&l?k#QSsRe=uH z1>E20Xi6JcJ&NmeXl>Ae4d3#!J7vmg<)vw*Wt|B)g!qxNc01D(O~K{&CfR0 z4H=DK;wat#C0pY`=@Q&}-c`%^PlQa_-|7+R`{f32;d5o`qKb%P(u08!KJXnAq;(}X z^>%=d1}Olgk=E~=m=!$G9F3x7qxH_MCUE}zqKBE+VuOCBfpliBiIi7^B?K>TPPZ5@ z_X{$?Ad~l*V-SoCwb33Oh3p=7vu_j2{qLaz>^;_J&zT@f)J6>+0hZ2a0Y*|$f zW;%W#XmA#Kp2ZiR0O$gXFv*e~2RNJta7faY?!xE{m|7zG3xrQSepL?|w~9b8r~R;U zM5Lw1h7_+1u)(hDz@t0a7RfZZ9?(!soq}3S%>u*(1M#fI!ur@rn?=|QG`Ui~ayA>~ zEME{rD~abn;Q8)UOyxHzr$jEsN(-V#jUp&)ZdPy}jnVbX8|n?TN*zJpry0Mnb!50B z1X^m0%=xKkfR>>W>@Ex><3VIuLsZoTsGWq&npN&v+&nN71_N7}dKmG5<9aYOouJ*- z6wsVur=gMw&~XQ5+ie z2J%cHngaax!iUV4cW2o2-sg!d(hu)#15$eob)54_5Y`XB|-3(1>BfM)b>{Qw3qYP zr!Ji1=&nQ7R%!WQbmkjniMtyo@kra1O0|Hqd(vuE&o5YgfOY{lDSDAtb zsiWyJucG7%{n{86V(I=e1kv=dmkgYB`i$sPC+Z< zE}fvt5k74@Rp{v017~h{XnWa#iJywXT><7}M1VD%Zv@YMVv3lX388C z>7-WgaHA+oC2oFyoj+gSpS;d-NTzc1(mt<|^n0D%0*BkS(e>BkbZerF^o2bWYi0yH z)hP1$cqsn$61gSD^9L*#%N>mZ8mONbF?Ec5SOduc0a84ThSZ;RXtXQ)2;a^C&02n&FepIAl#&wdGx8H@DMyu^p@KA2mcjDq=s zE@4FEQt%v=_u(Kc?Mnp2Lt@r=ehoKOfqNcLpsvJES7A5}Z3>-~D*Ro+fzfZP`VYa| zascKl?J%1YNxwEJ0w4yEkREox#+lMrQdZBihz~oTecQ5M=C~Zq=Fb7tKn$>kL5Sqy~{&MX2N$x`bvq>Z#Jz_mbd_LB3KKbYqr zG~kc~o(P;y1ue9HWK;1pbF5?{^WeSYY2dS2S;Na?AUS)sv0r)1gC*Ybcv%s4z`OAkpv%+7`? z8;#YYRYGiThLJyg=zy0?I&M~+2O_%Z2C5I6pwBNP@A3M%Ufhc_Ba8Gv>(<3j@H;P$zhY2o%B|1uoK@VltqYI8GlBLXgk}d(u6K zm5&#VP(tYI(TAX7Qc#CD%S4wci8d^n(W_S89vwL>8z5&<25QbHJB)!`7s&B@{Y#2n> zUqG3V{p$hqsN4{U3@^g&?We2~Ebg2g7R1+B$N^y^j?fm?g?OQaTtTSQ@p=y6G@row zwc%P(b$1SYtZos@5gnibpTWOSl}9NcCs2M)u7=fhjr~f2ylJ-H0gN?Al^g){IUa-P z=tWhI?c`n#_RHP1<+=0*Ja)77Y5g-Mg<5})X!qm8L}1>k@ud5{si-pAU^&SfdRx$q znSdjGjchReZgso-$zf@ceCb4*8#K=L-T=Vzz_zquxA>}!IGhzapsa^k zXST)-)8$1&kZ~P4J)~0gsc15ywHlr4_ZopIsO!DZLK%KSk@Q1sW1YIv{z57Aqtiq^@o>(|Y#Oo0o$$)Ibw5*=zey=*ckTtAI2{i>jVCDf- z4$pQqqODFndm_DYNb4t&NR3=EphRi_qruq2r4x0~Ba>f%+z%vTK*ha|546cys9zQ6 z0qPhv>2ksif^Id=Kq!t#2L`Nz&HvJh!02ylKnVm|784T#0(+%Xy}K57LU=_F$2K^1 zQZFUYR!Y${9&<6HCIK&=gcb@M15YyMnJ#+x4mV5|gWo z?{*lsZqk-SN8|`&sAGsGqC~8Gfn=-X(QpBU8>_e+?|vUpo&s>x-d6uLg&UoqQwM?r z0pXGTF@^sT2l>p;=70Jg7WsAmido1Q*qUmYX&RbXQ``KJq_Qy650nrS_y~>h%a`|2 zNRU_R{k!%3euH{<{Q*TMlIQ{ffxJlkl;L}SL`6Zt!6m}O#-_l>pdrQ~z$d07#s5x4 z%R)oW%*cfGjfadwnwgECl}D6`PliK6lkYnzKO3V2Ck-D5uh0)RIi7ElyliU1Oqycs zB7#DKA~HXvlqC7NrG+QjphC zQq@*aGEvkrRMNB6ljhcz{i&xYW*{SKq#$6TB&@3}XQ3iup)RALrfI09Vx=K!tEZ@~ zrKPQFsB2(itgB^WsAFtwtf6V6ZDgZu;%sDUWoYGWYpCsLY3ShSsBY$=X6dD2;-O>h zrD+?e>lkWe?QLQgWa{8+;uK=!5^3k+ZRr+i<`r({9q;HBXzdkk>6>U9kmBqc2Ig+>uMY2Y8vF_9Pee8;BT7|Y?l@4m=obr5bfsY z=jRg~6%-m35}FVk6(1Agn-mokA0O`*mmiQ)8Jm(5npu~WT@YW;P?YGOlM-8*5|Eb_ zUX+zsn;BY{pOBxIn_XO;UD8-wQdLmdR8yQ?Syt6pRa9T!5MR=fRMwSR*_&0}omo4W z+c;8O*IC-wQ_?b&-!f5I-%;J%Q`I)u)YetfIa}Vn(9|_p(=%Pww^TncQ!}vA+&9@W zIMY13(m1-+GP&DTn%GyF+Fg^=QCrm4nBUz{I#`=A+L$}sT-?)AJK0*$(^=NnQPb1i z+BeWX(or+g-84GbHrrJ?(_1^)*E~N^Gdt9>)K|4KShGCRxH;0WKi$?p(BCsMJ2o*k zIJGo0(z7@u&_J4b}_xYJ-v3gxVAO2aX7Piy0W>uymP#Abh3DGy>{`kHPf>> zH?X(Vx4S%YJlA!$*mJx(vb{2Mv@y23v2?sOeYCT3xiNmdzwmImy1lcrxp%mCy19LL zak>o>PQxKwD+N)+#QjR2cHaZ10LuynL1x4RgRr;?j+T#W83+kvQv^5310U?nIp zV2<_q9KeVZN0?d<#&ik>YJB6DLYpADT5KcUGohU#!}@GT6yL|!t4qAw#(J5~O#PuZ zO2&gwGpE4@wI3-LET7kq0fy*sc_3j9UWl5$Pl$e;sM10gr+2t`GD!PYXrLjmqU}DK zf@rV3=sZ_V5cPq8vd$Pp`fl`?(C13Fh&3a8p^niwIZyGDcl5y#5FagKuOb2hau~mh z#TMUp8QB&=IAm|RnU!XBO(NuI&U4{nxYwldd1GJkHhX1dK4> z8!DV_T4Od^UU z3^q_zs%tTy^Oc>$2hF>~k5xG7`y5C8AB0?d^uMfe&JPb9JLFH}nd4X)?dS18qOS(u zoM+_-PuIS7q%B%g$jn7Q;KK(mh=W&+JuO*^2s?9^U$%O2gXO z-}iru(8q6T=9z%$)`nwa|0n%3?KeAvjops*)pY>5V)f@As`RTv=oBs;t-yqjN(S@G z8Leo5C+KyXo)TkclL8c#N4_yG8dCvV9Akibg@MAVN+;Y=afWxDD$=p?WKVr|N&UrIaMv--p%mIrxr z)GM7e|4~|!BnrQ8+x!U>YYG!xHM3D1^3P ze+42RLJN_r5z@VlGAdJA1#~l#$l@e-qZV{TML0+R^dj?FXzqv%G$t2~N%r+Z9>H3r z?18!88NzMMDaE)F=lFkLudDzTGTEnE+mTjv4x?wGQo@kJpasMzE4^rNiNFs2qpp$r z*FHo)$j?R4!pLb;^{TQ4Vi}|wUsV;QzNh3CwfLobsF|@^3JrvO3~=R$chZTJJS|F1 zLk|)Hh6iiBlK!cAUf`=PPQ5hoGEOo|*; zgjR3KZKge}5rF}6jt2Jz7n>*>J9+ICsUsaX3j}x4bsn;_@ng2d*HOqs|4el>%ll#5 zp91o{*qeJF1q!B;XLHSU=RjkaF=?%iyqjIjwpiGWo<3aA-R&C^jjcQbREI+^RXcSH zPoF*33M6nqkZPt&HF6T$VAM0rIJl1!tL=QVpiXQ~ON-LGWJNGL%9cKg)_nY0Bv&zk zgLPi{DsWI54AVlY)_FwZi7d7rXr7 z8Q&m&Nd%+`fdJ2B^V_yb7BgSzZie_(dXuJ^P7Ar_ReGZvb5;uvo zvfj4B?WfK)9q#6!-dbx`NR_q$hr37P5pSs~AW-!2|sAVH}L*Lqge5%tbtL>Ba z>Uu@CpD3eg&$B5*6w=QGj2*U;hn_eWUlAL2?Js;4O2#KKb@?ciTn}>aqpG3c(#yF1 z4a8PgGOQXfN=Dy2x}n~Y({$(=o0B9hDeGNb>mg|06O|*tmsL3|)UP4OvCaL~XV~Bc zXKy?xCw55Pb%}HAp2KlbI=!IkXCB`Qa68oX1sXqrbgl~1%g6|pF>wI1ZRI#OJXxkYblWZZOfMM6-_KHYVF(%XZ z2#zS{R^oiHZu5vZ%BeJHn~j3sUf}Pu+ZT3Mk5HqEEvO|bgcuMB9EwLyBPM>TDiq|) zYK#o2MXbD>sDQz%zn)9_8kHgwMd7bSy2X+RunK+%dwiuk-ay_tJsMzl`0|mKx~spC za&B_i1fqx#TxVl7N`083$c=Jx7n;fZO5TT`#f?n1RL{JYhn%P$E_EaGUb{^>`9HQp z=Y@%z9f7VTKN@W4U(1tamHQXS1%7ZciA|jHMziP-}2nzBi^sQiy zAy2{~t8h&Hh@nLUN92B0|B`G*!>EppeK`Nbn8AMcjiP^e5;8512x-|WtF`e z<2(HhU94*U;h-KLrM}lKgZE}oS9<_m*3!q*ASD~4m_x5#sSU$?(E=&|u5XpFA>ejM z2PCXZGP;9|hgo*{^FaJOACf8@Q49JFlF((&FjXq_L#VD2gT&UliB-e6rDJX8&kS2* zhVIzi1`Lb^NjT=$)u5FR1XMP&lO=qR)THcuLIaDyvteSJd08=YdoJ9ufS}MzpIsI! zWzMHtD*Nw-->GA$I(6GU{Hh111&#B3siffm1trXBLTWO0Fp4T{@kHb5_32XqZo6oQ z*&Axcv|}s`aFCiD9UeuKR|T}Ge6?f>V$)Y_0t+)x6MRN5!A8Q$eWM1Zi|Xh+g-g`o zDLO0N_1Y0=v*dRLUrP_9DSgoQS z75c#noalhb=@Dz2BZr7`#9BGQ`XLNEWgUbNDlVsS-Ak?YbGUm{-W~rqY!OVtq&)y{ zPB7LIDqq-kq2eX($cqKpkUvn>S^$nIB25X_7c`leF7H?8MuaZZE#|1RE%2MzMX4fN z)|=gB19rf=g_LH^nK#@}ItXMe1QXvWkE)7$m!VFJ>}OxB%`qvI6kzh}RD&Wtn~dn9 z)*^yDU0i|nHMmzCGaVMvlOmKe9hnRsTu1XE_b@lZeS z`bHj!e3N3wVj5pO_pD1+T?wqC$r}4^Sg)M9Zj=s-9J*+#W@F?`d3@@}5bwGmd%QmD zn7ssvZO~)-!c_9{M2^*FK_U)YK^ynY)c@m&DWe2-bMJ>W5mWnoTt?k5$zd=*b%QY_ zQb=qrzf6audA75Or(`^4mx6(+{Ity?6U%3=mNc82qqH1g#VwCO@lV>j1q-_QG^-~I zc^nm*lGlRSY{~r9lGXFH?yb5J5Qrkf%8)+-W(AebpiaTvcyk0&hO6} z;GR*Ps&770&7flD7XZk^2o7EnhJ-u;=;25XA#~;EwQfb4)QvQX*p^&ZFtOrrf%Xw7 z#Rq>ddfsBmM_6RC`5z2`gG_@dN15)+oiHpnVS1PYcaW-2_(WOuT4bL-5-{-L?tFe) z=C~vT32PPRq5>TFyE)&i-lba6rMLySOxO`+h*u@#5$3h{%@&nP6HH%g06LjE?O=Na zkJi@>eEneCIS?@hP#b;IxF*x3I2G9eJvifB3zZ?2j#pz+ANBb@IAY7kDAV!j;IsuT z;T#gPwoIG8Eo%R4)I0R>aP2~XkWc&iyc{0vcF_cG^h7^VI9{p;DRHN%U$#_fQsp5l z1hatnRwiITa83EtkAi#7CKScq)Kz5$p0db87LdjjDblUGADGg=~_{7Pc zP6Y0Ai~#xWw*(U66XPx8*6{jgaw^LETcUh2KPZL7_^JP!&AoUzhn08 zt)tC3&EvMLDwsjafy~geh`8|32#8unRkqwJ3PKiHyrgS6rwJH6n`u6RqEQV0=)7wz z2VAG7e1dV?`c}lbVAi~J16}ILYlR`Riafx1=CFT0TOWMQ0pK>>cv9AtK--pJqxyVfZ+uRS;q3wq+ z8dcV|5;g`24ac^|AO^)oERY5X(4C8R$cO?nE+@e0>Z$qgKMrkx@V>+qxH!?*4O`~q zGhSwJ4-JSwI@GnKBE|WN8?zZ*b6FHRk!8ZrdCX)u`HSzq^k^AmReRsqm>3d&EPt?3 z#UpP&edv1PIdhj#j0Y3t!Kr9Q(sG{lM7tFk;(va+T>h6^Iw0`njpm&{`W5V#TN)Sy z8R(x0`oG%exBNlZ|97q5Z~T`#`}ecVd-9(N`G3v(x7NR-1pN)lZ-V~+D@w=Tp!_E6 z|1-)j0{w5feNX;-iT+IB|7VF|IbK&wP@*Ykp6rC;Gc1R9Rc_)h#>!G9sM5%0{#o^4^I1^+3vrB6s>En)A`miKci|Ki5~yVjp+Yrn!YzeW8$^7EU3{qK5z4)6aW zwf&aw?`Hpr;`Z-~e-0}BwSas`f8_%Fq4`fir{7sZq5pFT>JOAZs_DiOGQT0#W;oyhR+p@0AAzE3*o)W4qo7kfS^od5s; literal 0 HcmV?d00001