智能合約解決方案提供商Data Gumbo完成400萬美元C輪融資

8月10日消息，智能合約解決方案提供商 Data Gumbo 宣布完成 400 萬美元 C 輪融資，本輪融資由沙特阿美旗下 Saudi Aramco Energy Ventures 和挪威能源巨頭 Equinor 旗下風投 Equinor Technology Ventures 聯合領投。

據悉，Data Gumbo 首個智能合約市場目前已推出能夠立即部署的 40 多個智能合約模板，參與 Data Gumbo 智能合約的企業網絡已覆蓋 180 多家，幫助客戶及其業務網絡能夠安全地進行交易，從而提高運營效率、問責制、透明度和現金流確定性。

Terra生態DEX Astroport發布Terra 2.0計劃，智能合約將重新部署并通過快照發行新代幣:金色財經消息，Terra生態去中心化交易所Astroport發布Terra 2.0計劃，Astroport智能合約系統將在新網絡上重新部署，此外還要保持與Terra Classic上的Astroport的兼容性。Terra2.0上的新ASTRO代幣將基于Terra Classic上ASTRO和xASTRO余額的快照進行分配，快照日期將與在“Terra生態系統復興計劃2”中用于計算LUNA和UST余額的快照日期相同，其他細節（包括代幣分配百分比、釋放、治理等）將盡快公布。[2022/5/24 3:37:03]

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

金色財經現場報道 小犀智能創始人胡鋼：區塊鏈智能合約未來大有可為:金色財經現場報道，在2018區塊鏈企業級服務創新論壇暨權大師A輪融資及戰略升級發布會上，小犀智能創始人胡鋼在現場表示，區塊鏈智能合約未來大有可為，活躍在各種商業場景中，例如健康、電商、房地產等。在這些領域將大幅降低違約、風險及不確定性的情況發生。[2018/4/20]