Solana上的借貸平臺JetProtocol發布白皮書

Jet Protocol于2021年7月30日發布白皮書。Jet為Solana上的借貸平臺，專注于創新借貸產品和跨鏈利率套利。

Jet Protocol于2021年7月10日完成種子輪融資，融資規模480萬美元，MGNR、漢金資詢、CMS Holdings、Alameda Research、ParaFi Capital、Robot Ventures、Defiance Capital、Kenetic Capital、Stablenode等機構參投。

Ancient8推出Solana生態GameFi Launchpad Dojo:9月15日消息，Ancient8宣布推出其Web3游戲基礎設施產品生態中首個應用程序Ancient8 Dojo。據悉，Dojo是專注于Solana生態游戲的GameFi Launchpad。此外，Ancient8將推出1000枚“早鳥”Dojo NFT徽章。

據此前報道，今年6月，越南區塊鏈游戲公會和社區、GameFi基礎設施開發商Ancient8宣布完成600萬美元私募融資，Makers Fund和C2 Ventures領投，Pantera Capital、6th Man Ventures、IOSG Ventures、Folius Ventures、Morningstar Ventures、Sky9 Capital、Th3ia Capital、Play Ventures等參投。[2022/9/15 6:59:11]

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

AE宣布與Erlang和Elixir咨詢公司Erlang Solutions合作:AE宣布與Erlang和Elixir咨詢公司Erlang Solutions合作，擴展其分布式系統和點對點網絡，并將其區塊鏈技術推廣到大眾市場。 Erlang Solutions曾與WhatsApp，Bet365和AOL合作過，這次將協助AE向數十億用戶擴展。AE號稱新一代區塊鏈網絡,由德裔計算機科學家“以太坊教父”Yanislav Malahov于2016年發起，聚集諸多顛覆性創新于一身，旨在重樹當今智能合約的底層協議。[2018/1/29]