北美洲区块链智网站大全
-
区块链 Certik-区块链智能合约和验证平台
国家:美国
TAG: 区块链项目
更新日期:2019-01-05
Certik是一家用形式化验证技术保护智能合约和区块链生态的安全的验证平台,致力于应用形式化验证技术,为智能合约和区块链生态提供安全保护
-
区块链 以太坊
国家:美国
更新日期:2018-04-28
以太坊(英语:Ethereum)是一个开源的有智能合约功能的公共区块链平台。通过其专用加密货币以太币(Ether)提供去中心化的虚拟机(以太虚
按回车键跳转