Nervos and Cardano are working together to improve smart contract security amid DeFi hacks. The two companies will focus on UTXO models.