CertiK：franklinisbored推特賬號遭入侵并發布了釣魚鏈接

金色財經消息，據CertiK監測，@franklinisbored推特賬號遭入侵并發布了釣魚鏈接。請用戶勿與鏈接交互。

CertiK完成對螞蟻集團可信執行環境HyperEnclave的先進形式化驗證:金色財經報道，CertiK宣布完成對螞蟻集團開放式跨平臺可信執行環境（TEE）HyperEnclave的先進形式化驗證。螞蟻集團的可信原生技術團隊開發了開放跨平臺軟件可信執行環境HyperEnclave，旨在提高螞蟻集團隱私保護計算工作負載的效率和兼容性。CertiK通過其獨有的先進形式化驗證技術，驗證了HyperEnclave核心組件的安全性和技術正確性。[2023/7/26 15:59:27]

Ocean Protocol與Balancer Labs合作將創建數據自動做市商:9月24日消息，基于區塊鏈的數據貨幣化創業公司OceanProtocol宣布將與BalancerLabs合作，創建首個用于數據的自動做市商（AMM）。據悉，OceanProtocol旨在幫助個人和企業解鎖數據并將其貨幣化，將數據和人工智能的好處擴展到少數囤積、控制并從中致富的組織之外。Ocean創始人TrentMcConaghy表示，創建高效的數據市場是實現這一目標的關鍵，因此與BalancerLabs達成合作。（CoinDesk）[2020/9/24]

CertiK：Balancer遭黑客攻擊損失約90萬人民幣，其他DeFi合約需警惕:6月29日北京時間凌晨2點03分，CertiK天網系統檢查到在區塊10355807處Balancer DeFi合約異常。此次攻擊約獲利90萬人民幣。

安全研究員迅速介入調查，攻擊重現如下：

階段0：攻擊者從dYdX閃電貸處借款，獲得初始WETH資金。

階段1：攻擊者使用WETH將Balancer中的STA盡可能買空，最大程度提高STA價格。

階段2：攻擊者用獲得的STA多次買回WETH。每一次都用最小量的STA（數值為1e-18）進行購買，并利用Balancer內部漏洞函數gulp()，鎖定STA的數目，控制STA對WETH的價格。重復多次該種買回操作，直到將Balancer中的WETH取空。

階段3：換一種代幣，用STA重復階段2直到取空該種代幣。階段三重復了三次，一共有4種代幣受到了損失WETH，WBTC, LINK和SNX。

階段4：償還dYdX閃電貸，離場。

CertiK判斷攻擊者是有經驗的黑客團隊在充分準備后的一次攻擊嘗試，有很大可能還會繼續攻擊其他DeFi合約。[2020/6/30]