Qtum量子鏈與哥倫比亞大學合作開展區塊鏈技術研究

「  繼Bianews 7月17日消息，IBM與哥倫比亞大學合作推出了一個新區塊鏈研究中心後，哥倫比亞大學進一步拓展區塊鏈技術合作夥伴——Qtum量子鏈 」   Qtum量子鏈將於即日攜手與哥倫比亞大學開展區塊鏈主流語言開發平臺技術研究，其中針對智能合約的形式化驗證將會融合在該平臺中，幫助更多的主流語言開發者可以開發智能合約，加速全球區塊鏈技術潮流。   如何理解形式化驗證？   形式化驗證一般被

>>阅读原文<<