Bulletproofs 零知识证明算法实现

[Candicepan]

此 ISSUE 为 隐语开源共建计划（SecretFlow Open Source Contribution Plan，简称 SF OSCP）Phase 4 任务 ISSUE，欢迎社区开发者参与共建～

• 认领前，辛苦确认是否完成报名～
• 更多任务，可查看 「OSCP Phase4 Season of Dev」Project

This ISSUE is one of the tasks of the SecretFlow Open Source Contribution Plan (referred to as SF OSCP) Phase 4. Welcome to join us in building it together!

• Before claiming a task, please make sure you have signed up.
• For more tasks, you can check the "OSCP Phase4 Season of Dev" Project.

任务介绍

• 任务名称：Bulletproofs 零知识证明算法实现
• 技术方向：YACL
• 任务难度：挑战🌟🌟🌟
• 任务预估完成时间：7周
• 任务 Reviewer：@changtong9

详细要求

为提高开发效率，在您认领后，将有 reviewer 与您进行初步沟通后，再推进下一步开发工作。

• 安全性：符合原始论文中安全假设与安全定义
• 功能性：符合原始论文对算法功能描述
• 代码规范：
  • C++ 代码需要遵循 Google C++ style guidelines，除了以下几条 exceptions
    • Exceptions are allowed and encouraged where appropriate.
    • Header guards should use #pragma once.
    • Adopt camelBack for function names.
    • Use fixed width integer types whenever possible.
    • Avoid using size_t on interface APIs.
  • 可使用 clangd 进行代码格式化
  • 可使用 cpplint 检查格式
• 提交说明：关联该 issue 并提交代码至 https://github.com/secretflow/yacl/tree/main/examples/zkp

能力要求

• 熟悉椭圆曲线密码学以及零知识证明协议
• 熟悉 C++ 以及性能优化

操作说明

• 参考内容：
  • 原始论文：https://eprint.iacr.org/2017/1066.pdf
  • 其他代码库实现：https://github.com/dalek-cryptography/bulletproofs
• 示例：https://github.com/secretflow/yacl/tree/main/examples/zkp

[yangjucai]

yangjucai Give it to me

[Candicepan]

yangjucai Give it to me

Hello! Congratulations on successfully claiming this task, and thank you for your support of the OSCP! Please complete your contribution within sever weeks, otherwise, the task will be released. If you have any questions, please let us know. 😄
hello～恭喜你成功认领了该任务，感谢对 OSCP 的支持～请在 7 周内完成该任务贡献，否则，该任务将会被释放哦～如果你有任何疑问，请告知我们～😄