Podczas gdy zkVM (maszyny wirtualne z zerową wiedzą) pozwalają aplikacjom ZK na pominięcie audytowania ich niestandardowych obwodów za pomocą ustandaryzowanego środowiska dowodowego, sama zkVM wymaga rygorystycznego audytu pod kątem bezpieczeństwa dźwięku i kompletności. W Ziren od @ProjectZKM audyt z @VeridiseInc zajął się tymi ryzykami, dostarczając udowodnione bezpieczeństwo. Kluczowe elementy obejmowały: > Dźwięczność ograniczeń: Formalna weryfikacja za pomocą narzędzi takich jak Picus od Veridise, aby zapewnić deterministyczność i precyzyjne egzekwowanie modelu wykonania MIPS, dostosowując obliczenia do dowodów i rozwiązując niejasności w pamięci, wywołaniach systemowych i generowaniu śladów. > Testy fuzzingowe: Rozległe testy fuzzingowe i testy obciążeniowe ścieżek wykonania w celu potwierdzenia stabilności wobec programów przeciwników lub źle sformułowanych. To stanowi znaczący kamień milowy, a my pozostajemy zaangażowani w osiągnięcie udowodnionego bezpieczeństwa dla całej zkVM w przyszłości.