cryptography

形式化理解零知识证明

如何严格证明一个协议“没有泄露秘密”？用模拟器刻画验证者获得的信息，让零知识证明的直觉落到数学定义上。