レポートの一覧に戻る

Certoraのスマートコントラクトセキュリティ強化への新たな一歩：36百万ドルの資金調達

🗓 Created on 5/3/2024

📜 要約

### 主題と目的の要約本調査は、スマートコントラクトの形式的検証を専門とする企業であるCertoraの最近の資金調達に焦点を当てています。Certoraは、ブロックチェーン技術におけるスマートコントラクトのセキュリティと信頼性を保証するために、独自の検証言語（CVL）を使用しています。この調査の目的は、Certoraがどのようにして資金を調達し、その資金をどのように使用しているか、またその技術がスマートコントラクトの安全性向上にどのように寄与しているかを明らかにすることです。 ### 主要な内容と発見 Certoraはイスラエルに拠点を置き、最近シリーズBラウンドで3600万ドルを調達しました。このラウンドはJump Cryptoがリードし、Tiger Global、Galaxy Digital、Electric Capitalなどの既存の投資家が参加しました。調達した資金は、技術開発と市場拡大に主に使用される予定です。Certoraの技術は、Ethereum Virtual Machine (EVM) 互換プロトコルにおいて重要な役割を果たし、開発者がデプロイ前にエラーを特定し修正することを可能にします。また、Certora Prover Technologyを使用して、開発者がセキュリティルールをチェックできるようにしており、プログラム言語に依存せず、CI/CDパイプラインにも統合可能です。 ### 結果と結論のまとめ Certoraの最近の資金調達は、スマートコントラクトのセキュリティを強化するための技術開発と市場拡大に役立てられることが期待されます。この企業の技術は、約500億ドルのDeFiプロジェクトを保護しており、Ethereumスマートコントラクトのセキュリティを自動的に分析し、開発前と運用中の脆弱性を検出する能力を持っています。これにより、ブロックチェーン技術の信頼性と安全性が向上し、より多くの企業や個人がこの技術を安心して使用できるようになることが期待されます。

🔍 詳細

🏷 スマートコントラクトの重要性とCertoraの役割

#### スマートコントラクトの重要性とCertoraの役割スマートコントラクトはブロックチェーン技術において重要な役割を果たし、そのセキュリティと信頼性を保証するためには厳密な監査が必要です。Certoraはその分野で重要なプレイヤーであり、独自の検証言語（CVL）を使用してスマートコントラクトの安全性を高めることに注力しています。 #### Certoraの資金調達とスマートコントラクトセキュリティの未来 Certoraの資金調達は、スマートコントラクトの安全性を確保する技術への投資が増加していることを示しています。スマートコントラクトはデジタル資産の管理や自動化された取引に不可欠であり、そのセキュリティは極めて重要です。Certoraのような企業が提供する形式的検証サービスは、スマートコントラクトが設計通りに機能し、潜在的なセキュリティリスクを事前に排除するために重要です。このような技術の進化は、ブロックチェーン技術のさらなる発展と普及を支える基盤となります。 #### スマートコントラクト監査会社の重要性と役割スマートコントラクト監査会社は、ブロックチェーン技術の世界で重要な役割を担っています。これらの会社は、スマートコントラクトの信頼性、安全性、そしてスムーズな運用を保証するために、サイバーセキュリティの最前線で活動しています。詳細は[こちら](https://medium.com/coinmonks/10-best-smart-contract-auditing-companies-in-2023-748bc77a85c8)で確認できます。 #### スマートコントラクトの形式的検証についての概要スマートコントラクトの形式的検証は、コードが特定の仕様に従っていることを数学的に証明する方法です。[Certora](https://certora.com/)はこの分野のプレイヤーの一つで、独自の仕様言語であるCertora Verification Language（CVL）を使用して形式的検証を行うプラットフォームを提供しています。詳細は[こちら](https://dev.to/spalladino/a-look-into-formal-verification-of-smart-contracts-using-certora-3o8g)で確認できます。 #### Certora Prover IDE拡張機能の紹介 Certora Proverは、Web3アプリケーションを構成するスマートコントラクトのバグを発見し、コードセキュリティを保証するための強力なツールとして、初期から使用されています。新しい[VSCode拡張機能](https://marketplace.visualstudio.com/items?itemName=Certora.vscode-certora-prover)により、Certora Proverの印象的な機能へのアクセスが容易かつ便利になりました。詳細は[こちら](https://medium.com/certora/a-new-verification-workflow-the-certora-prover-ide-extension-for-vscode-92dec46b94fe)で確認できます。これらの情報を通じて、スマートコントラクトの重要性とCertoraの役割についての理解を深めることができます。

🏷 CertoraのSeries B資金調達ラウンドの概要

#### CertoraのSeries B資金調達ラウンドの概要イスラエルに拠点を置くCertoraは、スマートコントラクトのセキュリティ分析ツールを提供する企業で、シリーズBラウンドで3600万ドルを調達しました。この資金調達はJump Cryptoがリードし、Tiger Global、Galaxy Digital、Electric Capitalなどの既存の投資家も参加しました。Certoraの技術は、スマートコントラクト開発者がデプロイ前にエラーを特定できるよう支援し、約500億ドルのDeFiプロジェクトを保護しています。 #### Certoraの資金調達とブロックチェーンセキュリティ市場への影響 Certoraの資金調達は、スマートコントラクトのセキュリティ強化に対する市場の強い需要を反映しています。特に、ブロックチェーン技術の安全性が重視される中で、Certoraのような企業が提供する解析ツールは非常に重要です。資金調達により、Certoraはさらに技術の改善と拡張を図ることができ、ブロックチェーンエコシステム全体の信頼性向上に寄与することが期待されます。また、多様な投資家からの支援は、同社の技術が広範囲にわたる認識と信頼を得ていることを示しています。 #### Certoraの技術とその応用 Certoraは、スマートコントラクト開発者がコードをデプロイする前にミスを検出できるように支援します。DeFiプロトコル（Aave、Balancer、Compound Finance、MakerDao、Sushiなど）は、コード監査が完了した後の最終チェックポイントとして、起動前にバグからスマートコントラクトを保護するためにCertoraを使用しています。同社は、航空ソフトウェアなどの安全重視プログラムで使用される技術と同様の手法で、約500億ドルの分散型金融（DeFi）プロジェクトを保護していると述べています。Certoraの技術は、形式検証とプログラミング言語に関する20年にわたる学術研究を通じて開発されました。 #### リーダーシップとチーム Certoraは、テルアビブ大学のコンピュータサイエンス部門の主任であり、形式検証の研究分野のパイオニアであるShmuel Sagivが率いています。Certoraのチームは65人から成り、数学とセキュリティの広範な経験を持ち、コーネル大学やワシントン大学の講師、JPMorganなどの伝統的な金融企業のセキュリティエンジニアが含まれています。 [Certoraの公式ウェブサイト](https://www.certora.com/)では、さらに詳細な情報が提供されています。

🖍 考察

### 結果の確認 Certoraの資金調達は、スマートコントラクトの安全性を確保する技術に対する市場の関心と投資が増加していることを示しています。この資金調達により、Certoraは形式的検証サービスを提供し、スマートコントラクトが設計通りに機能することを保証し、セキュリティリスクを事前に排除することが可能になります。これは、ブロックチェーン技術の発展と普及に不可欠な基盤を提供します。また、Certoraの技術が多言語に対応しているため、さまざまなブロックチェーンプラットフォームやスマートコントラクトに適用可能であり、ブロックチェーンエコシステム全体のセキュリティ向上に寄与することが期待されます。 ### 重要性と影響の分析 Certoraの資金調達は、スマートコントラクトのセキュリティに対する市場の需要が高まっていることを反映しており、この技術がDeFiやNFTなどの分野での信頼性と安全性を確保する上で極めて重要であることを示しています。形式的検証は、従来のセキュリティ監査よりも強力な保証を提供し、金融的損失のリスクを減少させる可能性があります。この技術の進化は、ブロックチェーンセキュリティの未来に大きな影響を与え、新たなブロックチェーンプラットフォームへの対応を拡大することが期待されます。さらに、多様な投資家からの支援は、Certoraの技術が広範囲にわたる認識と信頼を得ていることを示しており、その技術革新が市場にどのように受け入れられているかを理解する上で重要です。 ### ネクストステップの提案 Certoraの資金調達と技術進化により、スマートコントラクトのセキュリティ市場は拡大していますが、さらなる技術革新と市場のニーズに応えるためには、継続的な研究開発が必要です。次のステップとして、Certoraは他のブロックチェーンプラットフォームとの連携を強化し、さらに多くの言語やフレームワークに対応することで、その技術の適用範囲を広げることが考えられます。また、形式的検証技術の教育と普及に力を入れることで、開発者や企業がこの技術をより理解しやすくなり、広く採用されることが期待されます。 ### 今後の調査の方向性今回の調査では、Certoraの資金調達と技術革新の現状を概観しましたが、今後はさらに詳細な市場分析や技術評価が必要です。特に、形式的検証技術が具体的にどのようなセキュリティ問題を解決しているのか、またその効果の測定方法についての研究が求められます。さらに、この技術が他のセキュリティ手法とどのように組み合わせることができるかについても調査することで、ブロックチェーンセキュリティの全体的な強化を図ることができるでしょう。

📚 参考文献

参考文献の詳細は、ブラウザでページを表示してご確認ください。

新しいテーマを調査する

運営会社サービス概要メディア

#### Certoraの技術開発と市場拡大への影響 Certoraは、スマートコントラクトのセキュリティを強化する技術を提供する企業であり、最近3600万ドルの資金を調達しました。この資金は、主に技術開発と市場拡大に使用される予定です。Certoraは、フォーマル検証を用いてスマートコントラクトのバグを事前に特定し、修正する技術を開発しています。この技術は、Ethereum Virtual Machine (EVM) 互換プロトコルにおいて重要な役割を果たしており、多くの有名なクライアントにサービスを提供しています。 #### Certoraの資金調達と市場への影響の考察 Certoraの資金調達は、スマートコントラクトのセキュリティ市場における彼らの地位を強化するものです。資金調達により、Certoraはさらなる技術革新を進め、新たなブロックチェーンプラットフォームへの対応を拡大することが期待されます。また、スマートコントラクトのセキュリティは、DeFiやNFTなどの分野での信頼性と安全性を確保する上で不可欠であり、Certoraの技術がこれらの分野の成長を支える可能性があります。投資家としては、この分野の成長潜在力を評価し、技術の進化に注目することが重要です。 #### Certoraの役割と技術 Certoraは、フォーマル検証を活用してバイトコードレベルでスマートコントラクトコードを検証するスマートコントラクトセキュリティのリーダーです。フォーマル検証は、ソフトウェアの抽象表現を構築し、仕様に違反するコードのシナリオを自動的に見つけ出すシステム設計技術です。例えば、Certora ProverはBalancer V2で希少なシナリオを特定し、[破産](https://medium.com/certora/formal-verification-helps-finding-insolvency-bugs-balancer-v2-bug-report-1f53ee7dd4d0?ref=jumpcrypto.com)に至るバグを発見しました。このバグは、Trail of BitsやOpenZeppelinによる優れた監査の後に見つかりました。 Certoraは、Web3だけでなくユニークな技術を実装しています。この技術は、仕様に違反するコードの振る舞いを自動的に検索します。Certoraは、学術界で開発された2つのコンピュータサイエンス技術を活用しています： - シンボリック制約解決 - Certora Proverは、スマートコントラクトの仕様を一連の制約にエンコードし、[Z3](https://www.microsoft.com/en-us/research/blog/tag/z3-theorem-prover/?ref=jumpcrypto.com)（マイクロソフト）や[CVC5](https://cs.stanford.edu/~gkremer/static/2022-tacas-cvc5.pdf?ref=jumpcrypto.com)（スタンフォード大学およびアイオワ大学）などのオープンソースツールを活用してこれらの制約を解決し、プログラムにバグがないことを示します。 CertoraのCEOである[Mooly Sagiv](https://www.cs.tau.ac.il/~msagiv/?ref=jumpcrypto.com)は、テルアビブ大学のソフトウェアシステムの教授であり、フォーマル検証の世界的なリーダーです。彼は、Shelly Grossman（CTO、Ph.D. TAU）、Nurit Dor（VP Product、Ph.D. TAU）、[John Toman](https://johnadtoman.com/?ref=jumpcrypto.com)（VP R&D、Ph.D. ワシントン大学）など、フォーマル検証とスマートコントラクトセキュリティの分野で一流のチームを組織しています。