我们到底需要什么样的共识算法？
当这个领域所有的人似乎都已经开始盲目乐观地考虑长期发展的时候，我们需要反思一下——我们做的这些东西，真的“够安全”吗？
- maxdeath
- 发布于 2021-07-16
- 阅读 ( 2073 )
- ( 2 )
maxdeath
李大狗
blocksight
共识算法之PoW与PoS，孰优孰劣？
这是Maxdeath早在19年写的一个有关共识算法的系列观点，经典值得反复阅读，欢迎大家收藏传阅。
- maxdeath
- 发布于 2021-06-29
- 阅读 ( 3779 )
- ( 15 )
区块链中的数学 -- MultiSet check& Schwartz–Zippel lemma
本文介绍的这些知识点是理解plookup的基础
- blocksight
- 发布于 2021-06-26
- 阅读 ( 3346 )
- ( 5 )
SEC代币安全港放水养鱼——区块链上市机制与法案研究（二）
本期我们主要是对海丝特·皮尔斯的Token Safe Harbor Proposal 2.0提案的基本分析，包括其基本结构和信息披露机制
- DAOSquare
- 发布于 2021-06-02
- 阅读 ( 1221 )
DAOSquare
区块链中的数学 -盲签名（Blind Signature）
盲签名可以看成结合普通签名的变种，实现特殊的应用。RSA方案简单易解，实际代码工程是要有额外一些处理的，可能需要填充等。
- blocksight
- 发布于 2021-05-16
- 阅读 ( 8464 )
深入理解异步拜占庭共识
异步拜占庭协议由于其对极端网络环境的容忍度很高，非常适用于节点规模相对较大、网络环境不可预测的场景，比如跨多个地域的数据中心、无线网络、物联网等。这类协议虽然看起来非常复杂，但比较容易进行模块化的设计，在工程实践中仍然有很大的优化空间。
- 盖盖
- 发布于 2021-05-07
- 阅读 ( 5995 )
- ( 53 )
盖盖
区块链中的数学 - sigma协议与Fiat-Shamir变换
本文介绍Sigma协议的交互和非交互性质，简单明了，介绍了零知识证明中常用的Fiat-Shamir变换
- blocksight
- 发布于 2021-05-05
- 阅读 ( 6777 )
- ( 5 )
区块链中的数学 - 何谓零知识证明?
在任意的零知识证明系统中，都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述（Statement）是正确的。ZK-SNARK目前应用较多，有不少成熟的库，如libsnark,bellman等.
- blocksight
- 发布于 2021-04-24
- 阅读 ( 4287 )
- ( 22 )
区块链中的数学 - RSA累加器的非成员证明
RSA Accumulator非成员证明，能够进行假如用Accumulator纪录一个UTXO 集合，证明某个UTXO不存在等场景。
- blocksight
- 发布于 2021-04-19
- 阅读 ( 5586 )
- ( 2 )
learnerL
子叶
区块链中的数学 -- Accumulator(累加器)
本文描述了累加器的概念和性质，具体说明RSA累加器实现过程。可以看出Accumulator具有一些比merkle证明有优势的地方，比如聚合证明,证明大小不随着集合元素的增加而增加等。 实际应用实现中RSA累加器还会有一些前置处理操作，比如将原始数据映射到选定素数域上的值等。
- blocksight
- 发布于 2021-04-13
- 阅读 ( 9789 )
- ( 4 )
Starcoin SH小歪
EthFans
区块链中的数学--Merkle树承诺
Merkle树如果说有其不足之处的话，当叶子节点的数量级非常大，树层级数变多，在打开验证节点需要的merkle树证明路径也就越长，数据量就越大
- blocksight
- 发布于 2021-03-22
- 阅读 ( 6416 )
- ( 5 )
