CertiK：第三季度新代幣創建量降至2021年初以來的最低水平

金色財經報道，根據CertiK數據，第三季度新代幣創建量降至2021年初以來的最低水平。數據顯示，第三季度新增約293個代幣，低于第二季度的366個和去年同期的449個。在2021年第四季度加密貨幣牛市最高峰期間，大約創建了1,261個新代幣。

其它快訊：

獨家 | Balancer流動性池數量已超過1200個:金色財經報道，據DappBirds DeFi Data專題數據顯示，Balancer流動性池數量已超過1200個，DeFi中鎖定資產總價值達52.86億美元，較昨日上漲2.88%，其中Maker，Compound，Synthetix，Aave，InstaDApp分別以13.80億美元，8.19億美元，6.41億美元，4.79億美元，3.14億美元位列前五名。[8/6/2020 12:00:00 AM]

Balancer批準三項流動性挖礦相關提案:上周末，Balancer對其新的治理提案進行了第一輪投票，三份提案都得到了利益相關者的批準。據悉，自動流動性和資產管理協議每周為向Balancer平臺提供流動性的人分配145000 BAL。代幣分配與每個地址的流動性貢獻對應。為了得出一個管理分配的公式，Balancer上周發布了其最小治理工具，并就這一計算結果提出了三項提案。

第一個提案被稱為“balFactor”，鼓勵持有者使用他們的BAL代幣來獲得流動性，而不僅僅是兌現；第二項提案是通過降低對高收費池的挖礦處罰來修改“feeFactor”；第三項提案是將“wrapFactor”定為0.7，來應用于每對軟錨定代幣的流動性，以吸引更多有用的流動性加入協議。（BeInCrypto）[7/20/2020 12:00:00 AM]

現場 | Certik CEO Ronghui Gu：形式驗證方法是實現計算機系統安全和隱私的可靠的方法:金色財經現場報道，NEO DevCon 2019開發者大會今日在西雅圖舉行，Certik CEO Ronghui Gu 做了以“建設可信的區塊鏈生態”主題演講。Ronghui Gu 表示，區塊鏈目前是十分脆弱的，有許多執行上的漏洞。攻擊區塊鏈的受益也是巨大的，據統計截止到2017年已經有6.3億美元的區塊鏈資產被黑客盜取。智能合約對黑客開源，一旦執行很難去修改， 我們應該去避免區塊鏈編程上的漏洞。程序的測試可以用于展示漏洞存在，但是它不能夠去顯示漏洞不存在。而形式驗證的方法是目前唯一可靠的方法去實現計算機系統的安全和隱私，形式驗證在數學上證明代碼滿足規范。[2/17/2019 12:00:00 AM]