▶️ Grabación completa de ZKONNECT: {RISC y Recompensa — Verificación formal de zkVMs} @JulekSU ofreció una profunda inmersión en el futuro de la corrección de zkVM. Prueba de solidez, verificación de circuitos, verificación zkVM basada en Lean y más.