ETH:分片項目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 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]

BTC.com莊重：PoW鏈將會作為ETH2.0的一條分片鏈而長期存在 挖礦也會持續下去:金色財經現場報道，10月24日，松鼠礦機SMINER新品發布會暨2020全球顯卡礦工大會在成都舉行。在主題為《以太坊2.0和4G卡淘汰對顯卡的挑戰和新機遇》圓桌討論中，

BTC.com莊重表示，ETH信標鏈只支持Staking功能，階段1分片上線時間在2021年，上線后只能試運行，仍不支持轉賬和智能合約；而階段2的新虛擬機eWASM和與之配套的智能合約、跨分片轉賬，這個實現的過程會很漫長。PoW鏈將會作為ETH2.0的一條分片鏈而長期存在，挖礦本身會一直持續下去。只有當ETH2.0能夠支持轉載和智能合約時，礦工們就要擔心挖礦的持續性了。[2020/10/24]

V神：ETH2分片和分片內并行化的收益不會疊加:以太坊創始人V神今早發推稱，eth2已經是并行的，因為分片是一種并行化。但我認為真正的問題是：分片和分片內并行化的收益是否疊加？不幸的是，答案是一個響亮的“不”。原因：1.并非所有節點都只運行一個分片；一些節點將要運行多個分片（例如，驗證程序至少花費64+ ETH）。2.對于驗證器用例，限制不僅是驗證區塊的時間，而且還包括驗證的原始成本。3.對于常規客戶端用例，我們希望運行一個分片驗證節點不僅可行，而且不太繁瑣。你的筆記本電腦不僅運行著一個eth節點，它還運行著一堆其他的東西。[2020/7/28]

Tags：ETHWASASMNEARtogetherbnb游戲截圖swash幣的發展前景LASM幣near幣是什么幣

FIL