PUFF: Maximally Proactive Security for Free in Perfectly Secure MPC with Guaranteed Output Delivery
Jiarui Li, Mengzhen Zou, Guidong Li, Guoyan Zhang, Chen Qian
Abstract
Achieving proactive security in perfectly-secure Multi-Party Computation (MPC) with guaranteed output delivery is a significant challenge, primarily because traditional protocols require all participants to be continuously online, rendering them impractical for many applications. The recently proposed layered MPC model addresses this by allowing parties to be offline for extended periods. However, existing protocols for this model incur substantial overhead compared to their counterparts in the standard static setting.
This work introduces a unified framework and essential building blocks for constructing protocols in the layered model, instantiable with both Shamir and CNF secret sharing. Using this framework, we develop highly efficient protocols for Verifiable Secret Sharing (VSS) and secure multiplication for proactive security.
Applying our framework, we construct layered MPC protocols that drastically reduce the communication complexity and the number of layers required to evaluate an arithmetic circuit of depth . Specifically, our Shamir-based MPC achieves per-gate communication with a total layer depth of , representing a significant improvement over the complexity and depth of .
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get a8332344-aed0-4e3a-aeea-8ed338e6115bRelated papers
- Detect, Pack and Batch: Perfectly-Secure MPC with Linear Communication and Constant Expected TimeIttai Abraham, Gilad Asharov, Shravani Patil, Arpita PatraEUROCRYPT 2023 · 19 citations
- Actively Secure MPC in the Dishonest Majority Setting: Achieving Constant Complexity in Online Communication, Computation Per Gate, Rounds, and Private Input SizeSeunghwan Lee, Jaesang Noh, Taejeong Kim, Dohyuk Kim et al.CRYPTO 2025 · 1 citation
- Fully Secure MPC and zk-FLIOP over Rings: New Constructions, Improvements and ExtensionsAnders P. K. Dalskov, Daniel Escudero, Ariel NofCRYPTO 2024 · 12 citations
- A High-Assurance Evaluator for Machine-Checked Secure Multiparty ComputationKarim Eldefrawy, Vitor PereiraCCS 2019 · 14 citations
- The Price of Active Security in Cryptographic ProtocolsCarmit Hazay, Muthuramakrishnan Venkitasubramaniam, Mor WeissEUROCRYPT 2020 · 17 citations
