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

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

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

    06

    微软许建志:隐藏在加密货币下的区块链,才是企业跨组织协作的正确姿势

    内容 | 许建志 微软首席项目经理主管 整理 | 何永灿 本文为2018 BTA区块链技术与应用大会演讲实录。讲师许建志 (Jacky Hsu),为微软首席项目经理主管。曾在微软中国台湾、新加坡等地工作,从软件到硬件,再到新技术的行业解决方案,具备多年丰富的软硬件创新探索和实践心得。 大家好,我是许建志,现在微软产品组工作,今天很高兴就企业怎么使用区块链来做分享和讨论。 区块链并不只是数字货币 在谈区块链之前,我们大家听到的第一是数字货币。对于数字货币,刚开始我个人的态度是旗帜鲜明的反对,但现在我有了非常大

    06

    谁不想低门槛接入区块链!这三年,他们为你的方便操碎了心

    以太坊(Ethereum)作为一个有智能合约功能的开源公共区块链平台,其应用数据都分布在同一区块链上。随着开发应用的数量逐渐增加,应用数据越来越多,致使用户在使用过程中下载大量的冗余数据,而那些硬件未及时更新的用户就很难继续正常运行使用,因此,在某种程度上使得区块链失去了去中心化的特征。 侧链作为主链的一个扩展,可以有效的扩充主链的功能。阿希(Asch)是一种新型的基于侧链架构的区块链开发平台,结构设计更加灵活,在一定程度上弥补了主链空间不足的问题。 那么,阿希平台究竟是什么?相比与以太坊,有什么独

    03

    区块链是啥,告诉你关于区块链4个小故事

    区块链是啥,告诉你关于区块链4个小故事 区块链是当下热门技术之一。也是比较深奥的一门学科,区块链是来源于互联网技术,区块链是一种分布式共享记账技术,构成一个由多个节点参与共同维护的,有统一共识机制保障的,不可篡改的有时序加密账本的数据库。是不是有点难懂,下面给讲一下关天区块链几个小故事,你就明白区块链到底是什么了 一 爱人承诺(开放透明性) 相爱的人,都想天长地久,永不变心,如果怕他变心,就把他对你说“爱你一辈子”承诺,告诉你的父母,你的朋友,以及所有认识你的人,这里所有人都成你的见证人,在区块链叫节点

    06

    区块链的信任输入、信任输出到底来自于哪里?

    关于区块链的项目应用,很多人的印象停留在“可信任”和“不可更改”,但是这些可信任的前提是所有数据已经在链上,如果不能保证上链前数据的真实性,那上链带来的“信任感”可能只是助纣为孽的“弄假成真”。 为了解决信任问题,我们常能想到食品安全问题,常想到可能在食品溯源的区块链应用。 按照区块链的分布式逻辑,食品上链后,它的所有信息不可更改,食品来源和情况一目了然。可是,万一上链的数据参数本身就是假的呢?即便保证数据是真的,食品总是要吃的,上链数据是他的一个说明,怎样保证物理世界的食品和链上的数据说明能够一一对应,不

    02
    领券