基于qa-nizk证明系统的高效简短可验证洗牌方案

？电子投票中为保护投票者的隐私，要由一系列混合服务器对选票进行洗牌操作，为保证洗牌操作的诚实性，需要可验证洗牌方案。现有简短可验证洗牌方案的证明大小要依赖于混合服务器的数量和投票者的数量，效率较低。基于近来的一个高效的qa-nizk证明系统构建了一个高效的简短可验证洗牌方案，不管有多少混合器和投票者其证明大小都是o(1)，即常量大小。具有其独立的意义是在构建中指出原qa-nizk证明系统是可变的。