Alexander Hicks2 talks by Alexander HicksPanel Discussion: Formal Verification & Fuzzing moderated by Alexander Hicks, Ethereum FoundationEthereum's ZK & Formal Verification Endgame with Alexander Hicks