c - GNU GMP 库的 Cramer-Shoup 加密方案实现失败

Question

有人使用 GNU GMP 库成功实现了 Cramer-Shoup 加密/解密算法吗？我怀疑我的实现有微妙的错误，并且根据我在下面写的内容，对我的怀疑的简单确认就足够了 - 这是一般方案的 wiki 链接:Cramer-Shoup CryptoSystem

我正在尝试实现 Cramer-Shoup 加密方案(和验证)来确定是否应撤销匿名。它是从 the TCG Software Stack (TSS) Specification Version 1.2 Level 1 Errata A 第 468 页开始的 key 对创建算法。加密部分位于第 446 页，验证部分位于第 471-472 页。我可以手工进行数学计算，简单的代数替换可以让我到达验证检查通过的地方(手工)。我使用 GMP 库，并且使用 GMP 函数为我的应用程序实现的其他代码从未遇到过问题(对基于属性的凭据的 promise )。但现在即使使用数学库尝试了几种不同的解决方案，我仍然得到错误的答案。

我已经在带有 TPM 芯片和 Debian 操作系统的 Beagleboard 上尝试过此操作。这个周末我在家制作了一个非 TPM 版本，以在 VMware Ubuntu 客户机上运行一个简短的程序。我确保所有动态内存分配都在我的方程之前分配，并在不再需要时按照方程释放。

我还使用基于网络的计算器完成了每一步计算，但最终得到了相同的错误结果。这就是为什么我怀疑我的代码有问题，而不是 GMP 库。

我会发布我的代码，但它会打破我在此线程上的字符限制。

谢谢 - 我知道我的问题在软件开发方面比其他问题更具哲学性，但我不想让社区因细节而感到困惑。

Answer 1

我又仔细研究了实现。参数应该有一定的顺序，我把它们换到了两个地方。感谢您花时间查看此问题并提供建议!

GMP 工作正常!