CertiK 已完成對 Waltonchain golang 語言的公鏈及其跨鏈智能合約的官方安全審計，并對其程序設(shè)計和運(yùn)行情況進(jìn)行了重點審計。Waltonchain (簡
CertiK 已完成對 Waltonchain golang 語言的公鏈及其跨鏈智能合約的官方安全審計，并對其程序設(shè)計和運(yùn)行情況進(jìn)行了重點審計。
Waltonchain (簡稱 WTC)，將區(qū)塊鏈技術(shù)引入物聯(lián)網(wǎng)，解決了物聯(lián)網(wǎng)發(fā)展過程中所面臨的中心化問題，基于密碼學(xué)原理，憑借分布式點對點網(wǎng)絡(luò)，實現(xiàn)有序交易記錄的永久性存儲，不可刪除和篡改，公開并且可溯源，能完美解決互聯(lián)網(wǎng)虛擬世界的信任和權(quán)益問題。WTC 將構(gòu)建現(xiàn)實世界與區(qū)塊鏈完美結(jié)合的商業(yè)生態(tài)鏈，引領(lǐng)人類全面進(jìn)入可信賴的數(shù)字化生活，開創(chuàng)物聯(lián)網(wǎng)的新紀(jì)元。
WTC 與現(xiàn)實世界資產(chǎn)流動直接相關(guān)。隨著電子商務(wù)和貨物運(yùn)輸成為國內(nèi)和國際貿(mào)易的主要構(gòu)成部分，WTC 通過將區(qū)塊鏈技術(shù)和 RFID 技術(shù)相結(jié)合，逐漸把區(qū)塊鏈技術(shù)與現(xiàn)實世界緊密聯(lián)系起來，并通過 RFID 技術(shù)訪問整個區(qū)塊鏈的各個節(jié)點。這能幫助公司提高工作效率，降低運(yùn)營成本，減少沖突摩擦并進(jìn)一步探索區(qū)塊鏈。RFID 技術(shù)也被稱為射頻識別，是 WTC 的附加產(chǎn)品。WTC 團(tuán)隊使用該技術(shù)把數(shù)字?jǐn)?shù)據(jù)編碼為標(biāo)簽和智能標(biāo)簽，以實現(xiàn)無線電波讀取數(shù)據(jù)。
為了確保項目運(yùn)行符合設(shè)計預(yù)期，WTC 選擇與全球領(lǐng)先的區(qū)塊鏈安全公司 CertiK 合作。
審計流程
目前，WTC 已將其 RFID 等技術(shù)應(yīng)用于服裝、食品、收藏、物流等行業(yè)。WTC 團(tuán)隊需要從兩個方面審計其區(qū)塊鏈及跨鏈合約 :
1.數(shù)據(jù)可靠性**
2.數(shù)據(jù)值循環(huán)**
WTC 通過將區(qū)塊鏈和 RFID 緊密結(jié)合來確保數(shù)據(jù)的可靠性。為了實現(xiàn)有效的數(shù)據(jù)共享，其團(tuán)隊還充分利用了跨鏈生態(tài)系統(tǒng)。
為了確保能對 Waltonchain golang 語言的公鏈及其跨鏈智能合約進(jìn)行全面的審查，CertiK 委派經(jīng)驗豐富的安全專家組成審計團(tuán)隊，通過利用 CertiK 獨有的形式化驗證技術(shù)，并結(jié)合靜態(tài)分析及人工復(fù)核等方式全面檢測合約的漏洞及邏輯錯誤。
安全專家們對 WTC 的源代碼進(jìn)行了分析。這種端到端審計流程確保了程序運(yùn)行的穩(wěn)定性。審計過程中，專家們以程序為中心，重點消除潛在漏洞，并根據(jù)該領(lǐng)域的最佳實踐經(jīng)驗為 WTC 團(tuán)隊提出了修改建議。
根據(jù)以下資料，CertiK 對 WTC 系統(tǒng)有了更深入的理解：
1. WTC 的白皮書
2. WTC 的官網(wǎng)
3. WTC Github
4. WTC 的業(yè)務(wù)流程
針對實際代碼執(zhí)行情況和設(shè)計規(guī)范之間存在的一些不一致之處，Certik 與 WTC 團(tuán)隊進(jìn)行了進(jìn)一步討論和確認(rèn)。審計中我們發(fā)現(xiàn) :
1. 與傳統(tǒng)的證明方法相比，WTC 的 POS 提供了一種Staking 經(jīng)濟(jì)模型。礦工可以在不被處罰的情況下獲得 75% 的優(yōu)惠。
2. 由于挖掘速度不同，Waltonchains 獨有的myX11 算法與其他 x11 算法也有所不同。這一設(shè)計的目的是將哈希率(算力)保持在可開采速率范圍內(nèi)，從而吸引更多人從事挖礦工作。
審計結(jié)果
CertiK 為 WTC 項目提供了嚴(yán)格的安全審計。整體而言，WTC 項目代碼符合設(shè)計規(guī)范且運(yùn)行良好，具有良好的可擴(kuò)展性，不易受到任何已知的典型漏洞攻擊或其他安全問題的影響，安全程度較高，
最后，CertiK 衷心祝賀 WTC 順利通過此次嚴(yán)格的形式化驗證，也希望 WTC 的其他項目能夠順利進(jìn)行。
關(guān)鍵詞： CertiK Waltonchain golang 安全審計
