- 博客(58)
- 收藏
- 关注
RSS订阅转载 探究以太坊 2.0 的分叉选择规则
编者注：文章原题为“Detailed overview of Ethereum 2.0 shard chains: Committees, Proposers and Attesters（关于以太坊 2.0 分片链细节概述：委员会、提案者和证明者）”。读完这篇文章就更能理解：为什么权益证明无法使用最长链规则而必须采用其他规则，而这些规则又会有怎样的局限性。文章非常长，但不读你就错过了。有兴趣的读者...
2018-12-21 15:30:16
788
转载 以太坊智能合约安全
引言智能合约就是自主执行的合约，其条款是用代码规定的。虽然这个概念已经存在一段时间了，但至少从1996年Nick Szabo提出了这一概念以来，直到图灵完备的以太坊区块链来临，智能合约的使用才变得普遍。以太坊的智能合约存在于合约地址里，能以交易命令来调用。用代码编写并存放在不可更改的公链上的合约执行起来会产生一定的风险与安全问题。我们将会在本文中讨论这些问题和可能的缓解措施。代码即法律？...
2018-11-30 16:03:45
384
转载 深入浅出讲解BANCOR算法
1、摘要通过本文学习，可以获得以下目标： 1）了解BANNCOR协议的基本原理； 2）通过举例熟悉BANNCOR算法的效果。2、BANCOR算法的来源在20世纪40年代，英国经济学家凯恩斯提出采用30种有代表性的商品作为价值锚定发行国际货币Bancor的构想。而其他国家或机构再以Bancor为价值锚定发行各自的货币。然而这一方案没有得到实施，取而代之的是美元成为国际货币。Bancor...
2018-11-29 16:02:40
820
转载 极简 Ethereum Plasma Debit 和 More Viable Plasma介绍
看完 Plasma MVP 跟 Plasma Cash 的介绍，会感觉 Plasma MVP 目前还处于是概念上的阶段，正式上线好像还有段距离。Plasma Cash 每个 coin 都是不可分割的，在实际上的使用上有点困难。而本篇是要接续介绍Ethereum researcher 更新的提案：Plasma Debit 以及 More Viable Plasma。Plasma DebitPl...
2018-11-29 15:22:56
203
转载 极简 Plasma MVP 和 Plasma Cash 介绍
Vitalik 在一年多以前（2017/08）提出了 Plasma 这个概念以解决 Ethereum 交易速度及成本的问题，不过提出的内容太概念性，没什么人知道该怎么实作，在今年初 Vitalik 提出了 Plasma MVP(Minimal Viable Plasma)，最小可行性的 Plasma，而目前大家也是遵循这个规范来实作。Plasma 属于 layer 2 的 solution，就...
2018-11-28 14:08:37
508
转载 Vitalik探讨改进以太坊Casper CBC协议
近日，以太坊创始人Vitalik Buterin在布拉格举行的Devcon4大会上，公布了以太坊发展路线（也被称为以太坊2.0）的最新信息，其中有一些内容，译者在之前的文章《以太坊2.0协议核心Beacon链详解》中已经有所提及，而更新的内容包括新链将以Serenity为名（之前被称为Shasper,意指分片和Casper的结合），其包含了Casper、分片、EWASM以及其他一些协议，它会是一条...
2018-11-27 11:38:14
435
转载 一种权益证明设计哲学
像以太坊（和比特币、NXT、Bitshares等）这样的系统本质上是新型的加密经济组织(cryptoeconomic organisms ） — 完全建立在网络空间里的去中心化、无管辖的机构，由密码学、经济学和社会共识来共同维护。他们有点像BitTorrent，但又不完全一样，因为BitTorrent没有状态（state）的概念——而这是一个至关重要的区别。他们有时又会被称为去中心化自治公司，...
2018-11-26 16:00:57
131
转载 量子计算与区块链抗量子算法
以下为论文译文：区块链后量子（PQ）签名作者： Konstantinos Chalkias∗ , James Brown† , Mike Hearn‡, Tommy Lillehagen§,Igor Nitto¶, Thomas Schroeterk （R3）摘要 – 受区块链架构及现有基于默克尔树（Merkle tree）签名方案的灵感激发，我们提出了BPQS，一种可扩展后量子（PQ）抵...
2018-11-26 15:32:33
5104
转载 量子计算与区块链抗量子算法
以下为论文译文：区块链后量子（PQ）签名作者： Konstantinos Chalkias∗ , James Brown† , Mike Hearn‡, Tommy Lillehagen§,Igor Nitto¶, Thomas Schroeterk （R3）摘要 – 受区块链架构及现有基于默克尔树（Merkle tree）签名方案的灵感激发，我们提出了BPQS，一种可扩展后量子（PQ）抵...
2018-11-23 16:39:20
3525
转载 传统分布式共识 VS 中本聪共识
我们知道，比特币等区块链是分布式系统的一个子集，但它和传统分布式账本是有差异的，那这些差异在于哪里呢？为什么我们说比特币是一项重大创新？来自前Coinbase、a16z、高盛的区块链工程师Preethi Kasireddy将在这篇文章中给出她的答案。bitcoin以下为译文：你知道分布式系统是如何工作的吗？这可能是一个很难学习的话题，主要是因为围绕它的知识是很分散的……在自我学习分布式...
2018-11-22 12:13:50
1491
转载 免信任型计算的扩容模型，Part-2
边 2 ：区块生产中心化（EOS、Cardano、NEO 等）委任权益证明（DPoS）方案是接受中心化的，因为它认为挖矿的规模经济效益会自然造成 PoW 方案中的中心化。鉴于这个事实，Dan Larimer 发明了 DPoS 。DPoS 接受区块链会自然中心化的事实，并利用这一点来实现可扩展性。例如，Larimer 最近又构建了 EOS，公开宣称该系统一次仅限 21 位区块生产者。预计 最后...
2018-11-22 11:17:23
226
转载 免信任型计算的扩容模型，Part-1
每个主流的智能合约平台都实现了一组特殊的权衡关系。这些权衡关系不只反映了某些具体特征的存在与否，更体现了关于“何为免信任型（Trustless）计算”的各种不同观点。本文旨在提供一个条理清晰的框架，以便读者理解这些权衡关系以及它们如何影响了加密领域的一些主流说法，如数字黄金、可编程货币、抗审查性和无需许可性。下文给出了两条定义：抗审查性——完全的言论自由。更专业一点的说法是，可向区块链提交任...
2018-11-21 14:49:03
128
转载 关于 UTXO 的思考
什么是 UTXO ？在比特币中，一笔交易“在黑盒子里”实际运作的方式是：花费 一种东西的集合，这种东西被称为 “未被花费的交易输出”（即 “UTXO” ），这些输出由一个或多个之前的交易所创造，并在其后 制造 出一笔或多笔新的 UTXO ，可以在未来的交易中花费。每一笔 UTXO 可以被理解为一个 “coin（币）”：它有面额、有一个所有者。而且，一笔交易若要有效，必须满足的两个规则是：1）该...
2018-11-20 13:33:33
253
转载 区块链基础：散列法 (Hashing)
灯泡，比特（bits）与字节（bytes）你可能知道计算机中所有的数据都是由0或1组成的，最小的数据单位就是一个比特（bit，或位），它也是0或者1。想象一下，一台计算机拥有着很多的灯泡，而这个灯泡的状态有两种，亮（1）或者灭（0）。而不同的数据，由灯泡显示的图案也是不同的。大数据如视频，就使用了相当多的灯泡，而一个简短的电子邮件，其所需要的灯泡就较少。一个单一的灯泡代表着一个比特。另外，你可能...
2018-11-20 12:04:37
1107
转载 Plasma已死？开发者回怼Coindesk太天真
四天前，区块链媒体Coindesk刊登了一篇文章，声称Plasma扩容解决方案的进展已经“停滞”。对此，plasma开发团队FourthState Labs特地撰写了这篇文章，从开发者的角度回怼Coindesk的说法。一、什么是Plasma?由于今天以太坊生态系统当中出现了众多版本的plasma，这使得我们会感到困惑，我们认为首先需要为不知情的读者重新定义一下Plasma，这会是重要的。...
2018-11-19 17:01:42
222
转载 深入探索以太坊世界状态，Part-2
以太坊前缀树的实际示例以太坊的各个主流客户端使用两种不同的数据库软件来存储前缀树，其中用 Rust 写成的 Parity 客户端使用 RocksDB ，而以太坊的 Go 、C++ 以及 Python 客户端使用 LevelDB 。以太坊和 RocksDBRocksdb 不在本文的讨论范围之内，可能在以后我们会推出相关的文章，但是现在，让我们一起看看使用 LevelDB 的三种主流以太坊客户...
2018-11-19 16:29:33
649
转载 深入探索以太坊世界状态，Part-1
以太坊是由多个组成部分构成的。这篇文章旨在解构以太坊，使你能更深入理解它的数据存储层。我们将介绍区块链中“状态”的概念，并探究帕特里夏前缀树（Patricia Trie）数据结构的理论依据，利用 Google 的 leveldb 数据库来阐释以太坊中前缀树的应用。什么是区块链“状态”？比特币的“状态”是通过网络中全局的未使用交易输出（UTXO）来刻画的。比特币网络中价值的传递通过交易来进行，...
2018-11-15 17:00:26
163
转载 什么是EOS智能合约
虽然智能合约（Smart Contract）这个词现在已经很流行了，但如果你问我到底什么是智能合约？我还真不能马上给出准确的答案，为此，我查看了 wikipedia 上关于 Smart Contract 的词条 (http://t.cn/RVQQ1Ja)：A smart contract is a computer protocol intended to digitally facilita...
2018-11-14 16:23:28
346
转载 互操作性的区块链系统设计理念
本文为作者对一篇论文 Towards a design philosophy for interoperable blockchain systems 的介绍和评论。有兴趣的读者可以使用超链接查看论文。从前因为有了网络和互联网络，使得精心管理的计算机群能够相互通信。后来，人们将“i”改为大写字母“I”，将这样一种设计原则注入 Internet：要使得世界各地的设备能够进行互操作。和很多人一样，...
2018-11-14 15:07:37
371
转载 Plasma进展受阻，社区开始推崇Snarks技术
随着一个备受期待的扩容解决方案在继续发展的过程中遭遇未预料到的困难，全球第二大区块链以太坊的扩容工作正变得越来越多样化。处于扩容前沿的解决方案就是由以太坊创始人Vitalik Buterin和比特币闪电网络联合创始人Joseph Poon设计的Plasma，这一概念被广泛认为是以太坊短期内实现扩容的最佳选择。这项技术背后的研究人员已经构建了五种不同版本的协议——但在这些多次迭代中，有证据表明，...
2018-11-13 17:02:15
315
转载 富人越富，穷人越穷，我为什么反对PoS
据摩根士丹利年初报告，2017 年比特币挖消耗的电力与中东国家卡塔尔年耗电相当，预计 2018 年的电力需求可能会达到 2017 年的三倍以上。大量的电力消耗也带来了很多争议，很多人都尝试在保证安全性的前提下改进共识协议。一时间，业界出现了许多新的协议，如权益证明（PoS）、委托权益证明（DPoS）等等。这些协议中最有前景的莫过于 PoS，甚至以太坊在未来也会从工作量证明过渡到权益证明。不...
2018-11-12 18:51:54
217
转载 剖析工作量证明
工作量证明（Proof-of-Work，PoW）一开始发明的时候是用来防止垃圾邮件的。不一会之后，它就被用在电子现金系统中 [作者注1]。表象之下，PoW 中的挖矿实际上在做的事情就是将动能（电力）转化为一个账本区块。一台矿机重复地运行哈希计算，直到它解决一个密码学难题。所有的哈希运算都会被丢弃，除了那个能够解决问题的哈希值。这个渺小的哈希值，计算它只花费了非常少的能量，却是为了产生它而要求...
2018-11-12 18:35:38
216
转载 权益证明与错误的工程思维
近期，许多权益证明（Proof-of-Stake, PoS）项目涌现出来。以太坊 Casper，卡尔达诺（Cardano）的 Ouroboros，等等。对权益证明协议日益高涨的兴趣可能源于无限扩展区块链的愿望，再加上认定“工作量证明（Proof-of-Work, PoW）很 ‘浪费’ ”的错误观念。但是，关于权益证明协议，有件事还没有得到足够多的强调，就是它在处理完最恶劣的情况之后缺乏恢复能力...
2018-11-11 15:22:21
182
转载 优化显卡性能，抵制ASIC，ProgPoW算法到底是什么
ProgPoW是一种PoW算法，旨在缩小与专用的ASIC之间的效率差距。它几乎利用了标准硬件（GPU）的所有性能，并预先为以太坊网络中最常见的硬件进行了调整和优化。自从首个比特币挖矿ASIC问世以来就出现了很多新的PoW算法，旨在维持“ASIC抗性”。而所谓的“ASIC抗性”则在于抵制PoW挖矿算力的中心化，防止采用这类算法的币种被少数参与者操控。本文将首先介绍ProgPoW这个新算法以及其...
2018-11-11 15:09:59
2403
转载 理解ERC-20 token合约
ERC-20最初作为一种尝试，旨在为以太坊（Ethereum）上的token合约提供一个特征与接口的共同标准，并且，它现在已经被证明是非常成功的了。ERC-20有很多好处，包括允许钱包显示数以百计不同token的账户余额；创建一个交易工具，只需提供token合约的地址就可以将更多token列入表中。创建ERC-20兼容token的好处很多，以至于在今天，很少有其他token合约用其他方式创建。...
2018-11-09 15:41:24
2130
1
转载 以太坊2.0协议核心Beacon链详解
以太坊2.0并不是一个新主意，早在2014年，Vitalik就提到了以太坊2.0的概念，他说：“我们要么解决可扩展性和共识问题，要么就死于尝试，” 好吧，我们还活得不错，而他几周前发布的最新观点是：“对于以太坊2.0来说，理论上已没有明显未解决的问题。”现在正是实现这些理论的时候了，而Beacon链正是以太坊2.0交付计划的第一个组成部分。在这篇文章当中，我们将讨论它的作用、它为什么是这样...
2018-11-09 14:54:53
2072
转载 以太坊分片：Overview and Finality
在 Ethereum Casper 101 中，Jon Choi 对 Casper 做了一个很棒很清晰的综述，并解释了为什么显式最终确定性（explicit finality）对于可扩展性（scalability）大有裨益。本文旨在给出一个以太坊分片的设计概览，并阐释显式最终确定性如何有助于区块链分片。为了完全理解以太坊分片机制提案的技术规范，我强烈推荐深入研究 Vitalik 写的shard...
2018-11-08 15:15:26
330
转载 释放阻塞的以太坊交易
目前以太坊正面临着许多积压的交易，导致一些交易数小时甚至数天都未被处理。 本文解释了转账如何被卡住，以及如何释放它们。确定gas价格发送以太坊交易时，有许多方法可以确定最佳gas值。https://ethgasstation.info 等网站提供了gas使用情况的概述，https://www.etherscan.io/txsPending 提供了当前交易池的有关信息。后者的网站特别有用，因为...
2018-11-07 12:02:14
822
转载 ETH-Pow算法分析
1. Ethash 算法1.1 EthashEthash是以太坊1.0中使用的PoW(工作量证明)算法,它是Hashimoto算法结合Dagger之后产生的一个变种。它的特点是计算的效率基本与CPU无关，却和内存大小和内存带宽正相关。因此通过共享内存的方式大规模部署的矿机芯片并不能在挖矿效率上有线性或者超线性的增长。该算法的一般流程如下：首先根据块信息计算一个种子(seed, c++代码...
2018-11-07 11:24:03
2040
转载 工作量证明(PoW)的内部攻击模型
虽然，POW算法其实并没有协调选择博弈论中的安全性，因为多数联盟可以形成和有益的审查和回复块。但是当我们考虑PoW的攻击时，通常不会考虑到矿工联合攻击，而是想到购买矿工设备或者对更重链进行挖矿。这篇文章主要是谈论PoW对抗控制半数哈希力攻击的能力，不允许租用，或贿赂矿工，或与矿工进行任何其他形式的合作。外部攻击外部攻击者购买足够的GPU或者ASIC直到完成对可信网络的“51%攻击”，或者至少...
2018-11-02 13:43:15
758
转载 Vitalik的“99%容错共识算法”解析
Vitalik近期在其博客上发布了一篇名为《一个99%容错共识的指南》让许多人以为诞生了一个“黑科技”般的新共识算法。然而正如Vitalik自己所说，这一共识算法仍是经典拜占庭将军问题的算法。通过解析，我们可以看到共识算法的研究与创新仍需要遵循CAP等已经被证明过的理论；在此基础上把各类经典分布式算法和加密算法改造应用于区块链领域内，将有可能获得不错的效果。1、一个新的算法？Vitalik在...
2018-11-01 17:35:21
1138
转载 量化去中心化，Part-2
最大基尼系数：区块链去中心化程度的粗略衡量标准我们可以把子系统去中心化的这些衡量标准样例结合，来衡量一个系统的去中心化程度吗？一种简单的途径是简单地取所有基本子系统基尼系数的最大值，如下所示：因此，通过这个衡量标准，比特币和以太坊的基尼系数最大值都约为 0.92，因为两者的节点所具有的客户端高度集中在一个代码库中（比特币的是 Bitcoin Core，以太坊的是 geth）。至关重要...
2018-11-01 13:48:49
325
转载 量化去中心化，Part-1
在提高区块链去中心化程度之前，我们必须先知道衡量的标准。去中心化 被 普遍 认为 是比特币和以太坊胜过传统同类方案的主要优势。（编者注：这里有四个超链接。其中第二个为 V神博文《去中心化的意涵》，中译本见文末超链接）然而，尽管人们广泛认可去中心化的重要性，大多数关于这个话题的讨论并没有进行量化。如果我们能够商定一个定量的衡量标准，我们就能够：衡量某一系统的去中心化程度判断系统的某个修改对去中...
2018-10-31 16:12:43
247
转载 RSA累加器，区块链瘦身神器？
我们知道，默克尔树结构（Merkle tree）对于区块链项目而言是非常重要的，无论是比特币区块链还是以太坊区块链，都会用到这类数据结构，但这也会带来一个问题：即带来大量的数据。截至发稿时，比特币区块链的数据量已经达到了187G，而以太坊区块链的整体数据量在今年5月份时就已经超过了1TB。这样恐怖的数据量，已经不是一般人能承受得起的了，我们迫切需要另一种数据结构。而RSA累加器（RSA acc...
2018-10-31 11:53:17
2192
转载 STARKs，Part-3：攻坚（下）
感谢上帝，今天是 FRI 日（即“快速里德-所罗门码接近性交互预言证明（Fast Reed-Solomon Interactive Oracle Proofs of Proximity）”）提醒：现在可能是审阅和重读本系列第 2 部分的好时机。现在，我们来探讨创建低次证明的代码。首先回顾一下，低次证明是一个概率性证明，即给定值集合中占足够高百分比（例如80％）的部分表示某一特定多项式的值，其中...
2018-10-30 17:38:04
377
转载 区块链中的随机数
我们生活的环境充满了随机性。一直以来，运气，概率和命运这些概念都与随机性紧紧联系在一起。所有人类无法理解或无法预测的事物往往都被归类为随机事物。从生理上来说，我们也是沉浸在了随机海洋中。从云的运动到粒子和波浪的行为，随机性简直无处不在。然而，尽管人类接触到了各种各样的随机事物，对随机性很熟悉，但依然难以将它转化为计算机可以使用的东西。当我们谈论计算机系统中的随机性时，我们真正指的是伪随机性，即尽...
2018-10-29 15:36:04
1029
转载 STARKs，Part-3：攻坚（上）
特别感谢 Eli ben Sasson 一如既往地提供帮助；也特别感谢 Chih-Cheng Liang和Justin Drake 的审阅。为本系列的第 1 部分和第 2 部分的后续内容，本文将介绍在实际中实现 STARK 的途径与效果，并使用 python 语言进行实现。STARKs（“可扩展的透明知识参数”是一种用于构建关于 f(x)=y的证明的技术。其中， f 可能需要很长时间来计算，但该...
2018-10-29 15:02:18
190
转载 STARKs, Part II: Thank Goodness It’s FRI-day
我们谈到了，如何能够做出一些非常有意思且简洁的计算证明，比如通过利用多项式复合和除法技术，证明你算出了第一百万个斐波那契数。但是，它依托于一个非常重要的元素：给定一个集合，里面有很多的点，你必须能够证明集合里的大部分点都在同一个低次多项式上（译者注：本文所译的多项式度数或次数，皆对应 degree 一词）。这个叫做“低次测试”的问题，可能是协议中最为复杂的部分。首先，再次回顾一下我们的问题。假设...
2018-10-26 18:49:01
223
转载 简述 Polkadot 和区块链互联网
在过去的数年中，区块链技术在流行度方面取得了惊人的进步，带动了大规模特殊区块链的出现：以太坊提供了智能合约，莱特币交易速度是比特币的5倍，Zcash 在实现零知识证明，等等。在过去的一篇文章中，我提到过阻碍加密货币获得更多受众的原因。在这篇文章中，我会以简单的方式解释为何将这些区块链全部连接在一起可以解决它们的主要问题。这种互连叫做区块链互联网，其代表一种允许数据和交易以无需信任的方式从一个区块链...
2018-10-26 18:24:06
1008
转载 STARKs, Part I: 多项式证明
相信很多人都听过ZK-SNARKS，一个通用而简洁的零知识证明技术，从可验证计算到需要隐私保护的加密货币，它可以被应用于各类场景。不过，可能你还不知道现在 ZK-SNARKs 有了一个新兄弟：ZK-STARKs. 这里的 T 表示 “transparent”，“透明的”，ZK-STARKs 解决了 ZK-SNARKs 的一个主要的缺点，即 ZK-SNARKs 依赖于“可信启动（trusted se...
2018-10-25 15:15:44
215
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人