Stephen DuanStephen Duan develops zero-knowledge virtual machines, including ZKM’s Ziren project.2 talks by Stephen DuanProve Geth with ZirenThe Path towards Real-Time Proving with Ziren [Ethereum Protocol Day]