CertiK：NFT紙牌游戲Z-ERA出現漏洞損失28.5萬美元

金色財經報道，區塊鏈安全公司CertiK報告稱，基于NFT的紙牌游戲Z-ERA出現漏洞損失285,000美元。CertiK發現了一個涉及由外部帳戶部署的未經驗證的合約的漏洞。攻擊者獲得了180萬個ZERA代幣并出售，導致ZERA代幣價格暴跌99%。

此外，1178.5枚BNB被轉移到Tornado Cash。被盜代幣約占總供應量的27%。盡管事件發生在游戲發布后不久，但Z-ERA對這次襲擊事件保持沉默。

FTX現已上線Balancer（BAL) 現貨、季度合約及永續合約:據官方公告，數字資產衍生品交易所FTX現已上線基于以太坊的自動做市商交易所協議 Balancer 代幣 BAL 的現貨、季度合約及永續合約。FTX已推出BTC、ETH、EOS等70多個永續及季度合約產品，最高支持101倍杠桿，無合約交割手續費及提幣手續費。此外，FTX已于近期上線了COMP合約及DeFi指數合約，DeFi 指數合約對標一籃子熱門DeFi幣種。[2020/6/25]

Balancer （BAL）將于6月24日12:00上線BiKi:根據官方公告，Balancer （BAL）將于6月24日12:00（GMT+8）上線BiKi平臺，開放BAL/USDT交易對，充值已開放，于6月25日12:00（GMT+8）開放提現；同時，充值BAL即有機會瓜分5000BIKI。

Balancer Pool是有著自平衡屬性的自動化做市交易協議，這些屬性可生成加權投資組合和價格傳感器。Balancer顛覆了指數基金的概念：無需向投資組合經理支付費用來重新平衡您的投資組合，而是從交易員那里收取費用，交易員通過跟隨套利機會來重新平衡您的投資組合，獲取更多投資機會。[2020/6/24]

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