我們的做法
安全就是功能。
鏈上程式碼永久且公開——一個漏洞就是頭條新聞。我們以最壞情況為設計前提:經威脅建模的合約、完整測試、外部稽核,以及不會把金鑰交給任何人的升級路徑。再圍繞其打造索引器、儀表板與託管系統。
- 01實作前先完成威脅模型與不變量
- 02兼顧 gas 成本且可安全升級的合約設計
- 03外部稽核與持續模糊測試
- 04妥善的託管與金鑰管理
能力
我們打造什麼。
智慧合約開發
兼顧 gas 成本、可安全升級的合約,以威脅模型為設計起點,並依不變量測試。
錢包與託管
冷金庫由簽署者法定人數與白名單地址把關,金鑰永不離開裝置。
資產代幣化
股權結構表上鏈,轉讓政策、鎖定期與持有人上限由合約強制執行。
許可制與公有帳本
無論是公有鏈或私有許可制網路,都採用同樣經威脅建模的合約規範。
跨鏈橋接
附健康監控的認證橋接轉帳,跨鏈結算,並直達 IBAN。
索引器與 subgraph
鏈下索引器將合約事件轉為可查詢的資料,供您的應用程式與儀表板使用。
安全稽核與模糊測試
外部審查、持續模糊測試與公開測試網,確保任何真實資產移動之前萬無一失。
合規儀表板
每項政策檢查、放行或攔截的轉帳與鎖定期,一個畫面全部掌握。
實戰現場
再看四個工作畫面。
真實的產品介面,搭配示範資料。
我們的工作方式
從規格到鏈上結算。
- 01
建模
我們梳理資產、參與者與不變量,以及各自可能招致的攻擊。
- 02
建置
合約與鏈下服務以小步快跑的方式迭代,並依不變量測試。
- 03
稽核
外部審查、模糊測試與公開測試網,確保任何真實資產移動之前萬無一失。
- 04
營運
監控、事件處理手冊,以及值得信賴的託管——移交給您,或與您共同營運。
成果
這項工作帶來的回報。
出自我們從試點推進到正式上線的代幣化資產平台。
4 週
從試行到上線
0
重大稽核缺失
100%
不變量測試覆蓋率
24/7
受監控的帳本