Este é um marco crucial para verificar formalmente os provadores zk - uma etapa essencial para estabelecer confiança e verificabilidade em todo o ecossistema ZK.