ニューヨーク州ニューヨーク市、2026年5月21日、Chainwire 発
Certora は、Web3 の最先端チームから信頼されているエンドツーエンドのセキュリティ保証プラットフォームであり、Canton Development Fund から 2,010,000 枚の Canton Coin（約30万米ドル）に相当する助成金を獲得しました。この助成により、Daml プロジェクト向けの新しいオープンソース静的解析ツールを構築します。この取り組みは、スマートコントラクトの挙動を完全に透明かつ機械的に検証可能にするという Certora の継続的な取り組みを支援し、その能力を Canton Network 上で構築する機関にも拡張することを目的としています。
Certora のツールは、Canton のコンパイル済みスマートコントラクトパッケージであるコンパイル済み .dar ファイルを解析し、スマートコントラクトシステムで最も複雑かつ困難な側面の一つである、パッケージ間の相互作用を検出・可視化します。このツールは、あるパッケージが別のパッケージを呼び出す権限を持つあらゆる箇所を特定し、ソースファイルパスや正確な行番号などの詳細な参照情報も含めて提示します。各 Daml コントラクトのサプライチェーン全体をトレースすることは、Canton 上のスマートコントラクトとやり取りする際のプライバシーへの影響を理解するうえで不可欠です。意図しない情報漏えいが重大な結果を招き得る Canton のプライバシー・ファーストなアーキテクチャにおいて、このレベルの可視性は極めて重要です。Certora のツールは、企業が Daml コントラクトをデプロイしたり相互作用したりする前に必要となる解析を自動化します。
パッケージ間での権限委譲は、マルチパーティーなスマートコントラクトシステムにおいて、手作業での監査が最も難しい側面の一つです。このプロセスを自動化することで、本ツールは開発・セキュリティ・コンプライアンスチームの負担を軽減し、Canton を基盤としたアプリケーションを評価する機関に対してより高い信頼性を提供します。
このツールは Apache 2.0 ライセンスの下で公開され、Canton アプリケーションのビルド、テスト、実行に用いられるコマンドラインツールである dpm に直接統合されます。これにより、Daml 上でマルチパーティーアプリケーションを構築する開発者が容易に利用できるようになります。
銀行、金融機関、インフラプロバイダーが分散型台帳インフラを評価する際には、デプロイ前にスマートコントラクトの挙動を正確に理解することが前提条件となります。Certora のツールは、そのような厳密さを Canton エコシステムにもたらします。
「金融機関が本格的なインフラを分散型台帳システム上に移行するにつれ、スマートコントラクト保証に求められる基準もそれに合わせて引き上げられなければなりません。Certora の Canton Foundation との取り組みは、その基準に応えるものであり、私たちが DeFi 向けに構築してきた厳密で自動化された解析を、最も必要としている機関にもたらすことにあります」と、Certora 共同創業者の Mooly Sagiv 氏は述べています。
分散システムに対する信頼は、ブロックチェーン普及における大きな課題です。Canton のプライバシー・ファーストなアーキテクチャは、パブリックブロックチェーンへ安全に参加する手段を提供しますが、信頼されたバリデーターであっても、スマートコントラクトの挙動を完全に理解し、検証可能である必要があります。
Certora は、開発者やオペレーターに対して、パッケージ間でコントラクトがどのように相互作用するかについて、明確で実行可能なインサイトを提供し、デプロイ前にセキュリティリスクを評価できるようにします。詳細については certora.com を参照してください。
Certora について
Certora は、Web3 における最先端チームから信頼されているセキュリティ保証パートナーです。2018年にプログラミング言語および形式手法の先駆者たちによって設立され、Lido、Aave、Uniswap、Compound などの主要プロトコルが、数十億ドル規模の価値を高い確信をもって保護することを支援しています。
Canton Foundation について
The Canton Foundation は、規制された金融サービス向けに構築されたプライバシー対応ブロックチェーンネットワークである Canton Network の独立したガバニングボディです。同財団は、ネットワークガバナンス、エコシステム開発、および参加者オンボーディングを監督しています。
Contact
Senior PR Manager
Lauren Bukoskey
[email protected]