Aleo的PoSW共识

Posted 2022-01-02 mutourend

1. 引言

Aleo系列，前序博客有：

• 欢迎关注Aleo
• 使用Zexe构建Aleo隐私应用——How Zero Knowledge is Rebalancing the Scales of the Internet
• Aleo系列博客——透明的代价
• Aleo系列博客——零知识密码学技术的未来
• Aleo 提供的zero knowledge primitives

Aleo采用Proof of Succinct Work共识。

Proof of Succinct Work为SNARK-based Proof of Work算法，旨在激励对SNARKs的硬件加速。

具体为：
Miner将pending交易打包，并计算a valid nonce来解决a Proof of Succinct Work puzzle。

puzzle的difficulty rate会动态调整，以反映Aleo上的miners在每秒贡献的proof数量。

• block time：是指网络生成有效区块所用的时间。基于网络的hashrate会变化。但是由blcok difficulty控制。
• block difficulty：根据最近的block times来调整，以维护整个网络的平均block time的稳定性。

解决该puzzle的miner address将的激励为：base block reward + 该区块所包含的交易的手续费。

2. Aleo中所用的曲线

Aleo中使用pairing-friendly 曲线来生成和验证proof：

*	Edwards BLS12	BLS12-377	Edwards BW6	BW6-761
Curve Type	Twisted Edwards	Barreto-Lynn-Scott	Twisted Edwards	Brezing–Weng
Scalar Field Size	251 bits	253 bits	374 bits	377 bits
Base Field Size	253 bits	377 bits	377 bits	761 bits
G1 Compressed Size*	32 bytes	48 bytes	48 bytes	96 bytes
G2 Compressed Size*	N/A	96 bytes	N/A	96 bytes

相关参数为：

• Edwards BLS12：

  • scalar field：$0x04aad957a68b2955982d1347970dec005293a3afc43c8afeb95aee9ac33fd9ff$
  • scalar field root of unity：$0x00b4b1d4c7e5e163b1af246173fdb411bdb82ac32901dcb9d289433ff2b7d5c9$
  • base field：$0x12ab655e9a2ca55660b44d1e5c37b00159aa76fed00000010a11800000000001$
  • base field root of unity：$0x0d1ba211c5cc349cd7aacc7c597248269a14cda3ec99772b3c3d3ca739381fb2$

• BLS12-377：

  • scalar field：$0x12ab655e9a2ca55660b44d1e5c37b00159aa76fed00000010a11800000000001$
  • scalar field root of unity：$0x0d1ba211c5cc349cd7aacc7c597248269a14cda3ec99772b3c3d3ca739381fb2$
  • base field：$0x01ae3a4617c510eac63b05c06ca1493b1a22d9f300f5138f1ef3622fba094800170b5d44300000008508c00000000001$
  • base field root of unity：$0x00f3c1414ef58c54f95564f4cbc1b61fee086c1fe367c33776da78169a7f3950f1bd15c3898dd1af1c104955744e6e0f$

• Edwards BW6：

  • scalar field：$0x0035c748c2f8a21d58c760b80d94292763445b3e601ea271e1d75fe7d6eeb84234066d10f5d893814103486497d95295$
  • scalar field root of unity：$0x0006ba8c867eaccf5f7e46bcdb07d0f4b2595092eedff5c5603102866827125373710874d7416d75a832273177b0e245$
  • base field：$0x01ae3a4617c510eac63b05c06ca1493b1a22d9f300f5138f1ef3622fba094800170b5d44300000008508c00000000001$
  • base field root of unity：$0x00f3c1414ef58c54f95564f4cbc1b61fee086c1fe367c33776da78169a7f3950f1bd15c3898dd1af1c104955744e6e0f$

• BW6-761：

  • scalar field：$0x01ae3a4617c510eac63b05c06ca1493b1a22d9f300f5138f1ef3622fba094800170b5d44300000008508c00000000001$
  • scalar field root of unity： 0 x 00 f 3 c 1414 e f 58 c 54 f

    以上是关于Aleo的PoSW共识的主要内容，如果未能解决你的问题，请参考以下文章

    Aleo将于本月30日举办ZKP研讨会，霍华德将出席

    区块链共识机制 和 经典分布式共识机制

    区块链 --- 共识算法

    共识协议共识算法分类

    共识协议共识算法分类

    POS共识机制竟然漏洞这么多 | 分析POS共识机制的原理带来的思考