GL Ventures

2018年に設立されたブロックチェーンセキュリティ企業であるCertiKは、形式検証とAI技術を連携させ、エンドツーエンドのブロックチェーンセキュリティ監査サービスを提供しています。形式検証と手動検証を組み合わせることで、スマートコントラクトの安全性を数学的に検証します。さらに、同社はスマートコントラクトのセキュリティを強化するために設計されたセキュリティ重視のブロックチェーン「CertiK Chain」を開発しました。

2018年に設立されたブロックチェーンセキュリティ企業であるCertiKは、形式検証とAI技術を連携させ、エンドツーエンドのブロックチェーンセキュリティ監査サービスを提供しています。形式検証と手動検証を組み合わせることで、スマートコントラクトの安全性を数学的に検証します。さらに、同社はスマートコントラクトのセキュリティを強化するために設計されたセキュリティ重視のブロックチェーン「CertiK Chain」を開発しました。