区块链中的数学(七十四)--sigma协议与Fiat-Shamir变换

上一篇介绍了零知识证明的概念及性质, 没有举常见的数独,地图染色的例子,这些可以自行搜索了解,

本文继续讲sigma协议,具备一定零知识性质的协议!

区块链中的数学 - 何谓零知识证明?

在任意的零知识证明系统中,都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述(Statement)是正确的。ZK-SNARK目前应用较多,有不少成熟的库,如libsnark,bellman等.

区块链中的数学 - RSA累加器的非成员证明

RSA Accumulator非成员证明,能够进行假如用Accumulator纪录一个UTXO 集合,证明某个UTXO不存在等场景。

区块链基本知识入门(技术向)

较为详尽的介绍了比特币的专业知识,非常适合入门者,了解到区块链是什么、如何运行。

  • learnerL
  • 发布于 2021-04-17
  • 阅读 ( 397 )
  • ( 15 )

pBFT算法的关键设计,你可能忽视了...

pBFT为什么不要三个阶段,看完你就知道。

  • 子叶
  • 发布于 2021-04-15
  • 阅读 ( 125 )
  • ( 5 )

区块链中的数学 -- Accumulator(累加器)

本文描述了累加器的概念和性质,具体说明RSA累加器实现过程。可以看出Accumulator具有一些比merkle证明有优势的地方,比如聚合证明,证明大小不随着集合元素的增加而增加等。 实际应用实现中RSA累加器还会有一些前置处理操作,比如将原始数据映射到选定素数域上的值等。

私钥是什么?

私钥(Private key)在密码货币的世界里是最敏感、最重要的东西。我们建议所有有志成为老手的用户学学私钥的本源、相关推理和作用。在本文中,我们会解释私钥是怎么来的,它跟你的密码学货币资产有何关联。

  • EthFans
  • 发布于 2021-03-26
  • 阅读 ( 269 )

区块链中的数学--Merkle树承诺

Merkle树如果说有其不足之处的话,当叶子节点的数量级非常大,树层级数变多,在打开验证节点需要的merkle树证明路径也就越长,数据量就越大

区块链中的数学 - Kate承诺batch opening

本文介绍了Kate承诺在多点披露验证的情况,当然还有一种就是多个多项式在多个不同点打开验证,相信如果本文理解的话,是可以自己推出来的,不在详述了。

区块链研究指北

我从一个计算机研究者的角度分享一下我对区块链的认识以及如何在这个领域展开研究,希望能对迷茫的同学有所帮助。

  • 盖盖
  • 发布于 2021-03-08
  • 阅读 ( 785 )
  • ( 34 )

区块链中的数学 - Kate承诺

与上一篇初步方案相比,Kate承诺实现了多项式的隐藏和部分打开验证,实际上方法1生成的结果在zk-snark项目中称为SRS(structure reference string)或者CRS(common reference string),是承诺方P和验证方V所共有,实际选择曲线配对不是对称的,而是非对称两个群,以后说到具体的项目代码可以看得比较清楚。

数据上链的原则与方式

由于区块链技术众所周知的不可篡改的特性,很多人就将区块链作为一个数据库来使用,在传统项目进行区块链改造的过程中,将所有本来存入传统RDBMS(关系数据库)的数据,全部改成存入区块链中,...

  • 深蓝
  • 发布于 2021-02-25
  • 阅读 ( 323 )
  • ( 20 )

一文读懂主流共识机制:PoW、PoS和DPoS

以技术视角详细介绍PoW、PoS和DPoS共识的技术原理。

  • 子叶
  • 发布于 2021-02-24
  • 阅读 ( 348 )
  • ( 11 )

区块链中的数学 - 多项式承诺

目前为止的方案中, 承诺方造假的问题依然存在,仔细研究会发现问题关键在于承诺方P知道计算的输入变量r,z, 这样就有机会构造出新的多项式在r,z处取特定的值。如果P不知道r,z,就不能这样作弊了。于是Kate承诺选择在密文空间中进行计算。

区块链中的数学 - Pedersen密钥共享

Pedersen基于门限的秘密分享方案实际上采用了Pedersen承诺来构建多项式系数承诺,这一点很容易从对比其他秘密分享方案得出!

区块链中的数学 - Pedersen承诺

Pedersen承诺产生方式,有些类似加密,签名之类的算法。但是,作为密码学承诺重在“承诺”,并不提供解密算法,即如果只有r,无法有效地计算出隐私数据v。

区块链中的数学 - 哈希承诺

本文介绍密码学承诺的含义及性质,并对哈希承诺做了说明,关于hash函数的内在机制实际是比较复杂的,我们以黑盒的角度来学习了解它的性质,在区块链&密码学中,哈希函数占据了基础且重要的位置。 比如区块链中常用的sha256,keccak等哈希算法。

区块链中的数学 - 不经意传输

不经意传输(Oblivious transfer)或者译为茫然传输是密码学中的一类协议,缩写为OT,实现了发送方将潜在的许多信息中的一个传递给接收方,但对接收方所接收信息保持未知状态。

0. 公链、联盟链与分布式未来(全文)

详细阐述本人对联盟链与公链的理解

0. 公链、联盟链与分布式未来(试读)

详细阐述本人对联盟链与公链的理解

  • 李大狗
  • 发布于 2021-01-16
  • 阅读 ( 409 )
  • ( 21 )