▶️ Înregistrare completă ZKONNECT: {RISC și Reward — Verificarea formală a zkVMs} @JulekSU oferit o analiză aprofundată a viitorului corectitudinii zkVM. Verificare a solidității probei, verificare circuit, verificare zkVM bazată pe Lean și altele.