摘要 —SodsMPC 是一个量子安全的智能合约系统。SodsMPC 许可服务器(验证节点)通过安全多方计算 (MPC) 协议执行合约。MPC 确保合约执行的正确性,同时轻松保护数据隐私。此外,SodsMPC 实现合约业务逻辑隐私,同时保护合约用户匿名身份。我们用有限状态机 (FSM) 表达合约的逻辑。FSM 的状态转换用具有秘密共享系数的盲多项式表示。当使用 MPC 计算这个盲多项式时,就获得了合约业务逻辑隐私。这些控制逻辑的系数是二进制秘密共享。我们还提出了一种通过 MPC 在二进制和整数秘密共享之间进行基本转换的方法。我们的合约匿名性来自“混合然后合约”范式。 SodsMPC 混合的在线阶段是预处理置换矩阵与秘密共享形式的输入向量之间的乘法,它实现了输入的完全随机化混洗,并保持秘密共享形式以供后续合约执行。所有 SodsMPC 组件(包括可验证秘密共享方案)都是量子安全的、异步的、可应对 t < n/ 3 个受损服务器,并且在预处理和在线阶段都具有鲁棒性(可容忍拜占庭服务器)。索引术语 — 多方计算、私人智能合约、有限状态机、匿名混合、量子安全
主要关键词