最近的 @eth_proofs 第四次会议专注于在 @ethereum L1 中确立 RISC-V 的提案，深入探讨了将标准 ISA 应用于 zkVM 和 Ethereum 客户端的技术、架构和哲学影响。 这场为期两小时的会议展示了构建 zkVM 的团队、硬件供应商、形式验证研究人员和 Ethereum 领导层的更新，包括 @VitalikButerin。 完整录音： 演讲摘要 ⬇️