紐約市，紐約州，2026 年 5 月 21 日，Chainwire
Certora，這個獲 Web3 中最先進團隊信任的端到端安全保證平台，已獲得 Canton Development Fund 資助 2,010,000 枚 Canton Coin（約 30 萬美元），用於為 Daml 專案打造一款全新的開源靜態分析工具。此計劃旨在支援 Certora 持續推動讓智慧合約行為完全透明並可由機器驗證，並將這項能力擴展至在 Canton Network 上建構系統的機構。
Certora 的工具將分析編譯後的 .dar 檔案（Canton 編譯後的智慧合約套件），以偵測並視覺化跨套件互動，這是智慧合約系統中最複雜、最難處理的面向之一。工具會識別每一個一個套件有權呼叫另一個套件的實例，包括來源檔案路徑與精確行號等詳細參照。追蹤每份 Daml 合約的完整供應鏈，是理解在 Canton 上與某個智慧合約互動時其隱私影響的關鍵。在 Canton 這種「隱私優先」架構中，若不慎洩露資訊，後果極為嚴重，而此層級的可見度至關重要。Certora 的工具將自動化企業在部署或與 Daml 合約互動前所需進行的分析。
跨套件權限委派是多方智慧合約系統中最難以以人工方式審計的部分之一。透過將此流程自動化，該工具能減輕開發、安全與合規團隊的負擔，並提升評估基於 Canton 應用程式之機構的信心。
該工具將以 Apache 2.0 授權條款發布，並直接整合進 dpm──Canton 的命令列工具，用於建立、測試與執行 Canton 應用程式，讓在 Daml 上開發多方應用程式的開發者可以輕鬆取得與使用。
對於評估分散式帳本基礎設施的銀行、金融機構與基礎設施供應商而言，在部署前充分理解智慧合約的精確行為是前提條件。Certora 的工具將這種嚴謹程度帶入 Canton 生態系。
「隨著金融機構將關鍵基礎設施搬上分散式帳本系統，智慧合約保證的門檻也必須隨之提升。Certora 與 Canton Foundation 的合作，就是要達到這個標準，把我們為 DeFi 建立的同等嚴謹、自動化分析能力，帶給最需要它的機構。」Certora 共同創辦人 Mooly Sagiv 表示。
對分散式系統的信任，是區塊鏈普及面臨的一大挑戰。Canton 的「隱私優先」架構為參與公共區塊鏈提供了一條安全途徑，但即便是受信任的驗證者，也必須能完全理解並驗證智慧合約的行為。
Certora 將為開發者與營運人員提供清楚且可採取行動的洞見，了解合約如何在不同套件間互動，讓他們能在部署前評估安全風險。欲了解更多，請造訪 certora.com。
關於 Certora
Certora 是獲 Web3 中最先進團隊信任的安全保證合作夥伴。Certora 於 2018 年由程式語言與形式化方法領域的先驅創立，協助包括 Lido、Aave、Uniswap 與 Compound 等領先協議，在信心十足的情況下保護價值達數十億美元的資產。
關於 Canton Foundation
The Canton Foundation 是 Canton Network 的獨立管理機構。Canton Network 是一個為受監管金融服務打造、具隱私保護功能的區塊鏈網路。基金會負責監督網路治理、生態系發展及參與者的導入。
聯絡方式
資深公關經理
Lauren Bukoskey
[email protected]