SHI:Shima Capital CTO的Curve反思：為什么我們需要Runtime Proctection和Aspect_YOOSHI

原文作者：Carl Hua，Shima Capital 合伙人、CTO

在最近的 Curve 可重入漏洞利用之后，我回顧了我在 JPL NASA 的經歷，在那里我學到了開發具備 reliable（可靠）和 resilient（彈性/韌性）軟件的關鍵原則。對于加密行業，這些見解現在比以往任何時候都更加重要，理由如下：

歸根結底，人們只真正關注兩種類型的軟件：可以殺死你的軟件和可以讓你賠錢的軟件。

Shapeshift CEO敦促MakerDAO社區移除USDC抵押品:金色財經報道，加密貨幣交易所Shapeshift首席執行官Erik Voorhees發推稱，建議MakerDAO社區的用戶移除他們USDC抵押品，轉換為另一種更具抗審查性的穩定幣。但他沒有說明是哪一種。此前消息，美國財政部將以太坊混幣平臺TornadoCash列入黑名單，禁止美國公民使用。Circle凍結了TornadoCash價值超過75,000美元的資金。[2022/8/9 12:12:58]

任何航天機器的關鍵軟件里，大部分預算 (80%+) 并未分配給開發本身，而是分配給集成和測試。如果軟件出現故障，飛行器就會從天而降——戰斗機、無人機、航天器等。

Gene 24小時Gas費快速上升，已超過Aave、SushiSwap等項目:Etherscan數據顯示，由元界DNA開發的DeFi聚合平臺Gene.Finance開通GENE/USDT流動礦池后，質押挖礦熱度空前，大量用戶鎖定質押。Gene.Finance合約地址過去24小時Gas費快速上升，排名超過Aave Lending Pool、SushiSwap Router、加密貓等項目。[2020/10/27]

航天軟件中的大多數代碼（如果被歸類為關鍵模塊）都遵守極其嚴格的測試/開發標準，例如 DO-178B A 級。不僅需要測試每一行代碼，而且如果有嵌套邏輯，則每個邏輯條件都是也經過專門測試。

AOFEX交易所USDT交易區上線SUSHI、YFII、YFI、YAMV2、STORJ、DIA、REN、BTT、DOT:據官方消息，AOFEX交易所于9月7日17:00開通SUSHI、YFII、YFI、YAMV2、STORJ、DIA、REN、BTT、DOT9個幣種的USDT交易對，并同步開放交易。

AOFEX數字貨幣金融衍生品交易所，旨在為用戶提供優質服務和資產安全保障。[2020/9/7]

在 JPL NASA，編寫先進的航天軟件的理念不是寫出最漂亮、干凈的代碼，而是編寫出容易執行單元測試的代碼。為什么？很簡單：當你將一艘航天器送入太空時，你只有一次機會，沒有人愿意在失敗的概率較大的情況下冒險。這與區塊鏈的邏輯相同，因為不可變的代碼是它們的重要特性，我們也只有一次機會在每筆交易中正確使用我們的資金，所以我們為什么不更認真地對待開發 dApp 這個過程呢？

盡管有嚴格的開發、測試和代碼審計流程，但這些手段的顯然不足以緩解所有錯誤和攻擊，因為事實上通過測試和審計消除所有運行時錯誤幾乎是不可能的。那么我們如何保護我們的軟件免遭失敗呢？

運行時保護是一種安全技術，可保護軟件應用程序在運行時免受惡意攻擊。它的原理是在代碼實際運行時進行實時檢測，分析程序的實際行為以保護程序免受惡意數據和攻擊的影響。

高可靠性軟件的運行時保護需要花費大量的投入和設計，因為它們是確保軟件不會進入未知狀態或故障的最后一道防線。這不僅僅是個論點，而是幾十年來經過驗證的實踐。

今天在 Web3 中，我認為 DeFi 應用程序需要同樣的高可靠性，并且應該考慮同樣的方法。然而，由于其潛在的限制，EVM 并不是為處理運行時保護等復雜任務而設計的。那么，我們如何提供運行時保護呢？

一種方式是通過 Aspect 編程，Aspects 由 Artela 區塊鏈網絡設計的，它能夠在任何智能合約交易的生命周期內切換執行上下文，以對程序的實時狀態進行高級檢查。Artela 通過 Aspect 和兼容 EVM 的方式，提供運行時保護的獨特設計，它有機會成為加密智能合約安全的未來基礎。

金色財經

企業專欄

閱讀更多

金色財經 善歐巴

web3中文

金色早8點

YBB Capital

吳說Real

元宇宙簡史

Tags：SHIUSDSUSHIGENYOOSHI幣世界快訊GUSDTSushiBytesGENS幣

比特幣價格