Hoskinson Is Writing a New Smart-Contract Language for Cardano, Which Holds $63 Million in DeFi · Polylog