最近的 @eth_proofs 第四次會議專注於在 @ethereum L1 中確立 RISC-V 的提案，深入探討了將標準 ISA 應用於 zkVM 和 Ethereum 客戶端的技術、架構和哲學影響。 這場為期兩小時的會議展示了構建 zkVM 的團隊、硬體供應商、形式驗證研究人員和 Ethereum 領導層的更新，包括 @VitalikButerin。 完整錄音： 演講摘要 ⬇️