美國紐約州紐約市，2026 年 5 月 21 日，Chainwire
Certora 是一個端到端安全保證平台，深受 Web3 中最先進團隊的信賴，近日獲得 Canton 開發基金 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 基金會的合作，就是為了達到這個標準，將我們在 DeFi 領域建立的同等嚴謹且自動化的分析能力，帶給最需要它的機構。」Certora 共同創辦人 Mooly Sagiv 表示。
在區塊鏈落地應用的過程中，如何在分散式系統中建立信任是一大挑戰。Canton 以隱私為先的架構，為參與公共區塊鏈提供安全途徑，但即便是值得信賴的驗證者，也必須完全理解並驗證智慧合約的行為。
Certora 將為開發者與營運人員提供清晰且可付諸行動的洞見，說明合約如何在套件間互動，讓他們能在部署前評估安全風險。欲了解更多資訊，請造訪 certora.com。
關於 Certora
Certora 是備受 Web3 最先進團隊信賴的安全保證合作夥伴。公司於 2018 年由程式語言與形式化方法領域的先驅創立，協助 Lido、Aave、Uniswap、Compound 等領先協議，在高度信心之下守護價值數十億美元的資產。
關於 Canton 基金會
The Canton Foundation 是 Canton Network 的獨立治理機構。Canton Network 是一條為受監管金融服務打造、支援隱私的區塊鏈網路。基金會負責網路治理、生態系發展以及參與者的導入工作。
聯絡方式
資深公關經理
Lauren Bukoskey
[email protected]