ZKDocs内容更新：密码学协议实现指南全面升级
我们为ZKDocs新增了四个核心章节并对现有内容进行了扩展。ZKDocs专注于为实践中使用但缺乏文档的密码学协议提供解释、指导和文档支持。本次更新包含以下新增内容：
内积参数协议(IPA)
作为Bulletproofs零知识证明体系的基础组件，IPA协议因其理论复杂性而难以理解。ZKDocs通过分解协议结构、展示迭代优化路径，并配以协议流程图和安全注意事项，帮助开发者理解现代IPA的实现原理。
承诺方案
Pedersen承诺
最基础的密码学承诺方案，允许提交者对特定整数值进行承诺并在后续阶段安全披露。
多项式承诺方案(PCS)
作为标量承诺方案的泛化形式，PCS允许证明者向验证者证明多项式在特定点的正确求值，而不泄露多项式其他信息。本次新增：
- KZG多项式承诺：基于双线性对的经典方案
- IPA多项式承诺：从IPA协议衍生的新型方案
宽模约简技术
在密码学中安全生成0到素数p之间的随机数是常见需求。ZKDocs新增章节详细介绍了：
- 不安全方案的缺陷：直接取模会导致统计偏差
- 宽模约简解决方案：生成(k+256)位随机值后执行模p约简
- 安全性证明：通过统计论证解释该技术的安全性基础