火龍果財經：合約安全如何決定區塊鏈的安全_FIN:ECT

由于區塊鏈具有不可篡改的特點，智能合約一旦發布極難修改，合約的安全也決定了區塊鏈的安全。智能合約本質上是代碼程序，難免會有考慮缺失導致的漏洞。合約安全威脅?主要包括可重入攻擊、調用深度攻擊、交易順序依賴攻擊、整數溢出攻擊等。為保障智能合約的安全，應保證開發安全和全面的安全審計。?

Level Finance因合約漏洞被盜超過100萬美元LVL代幣:金色財經報道，去中心化交易所Level Finance遭遇安全漏洞，攻擊者利用Level Finance智能合約中的“索賠倍數”漏洞從交易所竊取了超過214000個LVL代幣，價值超過100萬美元，并將LVL兌換成3345BNB。[2023/5/2 14:38:07]

安全開發

某“SmartMoney”地址4天前低位買入PEPE，當前收益超4500倍:金色財經報道，據Lookonchain監測顯示，某“SmartMoney”4天前花費0.125枚ETH（251美元）購買了5.9T枚PEPE（目前114萬美元）。如果該地址以0.0000001933美元的當前價格出售，將獲得約114萬美元利潤，收益超4500倍。[2023/4/19 14:13:10]

智能合約安全開發包括開發工具、編譯工具及安全編程規范等方面的保障。

BIS與多個央行開展跨境零售CBDC實驗“Project Icebreaker”:金色財經報道，由國際清算銀行（BIS）與以色列、挪威和瑞典央行聯合發起的“Project Icebreaker”成功完成了一項關于在國際支付中使用零售央行數字貨幣（CBDC）潛在利弊的研究。

該項目測試了在不同實驗性零售CBDC系統之間以中心輻射式模型進行跨境和跨貨幣交易的技術可行性。在測試中，一筆跨境交易被分解為兩筆國內支付，由活躍在兩個國內系統中的外匯提供商進行。該項目還表明，此模型可以通過使用央行貨幣協調支付來降低結算和對手方風險，在數秒內完成跨境交易。（Finextra）[2023/3/6 12:45:26]

a.智能合約應采用規范的工具進行開發和編譯，使用安全統一的編譯器和鏈?接器選項，以便保證編譯器所提供的最新的安全保護機制。同時，應使用同一來?源的開發工具集，避免攻擊者在軟件供應鏈中植入惡意代碼。?b.智能合約的編寫應基于嚴格的安全編程規范。常見的安全編碼規范包括棄?用一些存在注入或內存破壞危險的第三方函數，采用智能合約的?checks-effects-interactions原則進行合約編寫等。?c.在智能合約編碼中盡可能少地暴露被外部調用的接口。建議采用進程間隔?離的技術將智能合約進程與系統隔離，通過socket通信方式遠程調用智能合約。

安全審計

在發布智能合約之前，做好全面的安全審計工作，有效防范已知風險。第一，?選擇對應的虛擬機語言掃描工具對合約代碼進行靜態掃描，掃描事先建模的漏洞?類型；第二，為了避免靜態掃描可能產生誤報的情況，應邀請安全專家進行交互?式代碼審計，避免重入攻擊、未授權訪問攻擊、Solidity開發安全等。

安全測試

智能合約部署前必須經過大量的測試，在模擬環境中對智能合約進行攻擊測試，挖掘可被利用的漏洞。

來源：金色財經

Tags：FINLevel FinanceECTBDCHeco YearnFinanceAlly DirectBDCC Gold Chain

萊特幣