首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    那些被一行代码蒸发1个亿的智能合约,形式化验证了解一下? | 人物志

    「人物志」为区块链大本营(ID:blockchain_camp)着力打造的人物栏目,以「趣味而不失专业,可读而不失深度」为宗旨,每期邀请区块链领域的顶级专家和开发者就行业、投融资、开发、案例、项目实践等展开探讨。 作为以太坊生态的核心,智能合约这几年发展迅速。最早的智能合约,可以追溯到1995年,由密码学家尼克萨博首次提出。智能合约在多方参与、复杂交易的场景中有明显优势。 然而,近期随着智能合约安全问题的频繁出现,智能合约的劣势也愈发明显,包括智能合约如何对实体资产进行控制,从而保证其有效地执行合约;以及如

    06

    区块链开发如何选择底层平台和开发语言?

    大多数人并不需要自己重新创建一套区块链,而是基于现有的区块链底层平台去开发自己的应用,对于类似加密算法、 P2P技术、共识算法等只需要有个基本了解就可以了,暂时不需要深入研究。在文本中,将介绍三种主流的区块链底层平台:比特币、以太坊和超级账本Fabric,以及这些平台上的应用开发语言。 比特币区块链开发 最早的区块链开发便是基于比特币的区块链网络进行开发了,由于比特币是全球最广泛使用和真正意义的去中心化应用,因此,围绕比特币的各种区块链技术非常多,这里不一一描述,只针对入门开发进行介绍。 基于比特币的区块链

    012

    区块链数字货币系统开发:让区块链技术成为颠覆世界的技术

    BlockChain和比特币无疑是今年最火热的话题之一,区块链技术创业公司如雨后春笋,区块链应用遍地开花,区块链数字货币交易平台也层出不穷,比特币价格也曾一路飞奔已经突破十万人民币大关。很显然无论是区块链这项技术还是比特币这种货币已经在被更多的人接受。与金融这个古老的行业相比,尚不足月的区块链和比特币是如何为大众所接受的?区块链技术到底拥有怎样颠覆的能力?我们为什么需要区块链? 区块链的颠覆能力 首先明确区块链并非是一项全新的技术,无论是分布式的存储、传输协议、加密机制都是独创的,而是通过一种极其精致的方式

    06
    领券