TechFlow 情報、8月15日付で、スマートコントラクトのセキュリティ分析プロジェクトであるCertoraは、イーサリアムのプログラミング言語Vyperを形式検証サービスでサポート開始したと発表。これにより、開発者はコードをデプロイする前にバグを検出できるようになった。
お気に入りに追加
SNSで共有
TechFlow 情報、8月15日付で、スマートコントラクトのセキュリティ分析プロジェクトであるCertoraは、イーサリアムのプログラミング言語Vyperを形式検証サービスでサポート開始したと発表。これにより、開発者はコードをデプロイする前にバグを検出できるようになった。
8月15日、スマートコントラクトのセキュリティ分析プロジェクトであるCertoraは、イーサリアムのプログラミング言語Vyperを形式検証サービスでサポートすることを発表した。これにより、開発者はコードをデプロイする前にバグを検出・監査できるようになった。