@nekoda
Ethereum's ZK & Formal Verification Endgame with Alexander Hicks of The Ethereum Foundation
Following our recent podcast with
@drakefjustin
about Ethereum's roadmap, we set out to understand a few key components of that discussion in further detail: Real-time proving,