[Feature]: 如何在SPU层使用YACL中的zkp模块，以及这个模块写在隐语上原本有计划用在哪么

[last-sansy]

Feature Request Type

Usability

Have you searched existing issues?

Yes

Is your feature request related to a problem?

我想要在SPU层的ABY3或SPDZ中对于简单的算术运算构建MPC协议，并对于其中涉及的算术运算调用零知识证明和多项式承诺方案来检查计算的正确性，但是我没有在SPU层找到有关ZKP使用的实例，因此我想询问是否在SPU或HEU或更上层有调用ZKP模块的案例可以供我参考的，如果没有，我想请问是否有其他类似的关于YACL模块在SPU上调用的案例和注意事项可以供我参考的。

Describe features you want to add to SPU

希望增加ZKP使用的文档，或者YACL上其他和ZKP同等层次的代码模块如何应用到上层使用的案例

Describe features you want to add to SPU

如上所述

[changtong9]

YACL 中的 ZKP 模块目前提供了 sigma protocol 与 pedersen commitment，这部分目前没有在 SPU 层的使用样例，ZKP 原本应用在 DID 等一些业务场景里。

你需要的多项式承诺方案是 KZG 这种吗？