近期，defi 領域的多起安全事件給整個區塊鏈行業敲響了安全的警鐘。
事實上，在區塊鏈還處於初期發展階段的今天，區塊鏈生態發展得越快速越是需要資訊保安技術的保障，沒有資訊保安技術的保障，區塊鏈生態也會存在很大的風險和不可控。
而在保障區塊鏈生態安全的過程中，區塊鏈安全公司的作用顯得尤為重要。「區塊鏈安全賽道是一條佈滿『荊棘』的道路，利用數字貨幣進行非法犯罪的事件屢見不鮮，駭客的攻擊手段層出不窮，各種犯罪活動以及事件的涉案金額每年都在呈遞增趨勢漸長，這對於所有區塊鏈安全公司都是極大的挑戰」成都鏈安（ beosin ）創始人兼 ceo 楊霞對 blocklike 表示。
作為較早進軍區塊鏈安全領域的公司，成都鏈安做了哪些事情？面對日益嚴峻的安全挑戰成都鏈安將怎樣應對？楊霞又與區塊鏈安全之間發生了哪些故事？
近日，blocklike 採訪了成都鏈安創始人楊霞，就上述問題展開了對話。
引入「軍事級」形式化驗證
一直以來，楊霞都被認為是區塊鏈安全領域「嗅覺」靈敏的先行人。早在 2016 年，楊霞就在當時大熱的人工智慧與並不太顯眼的區塊鏈兩個賽道中做出了選擇，但與當時浩浩湯湯的區塊鏈行業「淘金者」隊伍不同，她早早地將視野聚焦在了區塊鏈的安全研究上。
說起來比較湊巧，楊霞投身於區塊鏈安全也與 defi 有關，「關於創立成都鏈安的契機，還要追溯到 2016 年，當時，區塊鏈安全的相關生態設施構建並不完善，尤其是由於智慧合約而引發的安全事件更是頻繁發生，其所造成的巨大經濟損失也令人堪憂。我至今還清楚地記得，真正引起我注意的事件是 2016 年以太坊平臺被爆出 the dao 漏洞」楊霞說道。
隨後，在朋友的建議下楊霞對當時市面上八成以上的智慧合約都開展了相關調研，發現它們或多或少都存在著諸如條件漏洞、整型溢位漏洞、邏輯判斷錯誤、代幣授權錯誤等問題，「這些安全問題如果不能得到解決，將會嚴重影響到區塊鏈行業的發展」楊霞補充說。
瞄準突破口以後，楊霞開始尋找針對區塊鏈領域安全問題的技術解決方案，最終在她一直鑽研的形式化驗證技術身上找到了答案。
楊霞向 blocklike 說道：「在投身區塊鏈安全領域之前，我從事了多年航空、航天、軍事領域形式化驗證的安全工作。在尋找區塊鏈安全技術解決方案的過程中，我發現形式化驗證這一技術就能夠很好地應用在區塊鏈領域的智慧合約安全問題當中，為區塊鏈行業帶來『軍事級』的安全檢測。」
於是楊霞開始嘗試將形式化驗證技術引入區塊鏈安全領域，並創立了成都鏈安，專注於區塊鏈的安全研究。
那麼形式化驗證技術在區塊鏈安全領域究竟是怎麼運作的呢？
楊霞對此解釋稱：「形式化驗證簡單來說就是將各種可能出現的問題進行窮舉。一般來說，傳統意義上的驗證手段，是無法把可能會出現的情況一一列舉並進行驗證的；但形式化驗證則是可以窮舉的，透過數學手段對程式碼建立數學模型，並證明是否存在任一可能的安全問題，最終儘可能地讓區塊鏈程式碼沒有漏洞，以預防遭受駭客攻擊。」
屢獲資本青睞的「一站式」區塊鏈安全服務平臺
隨著區塊鏈技術的普及和應用的不斷落地，越來越多的區塊鏈專案被不懷好意的駭客們盯上，安全事件頻繁發生。
資料顯示，2019 年全球數字資產犯罪案件型別，包括駭客攻擊盜幣、詐騙、非法集資、洗錢、**非法交易等，總計損失超 80 億美元。
與此同時，聚焦區塊鏈生態安全建設進行發力的區塊鏈安全公司也開始大批進場。
面對愈發激烈的競爭，楊霞表示成都鏈安的競爭優勢可以分為兩個部分，「個人層面，作為高校教授，「學院派」的身份讓我能夠更及時地捕捉到一些國家層面上的政策風向；公司層面，成都鏈安在區塊鏈安全領域深耕多年，在技術上積累了一定的優勢，公司面向區塊鏈全生態安全打造的「 beosin 一站式區塊鏈安全服務平臺」，是以形式化驗證、網路安全、人工智慧和大資料分析四大技術作為核心，能夠為區塊鏈系統提供『研發-執行-監管』的全生命週期安全解決方案」楊霞進一步解釋稱。
實際上，從資本角度來看，成都鏈安打造的「 beosin 一站式區塊鏈安全服務平臺」的競爭優勢確實得到了一定程度上的認可。
今年 2 月，成都鏈安宣佈獲得新一輪融資，這是繼 2019 年 12 月獲得數千萬元戰略投資後，成都鏈安三個月內拿到的第二筆融資。截至目前，成都鏈安已完成 4 輪融資，投資者中不乏前海母基金、聯想創投、復星高科等知名投資機構的身影。
「我認為眾多知名投資機構選擇投資成都鏈安的原因有三個方面」，楊霞解釋道：
第一，區塊鏈行業經過多年發展，特別是在國家層面越發重視之後，越來越多的傳統行業都開始了在區塊鏈行業的佈局。
第二，成都鏈安作為紮根於區塊鏈生態安全建設的頭部企業之一，積累了過硬的技術實力、優秀的產品與服務，以及行業一致好評的口碑。
第三，這些行業知名的投資機構對於成都鏈安的使命都能予以認同，同時也比較看好成都鏈安的未來發展前景。
值得一提的是，在楊霞看來，競爭發展是一方面，但是凡是紮根在區塊鏈生態安全建設的企業都是值得人們尊敬的，因為不管是對於成都鏈安還是其他的區塊鏈安全平臺來說，都需要作為區塊鏈安全領域的「盾牌」。
楊霞與她的「多重身份」
此前，創業邦釋出了一份《 2020 年最值得關注女性創業者名單》，楊霞與其他 19 位從事技術創新相關行業的女性創業者一同上榜，讓楊霞受到了更多的關注。
對此楊霞表示：「雖然在當下的創業隊伍中，女性創業者並不佔多數，但我始終認為，巾幗不讓鬚眉，女性創業者也能夠憑藉自身的努力，贏得不遜於男性創業者的關注和掌聲。」
「但就區塊鏈領域來說，其實大家並不是特別在乎創業者本身的性別，大家更關注的是你的專案好不好，你的技術實力夠不夠硬，還有公司的產品和服務是不是能夠真正解決行業痛點。作為女性創業者，如何平衡事業和家庭的關係是我目前比較焦慮的事情」楊霞補充說。
事實上，楊霞身上的標籤遠不止一個創業者，她常年在創業者、教授、技術從業者、母親等「多重身份」中來回切換。
「對於我所擔任的多重身份，其實我還是非常樂在其中的，雖然忙碌是必然的，但這些身份都給我帶來了不同的成就感。作為教授，我認為是在「打磨」學生；作為創業者，我認為是在「打磨」公司；而作為技術從業者，我認為是在「打磨」產品和服務」。當被問及她如何看待自己的「多重身份」時，楊霞如是說道。
楊霞在享受這些樂趣的同時，卻也面臨著一些困擾，「正如上面所說，平衡事業和家庭的關係是一大難題，現在的工作讓我應接不暇，作為一名母親，我在生活上陪伴孩子的時間也變得越來越少。雖然心有愧疚，但我並不後悔創業，因為我認為我的表現將會給孩子樹立一個好的榜樣」楊霞接著補充說。
