Beosin 成都鏈安 VaaS 即 Verification as a Service,是全球首個同時支持 EOS、以太坊區塊鏈智能合約的自動形式化驗證平臺,具有驗證效率高、自動化程度高、人工參與度低、易于使用、支持多種合約開發語言、可支持大容量區塊鏈底層平臺等特點。
成都鏈安:ApolloX 項目方因簽名系統缺陷被攻擊,損失約160萬美元:金色財經消息,據成都鏈安“鏈必應-區塊鏈安全態勢感知平臺”安全輿情監控數據顯示,ApolloX 項目遭受攻擊,根據成都鏈安技術團隊分析,發現ApolloX簽名系統存在缺陷,攻擊者利用簽名系統缺陷生成了255個簽名,總共從合約中提取了53,946,802$APX,價值約160萬美元,目前被盜金額通過跨鏈已打入以太坊0x9e532b19abd155ae5ced76ca2a206a732c68f261地址。此前,ApolloX代幣APX在今日19:00左右從0.054美元快速跌至0.019美元,閃跌約60%。[2022/6/9 4:11:35]
VaaS 平臺的「一鍵式」形式化驗證工具,可精確定位到有風險的代碼位置和風險原因,有效的驗證智能合約或區塊鏈應用的常規安全漏洞、安全屬性和功能正確性,從而顯著提高其安全等級。自動化工具加人工復核的方式對智能合約進行安全審計,確保審計質量和效率。相關研究成果已申請軟件發明專利 5 項。
成都鏈安:hackerDao項目遭受價格操控攻擊,獲利資金已轉至Tornado.cash:金色財經消息,據成都鏈安“鏈必應-區塊鏈安全態勢感知平臺”安全輿情監控數據顯示,hackerDao項目遭受價格操控攻擊。成都鏈安安全團隊第一時間進行分析,發現攻擊者先從先閃電貸借出2500WBNB,拿出部分WBNB兌換出大量hackerDao,然后將這筆hackerDao發送WBNB/hackerDao;并調用該交易對合約的skim函數將多余代幣領取至BUSD/hackerDao。由于hackerDao代幣在轉賬時,如果轉賬接收地址是BUSD/hackerDao時,會同步減少發送者的代幣余額以收取手續費,因此,WBNB/hackerDao交易對中的hackeDao數量被異常減少,從而影響該交易對的代幣價格,使得攻擊者最終利用WBNB/hackerDao兌換出WBNB時,獲取額外的收益。目前攻擊者實施了兩次攻擊,總計獲利約200BNB,已經轉至Tornado.cash 。[2022/5/24 3:38:37]
由電子科技大學楊霞、郭文生兩位教授共同創建,獲得分布式資本的投資。
成都鏈安CEO楊霞:DeFi項目方應重視合約安全問題:據官方消息,在由OKEx主辦的“后疫情時代:DeFi的機遇與挑戰”社群活動上,成都鏈安創始人兼CEO楊霞談到最近dForce攻擊事件,她表示,DeFi項目正在快速發展壯大,據我們統計截止2020年,鎖定在以太坊DeFi應用中資產已達到10億美元。DeFi項目火爆主要來源它的高收益。DeFi又被稱為“去中心化金融”,開放式金融基礎,則是高達8%-10%收益率必然會伴隨巨大風險。各方DeFi團隊開發自己合約產品也是自由發揮;但并沒有一個統一的、標準的安全方案去遵守,或者說是必須通過嚴格安全審計,這就導致各種合約漏洞與相關安全問題層出不窮,此次事件項目方就應該進行重入防護:比如使用OpenZeppelin的ReentrancyGuard,另一方面先修改本合約狀態變量,再進行外部調用。任何Defi項目方在開發合約時應重視合約安全問題,以應對各種突發情況和各種非正常使用合約情況,從而避免造成損失;同時建議做好相關安全審計工作,借助專業的區塊鏈安全公司的力量,避免潛在的安全隱患。[2020/4/30]
Tags:安全
近年來,經濟犯罪高發,局部相關數據通報:2022年,全國機關共破獲各類經濟犯罪案件7.4萬起,挽回經濟損失236億余元,通過國際執法合作從境外緝捕遣返各類潛逃經濟犯罪嫌疑人700余名.
1900/1/1 0:00:00日前,成都鏈安發布《2022全球虛擬貨幣犯罪態勢及打擊研究報告》,其中,報告盤點了2022年全球區塊鏈年度大事,具體如下: 烏克蘭接受虛擬貨幣捐款 2月26日.
1900/1/1 0:00:00隨著虛擬貨幣的快速發展,對各行業也產生了巨大的影響,虛擬資產為金融領域發展提供了潛在發展機會,但也帶來了極大的安全風險挑戰,引起各國監管機構的關注與重視.
1900/1/1 0:00:002月13日,“杭州虛擬貨幣實戰應用平臺”上線啟動儀式成功召開,成都鏈安作為平臺共建企業,受邀參加了此次啟動儀式.
1900/1/1 0:00:00據成都鏈安監測到的數據統計,2022年第一季度,攻擊類安全事件造成的損失高達約12億美元,較去年同期的1.3億美元上漲約9倍,加密貨幣黑客盜竊事件更是一波未平一波又起.
1900/1/1 0:00:002022年1月12日,第十九屆中國國際軟件合作洽談會在成都世紀城國際會議中心舉行,成都鏈安受邀參與鯤鵬生態專題會議.
1900/1/1 0:00:00以下為《全球虛擬貨幣犯罪態勢及打擊研究報告》精簡版。成都鏈安:2022年第1季度區塊鏈安全生態造成的損失達到12億美元:4月20日消息,成都鏈安統計數據顯示,加密行業2022年第1季度安全事件造.
1900/1/1 0:00:00又到了每月安全盤點時刻!據成都鏈安安全輿情監控數據顯示:2021年12月,各類安全事件仍然時有發生,本月發生較典型安全事件超『22』起.
1900/1/1 0:00:00來源:同花順金融研究中心 同花順金融研究中心3月31日訊,有投資者向任子行提問,媒體報道,成都鏈安涉及數字貨幣安全領域,成都鏈安打造了數字貨幣反洗錢合規及調查取證的系統及服務方案.
1900/1/1 0:00:00