Verificado en la auditoría de Certik.