專注於智慧合約驗證的 Web3 安全保障平台 Certora 從 Canton 基金會獲得了 201 萬 Canton Coin（價值約 30 萬美元）的撥款，用於開發 Daml 專案的新開源工具。
這款新工具旨在提升基於 Canton 網路建構的多方智慧合約系統的內部可見度。它將分析已編譯的 .dar 檔案（即以 Daml 語言打包的智能合約），並識別不同合約包之間的交互作用。該系統還會顯示一個合約包在何處擁有呼叫另一個合約套件的權限，包括原始檔案位置和確切的行引用。
該項目旨在解決區塊鏈安全中最棘手的問題之一。在大型多方系統中，合約關係和委託權限的手動追蹤可能非常困難。這給開發人員、審計人員和合規團隊帶來了挑戰，他們需要在部署前清楚地了解應用程式的運作方式。
智慧合約安全與驗證公司 Certora 表示，該工具將有助於實現流程自動化，並減少安全審查所需的工作量。該公司計劃以 Apache 2.0 開源許可證發布該軟體，並將其整合到 dpm 中。 dpm 是 Canton 用於建置和執行應用程式的命令列環境。
該開發案也旨在幫助金融機構探索分散式帳本系統。銀行和基礎設施提供者通常需要在生產環境中使用區塊鏈應用之前，對合約行為進行詳細分析。
圖片：壯麗
