The Lightning Network is highly secure from a security assumption standpoint, but it has various pitfalls. Bit VM is a project that allows the verification of complex Turing complete contracts on Bitcoin, emphasizing verification over execution. The project's white paper references optimistic rollups as key components.