零知识证明很多人听过,但不明白它是干什么的?其实零知识证明可以用一句话来概括:“证明者(Alice)在不透露秘密的情况下,说服验证者(Bob)相信证明者(Alice)知道这个秘密”。为了更直观解释,接下来会用混币的例子来说明。
Cosmos跨链协议
跨链交互根据所跨越的区块链底层技术平台的不同可以分为同构链跨链和异构链跨链:同构链之间安全机制、共识算法、网络拓扑、区块生成验证逻辑都一致,它们之间的跨链交互相对简单。而异构链的跨链交互相对复杂,比如比特币采用PoW算法而Tendermint采用PBFT共识算法,其区块的组成形式和确定性保证机制均有很大不同,直接跨链交互机制不易设计。异构链之间的跨链交互一般需要第三方辅助服务辅助跨链交互。
亲自动手实现一个公链
深入Tendermint---ABCI接口
待续。。。
深入Tendermint---共识算法
分布式一致性算法一般可以分为两类:拜占庭容错和非拜占庭容错。非拜占庭容错算法如 Paxos, Raft 等在当前的分布式系统中已经广泛使用,而拜占庭容错算法的实际应用范围相对来说小很多(特别是在区块链问世之前)。Tendermint 属于拜占庭容错算法,它针对传统的PBFT算法做了优化,只需要有两轮投票即可达成共识,目前Tendermint算法主要应用在区块链系统中,这篇文章就从原理上来介绍 Tendermint的共识机制。
深入Tendermint --- 出块节点选择
Tendermint本身是BFT+POS共识,在BFT之前需要先通过POS方法选出一个proposer来进行提案,proposer是从Validator节点中选出的,Validator是在创世区块(genesis.json)中配置的。
这里有两个概念区分一下: - validator:所有参与共识验证的节点 - proposer:出块节点,validator中选出来的出块节点
从软件分层开发角度理解tendermint
现在跨链相关技术很火热,也有很多人听说cosmos这个项目,cosmos的底层使用的技术是Tendermint,对于Tendermint是什么,我们能用Tendermint做什么估计有很多人不是很了解,如果你对Tendermint有兴趣,并想进一步了解Tendermint,那么这篇文章是一个不错的参考。
理解以太坊中智能合约中的存储
以太坊中的智能合约使用了一种不常见的存储模型,如果开发者想要对合约中的变量进行寻址,并修改相应的值,那么本文会给予你一些帮助。在接下来篇幅中,我将详细解释以太坊中合约的存储模型,并展示如何使用solidity编程语言使用它。
IPOS共识算法设计
暂停交易?ERC20合约整数溢出安全漏洞案例技术分析(一)
事件回顾
4月25日早间,火币Pro公告,SMT项目方反馈今日凌晨发现其交易存在异常问题,经初步排查,SMT的以太坊智能合约存在漏洞。火币Pro也同期检测到TXID为https://etherscan.io/tx/0x0775e55c402281e8ff24cf37d6f2079bf2a768cf7254593287b5f8a0f621fb83的异常。受此影响,火币Pro现决定暂停所有币种的充提币业务,随后,火币Pro又发布公告称暂停SMT/USDT、SMT/BTC和SMT/ETH的交易。此外,OKEx,gate.io等交易平台也已经暂停了SMT的充提和交易。截止暂停交易,SMT在火币Pro的价格下跌近20%。