C'est une étape cruciale vers la vérification formelle des zk provers — une étape essentielle pour établir la confiance et la vérifiabilité dans l'écosystème ZK.