智能合約平臺Agoric通過CoinList代幣銷售籌集5000萬美元_AGO:Orion Money

智能合約平臺Agoric宣布已通過CoinList平臺在兩個小時內售出超過5000萬美元的原生代幣BLD，Agoric社區新增48000多名代幣持有者。結合較早的種子輪融資，該項目迄今已籌集超過8500萬美元。

首個利用RGB智能合約的比特幣NFT市場DIBA在主網啟動:金色財經報道，首個利用RGB智能合約的比特幣NFT市場 DIBA（Digital Bitcoin Art and Assets）在主網啟動，此次發布還包括比特幣錢包 BitMask，這是一種“僅限比特幣”的加密錢包，可以持有音樂和藝術數字資產。

據報道，DIBA的支持者包括 Draper Associates 創始人 Tim Draper、ACTAI Unicorn Fund 聯合創始人 Bill Tai、NIMA Capital 投資人 Yasmeen Drummond 和 Martial Eagle Fund CEO及聯合創始人 Erez Kalir 。[2023/5/19 15:13:00]

據了解，Agoric是一個權益證明鏈，利用JavaScript智能合約快速構建和部署DApp。Agoric具有獨特的優勢，可以通過在強化版本的JavaScript中構建鏈上智能合約來吸引全球JavaScript開發人員進入加密領域。BLD是Agoric協議的質押和治理代幣，用于保護和穩定Agoric生態系統。AgoricCEODeanTribble表示，Agoric共識層使用CosmosSDK區塊鏈框架構建，下一階段將推出經濟應用層，其中還將包括穩定幣Run。應用層的第一階段旨在與整個Cosmos跨鏈通信協議集成。

dYdX出現新部署智能合約漏洞，暫未造成財產損失:金色財經報道，dYdX官方表示，UTC時間11月27日5時21分團隊收到了一個關于新部署的智能合約漏洞的安全問題警告。官方表示，沒有資金損失，所有資金都很安全。dYdX同時提醒，在11月24日后授權平臺存款權限的用戶應立即將資金收回至trade.dydx.exchange上的錢包中。白帽黑客samczsun已經和dYdX團隊合作，挽救了可能受影響的資金。作為白帽回收的一部分，所有受影響的資金，甚至包括那些沒有存入dYdX的資金，都已轉移到托管智能合約中。目前僅能通過用戶的錢包才能收回這些資金（隨時可以收回）。[2021/11/28 12:36:52]

原文鏈接

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

Tags：AGOORIAgoricDYDXDRAGON幣Orion Moneyagoric幣什么時候開盤UNI幣和DYDX幣哪個好

MEXC