From 4010b040eebc826941b32c0d722f209255914c0b Mon Sep 17 00:00:00 2001 From: miguelmtzinf Date: Tue, 17 Sep 2024 12:15:51 +0200 Subject: [PATCH] docs: Add updated audit report for Modular Gho Stewards --- README.md | 1 + ...2024-09-15_ModularGhoStewards_Certora.pdf} | Bin 277000 -> 276999 bytes 2 files changed, 1 insertion(+) rename audits/{15-09-2024_Modular_Gho_Steward_Certora.pdf => 2024-09-15_ModularGhoStewards_Certora.pdf} (97%) diff --git a/README.md b/README.md index edcd32a3..6f86d711 100644 --- a/README.md +++ b/README.md @@ -47,6 +47,7 @@ You can find all audit reports under the [audits](./audits/) folder - [2023-12-07 - Certora Formal Verification (GHO Stability Module)](./certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf) - [2024-03-14 - Certora Formal Verification (GhoStewardV2)](./audits/2024-03-14_GhoStewardV2_Certora.pdf) - [2024-06-11 - Certora Formal Verification (UpgradeableGHO)](./audits/2024-06-11_UpgradeableGHO_Certora.pdf) +- [2024-06-11 - Certora Formal Verification (Modular Gho Stewards)](./audits/2024-09-15_ModularGhoStewards_Certora.pdf) ## Getting Started diff --git a/audits/15-09-2024_Modular_Gho_Steward_Certora.pdf b/audits/2024-09-15_ModularGhoStewards_Certora.pdf similarity index 97% rename from audits/15-09-2024_Modular_Gho_Steward_Certora.pdf rename to audits/2024-09-15_ModularGhoStewards_Certora.pdf index 45e8dd2eb8e8e7dac471ff2b47c09d76217dd078..4c7c669104d97f829a48b7ac7d72dfa30763c0f6 100644 GIT binary patch delta 6456 zcmZu#2{cvv7dF3=3_VjQ!{Zqe_ndRjx%Uu4r1au(jU~f%DVc{S!ci(h=8{4rWhhf* zNTm!JG9)Um!4&G5iIU;|Pw&+m&i&uD?pk;4wfFw*-?zX0?Q?F_N5ROCf(f$g^u4@; zWV~EtPRLfsvU?^9qG}{E1j)c;L=8ew1W5%F*!9)a{e2k>bqJx70g&p%AUgt%E~qmF zAd#F%C`@;T=m^6FaiNo3ToBMPbxRUE6+^VOW&H3sM-Sd(>62UfJf*5Mk^UmQBSt|EST4>98}C zkG>CE3ZCzmOf~P`LkK0!Hb!57(GEThq_ngK_F2=|1`he)L|*3Fn&9uwXTykwleLV^0D1|BVCV7QXR$9BL}aCNu@tdywSaq z!YBU=xTzqjM@5`^CF?TNk!HCa+Fxlxxgwo!oPFHM$i)^r`Oazo!{ygnp^PjY1@HWZ zsSnd{r0(*_mru+%Q#6p!)2g%;p(;Qqw}PvA!$5?3iRg)jl)C73M}@)%cr9H_4z`7VESXcw4^-upaB75p z@KYMu%r)=Go5^0u(X0iVt!oS)dQ;zHp8tGeUgB|Lq0u9gy!Q#HZB6UJN$YOq5~;;t z<_jHv=Alv@Ih}^GC*=u&9RoUT3fQY=ddG62+D#P&eMVk9YHvrie3>}kB26c51YSCxA_S2b&-#80Ho%me54ehq8 z9e2^cDuG!{hDyoYD{PdJ@$a&+(}Ape)TYOz8-pL-@S|@?sZFfo)Ew zPe_a3jJABRN>mPwp?K|6bx~w+6L{?DA@OTt zWR5k*GQPxmiPufAqWfhxiI15VIMRJrIo136N|g7^-u&z(rmmkRe4lnE^Kjdfit{}p z+FLjHHSAbFdRS3E>CAP`cg+Knt5*tEJ(OK#XG)IcXvc~2G=wY}^SxE_xc%_GmI)S> zJ}Ve`?YJDDrEvcPKM!7PHabomcfVz133EiWLt9`lfivy)EGnAgfP1|AD$zt(&Vu@-UD&|ZiB*E`!Va= z1*5S-ZBd+E&6|zbv^#A`v|GcLt zI4W6_w{$|7{QmHhFKJ=!ePd$LNcT;F`|l>i^z)0upC@_HUDRyy>1~ zL%+tROefG=!>!{ExA|p|*5@X-ZBH^r`l&Q$-hFUhZ_vMGyP=HAQQ%cDi7or7@Fz2) z;kb@d1%t)+vwz9vw$M0hA({1o!67->_ydOlCo>=qUWheZ*tIA^qq-cv{Xj+7V!`1- zQK%6@A8h7JGHACjw)ZeM=mfSHW#mrsS=eXkX9p`;Je7v;=dbKB+;=wM2b6gfqf7An z#B%k&mApA-bP^F3u^XvttUGW`xx6F&iF&k1&8~vzfT%gMv$DH2ZA{)@Z8gskqdPm_ z<;>Qt4Lt5+p=fdYQ{%dT^A{hiqv z2fxUAvluu*kRcQK$m|5ib&O5P>sLLamGRPiK{zM1-+2cqt2#vW~1%zRQi zC^7N&hntQeY>F3J9hy4xc8WLt(pqsoA}B`EvOW@$s*C7dlo!3icR}WJ?E5BL?3`o9 zM}-9L=r`PnP_)=xt#VILda*|1=-eYAwZhcw9bMf<`g4zh6FDVRuS@J3|LkTE4L$OD zgH9ET*gVVFWM`<-SVGP%;y)ta)o+@5J@eJMn3PJDG_*=g z&7E%PSGLyV*4hry?hWUwh^z43rDH{wx0blhOP+0syHs6~zNJOT&}&v!qfoMqcT9hG zqmZ!qp4sl)jY^=id|P)@m`{%iM?q4aO_OJ(d&dnq?|t-wkb@JF44vJ44yDYRV7os~ z>8+20f{bq+n=Xsxou8^W?UQTk^NYyAvn@%Fl3N#k{$gsy5c0Tr*x^QYaP@ED*bi<+ zntHFLZI3S7(0Ix>WGs@c9^d=*{XR8FCOyD?vhI=+Y0}{(Rm>wkes6!Zw~yZ9OIPZJ z2VdUs+M7M=xcbz5xbEWA#QJi0a9Oq}x{60xDJ8tWu<8$yKns;=^7AaPMPShUltA)u z3MI6->_%Mfvmoun=!75F5=yVfw(ww9AN$O%f3`fuXCYniD)WsttujO<+d?4BXlA0w zPT$#i^v*lxTb&Djf7Zi|rBQ?cyOp5pye3w!@ z{Vw0V`lM)}8TQ@W55sHYmVM6VV zbAk8I<_3%9nFUiWTic#@_ijn`%{|w*Tq*X)2y?7(NWE0G1QY2xsL(W6cZKnyeJ#Uf zW61Aa4DZd+4Epnh#fRCSo`-h1ZLt%hRGhq7)KNP$dv=TQidTsr`sKB>aIJIi!`cAU z*(%$1rFlUf_}TaH?HM=P9c<9*O*vM9%_qAFO}ld$t@^ONa?A*1joe= zpZt;|uT(o0R?lo~dU{%L$lz{ZESDU=;$AiXbL|&{d&-ZGy~`bE(w>eeJ^rHJ*L>#y zHthFUF?lyng`si&+DWOQSdRiL9l(WgAex_~cSp+asIzE$wXZkOQ@JtU&5^MWJB+@l zz&0co#VuE!JMbx3KV{UNSAaINC~aQzIo35%K8CNNc09z8|wa)!P_OmTH)^l8=pu=OLuV%iBd#tLc3+C*ngZ^&-==jZ2^np-@$+GZ27 zE}Uw2-7!Mf?Rj@kXiCdn(wtRy|B?DyL=G)}ce*tj+(!n(egDjWmC#G(p6RL^*HrXq`!XmDoVSF$|OL-4_?i78wJp6hhP?K4uG@Eor)OJD`)WimW0j_+(Em(6&q~`iY}TiJ?aVES zi;-Tbv6<{rSlhF44E?aOx9r`oeK|)o>vOL}uU`%2OjP}K%2;~-L6cg8@WE(7wbBs{ z!LhLFs}$<)Pb4YKx*^cUlS4J#GirGXq@EHF>GkB!Qln#$`cK9}tfX4MY#UFbms*>L zj_Rp0?}%mXQXdd_vC?9IB``8}%=y`S={3jnGXv&RF|k@TC&(*tTsQiO#G3+-i%SdB z!Qu`pOjh|QSg&gu-I zpP%n+=FIZ{xNxSQqhT-C z(#Tp+?QKlrxe-}>IxRy+oX3x|bkuUQk6h_k{z_MJ+*W&Xd}n-)xi&{YNQh@f3fJw| zd-<1n%e>FYmfF2?Lx0Ev(fBLNf&1w{ysC>6#r`42K62vZP3F(3p{N!0)PkzfQS5m3NS1<8b1 z5&{4y6(a;wL1Kj@5=xNb2!8j&zV{uaLM#=cR5FFo zV>}zeayyhtA+!47Mq)82i5QEKP!xcOaG@xO5c`Ruc$Zlc!VvIZ8{T6w^8I$-E(emy z2!+s2fQ0i6mBIegW84T*h+H6n5DU{uAPf--#A7KSu^1AF5>dqqq=J7VgZ(vj0107D z2!jB~QZ)**j1vr!K|;|WPC=p{2*VVX@x%ZChKPs2Acagw2mlB`X7PhaEXaT)GC+VI zKLH|g0RYK(Mj6td_`+z}ya0Ej>kQG7sz%Hjur6o?p$D-;PJOb+gblK-(`f2tk; zq6kZcFd6!LOui8bfItdS9q~gDfQSr)qfg`lOr{b=3V<*aWKD=OksuL2z2t?EX0H&Z2ODvW2 z@1p`h<1jVQQ}B$$al-c%%k5AK$WjbSAybHbN2&PV zzW=)1SN!ocgpdhp2I87YoNe5OgZQstJQm-I5RnVG4Fw1{1|fU_5{QZ05RBD`_md?U zLSX{bAQ=L_KSX>-5Vt|ZRgT{SU;2ci$z&?<7c$u2@PDn3sD!u;pA$kbi~~k!2`;xd z{zN}A3KCI;VZyS*@yB%;mkVMr4&lH1^c89t#+NkF59b0)fmB=|iGEZFA^IWsfMUdi z_-KEF<{xAbkV+IOT$TaiLkWnpi1;*w?{S1kLfl5Be!JYEzk7!(I+dkDDitI!7}sxr dxbtxvL|jg|4VR?UDwNA;9hFx>!NA0j_kXb29TWfn delta 6412 zcmZu$2{cuG_wEYGT*&Y$bD7v)+eCpS7%Y*S7a>@87eZ{p{o1*sq*%UpbRS!lmv=5j;}1!17cg zl}b*}N+B2_p1vneD3D2H1*enl?rx`i6r8Al69sgn!VnpTT&OM}l}G|W*bxFKFcEQd za3VS%adIG1)A>>fR05E0no8h9J6y`2h;F4P+&Z3fo=@jB+)B5PvX8RCalPo=RCcyh zIrUn~i4u3Uv{sLbnRsU|#;2$%VdDwJs=DUA_(mzc=Vk3`dm{148`U+cLH+9T{3{OC z(b@Tpnd|kN*xqun)vvG32>GGIiDARG5&FACp%~`PQOeJhlUH}eB(LT%pp{i>2Xb`z zZbY}`Md!%(5Np_*49BQ7Nn*w~7Nq!fE<1}`Y%8=RdhTs3Ter73Ehl5Ncz7n%|E5Uv z2#b0}_cE6_uMhL<_ap5JtY7o#Ge{F zLQmcpf#YQIqKKg4Ow&ukq&GU(5vi`7^=5W>n+liPlw?kN(uJv`UslS;rs5-Zym%X@ zJia?HfY8@c!|-j+wsB?M;bUAg;oR9fuTq5e=vi7jBA3V1_K&tYeDaTBxbGvH@cag! zRJy)+So03SwwxNSC{9689NWmhy^lJ9=&K0pQ>ay(yECKK7)+_BQ5|!W8 zldi)`xN)}(tcymv2&QHEN1dq=uTrASF-*C5;T@>`XO%&r5{2@I@%{j;Bc zY1mQLJ_UW9d}m87Xp>ytnXFkh@Yd;V_Tal^r^|(R(J@eNl+(5>>|2Kf1#M9dN{m5v z*xoWw-u;SStjHu^V+&_kg`R|3J*yF`(V>yL!<;(9Bl;(tPH#}fHjR!^c9Z1EqDLNm z&?b!7+~$;)QN2LkLTq>~m&#&Lkik>_uz|zC>al|9Q^RKF_5?%cq*%7gTbdm`Lvp#m z&^9kiPS?UVBc0DauQ(PWTxQX$_ldes1L#+K9Qj3KA%B7X%yRc4w`V~Im_54|jO(0T zn{J9X$B)*_ABw4v3@&6FraG5<>EOK!XE&5h{BQv_8 z>0RQo^51-%^An{c|H`ToMyIdJBHoYH1yjFi@ZFLO4SwIpz5bC$L6wCSJ)iBno#K$A z#mmGoZz5jHSUhz}?2O{$2|{_~qm}RPGD|rG&%L*~#93K-l7FJPA9Q;7{k4v>qbm7v zX`~ES%DDr#MJu%QEv0+eRhXVx2-$aC7u4=EXk=^J{Xir3A@8}Bq({y!={8nhrn|cn z_I!(*BnKS2u4xx)r`}}7^MZixdOv`q*;kD5q~-@ET$D6b9Az#$mSFAlNHWGyZ{ce| zQ;~_${sFG^psm`64x&$M9%-I8J94Il`{Zri{=XBX&a$vlJ*&7|B-!suZP)1Bt&pwy zWp+%TH@CH?%p_&CRp|uMT^Ma1R%_o`bQ#o=1=&;Hg|VnRsD?DK&A2A*L+NG%I+H}C zc7D*Y{Oe3rO7}pRAb=%8e>G1)t@`HrIT-!^g1@bx^HVa-z^(zg_lT znP#=(s{w<6zE!n)DUaR9E_SkXMpw=UTwY|MJ{cbyuXnrBn0|>*>HI%++cKSbLrYA< zV+Rgfo~g46s_h6(Za&zUq?xq`ZDr!^o367e*jy+%bM};=IWc>p%A~z7Tgu9);&iCG zWGkaRPwWjn-e~8k>k-YR{@jk){)$rw=B4MCU}R(z6XCt9#J2O&h}a6n_U*?<;!67n z8+LMD924Q(xvY%xOmdXdM|QYo?RcwmWI+73aUiqyiFTHI8d_RWjptNk(ak*yrAI4B z3ZaOXK!ud2X6KQXSP28C6@GZ1!BsK#A`=IDZd-}s#yn?+IBvzA+R}qM#e2V}R=#1q z@qq4t_CKbZ>L#~~+>p`9jm%G0lQ6v8$@5px+17@sg4$1v2JUSpF2!eVi5oubc$Cyt z8U6IH=pKn`zVL!u%_pWCH$`co<{xh)Ki-+O)w1bui24=L2eMChnim9KYS0Rr3s-yI zfbKkIsB+CzB_)J`Cy9UXV=1$yrOIUg9gfx`vVxcPRTSJkHdX9iG>P2YTv$<+mG^<= zl%xg64e8~|$M8kf);Ov18DUq{-JnS%Ddp`@P~<|U?z5PySBnK}`26FmqWaKF=1Yc! z`_pwS%h^p2Nt4Ep?wRI4Xc2Jit7AgKiPOU5IKOIMYhN=cC@0ax+SZ4;QFw3l{C)1^ zdCwzx`(kum0;-oRw{^>9Nvk}MbK9K`&_^Z<9}B!XdMzR(uf;6&f@HZekOUi=dA$FC zwCag?$-5>8sF+SN8vC&inpF0qM@21GUkXfqId-tV6x`C+AS&c+t$k&%D6lZ1NcSIs zJy7r&5!;kcds(ZZU%qm%)Bh(3n2$ML79>;_Ge^j@k&fiA&!uzVhNb$g*x$){*sux7 zdu}qe8ai(i4A?}xWx4v-aVW;OJ6&yuWG#y*FSkOiN|gtY6L>HS3K(HZM|;~%b{%!Q zE)w8y{|SL@hdJ9#-{3o<%?u;eGlDC}HTzEGYow>>x%FrrbfrtAU;gW|PLqC+S4xFN z0#}G{uU)ZR$t^95277%=>-;S{j_KXzA|xUY{!xn0*!pAJ&Z?`obc4lk#jj)s`r=_PY$tx~Zo(x=5xa+Ex#3iGBU|;=W?vQwN7%Fjv$n&d0Ru zQB3>(#^Js9*8pWn|IVVwfNAe1xA))qo-(BCXfXcl$VhL&Ep){CRaI~OlJ1>24hr4% zIcnIavM#u$t~kcW{o(jWx{NL_w6M%=NLGGfEr#v!^Jvad%X@wa^rGy0^yE*)cV+~> zcyZt7%isc9H0gaoeXak5^K{>v@7;5)<0<<}o|_fbi^kU2U-{5!oM1bUc6Dsx2~JBY7C_t8Qs0E%JHbUt#d)h z{VKWY72z!TrnP%JJMZOA6cbv#h4uZS9!qLclw$RE9QIM-VX=L%y1lJMAy~LFO%HHi zoqBq$H&`3m-IuuZq}83ieJ(jSEvnO1dBR+Mpi0IBiau7e5g5?We0S6>7Ctb;S3FkN zwLR)JvAlga0T@?`D-)S^6e&d;D~g^ADNcRZ*qyX7xNMuMkZM+zd97lw(gI16ZROSv z=Grn6x8}giUD|4-@KSB4Y_EG6%Y67qNcd6PNDfif+3?}v0qnqC@&uHSlRP`YTD zTKu#_ZQ@AT#O>-H$GaCIob#4e(htcegtKjFNsV;OD+?4T4+^olq3>tf6&PnV!`#Zl z){=Gd`+(@usqJIy4|JpVq^H&`?HkqELDhybR)>e0Q}Q#x{A|mlCKr9XU?nMCLi6l_ zvzBlCvm{--UtdWxek0PlJDD!K@;MF-7S|X4U`#C)^n;?j`^bDcM)EB*qanpfoZc0sea?WlYbKjgI zYdUjWXuiH#{t>s`SOv1a&sZHUQw zeUSKy=hwJZbk)jtWXm35WBD^Xb9CE5v`6WlL!w6HQpEs6gc}jwcHI5qHs0+)*=@!u zQ0Ul08*^I~L9wOwMT zcYL%RbNf_Lhu8#9;awp^kdjoHpfau0S@?4Nsrj1FXwF16vx|qb&na&g2Y2jKtavT~ z`=zTE&)wXXvFl7FFIrKM85GoAPI#T~fFhYY2f{*|l{6qu+ zAUvuF0wRAP_yd0gfdCNKI|$;5I_QG3Phk^(}ez-QW6A^@el$K@&6rv`2i3F(~KvH z1cCS@5CD^LEg_L8Bpg3bA{I)7@HYX7*!v`WOF$5&@gtKcG~)?Us5k@x3J3x?Zecyb z{7_sH00!~FB#2DJw*+%T$hagV0HM$n2$4Yme-RLC@vk6_5d@DG8K3~T^H36my`;k#Nn{995d47@Y*cVIY#=Cj6n^jnPihFF z{zqL3@=I;+9NTx{)V?&Ee3{i