靈蹤安全：Arbitrum昨日因channel 阻塞引發內存泄漏，出現網絡故障

9月14日晚，以太坊 Layer2 項目Arbitrum出現網絡故障，其交易排序器因為內存泄漏而停止運行。根據靈蹤安全漏洞檢測系統提示：內存泄漏的位置在源碼SequencerBatcher.SendTransaction() 函數中。

此處漏洞是因為channel 阻塞導致大量goroutine 沒有及時釋放，引發內存泄漏。建議在處理并發時，考慮channel的阻塞情況。當存在高并發條件時，為channel寫入數據時，加上select default 處理。

AMMC合約已通過靈蹤安全審計:據官方消息，靈蹤安全近期審計了擬在HECO上發布的AMMC項目合約，所審計的合約包含代幣發行、代幣的通脹通縮等功能。詳細細節請參看靈蹤安全官網發布的審計報告。[2021/8/31 22:48:54]

靈蹤安全CEO譚粵飛：大規模并且非常成功的實現AMM模式的是Uniswap:由Lotus總冠名，金色財經、鏈上ChainUP主辦，BTS Labs、Vtrading協辦，深圳多家區塊鏈企業聯合贊助的金色LIVE在深圳首家區塊鏈酒吧BTC LOUNGE舉辦。本期話題為《Defi浪潮下——交易所如何破局而生》

會議上，靈蹤安全CEO譚粵飛表示，在2020年，最大的變化就是業界有一個非常重大的創新就是自動做市商機制在合約中的成熟使用，實際上自動做市商的做法是在更早的時間就被提出了，但大規模并且非常成功的實現AMM模式的是Uniswap。Uniswap的創始人他最早得到這個靈感是從他的朋友，而他的朋友最早得到這個靈感是從一篇博客里面得到這個靈感。當交易所采用AMM這種方式以后，用戶之間的交易就再不需要交易所來進行撮合，用戶可以直接和數學公式和智能合約進行交互。這個變革發生以后，用戶就不需要依賴于人，或者不需要依賴于中心化系統，這是買方發生了巨大的變化。

另外一個，Uniswap上面還有一個非常重要的特點，在這種AMM支持的作用下，任何一個人，不管他發行什么代幣，只要提供交易對流動性到這個合約里，而人人都可以提供流動性，這種情況下相當于賣方的交易的對手也不再是人，也不再是傳統的中心化機構，而是智能合約。所以這時候賣方也出現了變化，買方和賣方都出現了變化說明不再依賴于傳統的中心化交易所。

正是在這樣的模式下，當Uniswap超過Coinbase的時候，它的團隊只有十個人，而Coinbase的團隊有一千位，這樣的效果，這樣的價值在傳統的中心化交易所里面我們完全看不到，但是在基于AMM的DEX智能合約里面實現了。[2021/3/17 18:53:07]

靈蹤安全：從未審計過“CET FINANCE”項目代碼:3月2日消息，據用戶向靈蹤安全詢問“CET FINANCE”項目代碼是否經過靈蹤安全審計。經核實此為“CET FINANCE”項目方單方面盜用靈蹤安全審計的名義作背書，向市場兜售“CET FINANCE流動性挖礦項目”，并承諾給予高收益。

靈蹤安全鄭重聲明，團隊并沒有對“CET FINANCE”項目代碼進行審計，該項目的安全審計報告是偽造的，請廣大用戶保持警惕。[2021/3/2 18:08:27]