PHA:分片項目Elrond采用K框架工具 進一步完善開發工具包

1月7日消息，分片項目Elrond宣布正在使用運行驗證來完成一組基于K框架的正式工具來補充和完善Elorand開發工具包。K框架是由Elrond顧問GrigoreRosu首創的，他是計算機科學博士，在美國國家航空航天局(NASA)擔任研究員期間，服務于火箭和航天器的安全關鍵環境。Grigore隨后發現了運行驗證，并與他的團隊一起致力于讓這些火箭科學工具能夠被區塊鏈開發者使用。經過幾個月的合作，Elrond團隊已經能夠創建一個名為KArwen的ArwenVM的K-Framework副本。Arwen是一個WASM虛擬機，因此運行驗證能夠為WASM擴展其KWasm語義以適應Elrond的虛擬機。此外，使用K框架的Mandos測試已經允許開發人員在較低的級別上執行代碼覆蓋測試。運行時驗證工具通過識別和刪除Rust編譯器自動添加的未使用的功能，能夠幫助將用Rust編寫的智能合約的占用空間減少40%。

NEAR將于第三季度末引入Chunk-Only Producer角色，僅負責在單個分片中生成Chunk:7月1日消息，NEAR將于7月13日開啟Stake Wars III，該階段將專注于引入僅負責在單個分片中生成Chunk的Chunk-Only Producer，他們可以在要求不高的機器上運行他們的驗證節點，例如4核CPU、8GB RAM和200GB SSD存儲。NEAR表示，一旦第三季度末NEAR主網上可以使用Chunk-Only Producer，NEAR計劃再增加200至300個驗證者，NEAR網絡目前由100個驗證者保護。[2022/7/1 1:44:02]

Near Protocol聯合創始人：Near計劃在11月份主網進行再分片，為其添加Forex的功能:10月27日消息，Near Protocol聯合創始人Illia Polosukhin演講表示，Near計劃在11月份主網進行再分片，為其添加Forex的功能，讓網絡性能提升4倍。在2022年1月份的時候，也會進一步對于狀態進行分片。人們可以開始處理交易，處理交易的方式不一樣，分片的最終階段是會通過動態再分片擁有最終形態的擴容支持，時間大概在2022年年底。此外，為了進一步增加Near的易用性，Near將上線Opera瀏覽器，所有的Opera瀏覽器用戶都可以擁有Near錢包和Near應用程序進行無縫交互，請大家持續關注我們的Near Opera瀏覽器。[2021/10/27 6:14:59]

V神：phase1后以太坊已有擴展性，rollup就是一種計算分片:對于此前“以太坊2.0或將暫且擱置階段二”一事，V神回應稱，因為我們有rollup，phase1（數據分片）后以太坊已經有擴展性，可以處理每秒10萬交易，所以加內置的計算分配沒有什么用。最好的理解是，rollup就是一種計算分片。Phase 1也并不需要等很長時間，我們已經有個開發者在做測試客戶端。

對于問題“如果走這樣的技術路線，是否意味著phase1即可實現質押金的取回？現在已經質押的ETH，是否可以提早取出？做驗證人的鎖倉期不需要2年了？”V神回復稱，按照最新的路線圖，合并以太坊1.0和2.0甚至不需要分片，所以如果分片居然需要很長的時間這個不會影響合并的時間，合并（和取款）可能會分片之前發生。分片和合并是并行研發的。[2020/11/16 20:58:19]

Tags：NEARPROPHARONnear幣未來會破1000嗎Degen ProtocolK-PHAron幣發行量

瑞波幣