Certora形式検証サービスは、イーサネット・プログラミング言語Vyperをサポートしています。

Odaily Planet - スマートコントラクトのセキュリティ分析プロジェクトCertoraの正式な検証サービスであるCertora Proverは、イーサリアムのプログラミング言語Vyperをサポートし、スマートコントラクト開発者がコードをデプロイした後、監査する前にエラーを検出することを可能にしました。