Verificação do código-fonte

Um contrato é implantado como bytecode compilado, que é o que a cadeia executa e o que um explorador de blocos consegue sempre mostrar. A verificação do código-fonte é o processo de publicar ao lado dele o código original legível por humanos, para que qualquer pessoa possa recompilar com as definições de compilador indicadas e confirmar que o resultado corresponde ao bytecode implantado, byte a byte. Quando corresponde, o explorador marca o contrato como verificado e mostra o código legível. Essa afirmação é estreita e exata: estabelece que o código publicado é o que está a correr, e nada mais. Nada diz sobre se o código está bem escrito, se foi auditado, ou se faz o que a comunicação do projeto descreve. Um contrato não verificado é outra situação — não é prova de má intenção, mas é a recusa da transparência mais barata disponível, o que significa que ninguém fora de quem o implantou consegue ler o que o código faz antes de interagir com ele.