原文作者:Carl Hua,Shima Capital 合伙人、CTO
在最近的 Curve 可重入漏洞利用之后,我回顧了我在 JPL NASA 的經歷,在那里我學到了開發具備 reliable(可靠)和 resilient(彈性/韌性)軟件的關鍵原則。對于加密行業,這些見解現在比以往任何時候都更加重要,理由如下:
歸根結底,人們只真正關注兩種類型的軟件:可以殺死你的軟件和可以讓你賠錢的軟件。
Sushi團隊提名新CEO最高超830萬美元的薪酬引發社區不滿:7月27日消息,昨日,Sushi團隊提名軟件工程師Jonathan Howard為Sushi CEO。但社區對擬議的薪酬感到不滿。
如果他當選,將在四年的歸屬期內每年獲得80萬美元的穩定幣,外加60萬SUSHI代幣(目前每個價值1.29美元),另外還有35萬個SUSHI,作為新產品發布時發放的獎金。如果SUSHI的價格上漲超過他領導下的各個里程碑,那么將向他再發放120萬枚SUSHI,即SUSHI的價格上漲到 3美元、5美元、7美元、9美元和11美元以上,獎勵逐漸增加。依此計算,如果SUSHI漲至11美元以上,將上任的CEO將根據其提議的薪酬獲得835萬美元的獎金。目前治理投票為68%暫停。
據此前消息,SushiSwap新提案提議聘請Jonathan Howard擔任SushiSwap CEO。(The Defiant)[2022/7/27 2:41:25]
任何航天機器的關鍵軟件里,大部分預算 (80%+) 并未分配給開發本身,而是分配給集成和測試。如果軟件出現故障,飛行器就會從天而降——戰斗機、無人機、航天器等。
數據:自2021年10月下旬以來有2634億枚SHIB被銷毀:3月24日消息,根據Bigger Entertainment所有者Steven Cooper的推文,自去年10月下旬以來,有2634億枚SHIB被銷毀,價值約630萬美元。(U.today)[2022/3/24 14:14:56]
航天軟件中的大多數代碼(如果被歸類為關鍵模塊)都遵守極其嚴格的測試/開發標準,例如 DO-178B A 級。不僅需要測試每一行代碼,而且如果有嵌套邏輯,則每個邏輯條件都是也經過專門測試。
媒體:V神是利用SHIB改變世界的楷模:V神為印度加密貨幣疫情救助基金捐贈大筆SHIB代幣一事激起千層浪。SHIB資訊站SHIB INFORMER也發推表示:有人將SHIB當成追求財務自由的工具,有人用它打造更美好的世界。V神剛剛完全以SHIB創造了一只逾10億美元的基金,幫助印度抗擊疫情。[2021/5/13 21:57:13]
在 JPL NASA,編寫先進的航天軟件的理念不是寫出最漂亮、干凈的代碼,而是編寫出容易執行單元測試的代碼。為什么?很簡單:當你將一艘航天器送入太空時,你只有一次機會,沒有人愿意在失敗的概率較大的情況下冒險。這與區塊鏈的邏輯相同,因為不可變的代碼是它們的重要特性,我們也只有一次機會在每筆交易中正確使用我們的資金,所以我們為什么不更認真地對待開發 dApp 這個過程呢?
盡管有嚴格的開發、測試和代碼審計流程,但這些手段的顯然不足以緩解所有錯誤和攻擊,因為事實上通過測試和審計消除所有運行時錯誤幾乎是不可能的。那么我們如何保護我們的軟件免遭失敗呢?
運行時保護是一種安全技術,可保護軟件應用程序在運行時免受惡意攻擊。它的原理是在代碼實際運行時進行實時檢測,分析程序的實際行為以保護程序免受惡意數據和攻擊的影響。
高可靠性軟件的運行時保護需要花費大量的投入和設計,因為它們是確保軟件不會進入未知狀態或故障的最后一道防線。這不僅僅是個論點,而是幾十年來經過驗證的實踐。
今天在 Web3 中,我認為 DeFi 應用程序需要同樣的高可靠性,并且應該考慮同樣的方法。然而,由于其潛在的限制,EVM 并不是為處理運行時保護等復雜任務而設計的。那么,我們如何提供運行時保護呢?
一種方式是通過 Aspect 編程,Aspects 由 Artela 區塊鏈網絡設計的,它能夠在任何智能合約交易的生命周期內切換執行上下文,以對程序的實時狀態進行高級檢查。Artela 通過 Aspect 和兼容 EVM 的方式,提供運行時保護的獨特設計,它有機會成為加密智能合約安全的未來基礎。
金色財經
企業專欄
閱讀更多
金色財經 善歐巴
web3中文
金色早8點
YBB Capital
吳說Real
元宇宙簡史
作者:Haotian;來源:作者推特@tmel0211最近,Intent-centric賽道雨后春筍般冒出了好多項目.
1900/1/1 0:00:00巴比特訊,前DiemNetworks的內部業務運營和人力資源主管KurtHemecker將加入Mina基金會,擔任首席運營官.
1900/1/1 0:00:00作者:CALLEN;來源:wintermute;編譯:深潮 TechFlow 概括: 從 2017 年的 ETHLend 開始,Aave 在協議使用和治理參與方面都取得了巨大增長.
1900/1/1 0:00:00Friend.tech作為當前Base鏈上備受矚目的項目之一,展現出了巨大的潛力。僅僅在不到兩周的時間里,其交易額就已突破25,633 ETH,并吸引了知名人士和創投公司的紛紛加入.
1900/1/1 0:00:00巴比特訊,4月20日上午,由巴比特主辦的“萬物起源?2022元宇宙云峰會”正式開幕。新加坡經濟協會副主席、新加坡新躍社科大學教授李國權出席開幕式并發表主題演講《對NFT進行NFT化創新》.
1900/1/1 0:00:00作者:Osato Avan-Nomayo,DL News 編譯:善歐巴,金色財經Tether 已停止在 Omni 比特幣元層上提供 USDT 穩定幣.
1900/1/1 0:00:00