项目地址:
https://github.com/z1gov/QuicklyUseGrothSahai08/
实现了grothsahai08的一些基本操作,实现了DLIN假设中PPE和线性MEE的所有操作,并集成了批处理;在SXDH假设中实施PPE操作。
实现了grothsahai承诺。
DLIN:你可以很容易地生成或验证PPE的NIWI和NIZK证明(为了运行程序,非线性PPE的证明由G组的12个元素组成)或MEE,不必关心细节。
SXDH:你需要自己计算PPE证明,每次计算都不是实现批量的方法,没有实现NIZK证明。
使用Maven进行依赖关系管理,实体类中有一些示例。
如果你想了解更多信息,可以阅读以下论文:
GS08:Efficient Non-interactive Proof Systems for Bilinear Groups (iacr.org)
GS08批处理:Batch Groth-Sahai (iacr.org)