They are visible, you can test yourself. Open an encrypted zip with 7zip and it’ll show the file list even without entering a password. The “encrypt file names” checkbox doesn’t even appear when creating an archive if the zip format is selected, so I’m not sure the format even supports it.