獵豹區塊鏈安全中心,依托金山霸的安全技術背景,為行業提供技術解決方案。他們的研究涵蓋業務安全、區塊鏈安全審計與輿情監測三大領域,致力于打造更健康的區塊鏈生態。
聲音 | 獵豹區塊鏈研究中心楊文玉:智能合約自動化審計存在三大問題:據36kr報道,近日獵豹區塊鏈研究中心安全專家楊文玉在關于如何有效保障海量智能合約的安全的問題時表示,最好的方法是降低人工審計復雜度,采用智能合約自動化審計。即主要通過特征代碼匹配、基于形式化驗證的自動化審計方法、基于符號執行和符號抽象自動化審計這三類方法。此外,她也指出,現在自動化審計方法處于一個很不成熟的階段,主要面臨三大問題:誤報率高,自動化程度低、依賴人工二次審計,審計時間比較長。[2018/9/10]
獵豹移動發布報告:Bitcoin Wallet和Jaxx錢包存在安全漏洞:獵豹移動近日發布報告《2018全球加密數字貨幣錢包安全白皮書》,其中對市面上的數字錢包產品在私鑰存儲問題上進行了安全分析,發現Bitcoin Wallet 和Jaxx Blockchain Wallet 兩款產品在私鑰存儲中存在巨大的安全漏洞。Bitcoin Wallet的助記詞是以明文方式存放在系統文件中,意味著其將資產安全性完全交給了系統來維護,只要一個漏洞就可以獲得助記詞和私鑰;而Jaxx相比Bitcoin Wallet更嚴重,存儲在Jaxx中的私鑰被黑客竊取,只需很少的努力。[2018/2/27]
獵豹移動CEO傅盛:區塊鏈是新時代的生產關系:在獵豹2018全球年會上,獵豹移動CEO傅盛談到了獵豹將如何運用AI和區塊鏈對獵豹產品進行改造。AI為產品賦能,為用戶提供最好的工具,以此為核心建設獵豹的生態;用區塊鏈的思維放大生態勢能。他認為如果說AI是新時代的生產力,那區塊鏈就是生產關系。區塊鏈帶來的去中心化思維體系,可能會普及一代人對整個社會關系的思考。區塊鏈的去中心化和互信機制,極大提高了組織效率,也有可能重塑整個社會關系。[2018/2/7]
Tags:安全
9月5日,在由Odaily星球日報主辦、36Kr集團戰略協辦的P.O.D大會安全論壇上,獵豹區塊鏈研究中心安全專家楊文玉發表題為《智能合約自動化審計技術》的演講.
1900/1/1 0:00:00