所有語言
分享
在區塊鏈安全領域,CertiK以卓越的審計能力和業界領先的形式化驗證技術,獲得了The Open Network (TON)的高度認可,在TON官方推薦的安全審計服務提供商(Security Assurance Providers,SAP)的名單中位列第一。這不僅彰顯了CertiK在區塊鏈安全領域的專業水平,而且也體現了對雙方長期密切合作的肯定。
https://docs.ton.org/develop/companies/auditors
本文將回顧CertiK與TON之間的合作歷程,介紹其中的重要節點和關鍵細節,展示該合作如何助力TON在區塊鏈行業中不斷邁向新的高度。
2022年11月,CertiK完成了對TON的初步審計工作。此次審計着重於TON核心協議的安全性評估,涉及智能合約的代碼安全、漏洞檢測和潛在風險評估。通過細緻的代碼審查與形式化驗證,CertiK團隊成功發現並修復了若干潛在安全漏洞,確保了TON網絡的安全性與穩定性。
2023年1月,CertiK與TON正式宣布建立合作。此次合作不僅是對CertiK審計工作成果的肯定,也是雙方未來深化協作的起點。CertiK的審計報告為TON提供了明確的安全現狀評估,並幫助TON團隊了解並解決了系統中的關鍵安全問題。這次合作涵蓋了TON的多個子項目,保障了整體系統的安全性與穩定性。在此期間,CertiK總結了在審計TON過程中獲取的經驗,撰寫了《Secure Smart Contract Programming in FunC: Top 10 Tips for TON Developers》一文,為開發人員提供了一份詳盡的指南,同時為TON團隊提供了值得信賴的參考材料。
https://www.certik.com/zh-CN/resources/blog/secure-smart-contract-programming-in-func-top-10-tips-for-ton-developers
2023年11月,TON進行了壓力測試,並刷新了世界紀錄,被認證為全球最快公鏈。CertiK作為其安全合作夥伴,不僅驗證並確認了本次測試生成的數據,還協助TON基金會驗證了其網絡的速度。
CertiK與TON的合作不僅體現在技術和審計層面,更包括緊密的社區互動。CertiK與TON社區保持积極溝通,共同推進項目發展。2024年4月,CertiK發布了一篇關於TON的案例展示,闡述了TON如何憑藉全球最快的區塊鏈速度、頂級安全性及強大的社區治理,確立了區塊鏈技術的新標準。TON對安全的承諾通過多次全面的審計得以體現,TON在Skynet平台上獲得了92.19分的AA級CertiK評分(此為動態評分)。
https://x.com/CertiK/status/1781372748096229603
隨着CertiK與TON合作的不斷深化,我們見證了TON在區塊鏈領域的創新和成長。CertiK的專業能力和對安全的持續追求,為TON提供了堅實的安全保障,使其能夠在競爭激烈的區塊鏈行業中穩步前行。雙方的合作不僅體現在技術層面的緊密協作,更在於共同推動社區發展和知識共享的願景。CertiK將繼續發揮其專業優勢,為更多區塊鏈項目提供全面的安全保護,推動行業的安全標準和實踐,促進Web3.0生態系統的健康發展。