eth2 quick update no. 8
Keep it coming tldr; Audit and formal verification of deposit contract bytecode completed by Runtime Verification The word of the month is “optimization” Ongoing Phase 2 research driven by Quilt…
Read More »eth2 quick update no. 8
Keep it coming tldr; Audit and formal verification of deposit contract bytecode completed by Runtime Verification The word of the month is “optimization” Ongoing Phase 2 research driven by Quilt…
Read More »