近日,北京大学信息科学技术学院计算机科学技术系肖臻研究员领导的课题组开发出一套基于硬件辅助虚拟化的多核确定性重演系统,引起业界广泛关注.
智能合约
20世纪90年代,计算机科学家尼克萨博第一次提出了“智能合约”这一概念,其致力于将已有的合约法律法规以及相关的商业实践转移到互联网上来,使得陌生人通过互联网就可以实现以前只能在线下进行的商业活动,并实现真正的完全的电子商务.
尊敬的用户：据HTP官方消息,将于8月4号下午15:00进行智能合约升级,CEO全球站已关闭HTP转入转出.
在上篇《Galaxy数字之美：新型智能合约Q语言,如何实现100%无BUG？》中,我们为大家阐述了VNTChain基于形式化验证的新型智能合约Q语言的它的设计原理及应用价值.
尊敬的用户： CEO全球站已完成HTP智能合约,已由总量5亿缩至总量2亿,并且将原持有的HTP币1:1映射完成！更换详情：IDEX Global亚太区CEO易兰：链改的目标是区块链+产业+落地应用:金色财经现场报道.
1概述 Certik是一款通过数学方法(形式化证明）验证智能合约漏洞的分布式应用,CertiK致力于通过全球领先的形式化验证技术,来保证智能合约和区块链系统的安全性.
Trustnodes8月7日报道,根据Etherscan的数据,以太坊网络上已经发布了20多万份智能合约。以太坊区块链于2015年7月30日正式上线,目前已经被世界上的诸多独角兽公司所使用.
1概述 Perlin是一个高伸缩性的PoS智能合约平台,强化并推广了Avalanche一致性协议：在有向无环图上基于亚稳态机制构建的部分同步拜占庭容错协议,以实现极高的吞吐量和可扩展性.
金色财经比特币8月22日讯比特币核心开发人员、同时也是隔离见证创建者彼得·伍伊尔推出了一个全新的比特币智能合约编程语言：Miniscript.
区块链安全咨询公司?曲速未来?表示：日前,Qtum核心开发工程师Shannon发布了隐私资产技术提案QIP-19。该提案想通过预编译智能合约实现隐私协议,以此来实现在Qtum网络上发行带有隐私保护的资产和Token.
亲爱的用户： 据DVF官方消息,DigitalSoclety项目方将于8月31日12:00进行智能合约地址升级,ZZEX交易所已关闭DVF充提币.
受访者：王渊命 采访&撰文：李画本文约5000字,阅读全文需约10分钟。随着新的指令和算法的引入,比特币的多签功能正在变得强大.
整理：LeftOfCenter以太坊Casper核心研究者KarlFloersch发布了新架构OptimisticRollup,该架构大量借鉴了Plasma和zkRollup的设计.
摘要：这项技术能为普通市民和小企业做些什么?“现在每个人都很清楚,基于区块链的智能合约有潜力彻底改变我们达成协议、执行交易和授予授权的方式。它们改变了许多行业的工作方式.
根据DREP官方消息,DREP团队将于2019年9月6日12:00开始进行DREP智能合约升级,新的DREP合约地址为：0x22dE9912cd3D74953B1cd1F250B825133cC2C1b3.
当市面上有如此之多的以太坊钱包时,我们很容易就假设它们都是一样的,因为它们基本上确实只有很小的区别。但是另一方面,像我们的产品以及Gnosis的产品一样的智能合约钱包,却与移动钱包有本质上的区别.
01前言 在之前的技术视点文章中,我们介绍了目前本体主网支持的智能合约体系以及相应的智能合约开发工具SmartX。很多小伙伴都想上手练一练。在本期的本体技术视点中,我们将正式开始讲述智能合约语法部分.
编者注：本文为Parity开发者WeiTang写作的,关于如何增强EVM后向兼容性的文章,改进Gas机制的方案堪称大胆.
01导语 上一期我们介绍了本体Python智能合约的合约执行API,本期我们将讨论如何通过NativeAPI来进行本体原生合约调用。原生合约调用最典型的功能就是合约转账,这也是整个智能合约最核心的部分.
自今年6月Facebook高调推出天秤座以来,“FacebookCryptocurrency”一直是媒体头条.
近日,以太坊创始人VitalikButerin在以太坊研究论坛上发表文章,提出一种激励开发者的新方案,当开发者创建一个智能合约后,任何其他使用该合约的用户付出的交易手续费的一部分,会发送给合约的创建者作为激励.
2019年09月13日AirSwap团队公布了一个AirSwap智能合约中存在致命的漏洞,这一漏洞可以使得用户的资产在某些情况下被对手恶意吃单『偷盗』,PeckShield安全人员独立分析了该漏洞.
最近币安的去中心化交易所大火,币乎以及其他社区媒体以此为话题者诸多。币安作为交易量第一的中心化交易所顺带布局去中心化交易所,被吹捧理应当然.
作者：TomLyons,LudovicCourcelas和KenTimsit合著翻译：头等仓Saline? 来源：头等仓 编者注：原标题为《区块链和智能合约的法律和监管框架》报告概述什么是欧盟区块链观察站及论坛？欧盟区块链观察站及论坛.
写在前面 2018年跑路的交易所不在少数。交易所是数字货币交易的地方,我们最关心的就是一个问题就是数字资产的安全问题。也不整什么太煽动性的语言,TVB就从自己的理解上聊一聊.
在上次去中心化交易所中,我提到一个观点是智能合约比私人钱包的安全程度高很多,但许多读者表示不以为然,因为他们认为EOS上的智能合约私钥在项目开发者手里,因此EOS的智能合约是可以被开发者进行篡改的.
春节前,在币乎上曾有过一阵对去中心化交易所“伪去中心化”机制的热点讨论,引发了很多人对去中心化交易和智能合约的关心和讨论.
巴比特现场报道,11月8日,2019世界区块链大会·乌镇在乌镇互联网国际会展中心正式开幕。在下午的“技术无界：区块链底层基础设施”分论坛上,Chainlink创始人兼CEOSergeyNazarov表示,智能合约存在连通性问题,智能合.
据《证券日报》报道,北京互联网金融协会研究院院长易欢欢表示,2020年区块链将进入快速且广泛地应用之中,加密数字币智能合约分布式应用等会全面开花,尤其是在金融领域方面.
智能合约这个概念是1995年由尼克·萨博提出来的。那时候还没有比特币,没有区块链,更没有以太坊。2015年7月30日,以太坊第一个区块被挖出,以太坊正式登上历史舞台。随之而来,还成就了智能合约的大热门.
智能合约能否在没有区块链的环境下使用呢？这是美版知乎Quora用户提出的一个问题,而在相关答案当中,约有一半的回答是肯定的,而另一半则表示两者无法分离.
大家好,我是柯南。这一期视频里,我和大家聊一聊什么是区块链智能合约。 目前大家接触到的合约主要是泛金融领域的应用和解释,也可以说：智能合约是一种可以自动化执行的简单交易.
据中国金融新闻网消息,12月17日,在第三届中国互联网金融论坛上,中国互联网金融协会区块链研究工作组组长、中国银行原行长李礼辉表示,根据中国互联网金融协会的研究,在区块链的共识机制、智能合约等底层技术上,我国目前缺乏自主产权.
据慧聪广电网消息,12月20日,2019年慧聪网广播电视行业创新发展高峰论坛暨颁奖盛典在京举行,在论坛上,国家广播电视总局科技委副主任杜百川表示,在广电领域中,广告商、发布方、评价、用户、矿工组成的区块链具有重要作用.
关于ECASH更换智能合约的公告亲爱的用户：由于ECASH更换新智能合约,ECASH代币总量将由初始1,800,000,000枚缩成180,000,000枚,新ECASH代币将以10:1进行兑换原ECASH代币.
Messari产品负责人王启奥最近在推特上表示,稳定币基本上扼杀了所有智能合约平台累积巨额货币溢价的机会.