▶️ 完整的 ZKONNECT 錄音：{RISC 和獎勵 — 正式驗證 zkVMs} @JulekSU 深入探討了 zkVM 正確性的未來。證明的健全性、電路驗證、基於 Lean 的 zkVM 驗證等等。