铜锁开源密码库

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

背景 R1CS 的背景源于零知识证明和可验证计算领域的研究，它是一种用于表示计算约束的形式化模型，可以描述计算中的输入、输出和约束条件之间的关系。R1CS 的设计旨在使计算过程的约束能够以一种有效和紧

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

铜锁 8.4.0 的第一个预发布版本 *（-pre1）* ，欢迎下载试用。铜锁的 8.4.0 是一个大版本发布，其中包括了对多种半同态算法、零知识证明算法和硬件加速能力的支持，并删除了不常用的算法以及

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