为什么说形式验证不是测试安全性的完整解决方案
我们相信基于代理的仿真可以帮助分析智能合约和协议行为.但也存在其他方法.比如形式验证.形式验证使逻辑保证比模拟的统计保证更强.在回答我们关心的安全问题方面.它是否优于激励模拟?在这篇文章中.我们探讨了

区块链和互联网的差别在哪里
1.互联网是信息机器.区块链是事实机器互联网是信息的机器.以更低的成本.更高的效率让大家互相传递信息.区块链的数据结构.以及密码学.时间戳等技术的组合.保证了一个数据上链之后就不可篡改.不可撤销.但是可

从两个方面告诉你什么是共识
建立共识当然不是一个新的概念.共识在人类开始群体 生活之时便已存在.共识在日常生活中很常见.也是一种非常宝贵的东西.从最基本的层面上说.共识只是一种让一个多样化团体在不发生冲突的情况下作出决策的方法.1

采用有效抵押的区块奖励来缓解马太效应
PoS (Proof of Stake) 区块链系统广遭诟病的缺陷之一便是马太效应.即富者愈富贫者愈贫.目前.已有诸多项目通过新颖的设计来缓解和改善该问题:Polkadot 的 NPoS (Nominated Proof-of-Stake) 使得每个 validato

如何正确的使用智能合约执行Runtime API
01 导语本期我们讨论如何使用 Runtime API(合约执行 API).Runtime API 共有8个相关的 API.提供了合约执行时常用的接口.帮助开发者获取数据.转换数据以及验证数据.这8个 API 的简单描述如下:下面我们具体讲述

如何使用安全袋技术解决比特币网络拥塞的问题
译者:简单来讲.就是对交易进行延迟满足.或许这个也是比特币的跨链切入口之一比特币的网络拥塞情况千差万别.在交易高峰期时.成千上万的交易在等待被打包入块.从而导致手续费飙升.许多用户仍不得不等待.与此同

区块链会在大众之间普及吗？
区块链是随着科技发展而广受关注的技术之一.它有着几乎人们之于高科技的所有期待:去中心化.安全.客观.本文作者埃里克·皮西尼是德勒咨询有限公司的负责人.也是全球区块链和密码货币团队的共同领导人.他在[2018