動態 | Beosin在中小微企業SAAS應用創新創業大賽榮獲一等獎
今日,由工信部、四川省人民政府指導,四川省經濟和資訊化廳主辦全國首屆中小微企業SAAS應用創新創業大賽上,15個從全國評選中晉級的優質企業進行了路演,最終Beosin(成都鏈安)憑藉對區塊鏈安全領域的理解、與網際網路技術從業者共同創造安全生態的理念、以及能切實提高產品研發能力的優勢奪得冠軍,同樣也是本次大賽唯一一等獎。
Beosin自主研發出“一鍵式”智慧合約形式化驗證平臺VaaS,支援多種主流區塊鏈平臺(EOS,ETH,Fabric等)的智慧合約驗證。目前Beosin已全新上線智慧合約自動形式化驗證平臺VaaS-ETH精簡版,為區塊鏈從業者提供智慧合約安全審計服務,對智慧合約安全漏洞進行形式化驗證,從容應對常規合約安全問題。
剩餘 443