全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

区块链时代的拜占庭将军们（中）

我管拜占庭容错诞生直到比特币诞生这段时间内的所有BFT算法，包括像是后来诞生的但是还未受到比特币和区块链影响的BFT算法叫做传统BFT算法。这类算法包括著名的PBFT，也包括之前的不那么practical的BFT，和后PBFT时代中提出了“投机型”BFT的Zyzzyva。这类BFT算法的最大特点，就是他们并没有把区块链当做主要的应用场景（废话）。然后这类BFT算法我们又可以拿PBFT和Zyzzyva分成三个阶段。
拜占庭将军问题  PBFT  BFT  共识 
  • maxdeath
  • 发布于 2020-01-22
  • 阅读 ( 4889 )
  • ( 53 )

区块链时代的拜占庭将军们（上）

译文：所有人都知道X是不够的。我们还需要所有人都知道所有人都知道X，以及所有人都知道所有人都知道所有人都知道X，就像是在拜占庭将军问题里的那样——这是个分布式数据处理中的经典的困难问题。
拜占庭容错  拜占庭将军问题  共识 
  • maxdeath
  • 发布于 2020-01-22
  • 阅读 ( 5167 )
  • ( 80 )

tendermint的共识详解

本文为tendermint paper: The latest gossip on BFT consensus的读书笔记, 本文旨在理清论文中所讲的BFT共识. 如果您在阅读过程中有任何意见可以发起ISSUE, 如果喜欢的话可以点击`star`.
共识算法  PBFT  BFT  Tendermint 
  • Yieazy
  • 发布于 2020-01-21
  • 阅读 ( 6481 )
  • ( 37 )

突破区块链不可能三角(四) — 区块链中的BFT及HotStuff BFT（Libra BFT）分析

in  突破区块链不可能三角
系列四 — 区块链中的BFT及HotStuff BFT（Libra BFT）分析
不可能三角  BFT  HotStuff  共识 
  • maxdeath
  • 发布于 2020-01-20
  • 阅读 ( 7925 )
  • ( 49 )

零知识证明 - 椭圆曲线基础

有限域上的椭圆曲线是零知识证明的基础。零知识的实现是基于离散对数问题。从计算的角度来看，F_p是个有限域，在之基础上建立的椭圆曲线点的运算都是在这个域范围内。有限域上的椭圆曲线上有很多循环子群F_r，具有加法同态的特性。离散对数问题指的是，在循环子群上已知两点，却很难知道两点的标量。
零知识证明  椭圆曲线  ECC  ECDSA 
  • Star Li
  • 发布于 2020-01-20
  • 阅读 ( 7520 )
  • ( 18 )

区块链的网络模型—同步模型

网络模型是区块链系统诸多性质的基石。这一系列的文章将就此展开话题，主要讨论不同的网络模型对共识协议的影响。本文主要讨论最基础的网络模型——同步模型。
拜占庭共识 
  • 盖盖
  • 发布于 2020-01-18
  • 阅读 ( 6351 )
  • ( 198 )

突破区块链不可能三角(三) — POS与POW-DAG

in  突破区块链不可能三角
系列三 - POS与POW-DAG
不可能三角  PoS  PoW  共识 
  • maxdeath
  • 发布于 2020-01-17
  • 阅读 ( 8572 )
  • ( 125 )

突破区块链不可能三角(二) — 在比特币POW之上的尝试

in  突破区块链不可能三角
系列二 - 主要介绍了比特币POW之所以不可扩展的原因和两个可扩展POW的思路
不可能三角  比特币  PoW  共识 
  • maxdeath
  • 发布于 2020-01-17
  • 阅读 ( 6166 )
  • ( 52 )

突破区块链不可能三角(一) — 扩容，扩展，与无限扩展

in  突破区块链不可能三角
本系列详细地解释扩容和区块链不可能三角
不可能三角  扩容  共识 
  • maxdeath
  • 发布于 2020-01-17
  • 阅读 ( 6800 )
  • ( 80 )

摘要 | 大狗精读 PBFT 论文（一）

为什么比特币 10 分钟出个块，每个块的大小 1 MB？
PBFT  拜占庭容错  拜占庭将军问题 
  • 李大狗
  • 发布于 2020-01-16
  • 阅读 ( 5981 )
  • ( 55 )

浅谈零知识证明之二：简短无交互证明（SNARK）

相信看完前一篇文章的朋友们会有一点很不解的地方：为什么我们可以如此简短的创建一个证明，并且证明很长的信息呢？在上课前我也有这同样的疑惑，甚至觉得这个是一个“黑科技”，不过相信大家看完这篇文章，就会知道如何去驾驭这个“黑科技”了。
零知识证明  zkSNARK 

合约实践：避免区块Gas限制导致问题

in  全面掌握Solidity智能合约开发
合约实践：避免区块Gas限制导致问题
Gas  智能合约安全  最佳实践  智能合约 
  • Tiny熊
  • 发布于 2020-01-13
  • 阅读 ( 7036 )
  • ( 34 )

EIP777提案: ERC777 代币标准

翻译EIP777提案，提案定义了ERC777 代币合约标准接口。
ERC777  EIP 
  • Tiny熊
  • 发布于 2020-01-12
  • 阅读 ( 40 )

探索零知识证明系列5-构建非交互式零知识证明

探索零知识证明系列（五）
零知识证明 

用Substrate框架实现一个简单的游戏应用

Substrate是开发应用特定区块链 （Application Specific Blockchain ）的快速开发框架。 与基于以太坊等公链开发的DApp相比，应用特定区块链是围绕单一应用特别构建的专用区块链， 因此具有最大的灵活性和最少的限制。本文将详细介绍如何使用Substrate框架快速实现一个简单的游戏应用专用区块链
Substrate 

用Ethers.js构建一个简单的DApp

如果你已经在以太坊上开发过DApp，那你在前端JavaScript中可能用过 web3.js。Ethers.js可算是一个轻量级的web3.js，本文将介绍如何使用Ether.js构建一个简单的DApp。
ethers.js  ERC20 

简述目前相对成熟的区块链共识算法

共识算法是实现自主产权区块链的必不可少的关键环节，本文列出相对成熟的区块链共识算法开源实现，包括BFT共识、Raft共识、 Paxos共识、PoW共识等，可供希望开发自主产权区块链的团队参考学习。
共识算法  BFT  Raft  Paxos  PoW  PoS  Tendermint 

《现代管理》eonDAO：一种基于区块链治理哲学的去中心化组织的自组织治理实验

本文已经公开发表在OA类核心期刊中，需要阅读原文可以查看 https://www.hanspub.org/journal/PaperInformation.aspx?paperID=33139 * * * Modern Management Vol. 09 No. 06 ( 2019 ),...
论文 

从零开始学习zk-SNARK(二)-多项式的非交互式零知识证明

上一篇文章（[多项式的性质与证明](https://learnblockchain.cn/article/287)）中，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项式的零知识证明协议。本文重点：KEA，交互式零知识证明，非交互式零知识证明和 Setup。
zkSNARK 

零知识证明 Learn by Coding：libsnark 入门篇

希望通过本系列文章，所有开发者都能亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念.
零知识证明  libsnark