ChatGPTでコーディングされたスマートコントラクト　バグや攻撃経路になる恐れ＝セキュリティ企業Certik