基於卡爾達諾的去中心化交易所(DEX) 的SundaeSwap 已完成其安全審計，據說所有發現的問題都已解決。審計由Runtime Verification Inc. 進行，這是一家軟件安全審計公司，該公司採用正式的方法來提高航空航天、汽車和區塊鏈計算系統的安全性、可靠性和正確性。
SundaeSwap 在2021 年12 月28 日通過一條推文與卡爾達諾社區分享了新的發展。在推文中，DEX 將其在審計過程中的經驗描述為壯觀。
另請閱讀：查爾斯·霍斯金森：我們的目標是讓卡爾達諾像互聯網一樣無處不在，並被數十億人使用
SundaeSwap 發推文說：“今天我們很高興地宣布，SundaeSwap 協議的審計完成了我們使用Runtime Verification 的經驗非常棒。”
🍨今天我們很高興地宣布SundaeSwap協議的審計完成🔎
我們與@rv_inc 合作的經歷非常精彩——請簡要了解我們的經歷⤵️https://t.co/wqX8C2Loxm pic.twitter.com/eiOACB1de0
— SundaeSwap Labs 🍨 (@SundaeSwap) 2021 年12 月28 日
在推文中的一篇博客文章中，SundaeSwap 指出審計發現了一些問題，這些問題立即得到解決，使審計師的驗證過程滿意。
另請閱讀：基於卡爾達諾的遊戲“醉龍：客棧”的Alpha 演示將於12 月20 日推出
博文部分內容如下：
“RV 審計包括使用基於驗證的技術對SundaeSwap 合約的徹底審查、特定風險向量的識別，以及對SundaeSwap 開發團隊針對審計確定的問題的修復的全面分析。”
據SundaeSwap Labs 首席信息官Pi Lanningham 稱，Runtime Verification 的審計過程沒有經過橡皮戳。他說：
“RV 的徹底流程確定了許多我們能夠快速解決的問題。 結果是一個DEX 能夠安全地滿足卡爾達諾DeFi 社區的需求。 Cardano 的核心原則包含安全性和彈性，而建立在Cardano 上的協議繼承這一傳統非常重要。 通過完成這次審計，我們已經為SundaeSwap 協議的第1 版完成了這項工作”
另請閱讀：查爾斯·霍斯金森（Charles Hoskinson）表示，IOG 已開始裝備卡爾達諾以抵禦量子攻擊
Lanningham 補充說，SundaeSwap 實驗室將繼續與RV 合作，以審查其計劃在未來構建的協議的未來更新。
“我們計劃繼續參與運行時驗證，因為我們對協議進行了未來的改進，並將其提交給DAO 進行投票。 對於任何DEX 的長期成功而言，以安全和穩健的方式發展至關重要。”
同時，基於卡爾達諾的去中心化交易所SundaeSwap 於2021 年12 月6 日在公共測試網上啟動。該協議是預計明年將在卡爾達諾網絡上啟動的主要項目之一。
在Twitter、Facebook 和Telegram 上關注我們
資訊來源：由0x資訊編譯自TIMESTABLOID。版權歸作者Tobi Loba所有，未經許可，不得轉載