原文作者:Carl Hua,Shima Capital 合伙人、CTO
在最近的 Curve 可重入漏洞利用之后,我回顧了我在 JPL NASA 的經歷,在那里我學到了開發具備 reliable(可靠)和 resilient(彈性/韌性)軟件的關鍵原則。對于加密行業,這些見解現在比以往任何時候都更加重要,理由如下:
歸根結底,人們只真正關注兩種類型的軟件:可以殺死你的軟件和可以讓你賠錢的軟件。
“Fake_Phishing138590”地址將100枚ETH轉入Tornado Cash:金色財經報道,據CertiK監測,被Etherscan標記為“Fake_Phishing138590”的EOA地址0x04c64590將100枚ETH(約19萬美元)轉入Tornado Cash。[2023/5/5 14:44:56]
任何航天機器的關鍵軟件里,大部分預算 (80%+) 并未分配給開發本身,而是分配給集成和測試。如果軟件出現故障,飛行器就會從天而降——戰斗機、無人機、航天器等。
Nansen:SHIB是新資助的加密貨幣錢包中最受歡迎的購買對象:金色財經報道,Nansen表示,SHIB是新加密錢包中最受歡迎的資產,盡管加密貨幣市場仍然是一個殘酷的熊市,但Nansen對鏈上數據的分析凸顯了
冒險交易者如何參與新年的暴漲,尤其是在SHIB方面,在過去的七天里,Shiba Inu代幣(SHIB)一直是新資助的加密貨幣錢包中最受歡迎的購買對象。根據Nansen的數據,SHIB被發送到12000多個新錢包,使其成為最常見的出現在他們余額中的非穩定幣資產。在此期間,這些錢包的SHIB流入量為5600萬美元。。(Coindesk)[2023/1/19 11:20:25]
航天軟件中的大多數代碼(如果被歸類為關鍵模塊)都遵守極其嚴格的測試/開發標準,例如 DO-178B A 級。不僅需要測試每一行代碼,而且如果有嵌套邏輯,則每個邏輯條件都是也經過專門測試。
SUSHI跌破6.5美元關口 日內跌幅為9.44%:火幣全球站數據顯示,SUSHI短線下跌,跌破6.5美元關口,現報6.4906美元,日內跌幅達到9.44%,行情波動較大,請做好風險控制。[2021/1/20 16:34:36]
在 JPL NASA,編寫先進的航天軟件的理念不是寫出最漂亮、干凈的代碼,而是編寫出容易執行單元測試的代碼。為什么?很簡單:當你將一艘航天器送入太空時,你只有一次機會,沒有人愿意在失敗的概率較大的情況下冒險。這與區塊鏈的邏輯相同,因為不可變的代碼是它們的重要特性,我們也只有一次機會在每筆交易中正確使用我們的資金,所以我們為什么不更認真地對待開發 dApp 這個過程呢?
盡管有嚴格的開發、測試和代碼審計流程,但這些手段的顯然不足以緩解所有錯誤和攻擊,因為事實上通過測試和審計消除所有運行時錯誤幾乎是不可能的。那么我們如何保護我們的軟件免遭失敗呢?
運行時保護是一種安全技術,可保護軟件應用程序在運行時免受惡意攻擊。它的原理是在代碼實際運行時進行實時檢測,分析程序的實際行為以保護程序免受惡意數據和攻擊的影響。
高可靠性軟件的運行時保護需要花費大量的投入和設計,因為它們是確保軟件不會進入未知狀態或故障的最后一道防線。這不僅僅是個論點,而是幾十年來經過驗證的實踐。
今天在 Web3 中,我認為 DeFi 應用程序需要同樣的高可靠性,并且應該考慮同樣的方法。然而,由于其潛在的限制,EVM 并不是為處理運行時保護等復雜任務而設計的。那么,我們如何提供運行時保護呢?
一種方式是通過 Aspect 編程,Aspects 由 Artela 區塊鏈網絡設計的,它能夠在任何智能合約交易的生命周期內切換執行上下文,以對程序的實時狀態進行高級檢查。Artela 通過 Aspect 和兼容 EVM 的方式,提供運行時保護的獨特設計,它有機會成為加密智能合約安全的未來基礎。
金色財經
企業專欄
閱讀更多
金色財經 善歐巴
web3中文
金色早8點
YBB Capital
吳說Real
元宇宙簡史
來源:中國電子報 作者:高丹袁鈺 2022年第一季度,元宇宙發展經歷“冰火兩重天”。一方面,元宇宙在資本市場表現慘淡:全力轉型元宇宙賽道的Meta相較2021年9月的歷史高點市值已下跌逾40%;.
1900/1/1 0:00:00區塊鏈技術是電影和娛樂的未來發展方向。近日,兩年前被AT&T任命為華納傳媒首席執行官的JasonKilar周二向該公司員工表示,在這家娛樂巨頭與Discovery的合并后,他將辭職.
1900/1/1 0:00:00來源:廣告頭條 作者:頭條君 隨著元宇宙概念的大火,虛擬人也如雨后春筍般拔地而起,更有網友直言:“未來世界的虛擬人可能會比人類還多”.
1900/1/1 0:00:00作者:Dragos,Onchain Angels成員;翻譯:金色財經xiaozou我想寫一篇關于friend.tech的文章,說明為什么我認為它會持續增長,并且還會為Web3社交的第一批迭代.
1900/1/1 0:00:00作者:Rui;來源:作者推特@YeruiZhang1、ETF通過是市場短期內最大的敘事,結果可能是九月份/十月份/今年不會.
1900/1/1 0:00:002022年,Web3正在席卷全球創投圈。3月,微軟參投以太坊生態開發企業ConsenSys,吹響了進軍Web3的號角;騰訊首次瞄準Web3賽道,宣布參與了澳大利亞NFT游戲公司Immutable.
1900/1/1 0:00:00