V1 Overview

Why are some contracts unverified on Etherscan?

The Solady ERC1967 minimal proxy contract is a small contract, 127 bytes, written in pure assembly making it impossible to verify on Etherscan since there is no code to verify. More details on the verification issue can be found here

Why are the vaults not pointing to the implementation on Etherscan?

The vaults are Beacon Proxies that point to a Beacon contract, the vault supervisor in this case, to get it's implementation address. You can verify the that a vault is pointing to the vault supervisor by using:

cast storage [vaultAddr] 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50 --rpc-url [rpcURL]