引言 傳統智慧合約程式碼審計，多使用純人工或者形式化驗證等切片窮舉的方式，而且涉及到程式碼審計審計人員水平高低不一樣，容易導致審計結果出現偏差。人工方式受到個人能力所限，質量無法保證，且人力疏忽的可能性遠高

國慶長假已經結束，每逢佳節，都少不了走親訪友和外出旅遊，適逢長假外出旅遊的人群比例是逐年提高。每年的出行從國家到個人，安全永遠是第一位的。雖然近年來私家車多了起來，但旅行的過程中難免使用公共交通工具。由於公共交

密切去關注大公司的發展動態，是一個任何行業、任何級別企業的創業者需要養成的習慣。這些大公司對市場的敏銳觀察力，精準判斷力，超強執行力等讓他們成為這一時代的巨頭企業，擁有百億或千億級美元規模。許多

相信每個人每天都在接觸網際網路，但很少有人知道它是從哪裡來的，是誰製造的，或者它是如何工作的。 希望這篇文章不僅能告訴你網際網路的起源，而且還能告訴你它還將如何發展。 美國政府將早期的網際網路發展成可以抵禦

自區塊鏈出現的那一天起，這項自帶光環和流量的全新技術一直牢牢霸佔各類媒體的版塊頭條，其勢頭在這一年尤為強勁，新技術的不段發展，區塊鏈這一抹華麗麗的“萬金油”新技術，與各行各業相結合的理論不斷湧現。

北京大學日前提議，可以使用區塊鏈技術進行網路域名管理。 根據美國專利商標局週四公佈的專利申請，北京大學深圳研究生院正在研究如何使用“區塊鏈聯盟”提高頂級域名（TLD）管理的安全性和效率。 該團

作者 | 李曉蕾 編輯 | 楊舒芳 市值暴跌之中，幣圈的大多數投資者都在“裝死”。 這裡像一個賭博場，賺了的人想翻倍，虧了的人想回本。被套牢的人都有一個共同點，總認為自己是下一個幸運兒，能

裝置物聯網是典型的離散型行業，去中心化的區塊鏈技術非常契合裝置物聯網中裝置與裝置和裝置與人之間的自主服務、自主維持、自主交易、自主共享等應用場景。但是，真正將區塊鏈技術應用於裝置物聯網，還存在一些關鍵

全文共計1139字，預計閱讀2分鐘 近日，金融壹賬通的區塊鏈技術在全球眾多科技專案案例中脫穎而出，獲評IDC 2018 Real Results Awards，該獎項旨在表彰全球金融服務行業中真正為金融機構

據Timesofisrael 10月3日報道，以色列證券管理局（Israel Securities Authorities, ISA）週三表示其已經開始使用區塊鏈技術來提高網路安全並應對資訊保安挑戰。

在區塊鏈行業，有一個現象很有意思：對於那些從傳統科技領域跨界到區塊鏈的人來說，他們往往需要一段時間才能適應這個行業的全新生態。這其中一個重要的原因在於，在傳統科技領域裡的那些常青樹巨頭，無論是BAT，還是GA

科技巨頭IBM被授予的一項新專利凸顯了區塊鏈技術在監控計算機網路安全漏洞方面可能扮演的角色。 該專利於2017年9月首次提交申請，本週二由美國專利和商標局(USPTO)正式授予。該專利概述了

在AI World 2018世界人工智慧峰會上，中國萬向控股有限公司副董事長兼執行董事肖風分享了他對AI、資料隱私保護和區塊鏈的獨到看法。 肖風認為，隨著AI迎來第三次高潮，技術對資料愈發依賴，帶來了人們對資料估

全文共計1014字，預計閱讀2分鐘編者按：李思成認為區塊鏈作為一種技術如果僅限於資本之上的應用而不能進入日常生活那一定不能發揮它的最大價值，我們也期待，假以時日能夠實現“區塊鏈+”在更多的消費領域場景的應

（1）渴望走進區塊鏈世界 故事從18年初講起，那時，我剛踏入新媒體行業，最初就是一條鹹魚，只想做一個美食小編，滿足吃貨的心情，還能拿一份工資。沒想到，熱衷於吃喝玩樂的武漢妹子，選擇了區塊鏈行業，深深體會