Anoma中的ZKP技术

Posted 2022-03-04 mutourend

1. 引言

Anoma团队于2021年4月发布了名为《Anoma: Undefining Money. A protocol for private, asset-agnostic digital cash and n-party bartering》的白皮书。2021年宣布第一个名为Feigenbaum的public testnet。

相关代码见：

• https://github.com/anoma

Anoma系列博客有：

• Anoma——多方加密资产隐秘交换
• Anoma中的account

Anoma采用PoS作为其防女巫机制，采用Tendermint（PBFT的一个变种）作为其共识机制。在其最新发布的V0.4.0版本中，对IBC protocol做了一定的支持。

Anoma项目中的密码学方案包括：

• Private Bartering Circuit(PBC)
• 在ZK-garage PLONK proving system中集成Plonkup
• MSAP：更新到了最新的librustzcash/Sapling代码。未来将探索实现MASP trusted setup 以及 更新trusted setup code。
• Juvix：为一种独立的函数式编程语言，用于编写有效的formally0verified validity predicates，可部署到各种分布式账本中。

参考资料

[1] Anoma Research and Development Update: February 2022
[2] 2021年11月博客