WhyRust?
編程很難。
不是因為我們人體本身構造復雜,而是因為我們都只是人類。我們的注意力持續時間有限,記憶也不是永久的——換句話說,我們往往會犯錯。電腦和軟件無處不在:在太空中,天上,地面,佩戴在身上,甚至在我們的身體里。每天都有越來越多的系統實現自動化,越來越多的生命依賴于軟件及其質量,航空電子設備,自動駕駛汽車,核電站,交通控制系統,植入式心臟起搏器。這些系統中的bug幾乎總是危及人類的生命。
“程序正確性是通過測試來檢驗的”和“程序正確性是經過邏輯驗證的”之間存在著巨大的差異。不幸的是,即使我們對代碼的每一行都進行了測試,我們仍然不能確保它是正確的。然而,擁有一個形式系統來證明我們的代碼是正確的(至少在某些方面是正確的)則是另一回事了。
Rust的方式
「Rust作為一種編程語言」的不同之處,不是因為它的花哨語法或受歡迎的社區,而是因為人們在使用它編寫程序時能獲得信心。Rust非常嚴格并且追究細節的編譯器會檢查你使用的每個變量和引用的每個內存地址。它可能看起來會妨礙你編寫高效且富有表現力的代碼,但令人驚訝的是,恰恰相反:編寫一個有效且地道的Rust程序實際上比編寫一個有潛在危險的程序更容易。在后一種情況下,你將與編譯器發生沖突,因為你嘗試的幾乎所有操作都會導致內存安全問題。
法官駁回ForUSAll對勞工部的訴訟,加密貨幣或不被納入退休計劃:金色財經報道,一名美國聯邦法官駁回了ForUSAll對勞工部的訴訟。此舉秉承了該機構的謹慎立場,即加密貨幣可能不適合退休儲蓄。
去年6月,ForUSAll起訴美國勞工部,稱其限制退休賬戶中加密貨幣的努力是“武斷且反復無常的”。今年3月,美國勞工部發布了考慮加密貨幣投資的 401(k) 計劃指南,并警告稱,可能會對提供此類選擇的人進行調查。ForUsAll請求法院裁定勞工部的聲明違法,并予以撤銷和推翻。美國法官Christopher Cooper表示,退休計劃不太可能輕易與ForUsAll重新合作,因為它仍然受信托責任的約束,而信托責任可能會由一個對加密貨幣持懷疑態度的部門嚴格執行。
ForUsAll于2021年開始提供401(k)退休計劃的另類投資選擇,使用Coinbase機構進行數字資產托管和交易。該公司管理著15億美元的資產,通過500多個計劃為8萬多名退休儲戶提供服務,客戶包括Solana、TaxBit和Uniswap。[2023/8/30 13:07:18]
加密錢包Trust Wallet集成Sui Network:金色財經報道,加密貨幣錢包Trust Wallet宣布集成Sui Network。 Sui基金會表示,主網上線后,超過50%的計劃代幣將用于項目的開發。[2023/5/4 14:42:06]
上圖右側部分顯示了并發性和內存安全相關的問題,這些問題根源上不可能發生在常規Rust代碼中。所以只需要換成Rust,他們就可以杜絕這段時間內大約一半的bug。同時,緩沖區溢出是其中最危險的bug,因為它們常常導致「密鑰泄露」、拒絕服務和遠程代碼執行漏洞。
上圖還表明,“一個人只需要知道如何編寫C”和“只需要把底層的東西留給專業人士”這樣的想法是不夠的。Linux內核是由行業中最優秀的5%的人編寫的,然而,內存bug這位老朋友一年又一年的給我們貢獻著CVE。
當然,與kernel中數百萬行正常工作的代碼相比,這50個bug根本算不了什么。但是之前說過的生死攸關的問題,還記得嗎?當我們談到關鍵系統時,即使是最小的錯誤也可能導致災難性的后果。還沒提及這50個只是被發現了的bug。誰知道還有多少沒被發現呢?如果使用Rust,我們會事先知道這些問題。
歐洲銀行巨頭Caceis選擇Taurus提供數字托管服務:金色財經報道,總部位于法國的 Caceis 是最新一家宣布計劃開發其數字資產托管服務的資產服務公司。作為法國農業信貸銀行和桑坦德銀行集團的資產服務部門的托管人選擇了總部位于瑞士的 Taurus 來幫助提升其數字資產產品。
Caceis 將把自己的服務和系統與 Taurus 平臺連接起來,重點關注三個領域——數字資產的安全托管和智能合約管理;通過區塊鏈發行數字資產和代幣化;通過 Taurus 與其他區塊鏈連接。(finextra)[2022/6/29 1:38:58]
Rust有多快?
你可能會想:當然,Rust可能提供了這么多東西來杜絕這些隱患,但是要花多少代價呢?通常,在現代編程語言中的內存安全需要負擔垃圾回收器的開銷。并發問題通常通過使用特殊的同步原語鎖定所有受影響的數據結構和執行路徑來解決。
風投機構RedHat Capital投資GameFi初創公司X Rush:3月12日消息,GameFi初創公司X Rush發推稱,亞洲區塊鏈風投機構和孵化器RedHat Capital與X Rush達成戰略合作,并成為其私募輪融資的參投方。
據此前報道,X Rush以1000萬美元估值完成種子輪融資,KuCoin Ventures領投,資金將主要用于市場擴張。[2022/3/12 13:52:57]
但對于Rust就不是這樣了。它的強大來自于巧妙的類型系統,可以在編譯時就解決所有這些問題。「TypeSystem的設計」同時防止了內存問題和數據競爭問題。
就像在C++中一樣,你可以只使用你需要的東西。例如,在Rust中,你只在絕對需要時才使用互斥鎖。而且,Rust編譯器會需要的位置迫使你使用它,所以永遠不會忘記。所有這些基本上都是零成本的。由于大多數檢查都是在編譯時執行的,因此編譯后的程序集與C或C++編譯器生成的程序集沒有太大區別。
由于這個原因,Rust現在在「嵌入式電子」、「物聯網」,甚至「操作系統開發」領域都非常有前景,而這些領域以前都是由C語言主導的,因為需要很高的控制要求、資源和性能也有嚴格的限制。
動態 | 幣安Trust Wallet支持信用卡購買加密貨幣:據coindesk報道,幣安的官方錢包Trust Wallet現已允許用戶使用信用卡購買加密貨幣。新的支付選項是與以色列支付處理器Simplex合作提供。同時,Trust Wallet也增加了對XRP的支持。根據今日發布的公告,用戶現可使用主流信用卡和借記卡購買XRP、BTC、BCH、LTC和ETH。該公告未具體指明支持哪些種類的卡或其他詳細信息,如費用。[2019/3/13]
Rust的最新版本甚至在用戶空間引入了SIMD支持。以前,由于API穩定性的限制,它只能在nightly版本中使用。現在,你可以通過直接使用向量指令或使用「便捷的包裝庫」來釋放硬件的全部潛力。而且,即使你不打算這樣做,編譯器仍然會在可能的情況下自動向量化循環語句和其他東西,在許多情況下,可以達到手工編寫向量指令代碼的性能水平。
我們為什么使用Rust
ParityTechnologies使用Rust也是出于同樣的原因。因為它讓我們可以毫無畏懼地編寫復雜而且高性能的軟件。我們可以自由地進行實驗,因為我們確信Rust將為我們提供支撐。無論是實現一個簡單的命令行實用程序還是一個多線程龐然大物,它都沒有什么區別。Rust確保我們的程序不存在未定義的行為、數據競爭或任何內存安全問題。更不用說,Rust「非常快」,編寫起來很有趣,易于閱讀,而且幾乎沒有運行時。
內存bug之所以難以發現,是因為你不能輕松地編寫測試來捕獲它。如果你在beta測試期間沒有發現bug,那么它可能會在代碼中存在數年,就像定時炸彈等待著爆炸的那一刻。當然,也有像「Valgrind」這樣的工具可以幫助捕獲這些bug。但即使是Valgrind,如果問題發生時不是執行在調試模式下,或者執行時沒有表現為內存方面的問題,它也不會捕獲到bug。
因此,通過使用Rust,我們消除了最復雜、最不可預測的一類錯誤。
測試的作用
當然,內存安全問題只是所有問題的一部分。例如,我們可以編寫一個函數對它的整型參數求和,但是它只隨意返回了一個常數。或者我們寫了一個隨機數生成器卻生成的是可預測的值。這種行為并沒有違反Rust的內存安全保證,但顯然是不正確的。
這就是測試的用武之地。測試允許我們檢查編譯器無法理解的不變量因素。基本上,我們需要確保相應的測試覆蓋了返回的每個結果和程序中做出決策的每個點。在上面的例子中,測試必須檢查函數是否確實返回其參數的和,還有產生的隨機數是否足夠隨機。
在某種意義上,邏輯錯誤更容易處理。從定義上講,它們與程序員編寫程序時考慮的領域是相同的(而內存bug則不在其中)。
幸運的是,我們知道如何處理這些bug。在過去的幾十年里,程序員和計算機科學家創造了一套方法和工具,通過使用這些方法和工具,我們可以減少邏輯錯誤的數量,并將它們保持在最小。
數學的力量
在最嚴格和復雜的途徑中,程序正確性是被驗證出的,而不是通過檢驗。像「Iris」和「Coq」這樣的語言可以用來證明整個程序的正確性。不是像測試一樣檢查一些輸入的有效性,而是把它被當作一個數學定理一樣證明,一次和所有可能的輸入和每個可能的場景。只有通過構造這樣的證明,你才能獲得程序是正確的信心(只要你的規范和理解是正確的)。
基本上,Rust做的是相同的事情,但是只針對一些限定的特殊問題,比如并發性和內存安全性。實際上,它使用邏輯來證明你的程序在這些方面是正確的。想想看,僅僅通過編寫常規的Rust代碼,你就可能擁有與每次編譯項目時讓一組數學家研究某個定理相同的信心水平。
不幸的是,證明系統的每個部分都是如此是十分復雜和耗時的,以至于通常只對軟件的最關鍵部分進行驗證,比如操作系統內核、密碼算法,在某些情況下,還有語言的標準庫。
在很長一段時間內,像Haskell這樣的函數式編程語言的一個殺手級特性就是可以形式證明代碼,而傳統的命令式編程語言由于廣泛使用了共享可變性、不安全的指針運算和無法控制的副作用,仍然無法應用形式證明。但是Rust可以改變這一點,盡管它是一種命令式語言,但它已然「在進行形式化證明的路上」。
「來自RustBelt項目的RalfJung等人」已經發表了一些「論文」,證明了Rust語言聲明的基本不變量確實包含在標準庫的一些重要原語中。
問題是,出于性能原因,Rust標準庫包含許多潛在的unsafe代碼和raw指針運算。
為了證明標準庫的正確性,RalfJung和同事設計了一個叫做λrust的方法可以不收安全約束的使用分離的邏輯和他們自己的演算過程。通過這種演算,他們試圖證明標準庫原語和容器的工作方式符合預期,并且它們沒有違反Rust的基本不變量。作為副產品,他們甚至在同步原語,比如「MutexGuard」和「Arc」中發現了一些bug。
幣圈消息一覽: 1.央行:積極運用區塊鏈等技術加強數字監管能力建設。2.騰訊云與AVEVA簽署合作協議,利用區塊鏈等技術幫助工業制造降本增效.
1900/1/1 0:00:00韓國手機大廠三星先前便傳出可能正在開發區塊鏈功能。該公司最近釋出消息,確認旗下最新的GalaxyS10手機系列的將配備「存儲私鑰」的功能.
1900/1/1 0:00:00在未來幾十年里,千禧一代將成為史上最富有的一代。他們已經開始轉向使用非常規銀行業務。BTC被認為是我們這個時代“財富大轉移”的受益者,銀行應該為此感到擔憂.
1900/1/1 0:00:0010月11日周四,加密貨幣市場在短時間內大幅下跌,比特幣一度跌破6300美元大關,而以太幣價格則下跌貼近200美元.
1900/1/1 0:00:00金管會終于表態承擔加密貨幣監管,這也是大家該凝聚共識來建構適用于臺灣加密貨幣監管體制之時刻,這其中,安全問題應是首要.
1900/1/1 0:00:00幣圈消息隔夜一覽 當前比特幣未確認交易筆數為16772筆,當前比特幣全網算力為112.33EH/s,挖礦難度為15.47T,距離難度調整還有7天11小時,預計下次難度將增加至16.07T.
1900/1/1 0:00:00