獵豹區(qū)塊鏈研究中心專家：
智能合約自動化審計存在三大問題
據(jù)36kr報道，近日獵豹區(qū)塊鏈研究中心安全專家楊文玉在關(guān)于如何有效保障海量智能合約的安全的問題時表示，最好的方法是降低人工審計復(fù)雜度，采用智能合約自動化審計。即主要通過特征代碼匹配、基于形式化驗證的自動化審計方法、基于符號執(zhí)行和符號抽象自動化審計這三類方法。
此外，她也指出，現(xiàn)在自動化審計方法處于一個很不成熟的階段，主要面臨三大問題：誤報率高，自動化程度低、依賴人工二次審計，審計時間比較長。
報告顯示基于區(qū)塊鏈的自治性保險正在出現(xiàn) 將顛覆傳統(tǒng)保險業(yè)根據(jù)ResearchAndMarkets.com 發(fā)布的最新Peer2Peer Insurance Global 2018中顯示區(qū)塊鏈技術(shù)和點對點（P2P）保險模式正在重塑保險領(lǐng)域。該研究指出，最近出現(xiàn)了一股使用區(qū)塊鏈技術(shù)
天原集團(tuán)：因擬合資設(shè)立供應(yīng)鏈管理公司遭深交所發(fā)函關(guān)注天原集團(tuán)(002386)9月10日收到深交所的關(guān)注函。函件顯示，公司擬與易見股份新籌建一家供應(yīng)鏈管理公司，開展區(qū)塊鏈信息技術(shù)服務(wù)等業(yè)務(wù)。對此，深交所要求公司補(bǔ)充披露與易見股份共同
粵公網(wǎng)安備 44030402000745號 