▶️ Volledige ZKONNECT-opname: {RISC en Beloning — Formeel Verifiëren van zkVMs} @JulekSU gaf een diepgaande presentatie over de toekomst van de correctheid van zkVM. Bewijsgeluidheid, circuitverificatie, Lean-gebaseerde zkVM-verificatie, en meer.