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

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 Protocol 發布第二季度路線圖更新，第三季度重點將轉向分片的第二階段:8月11日消息，NEAR Protocol 發布第二季度路線圖更新，NEAR 協議開發團隊 Pagoda 提交 3 個實現賬戶擴展的提案，包括關于賬戶命名空間的 NEP、關于 wasm 子模塊的 NEP 與關于合約代碼共享存儲的 NEP。

團隊對主網進行重要改進，狀態讀取性能提升了 8 倍。后臺寫入功能正在進行中，可能將狀態寫入成本降低 3 倍。此外，冷存儲已經完全上線，并大幅降低了運行歸檔節點的成本。在改進狀態同步方面，節點已能夠在 3 小時內完成對主網狀態的同步，預計第三季度交付全功能版新的狀態同步工具。團隊還交付了有限的 wasm 及其與 nearcore 的集成，提高 NEAR 合約 runtime 的安全性與穩定性。

路線圖的 Experience 部分有兩個變化，一是實施賬戶擴展所需的變更暫時擱置，二是協議團隊將致力于解決存儲退款問題。在路線圖的核心部分，第三季度重點將轉移到分片的第二階段，其中包括對當前主網狀態進行重新分片，以及取消區塊生產者必須跟蹤所有分片的要求，這部分工作預計需一個多季度完成。[2023/8/12 16:21:34]

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]

動態 | 分片項目Harmony已經完成主網v1.2.1 版本升級:區塊鏈分片項目Harmony發布公告稱，Harmony已經成功完成了第一次主網滾動升級，發行的版本是 v1.2.1。[2020/1/21]

Tags：NEARWASPROASMnear幣中國人叫他什么WasabiXYFPRO幣ASMS

MANA