OpenLayers is a separate project, and not part of OpenStreetMap. But yes, you can use the javascript over https by downloading it and serving it from your own servers.servers. The map tiles from OpenStreetMap are available over https.

OpenLayers is a separate project, and not part of OpenStreetMap. But yes, you can use the javascript over https by downloading it and serving it from your own servers.