鏈聞消息，據 Coindesk 報道，美國證券交易委員會（SEC）計劃購買一種可分析智能合約的區塊鏈取證工具。根據 SEC 發佈的徵求文件，SEC 希望該工具能夠識別合約目的、代幣類型、交易限制、地址白名單和黑名單以及合約調用等信息，最好還具有針對安全問題和漏洞分析智能合約的能力。私營部門的軟件供應商須在 8 月 13 日之前提出申請。

鏈聞消息， 以太坊智能合約開發工具 Truffle 發佈 Truffle 5.1.37 版本。該版本包括語法高亮，可用於 Solidity 0.7.0 和更好地識別已驗證合約，修復了調試器中與調試已驗證的外部合約有關的問題等。

鏈聞消息，Coin Metrics 對過去一週的加密貨幣市場進行了分析。鏈聞整理如下：1. 7 月 25 日，以太坊合約調用（Ethereum Contract Calls）創下歷史新高，達到 311 萬；2. 過去一週，在幣安交易所中，以太坊的淨流入大幅飆升，而比特幣卻呈現淨流出；3. 比特幣和黃金的 30 日相關性係數在今年 3 月份創下歷史新高後大幅回調，目前正在加快恢復，接近 0.6。

鏈聞消息，以太坊開發者發佈 Solidity 0.7.0 版本。官方表示，Solidity 0.7.0 是對 Solidity 語言和編譯器的重大更新。該版本刪除了外部存儲映射功能、關鍵詞「var」、並且構造函數不再需要默認可見性（Visibility），另外還進行了一些語法更改。官方建議升級所有代碼以使其與 Solidity v.0.7.0 兼容。

鏈聞消息，據 Ledger Insights 報道，開源智能合約語言 DAML 背後公司 Digital Asset 宣佈區塊鏈聯盟初創公司 R3 的區塊鏈平臺 Corda 現已支持其 DAML 智能合約語言。DAML 是一種專爲構建企業區塊鏈應用程序而設計的智能合約語言。

鏈聞消息，去中心化自治組織 LexDAO 宣佈推出 LexLocker，這是一個對於安全審計人員來說具有可讀性的智能合約，且只有約 300 行代碼，可以實現：託管 ETH 和任何 ERC20 代幣，可用於一次性實現或里程碑式支付；內置快速的爭端解決機制，可以完全在線上和鏈上完成。LexDAO 舉了一個案例，Bob 可以在 LexLocker 中鎖定 500 DAI 並提出開發一個 DApp 的需求，當 Carol 滿足了這個需求之後，Bob 就可以釋放這筆資金給 Carol。而且這類數字化的交易的證據是比較直接的，很難有爭議，如果在規定時間內沒有人完成這個任務，Bob 就可以取回託管資金。LexDAO 是一個爲專業人士提供基於智能合約交易流程解決方案的去中心化自治組織，基於 Aragon 和法律工程學。

鏈聞消息，幣安將於今年三季度推出與以太坊兼容且具備智能合約功能的幣安智能鏈（Binance Smart Chain）的主網。根據路線圖顯示，幣安將於下個月發佈新版本測試網 Millau。鏈聞此前報道，幣安鏈（Binance Chain）已於 7 月初主網已完成 Nightingale 硬分叉升級，本次升級添加了對 BEP8 代幣協議的支持，同時引入一個新的交易通道（trading venue）來託管小型或微型項目的 BEP8 代幣。

鏈聞消息，以太坊域名服務 ENS 宣佈集成 Chainlink 的 ETH/USD 價格預言機。Chainlink 的去中心化價格預言系統將爲 ENS 智能合約和 UI 頁面提供可靠的價格，允許 ENS 名稱註冊和續訂服務以穩定且可預測的價格以美元計價，不過仍需以以太坊（ETH）支付。

鏈聞消息，據 Coindesk 報道，在 RecklessVR 的一項活動中，比特幣核心開發者 Jeremy Rubin 針對其正在開發的比特幣新智能合約語言 Sapio 進行了演示。Jeremy Rubin 希望該合約能夠給用戶提供一種「金融主權工具」，並進一步擴展比特幣的智能合約用例，以使用戶能夠更好地控制自己的資金。 該合約專用於 OP_CHECKTEMPLATEVERIFY （CTV），若能夠得到採用，可爲比特幣網絡帶來更多智能合約功能，即允許用戶以新方式保護其比特幣。Rubin 計劃將這種編程語言作爲其新研究組織 Judica 的一部分發布。目前，Judica 仍處於早期階段，正在尋求贈款以及新成員的加入。鏈聞注，CTV 是 Jeremy Rubin 提出的 OP 代碼，可以幫助緩解高峯時段比特幣的網絡擁堵和費用，並有效提高網絡吞吐量。