您当前的位置: 首页 > 

mutourend

暂无认证

  • 1浏览

    0关注

    661博文

    0收益

  • 0浏览

    0点赞

    0打赏

    0留言

私信
关注
热门博文

Dusk network 生态图

mutourend 发布时间:2021-03-02 10:04:56 ,浏览量:1

1. 引言

天知道我为啥要手工画一张?因为我没能从网站扒下原图。。。

原图见 Dusk ECOSYSTEM ROADMAP - EAGLE EYE VIEW: 在这里插入图片描述

关键内容有:

  • Bulletproofs + MLSAG签名
  • BLSAG签名
  • Zerocaf(对dalek-curve25519 EC operation的零知识证明 以及 对Sonny曲线的实现)
  • PLONK proving system
  • Sonny曲线
  • Halo Infinite
  • Plumo
  • zkRollup
  • Poseidon Hash 和 Poseidon Merkle Tree
  • PLOOKUP
  • rusk智能合约平台
2. Bulletproofs + MLSAG签名

相关代码实现参见:

  • https://github.com/particl/particl-core 【Fork自bitcoin,由Particl团队开发】

quarkslab 对该代码库实现进行了审计,并于2019年7月5日形成了相应的审计报告: Evaluation of Bulletproofs and MLSAG

其中:

  • Bulletproofs:用于证明某值在某具体范围内,不需要泄露该值,从而可避免空气币的产生(preventing money creation)。
  • MLSAG:为环签名算法,用于隐藏交易金额,同时支持Sender在不泄露身份的情况下对交易进行签名。
3. BLSAG签名

代码实现可参看:

  • https://github.com/dusk-network/dusk-crypto 【Go语言实现】

BLSAG为基于Discrete Logarithm假设构建的linkable ring signature。

BLSAG的签名大小随着ring中member数量线性增长。

其本质为一种零知识证明,证明: 至少ring中的一个成员采用了指定的公钥对特定的消息进行了签名,而不会泄露具体是哪个成员签名的。

4. Zerocaf (EC operation 零知识证明)

代码实现参见:

  • https://github.com/dusk-network/dusk-zerocaf 【Rust语言实现】

实际就是对dalek-curve25519 中的EC operations构建了相应的零知识证明。

其中也基于Ristertto Scalar field实现了Sonny curve。

5. PLONK proving system

代码实现参见:

  • https://github.com/dusk-network/plonk【Rust语言实现】

为基于BLS12-381曲线构建的PLONK proving system。

6. Sonny 曲线

代码实现参见:

  • https://github.com/dusk-network/dusk-zerocaf 【Rust语言实现】

Sonny 曲线为一条新曲线,暂未形成论文。详细参数信息可参见上述代码库中的docssage文件夹内容。

Is there more detailed doc for Sonny curve? #99

7. Halo Infinite

详细见Boneh 等人2020年论文: Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme

为 Boneh等人2020年论文 《Efficient polynomial commitment schemes for multiple points and polynomials》 的扩展版。

8. Plumo 跨链扩容

具体见Gabizon等人2020年论文: 《Plumo: Towards Scalable Interoperable Blockchains Using Ultra Light Validation Systems》

9. zkRollup扩容

可参见博客 以太坊扩容方案之zkRollup

10. Poseidon Hash 和 Poseidon Merkle Tree

代码实现参见:

  • https://github.com/dusk-network/dusk-poseidon-merkle
  • https://github.com/dusk-network/merkle-benchmarks
  • https://github.com/dusk-network/poseidon252
  • https://github.com/dusk-network/hades252

参考论文见:

  • Grassi1等人 2019年论文 POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems
11. PLOOKUP

代码实现参见:

  • https://github.com/kevaundray/plookup
  • https://github.com/neidis/plonk-plookup
  • https://github.com/AztecProtocol/plonk-with-lookups

参考论文见:

  • Gabizon 等人2020年论文 plookup: A simplified polynomial protocol for lookup tables
12. rusk智能合约平台

rusk为Dusk的智能合约平台,详细见:

  • https://github.com/dusk-network/rusk
关注
打赏
1664532908
查看更多评论
立即登录/注册

微信扫码登录

0.0619s