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 and eWASM. Welcome TXRX to the table Whiteblock releases gossipsub testing results Stacked spring! Conferences, hackathons, bounties, and more Runtime...