Designing a zkVM: A Case Study of CairoHosted by DappLearning.1 talkDesigning a zkVM: A Case Study of Cairo(设计 zkVM:以 Cairo 为例)