如何使用Synereo的智能合约语言来防止黑客入侵

没有正式的语义，就不可能推论代码，也不可能详细说明它的作用或者利用任何形式化验证方式来确保遵从任何规格。无论是出于什么意图和目的，Solidity语义的唯一规格是它为以太坊虚拟机（EVM）所编译的字节代码。这个编译程序还没有被正式验证。 而且，这个虚拟机运行的代码也没有被验证，因此对于 Solidity 的合约应当做什么，我们几乎不能说出什么所以然来。

区块链安全问题应该怎么解决？

区块链项目（尤其是公有链）的一个特点是开源。通过开放源代码，来提高项目的可信性，也使更多的人可以参与进来。但源代码的开放也使得攻击者对于区块链系统的攻击变得更加容易。近两年就发生多起黑客攻击事件，近日就有匿名币Verge（XVG）再次遭到攻击，攻击者锁定了XVG代码中的某个漏洞，该漏洞允许恶意矿工在区块上添加虚假的时间戳，随后快速挖出新块，短短的几个小时内谋取了近价值175万美元的数字货币。虽然随后攻击就被成功制止，然而没人能够保证未来攻击者是否会再次出击。

当然，区块链开发者们也可以采取一些措施

一是使用专业的代码审计服务，

二是了解安全编码规范，防患于未然。

密码算法的安全性

随着量子计算机的发展将会给现在使用的密码体系带来重大的安全威胁。区块链主要依赖椭圆曲线公钥加密算法生成数字签名来安全地交易，目前最常用的ECDSA、RSA、DSA 等在理论上都不能承受量子攻击，将会存在较大的风险，越来越多的研究人员开始关注能够抵抗量子攻击的密码算法。

当然，除了改变算法，还有一个 *** 可以提升一定的安全性：

参考比特币对于公钥地址的处理方式，降低公钥泄露所带来的潜在的风险。作为用户，尤其是比特币用户，每次交易后的余额都采用新的地址进行存储，确保有比特币资金存储的地址的公钥不外泄。

共识机制的安全性

当前的共识机制有工作量证明（Proof of Work，PoW）、权益证明（Proof of Stake，PoS）、授权权益证明（Delegated Proof of Stake，DPoS）、实用拜占庭容错（Practical Byzantine Fault Tolerance，PBFT）等。

PoW 面临51%攻击问题。由于PoW 依赖于算力，当攻击者具备算力优势时，找到新的区块的概率将会大于其他节点，这时其具备了撤销已经发生的交易的能力。需要说明的是，即便在这种情况下，攻击者也只能修改自己的交易而不能修改其他用户的交易（攻击者没有其他用户的私钥）。

在PoS 中，攻击者在持有超过51%的Token 量时才能够攻击成功，这相对于PoW 中的51%算力来说，更加困难。

在PBFT 中，恶意节点小于总节点的1/3 时系统是安全的。总的来说，任何共识机制都有其成立的条件，作为攻击者，还需要考虑的是，一旦攻击成功，将会造成该系统的价值归零，这时攻击者除了破坏之外，并没有得到其他有价值的回报。

对于区块链项目的设计者而言，应该了解清楚各个共识机制的优劣，从而选择出合适的共识机制或者根据场景需要，设计新的共识机制。

智能合约的安全性

智能合约具备运行成本低、人为干预风险小等优势，但如果智能合约的设计存在问题，将有可能带来较大的损失。2016 年6 月，以太坊更大众筹项目The DAO 被攻击，黑客获得超过350 万个以太币，后来导致以太坊分叉为ETH 和ETC。

对此提出的措施有两个方面：

一是对智能合约进行安全审计，

二是遵循智能合约安全开发原则。

智能合约的安全开发原则有：对可能的错误有所准备，确保代码能够正确的处理出现的bug 和漏洞；谨慎发布智能合约，做好功能测试与安全测试，充分考虑边界；保持智能合约的简洁；关注区块链威胁情报，并及时检查更新；清楚区块链的特性，如谨慎调用外部合约等。

数字钱包的安全性

数字钱包主要存在三方面的安全隐患：之一，设计缺陷。2014 年底，某签报因一个严重的随机数问题（R 值重复）造成用户丢失数百枚数字资产。第二，数字钱包中包含恶意代码。第三，电脑、手机丢失或损坏导致的丢失资产。

应对措施主要有四个方面：

一是确保私钥的随机性；

二是在软件安装前进行散列值校验，确保数字钱包软件没有被篡改过；

三是使用冷钱包；

四是对私钥进行备份。

区块链中的硬分叉，以太经典ETC是什么意思？

以太经典（ETC）简史

以太经典始于一个不幸的事件。

2016年5月，去中心化自治组织(DAO)举行了一次代币销售，目标是建立一个基于区块链的风险投资，以资助Ethereum生态系统内未来的去中心化应用(DApps)。

基本上，DAO是一个去中心化方式运作的复杂的智能合约–当条件满足时自动在多方之间执行任务的计算机代码。

尽管其有着雄心勃勃的目标以及成功的代币销售，DAO的代码却有一个重大漏洞，使得攻击者可以从去中心化组织中窃取ETH。

攻击者在2016年6月利用这一漏洞，引发了臭名昭著的DAO黑客事件，恶意窃取了大约价值5000万美元的ETH。

毋庸置疑，DAO黑客事件曾震惊了Ethereum社区，也使得ETH价格从20美元跌至13美元。

在DAO黑客事件发生后，Ethereum社区不得不从三个选项中选择。

什么都不做，努力承受攻击带来的后果；

启动软分叉，收回资金；

部署一个硬分叉来恢复丢失的ETH。

软分叉和硬分叉都是重大的 *** 升级。然而，软分叉允许未升级的用户和升级后的用户相互交流，而硬分叉则不能向后兼容以前的版本。

由于开发人员意识到部署软分叉会使 *** 受到分布式拒绝服务（DDoS）攻击，Ethereum社区决定发起硬分叉，以恢复在DAO黑客攻击中损失的资金。

虽然这一方案得到了大多数人的支持，但Ethereum社区中的一小部分人却表示反对，他们认为 “代码即律法”，区块链 *** 应该是不可改变的。

由于双方未能在解决方案上达成一致，最终导致了Ethereum区块链的分裂。

那些试图找回丢失的ETH的人选择了硬分叉，开启了我们今天所熟知的Ethereum（ETH）区块链，而另一群人则留在了最初的Ethereum Classic（ETC）链上。

以太经典解决了那些问题？

以太经典（ETC）是一个允许开发者部署智能合约和DApps的区块链平台。

虽然这个功能与Ethereum（ETH）的功能相同，但ETC区块链有两个主要区别。

首先，Ethereum Classic社区反对篡改分布式账本，支持“区块链 *** 不能也不该被修改”的观点。

其次，虽然ETH总供应量没有硬性上限，但以太经典采用恒定供应的货币政策，最多允许创建2.3亿个ETC。

作为一个加分项，以太经典在去年启动了Atlantis硬分叉，以增加与Ethereum的交互性，并通过zk-SNARKS提高交易的隐私保护程度。

以太经典ETC推荐的交易平台：火币、OKEX、AAX等。

以太坊的智能合约再次被黑客攻击，到底肿么啦

不知道楼主说的被黑客攻击是在哪听说的消息，不过这个也不是不可能，虽然目前区块链热度很高，但是任何东西没有绝对的安全性，哪怕是比特币也不行

数字加密货币比较常见的有哪些？

比特币（ *** C）

发行日期：2009 年

市值：1630 亿美元

优势：作为最早发行的加密货币，比特币是全球更大、更流行的区块链 *** ——也是久经沙场最能抵御黑客攻击的加密货币。

劣势：日益增长的需求给比特币 *** 带来巨大压力，使得交易成本高昂。该系统每秒只能处理约 7 笔交易，但耗电量却惊人，这主要是由于其拥有的工作量证明机制和协商一致原则，让挖矿变成了劳动密集型活动。

以太坊（ETH）

发行日期：2015 年

市值：700 亿美元

优势：其内置的编程语言可以让开发者自己编写运行在区块链上的智能合约计算机程序。迄今为止，大多数首次代币发售都是基于以太坊的智能合约。

劣势：以太坊也使用工作量证明的一致性协议，因此相对而言速度比较缓慢，耗电量大。许多早期的智能合约都十分容易遭受黑客攻击，智能合约安全领域发展尚不成熟。

瑞波币（XRP）

发行时间：2012 年

市值：320 亿美元

优势：瑞波称其 XRP 加密货币可以成为各大金融机构的“桥梁货币”，可以更加快捷、成本更低地结算跨境支付。瑞波使用了一种全新的一致性协议，可以实现更加快捷地交易，比比特币和以太坊速度更快。

劣势：由于瑞波作为一家私人公司对该系统有着重要的控制权，因此有人认为 XRP 的去中心化程度不够，与任何人都可以挖矿的比特币形成对比。

比特币现金（BCH）

发行时间：2017 年

市值：190 亿美元

优势：该种货币是比特币的一种“硬分叉”，其创始人对比特币进行了调整，从而可以处理更大交易量。

劣势：评论家认为比特币现金太过中心化——少数的矿工创建了大多数的货币。

莱特币（LTC）

发行时间：2011 年

市值：100 亿美元

优势：莱特币是一种“替代币”——几乎是比特币的克隆，但还是有几处不同。莱特币处理交易的速度要比比特币快四倍，挖矿过程也仍保持对业余爱好者开放——这跟比特币很不一样，因为比特币的专业挖矿人需要使用昂贵的硬件。

劣势：尽管相较比特币速度提高，但莱特币还是太慢了，耗电量也很大，这些因素让其无法成为一种理想的支付方式，而且还有另外一个劣势：就是不太出名。

推荐一篇文章：数字货币市值排行榜前100币种简介，文章把市值前一百（根据CoinMarketCap2018年7月30日市值排行）的币的简介在这里总结了一下，希望能够对刚进入币圈的朋友有所帮助。

以太坊带来了那些争议和质疑呢？

以太坊和比特币是有着本质区别的，区别在哪里呢？比特币定义的是一套货币体系，而以太坊侧重的是打造一条主链（可以理解为一条公路），可以让大量的区块链应用跑在这条公路上。

从这一点来看，以太坊的应用场景更广泛，这也是为什么我们说以太坊标志着区块链

1.0时代一个单纯的货币体系，向区块链2.0时代实现其他行业以及应用场景的转变。

但是，世界上没有十全十美的事物，以太坊虽然拓展了区块链在各行各业的应用范围，还提升了处理交易的速度，但是它也存在着一定的争议与质疑。

一、以太坊的扩展性不足的解决之道：分片技术和雷电 ***

以太坊的底层设计，更大的问题是以太坊只有一条链，没有侧链，这就意味着，所有程序都要对等地跑在这条链上，消耗资源的同时，还会引发系统拥堵。正如去年非常火爆的以太坊游戏“加密猫”，这个游戏火爆的时候，一度引发以太坊 *** 瘫痪。

对于提升处理能力这个问题，以太坊提出两种方式：一个是分片技术（shard），一个是雷电 *** ，下面我们分别介绍一下这两种技术。

（一）分片技术

以太坊创始人 V 神（Vitalik Buterin）认为，诸如比特币这种主流的区块链 *** ，之所以处理交易的速度很慢，是因为每一个矿工要处理全网的每一笔交易，这样的效率其实是非常低下的。分片技术的构想是：一笔交易不必发动全网所有节点都去处理，只要让 *** 中的一部分节点（矿工）处理就好了。于是，以太坊 *** 被划分成很多片，同一时间，每一分片都可以处理不同的交易，这样一来，会大大提升 *** 性能。

但是，分片技术也是有一定争议的。我们知道，区块链技术的重要思想是去中心化，全网都去见证（处理）同一交易，这才具有更高的权威性。而以太坊分片技术，并不是所有节点共同见证，而是类似于分小组见证，这样一来，它便失去了绝对的“去中心化”属性，只能通过牺牲掉一定的去中心化特性来达到高性能的目的。

（二）雷电 ***

雷电 *** 使用的是链下交易的方式。这是什么意思呢？它的意思是：使用雷电 *** 的参与者在互相转账时，不需要通过以太坊主链交易确认，而是通过参与者之间创建支付通道，在链下完成。

不过，雷电 *** 并不是脱离主链的，在建立支付通道之前，需要先用主链上的资产做抵押，生成余额证明（Balance Proof），拥有余额证明才能表明你能做出相应余额的转账。在交易双方都持有余额证明的情况下，双方可通过支付通道在链下进行无限制次数的转账。

只有在完成链下交易，需要将资产转回链上时，才会在以太坊主链上登记主链账户的余额变化信息，而这期间不管发生多少次交易在主链上是不会有记录的。

雷电 *** 还有一个实实在在的好处，就是可以为你省下矿工费用。目前我们在以太坊主链上进行交易，需要消耗 Gas，需要支付矿工费用，那么一旦将交易搬到链下，就可以节省这一部分的成本。

当然，雷电 *** 并不是十全十美的。在使用雷电 *** 时需要用主链上的资产作抵押；而这部分资产作为抵押物，在使用者完成链下交易之前是不能使用的。这也就决定了，雷电交易只适合小额交易。

上面就是以太坊扩展性不足的问题，以及目前提出的两个主要解决方案：分片技术和雷电 *** 。

二、以太坊的智能合约存在漏洞与臭名昭著的 The Dao 事件

以太坊的智能合约很强大，但是，凡是代码都会存在漏洞的，以太坊智能合约更大的争议就在于所谓的漏洞，也就是安全性问题。据相关研究表明，在基于以太坊的近100万个智能合约上，发现有34200(约3%)个含有安全漏洞，将允许黑客窃取ETH、冻结资产或删除合约，比如说，臭名昭著的The Dao 事件。

（一）Dao是什么意思？

介绍 The Dao 事件之前， 我们先见到介绍一下 DAO 是什么。DAO 是 Decentralized

Autonomous Organization 的简称，可以理解为：去中心化自治组织。从以太坊的角度来理解，DAO 是区块链上的某一类合约，或者一个合约组合，用来代替 *** 的审查以及复杂等中间程序，从而实现高效的、去中心化的信任的系统。所以，DAO 不是特定的某个组织，也就说呢，可以有很多的DAO，各种各样的DAO。

（二）臭名昭著的The Dao事件

但是，我们现在提到DAO，基本上所指的都是The DAO事件，也就是我们刚刚说的那个臭名昭著的黑客攻击事件。我们知道，英文中的 The是特指的意思，The DAO事件呢就

是特指的那个DAO事件，因为我们刚刚说了DAO不是特定的某个组织，可以有很多的DAO，各种各样的DAO。

2016 年的时候，德国一家专注“智能锁”的公司 Slock.it，为了实现去中心化的实物交换（比如说：公寓啊，船只啊），在以太坊上发布了 DAO项目。并且于2016年4月

30日开始，融资窗口开放了28天。

没想到，这个DAO项目的人气非常高，短短半个月就筹得了超过一亿美元，而到整个融资期结束，一共筹集到1.5亿美元，由此呢，它成为历史上更大的众筹项目。然而好景不长，到了6月份，黑客利用智能合约里面的漏洞，成功转移了超过360万个以太币，并投入到一个DAO子组织中，这个组织和The DAO有着同样的结构。以至于当时以太币价格从20多美元直接跌破13美元。

这个事件说明智能合约的确是有漏洞的，而且一旦漏洞被黑客利用，那么后果是非常严重的。这就是现在很多人批评以太坊，说它的智能合约不智能。

对于这个问题，目前国外有很多公司为了解决智能合约的漏洞问题 ，开始提供代码审计服务。而从技术的角度来说，目前一些团队正在对智能合约进行检验，这些团队多数由哈佛、斯坦福和耶鲁的教授带队，部分团队已经获得了头部机构的投资。

除了目前以太坊存在的扩展性不足、智能合约漏洞问题，对于以太坊的争议还在于它所追求的POS共识机制，也就是权益证明机制，在权益证明机制下，如果说谁持币的数量越大、持币时间越久，获得的“权益”（利息）就越多，还有机会得到记账权力，记账又可以获得奖励，那么这样一来，容易造成“强者越强”的寡头优势。

还有一个问题就是ICO乱象的问题。ICO是区块链项目筹措资金的常用方式，咱们可以理解为预售。以太坊上ICO项目的爆发，滋生了打着ICO旗号进行资金盘、诈骗圈钱等不法行为，对社会和金融稳定造成安全隐患。