IOHK Launches Second Smart Contract For Cardano