🤖 AI Summary
Prior work lacks a systematic analysis linking commitment scheme (CS) security properties to the robustness, privacy, and composable security of multi-party computation (MPC) protocols. Method: This paper establishes, for the first time, a formal mapping between CS types—including Pedersen, Fiat-Shamir, and universally composable (UC)-secure CS—and MPC construction paradigms (e.g., GMW, BGW, SPDZ), adversarial models, and application contexts. It proposes functional and security-driven CS selection criteria and conducts cryptographic analysis alongside cross-framework evaluation to quantify CS impact on MPC efficiency, resilience against adaptive attacks, and composability. Contribution/Results: The work bridges theoretical security guarantees with practical protocol design, yielding principled guidelines for CS instantiation in MPC. It provides both theoretical foundations and actionable insights for building robust, deployable privacy-preserving systems.
📝 Abstract
The paper presents an analysis of Commitment Schemes (CSs) used in Multi-Party Computation (MPC) protocols. While the individual properties of CSs and the guarantees offered by MPC have been widely studied in isolation, their interrelation in concrete protocols and applications remains mostly underexplored. This paper presents the relation between the two, with an emphasis on (security) properties and their impact on the upper layer MPC. In particular, we investigate how different types of CSs contribute to various MPC constructions and their relation to real-life applications of MPC. The paper can also serve as a tutorial for understanding the cryptographic interplay between CS and MPC, making it accessible to both researchers and practitioners. Our findings emphasize the importance of carefully selecting CS to meet the adversarial and functional requirements of MPC, thereby aiming for more robust and privacy-preserving cryptographic applications