铜锁开源密码库

本文是对 《铜锁 SM2 算法性能优化实践（一）｜综述》 的深入扩展，详细介绍快速模约减算法实现。。

由于文章篇幅较长，今天带来的是 《Core 和 Provider 设计》 部分内容，上一篇《介绍、术语和架构》可查看已发布过的内容。后续内容将随每周推送完整发布，请持续关注铜锁。

零知识证明 （ZKP，Zero Knowledge Proof） 是隐私计算和区块链领域中非常重要的密码学技术，能够在证明者不向验证者提供任何有用信息的情况下，使验证者相信某个论断是正确的。零知

在许多应用场景中，当需要证明一个值满足特定的范围条件、又不希望透露该值的具体大小时，传统的证明方法可能需要暴露更多的信息。而范围证明可以提供一种更高效、更隐私保护的方式来实现这一目标。

密码学中的很多算法，如 RSA、Paillier、ECC、EC-ElGamal、Diffie-Hellman 密钥交换等，都涉及大数运算，大素数生成、大数乘法、大数模幂等在加密和解密过程中都是必不可少