8月15日のニュースによると、スマートコントラクトセキュリティ分析プロジェクトCertoraの正式検証サービスがイーサリアムプログラミング言語Vyperをサポートし、スマートコントラクト開発者がコード導入後の監査前にエラーを検出できるようになったという。
8月15日のニュースによると、スマートコントラクトセキュリティ分析プロジェクトCertoraの正式検証サービスがイーサリアムプログラミング言語Vyperをサポートし、スマートコントラクト開発者がコード導入後の監査前にエラーを検出できるようになったという。
全てのコメント