Although secure multi-party computation breaks down data barriers, its utility is reduced when participants have limited computation and communication resources. To make secure multi-party computation more practical, there exists an approach to distribute users’ private inputs to multiple servers in a secret sharing manner, and the servers accomplish secure computation tasks through interaction. We propose a new secure computation framework that enables the detection of malicious cloud servers by introducing homomorphic MACs. We utilize pairing-based homomorphic commitments to record MACs on a bulletin board, providing public verifiability while reducing the computation burden on the cloud servers. Additionally, our framework not only supports the underlying general computation, but also prepares for various types of nontrivial high-level operations, such as comparison and bit decomposition. We design a smart payment platform enabling fair payment with the help of smart contracts to protect the rights of both data owners and cloud service providers. Compared to previous works, our framework breaks the limitations of servers being restricted to semi-honest or even honest and provides public verifiability. Performance evaluations demonstrate satisfactory computation and communication efficiency during the online phase of our system.

中文翻译：

---

基于公告板的可公开验证的安全多方计算框架


尽管安全多方计算打破了数据壁垒，但当参与者的计算和通信资源有限时，其效用就会降低。为了使安全多方计算更加实用，存在一种将用户的私密输入以秘密共享的方式分发到多个服务器，服务器通过交互完成安全计算任务的方法。我们提出了一种新的安全计算框架，通过引入同态 MAC 来检测恶意云服务器。我们利用基于配对的同态承诺在公告板上记录 MAC，提供公共可验证性，同时减少云服务器的计算负担。此外，我们的框架不仅支持底层的通用计算，还为各种类型的重要高级操作做好准备，例如比较和位分解。我们设计了一个智能支付平台，借助智能合约实现公平支付，保护数据所有者和云服务提供商的权利。与以前的工作相比，我们的框架打破了服务器仅限于半诚实甚至诚实的限制，并提供了公共可验证性。性能评估表明我们系统在线阶段的计算和通信效率令人满意。