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