金·拉姆琴;克里斯·库纳内;奥利维埃·佩雷拉;瓦妮莎·提格 普遍可核查的MPC和IRV计票。 （英语） Zbl 1460.94061号 Goldberg，Ian（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯护卫舰湾举行的第23届2019足球俱乐部国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11598, 301-319 (2019). 摘要：我们提出了一个非常简单的可普遍验证的MPC协议。第一个组成部分是一个阈值有点同态的密码系统，它允许任意数量的加法（在源组中），然后是一次乘法，最后是目标组中任意数量的加法。第二个组件是在支持共享设置和密钥生成阶段的任何公钥加密方案之间进行通用可验证的分布式加密交换的黑盒构造，只要这些方案满足某些自然加性自同构属性。这允许我们从目标组切换回源组，从而执行任意数量的乘法。我们的原型密码系统的密钥生成算法基于并发可验证秘密共享，允许对共享秘密的幂进行稳健的重新构造。关于整个系列，请参见[Zbl 1428.94011号]. 引用于1文件 MSC公司： 94A60型 密码学 68米11 互联网主题 关键词：多方计算;选举;投票;即时决选投票;可验证计算;可验证性 PDF格式BibTeX公司 XML格式引用 \textit{K.Ramchen}等人，Lect。注释计算。科学。11598，301-319（2019；Zbl 1460.94061） 全文： 内政部