ChainSafe推出基于Rust語言的Filecoin客戶端Forest

10月22日消息，加拿大科技公司ChainSafe推出基于Rust語言的Filecoin客戶端Forest。目前Forest在Filecoin主網發布了alpha測試版本，ForestRust客戶端能夠同步和驗證Filecoin網絡，也可以作為Filecoin網絡上的一個替代客戶端來查詢狀態。該測試版已修復了16個被Sigma Prime審計出來的漏洞，目前正在等待最終的審計報告。此外，該測試版還包括消息池、狀態管理器、JSON-RPC服務器等功能。

Charles Hoskinson：認證軟件可以大幅降低智能合約遭受黑客攻擊的概率:IOHK首席執行官Charles Hoskinson在最近的AMA中表示，智能合約并非不受潛在黑客攻擊的影響，因為任何編寫和構建的東西都可能被破壞。他進一步闡述了“認證軟件”的概念，該概念使此類黑天鵝事件發生的幾率指數級降低。“如果你有一個規范和一個特定的開發方法和工具，你或外部審計員可以做的就是證明其實現遵循該規范，并且該規范可以得到很好的測試和理解，如果你這樣做，你遭受黑客攻擊的機會將呈指數級下降。”Hoskinson進一步解釋說，Cardano和其區塊鏈智能合約平臺Plutus旨在實現高保障。（U.Today）[2021/8/14 1:55:34]

動態 | ChainSecurity 發布以太坊智能合約漏洞檢測工具 Securify 2.0 版本:由區塊鏈安全公司 ChainSecurity 開發的以太坊智能合約安全掃描工具 Securify 正式發布 2.0 版本，以太坊基金會也參與了資助該項目的研發，2.0 版本將繼續保持免費和開源，已發布在 GitHub 中。Securify 2.0 版本將進一步提升智能合約的漏洞檢測工具的優勢，目前支持以太坊平臺智能合約編程語言 Solidity 0.5.* 和 0.6.* 版本，并提供 37 種按嚴重程度分類的漏洞檢測能力。此前報道，ChainSecurity 團隊宣布加入普華永道瑞士（PwC Switzerland），加速普華永道瑞士的區塊鏈審計業務，如智能合約、區塊鏈平臺的技術審計，以及為投資加密貨幣的客戶提供風險保障服務。[2020/1/28]

動態 | 礦業公司Argo Blockchain增加了1,000多臺采礦機器:礦業公司Argo Blockchain新安裝了1000多臺采礦機器。據悉，8月份該公司簽署了一項協議，將其電力供應增加357％，為另外15,000臺機器供電。（Cointelegraph）[2019/9/19]