A verificação de memória nos testes foi aprovada. Isso significa que o binário de produção inclui necessariamente as mesmas verificações? O rascunho mono-move da Aptos define hardened e exhaustive como atributos de compilação e deixa claro que essas verificações não são incluídas nas compilações de produção; o segundo perfil é usado principalmente em CI e em testes fuzz. Ao entender a verificação em tempo de execução $APT , deve-se primeiro verificar o perfil de compilação do binário. A documentação também lista verificações que dependem de contexto e serão adiadas para etapas posteriores. Verificações por etapas não equivalem a uma prova completa, nem significam que a sobrecarga em tempo de execução aumentará repentinamente da mesma forma no ambiente de produção.