區(qū)塊鏈安全-Beosin 成都鏈安

? 成都鏈安科技有限公司,專注區(qū)塊鏈安全領(lǐng)域,其核心技術(shù)為形式化驗(yàn)證,是國(guó)內(nèi)最早一家將此技術(shù)應(yīng)用到區(qū)塊鏈安全領(lǐng)域的公司。 ?

官網(wǎng)

GitHub

知乎

總結(jié)

歡迎留言討論,有錯(cuò)誤請(qǐng)指出,謝謝!

【聯(lián)系我(QQ:3500229193)或者加入社群,請(qǐng)戳這里!】

參考鏈接

更新日志

日期 次數(shù) 備注
2019.07.04 1
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容