動態 | 成都鏈安科技將為Qtum量子鏈提供形式化驗證 開展區塊鏈安全研究
摘要：
動態 | 成都鏈安科技將為Qtum量子鏈提供形式化驗證 開展區塊鏈安全研究
9月17日，成都鏈安科技攜手量子鏈（Qtum）開展區塊鏈安全技術研究，將在區塊鏈技術、區塊鏈安全驗證、智慧合約開發、審計等方面展開深度研究探索。Qtum作為相容比特幣UTXO模型和以太坊虛擬機器（EVM）...
動態 | 成都鏈安科技將為Qtum量子鏈提供形式化驗證 開展區塊鏈安全研究
9月17日，成都鏈安科技攜手量子鏈（Qtum）開展區塊鏈安全技術研究，將在區塊鏈技術、區塊鏈安全驗證、智慧合約開發、審計等方面展開深度研究探索。Qtum作為相容比特幣UTXO模型和以太坊虛擬機器（EVM）的PoS智慧合約平臺，通過全新設計的賬戶抽象層（AAL）將比特幣和以太坊生態連線。此次成都鏈安科技將基於Qtum量子鏈開發工具展開深度的區塊鏈安全以及智慧合約、審計等多方面探索。在此之前成都鏈安科技作為ONT、QuarkChain、比原鏈等10餘家公鏈指定的合約審計公司，憑藉“一鍵式”形式化驗證工具VaaS，審計過的智慧合約超過500份，已入選Etherscan智慧合約安全審計推薦名單。
剩餘 496