開源支付網絡Celo推出的跨鏈通信機制Optics已在一些測試網部署

官方消息，以太坊核心開發者更新跨鏈通信機制Optics狀態，已在一些測試網部署；今天從goerli向alfajores發送了一條信息；由于默克爾樹同步中的錯誤，該消息位于 alfajores 收件箱中，未送達；關閉代理并重新部署。

此前消息，開源支付網絡Celo（CELO）宣布推出高能效跨鏈通信機制Optics，目前正在開發的首個通道是Celo到以太坊間的網橋。

BetDEX公布去中心化預測市場開源基礎設施Monaco Protocol:8月24日消息，Solana 生態去中心化預測平臺 BetDEX 公布其去中心化預測市場開源基礎設施 Monaco Protocol。據 Monaco Protocol 官網顯示，BetDEX 系基于該協議搭建的去中心化預測市場，BetDEX 也是其主要貢獻者。同時，Samoyedcoin 的社區成員目前正在 Monaco Protocol 上建立預測市場，將支持使用 SAMO 投注。

此前報道，去中心化預測平臺 BetDEX 于 2021 年底宣布完成 2100 萬美元種子輪融資，該輪融資由 Paradigm 和 FTX 領投。[2022/8/24 12:46:04]

開源礦池合伙人Andy Guo：Filecoin是第一個真正讓區塊鏈做基建的項目:由開源礦池和火幣主辦，金色算力云、鏈上ChainUP、Filecoin Beijing聯合主辦的“分布式存儲中國行暨開源礦池IPFS私享會”2020年12月6日在武漢舉行。開源礦池合伙人Andy Guo在會上表示，存儲是web3.0世界里非常重要的基礎設施，在去中心化的網絡里，是有可能會實現數據隱私性和數據的私有化，甚至資產化的過程。基于此，去中心化存儲在將來一定會有很重要的爆發。Filecoin是第一個真正讓區塊鏈做基建的項目，Filecoin網絡可以讓區塊鏈真正具備存儲能力。在物聯網等數據來源天然分散的場景里，Filecoin也比傳統存儲方案更具有潛力。Filecoin的終極愿景是使得IPFS成為HTTP協議的補充，構建web3.0底層基礎設施。[2020/12/6 14:21:29]

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]