一劳永逸地解决了：就是 $\Sigma$-协议！ 带有一个破折号。 </cant-stop-wont-stop>

[Cra97] 安全且实用的密码协议的模块化设计；作者：罗纳德·克雷默；1997；