To jest kluczowy kamień milowy w kierunku formalnej weryfikacji zk provers — istotny krok w budowaniu zaufania i weryfikowalności w całym ekosystemie ZK.