We need to solve crypto security and have this implemented at the sequencer level. The best attempt to security I have seen to date is Phylax in which developers can define assertions which are essentially rules for unwanted state transitions and enforce those assertions within the sequencer. Even if deployed code has an exploitable bug the assertions will prevent hackers from obtaining any of the protocols funds. No one should lose money because of faulty code and this paradigm for every network needs to change. It will be up to the DApp developers and relevant cybersecurity experts to draft and check assertions to prevent loss of funds.