Stellar、Sorobanのセキュリティチェックを実施
Stellarブロックチェーンの開発団体は、今後のスマートコントラクトプラットフォームSorobanのための包括的なセキュリティチェックを発表した。これらのセキュリティ監査チェックを実施するために、フォーマル検証ツールで知られるセキュリティ会社Certoraと提携した。
Stellarブロックチェーンの開発団体は、今後のスマートコントラクトプラットフォームSorobanのための包括的なセキュリティチェックを発表した。これらのセキュリティ監査チェックを実施するために、フォーマル検証ツールで知られるセキュリティ会社Certoraと提携した。