この新ツールは、更新の自動化によってスマートコントラクト（事前に定めた条件が満たされると自動実行されるブロックチェーンコード）の安全性を高めるとされる一方、開発者には引き続き元来のロジック上の欠陥を監査することが求められる。
29d ago
信頼性検証中
このトピックには専門用語がありません。