RLWE密文的对数证明 主分支： 这是R. Pino，V。Lyubashevsky和G. Seiler的论文的原型实现，“用于FHE和Ring-LWE密文的短离散对数证明”， 。 当前实现使用一对协程来模拟两方，而无需创建数据结构来保存中间状态（请参见src/actors.jl ）。 另外，可以使用_synchronous函数在一个线程中同时运行证明者和验证者（使配置和调试更加容易）。 可以在examples/example.jl找到一个简单的用法示例，从本文的第1.5节演示证明本身的用