▶️ Gravação completa ZKONNECT: {RISC e Recompensa — Verificando formalmente zkVMs} @JulekSU apresentou uma análise profunda do futuro da correção do zkVM. Comprovar a solidez, verificação de circuitos, verificação zkVM baseada em Lean e muito mais.