本文主要介绍在进行以太坊智能合约安全漏洞实验演练时需要的工具和环境,方便后续漏洞实战操作。
人生,总避免不了开发几个 SDK ✧(•̀ω•́ )
App - 链码 - 链
共识机制是区块链的灵魂。就像一个国家的法律,维系着区块链世界的正常运作。区块链最早的共识是工作量证明(POW),比特币和以太坊都是采用的工作量证明。现在流行的一个趋势是权益证明(POS)。以太坊2.0就会采用 POS 共识,还有最新的公链如 Tezos,Polkadot,Algorand 等等。权益证明还包括委托权益证明(DPOS),代表公链有EOS。大多其他公链采用的共识都是从 POW 或者 POS 中衍生出来。我们暂时把联盟链共识不放到讨论范畴中,从 POW 到 POS,来研究一下区块链共识的发展。
这又是 Solidity 一个较大版本的升级,带来了一些对老版本不兼容的一些变化。
探索零知识证明系列(五)
Beosin-VaaS的业务逻辑验证软件,是一款用来检测智能合约上层业务逻辑漏洞的软件。
即使是阿里巴巴,也是靠各种多层次,多进程,分布式存储+计算,堆大量服务器来实现的每秒百万级以上的交易。这样巨大的一个量,在去中心化的区块链上实现,有多么难。一个简单的交易和一个多步骤且有复杂的业务逻辑的进程比TPS,是多么的没有意义。
读书笔记基于cosmos最新的ibc开发分支: cwgoes/ibc-demo-fixes, 主要是针对ibc相关的代码解读和ibc的实现机制.
上两篇已经描述了Substrate对与“区块链”的基本元素 -- 区块头 与 交易 的设计,后续的文章将会着重开始介绍Substrate对于开发者开放的核心设施-- Runtime。因此本文首先需要重新更加具体的介绍Substrate的设计模型,在有这个概念的基础上后续才能方便讲解。