▶️ Pełne nagranie ZKONNECT: {RISC i nagroda — Formalna weryfikacja zkVM} @JulekSU przeprowadził szczegółową analizę przyszłości poprawności zkVM. Dźwięczność dowodu, weryfikacja obwodów, weryfikacja zkVM oparta na Lean i inne.