VaaS 之“成长史”
吾家有兒初長成，望齊成龍亦平安。
前不久Beosin成都鏈安度過了一周歲生日，現在我們的核心產品自動化的智能合約形式化驗證平臺VaaS也將迎來上線一周年。
從VaaS 的研發到VaaS 1.0的發布，到VaaS 2.0的發布，再到VaaS-ONT的發布，真可謂是“吾家有兒初長成”。我們Beosin成都鏈安的創始人楊霞就像看著自己孕育的孩子降臨于世，再一點點成長起來。看著VaaS的成型、發布上線、不斷更進，成為全球該領域廣受用戶認可的智能合約形式化驗證平臺，我們都感到油然欣慰。
為表心中滿滿的欣慰之情，表達對VaaS 這個“孩子”的愛意，我們為它做了一本“成長記錄簿”。
VaaS 1.0 產品界面
2016年6月，以太坊第一個安全漏洞發生，The DAO事件爆發。?
這次事件讓原來主要做軍事領域安全關鍵系統方面研究的楊霞看到區塊鏈作為一個有著大量數字貨幣交易的平臺，其所面臨的安全問題及其帶來的嚴重后果不亞于軍事等安全關鍵系統。她意識到了區塊鏈智能合約的安全也需要有專門的技術人員來提供安全保障。
基于原來在形式化驗證方面的研究成果和經驗，她作出了設想：形式化驗證作為一種大家公認的提高安全關鍵軟件功能正確性和安全性的并且在軍事、航空、航天等安全關鍵系統中得到了應用的有效手段，可與區塊鏈安全相結合。
于是自2016年下半年，她就開始嘗試用形式化驗證的方法提高智能合約安全性。
2018年3月，分布式資本團隊在看完VaaS驗證平臺原型后決定投資，Beosin成都鏈安由此成立。
2018年6月，自動化的智能合約形式化驗證平臺VaaS 1.0 發布正式上線。
VaaS的誕生即受到了國家、資深媒體以及大眾的認可。
VaaS 1.0上線當年同月，工信部發布了《2018中國區塊鏈產業白皮書》，在“區塊鏈安全保護”章節中，詳細介紹了成都鏈安科技的VaaS平臺。成都鏈安科技的形式化驗證得到了國家級的肯定。
隨后，于“2018以太坊技術及應用大會”、巴比特在浙江烏鎮舉辦的“2018世界區塊鏈大會”、“共享·共創·共贏——2018 OKEx 產業共贏大會”、“2018 BCEA世界區塊鏈創業聯盟高峰論壇—成都站”等重要會議上，VaaS 平臺都受到了高度的關注、支持與認可。
VaaS 平臺同時也在不斷地完善更新中，得到了進一步成長，2018年9月 VaaS 2.0 發布，安全檢測準確度達到95%以上，成為標準的智能合約安全檢測平臺。
VaaS 2.0 移動版界面
正是在2018年9月，在萬向第四屆全球區塊鏈峰會上，VaaS平臺受到了以太坊創始人Vitalik的高度贊揚。
接下來，在2018年最后的幾個月中，Beosin成都鏈安繼而推出智能合約自動形式化驗證平臺VaaS-ETH精簡版。在這段成長歷程中，VaaS 平臺也在區塊鏈數字媒體 CoinDesk 于新加坡舉辦的“重量級區塊鏈技術峰會 Consensus 共識大會”，由中國信息通信研究院、中國通信標準化協會聯合主辦，國際電信聯盟、可信區塊鏈推進計劃的“2018年可信區塊鏈峰會”中都受到了參會嘉賓的高度認可。
2019年，新的一年，新面貌，VaaS平臺繼續“成長”：4月， VaaS-ONT正式上線，助力本體智能合約安全。
VaaS-ONT產品頁面
這里敲黑板！劃重點！最新推出的VaaS-ONT 是2018年上半年Beosin成都鏈安與本體達成協作后，潛心研發的面向本體鏈平臺的自動形式化智能合約驗證平臺，智能合約安全監測精度達到95%以上，現已在本體智能合約集成開發環境“SmartX-IDE”中集成，并得到本體用戶的好評。
現如今，距VaaS開始研發已有兩年多，距VaaS平臺正式上線已近一年，VaaS平臺安全服務領域不斷擴展，與主流交易所、公鏈、錢包、技術公司、項目方等多個行業的客戶展開合作,包括Huobi、OKEx、KuCoin、CoinBene、CoinTiger、ONT、Qtum、比原鏈、Wanchain、BOS、Scry、布比區塊鏈、云象區塊鏈、QuarkChain、IoTeX、麥子錢包、EOSPark等50多家，為不同行業的企業及用戶提供了可靠的從安全開發到形式化驗證的全方位解決方案。
現Beosin成都鏈安已經累計審計智能合約超500份，獨立發現區塊鏈安全漏洞幾十種，獲得業界及廣大客戶的一致好評和認可。
未來，VaaS平臺將繼續前行，不斷完善，不斷拓展更多服務領域，用高度自動化智能合約形式化驗證提升智能合約、區塊鏈應用的安全性、穩定性和功能正確性，真正為用戶構建區塊鏈生態模式的縱深防御產品和服務,為企業安全發展保駕護航，為區塊鏈生態安全敬獻力量。
請與Beosin?成都鏈安一同期待“VaaS”?這個“孩子”最終成“龍”——成為區塊鏈生態安全的最佳守護騎士。
歡迎大家體驗：
一、智能合約自動形式化驗證平臺VaaS精簡版，準確率達到95%以上
Beosin（成都鏈安科技）已向全球發布VaaS平臺，全球首個同時支持ETH、EOS、Fabric、ONT、TRON等多個區塊鏈平臺的智能合約形式化驗證平臺，準確率達到95%以上。
VaaS（精簡版）系統為所有區塊鏈從業者提供方便而免費的智能合約安全審計服務，對智能合約安全漏洞進行形式化驗證，從容應對常規合約安全問題。歡迎大家登陸官方網址體驗：
官方網址：
https://beosin.com/vaas/index.html#/audit/ptsj
▲VaaS 精簡版平臺
二、在線 Beosin-IDE 免費版本
Beosin-IDE 是一款免費的面向BOS、EOS區塊鏈平臺的智能合約在線集成開發環境，可同時支持合約開發、部署、測試和源碼調試等功能的在線區塊鏈應用開發集成環境。
歡迎大家免費體驗：通過瀏覽器訪問
https://beosin.com/BEOSIN-IDE/index.html#/
（如下圖，推薦Chrome瀏覽器）。
▲Beosin EOS-IDE
Beosin官方發表正式聲明：
為了全球化市場戰略需要，公司發布全新英文品牌 “Beosin”。作為深耕區塊鏈安全領域的公司，“Beosin”力求為行業保駕護航，以打造區塊鏈全生態安全為宗旨，竭誠為客戶提供包括智能合約安全審計、智能合約開發審計一條龍、錢包安全加固與審計、DApp安全加固與審計、區塊鏈平臺安全檢測、交易所安全檢測、企業級安全服務等。但公司英文名稱更名并不涉及業務架構或公司所有權變化。新品牌的Logo如下圖：
近期，有XX鏈安科技與成都鏈安科技重名，且Logo及宣傳語相似。成都鏈安科技是一家由分布式資本、界石資本、盤古創富投資的專門從事區塊鏈安全的公司，與其他XX鏈安科技無任何關聯。請大家認準成都鏈安科技唯一指定商標品牌，謹防上當受騙，一切消息以官網及官方公眾號為準。
成都鏈安科技官方公眾號名稱：Beosin成都鏈安
成都鏈安科技官方網址：
www.lianantech.com
——Beosin
關于Beosin：
Beosin（成都鏈安）成立于2018年，公司位于四川省成都市，專注于區塊鏈生態安全。公司由楊霞和郭文生兩位教授共同創建，團隊核心成員由來自海內外知名高校和實驗室留學經歷的教授、博士后、博士及阿里、華為等知名企業精英組成。已獲得分布式資本、界石資本、盤古創富等著名投資機構的兩輪股權投資。其核心技術為形式化驗證，是全球最早一批將此技術應用到區塊鏈安全領域的公司。
公司首批入選Etherscan智能合約審計推薦名單及普華永道創新加速器，榮獲全國首屆中小微企業SaaS應用創新創業大賽冠軍，獲得OKEx最佳安全審計合作伙伴獎等榮譽，參加工信部多項區塊鏈安全標準的撰寫，入選工信部“2018區塊鏈白皮書”，作為唯一安全公司入選“2018中國區塊鏈企業百強榜”，榮膺金色財經“2018年度最專業安全服務機構”、“2019中國區塊鏈安全領軍企業”稱號，榮獲火星財經“最佳區塊鏈數據安全團隊”獎項，成為2019年區塊鏈技術與數據安全工業和信息化部重點實驗室成員單位。已與Huobi、OKEx、KuCoin、LBank、ONT、Qtum、比原鏈、Wanchain、BOS、Scry、布比區塊鏈、云象區塊鏈、QuarkChain、麥子錢包、EOSPark等共計超過50家區塊鏈公司建立戰略合作關系，審計報告被國內外各大知名交易所認可，為助力本體智能合約安全發布形式化驗證平臺VaaS-ONT。公司審計智能合約超500份，獨立發現區塊鏈安全漏洞幾十種，獲得行業及客戶的一致好評和認可。讓區塊鏈生態更安全，是我們的美好愿景！
「Beosin」
作為Huobi、OKEx、KuCoin、LBank等
著名交易所指定的合約審計公司。?
入選Etherscan智能合約安全審計名單。
歡迎聯系Beosin，了解智能合約安全審計
智能合約開發審計一條龍
錢包安全加固與審計
DApp安全加固與審計
區塊鏈平臺安全檢測
交易所安全檢測
企業級安全服務
?·
電話：028-83262585
網站：www.lianantech.com
郵箱：vaas@lianantech.com
地址：成都市世紀城南路599號
天府軟件園D7座504室
官網：
https://www.lianantech.com
GitHub網址：
https://github.com/Lianantech/VCA
Facebook網址：
https://www.facebook.com/BeosinChengdu/
twitter網址：
https://twitter.com/Beosin_com
Telegram中文群：
https://t.me/LiananTech_cn
Telegram英文群：
https://t.me/LiananTech_en
微博：
https://weibo.com/u/6566884467
CSDN博客：
https://blog.csdn.net/CDLianan
知乎專欄：
??點擊了解更多
總結
以上是生活随笔為你收集整理的VaaS 之“成长史”的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： [HTML5]配置Ngnix服务器支持m
- 下一篇： 利用pgzero做一个接球的小游戏