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