Smart contract verification involves two aspects: security considerations and errorless. It is performed simultaneously on the source code, bytecode level, and even on both.