Este é um marco crucial para a verificação formal dos zk provers — um passo essencial para estabelecer confiança e verificabilidade em todo o ecossistema ZK.