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

Solidity 怎样写出最节省Gas的智能合约[译]

in  全面掌握Solidity智能合约开发
如何节省gas 使用，是很多智能合约开发者头大的问题，这边文章应该会对大家有帮助。
Solidity  最佳实践  Gas  智能合约 
  • Tiny熊
  • 发布于 2020-02-08
  • 阅读 ( 11463 )
  • ( 153 )

Embark初探：一款强大的DApp开发框架

DApp开发框架Embark使用入门介绍，通过Embark 官方提供的embark-demo介绍如何创建项目，编译、部署合约、与合约交互、以及部署DApp到IPFS。
Embark  DApp  IPFS 
  • Tiny熊
  • 发布于 2020-02-07
  • 阅读 ( 10217 )
  • ( 202 )

图解默克尔树

iden3.io 的 blog 最近发表了一篇关于默克尔树的图解文章，相当不错，特摘取了文章的图解部分。
默克尔树  入门  区块链安全 
  • 胡键
  • 发布于 2020-02-04
  • 阅读 ( 9662 )
  • ( 107 )

从零开始学习zk-SNARK(五)—Pinocchio 协议

作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议
zkSNARK 

从零开始学习zk-SNARK(四)—多项式的约束

上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。
zkSNARK 

从零开始学习zk-SNARK(三)—从程序到多项式的构造

前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
zkSNARK 

区块链时代的拜占庭将军（下）—区块链共识算法的发展趋势

上次我们讲到，比特币带来了一个新思路——用经济学和博弈论的原理约束节点，让他们不会作恶，于是整个问题重新回到了异步普通容错问题的轨道，于是整个问题的消息复杂度回到了O(N)，即，可扩展。关于扩展性问题我们到以后的文章里再深入说，在这里我们只说它和O(N^2)消息复杂度的传统容错算法，例如PBFT，的最大区别。
拜占庭将军问题  PBFT  BFT  共识 
  • maxdeath
  • 发布于 2020-01-22
  • 阅读 ( 6831 )
  • ( 112 )

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

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

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

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

tendermint的共识详解

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EIP777提案: ERC777 代币标准

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