Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation
Xiao Wang, Samuel Ranellucci, Jonathan Katz
Abstract
We propose a simple and efficient framework for obtaining efficient constant-round protocols for maliciously secure two-party computation. Our framework uses a function-independent preprocessing phase to generate authenticated information for the two parties; this information is then used to construct a single "authenticated" garbled circuit which is transmitted and evaluated. We also show how to efficiently instantiate the preprocessing phase with a new, highly optimized version of the TinyOT protocol by Nielsen et al. Our protocol outperforms existing work in both the singleexecution and amortized settings, with or without preprocessing: • In the single-execution setting, our protocol evaluates an AES circuit with malicious security in 37 ms with an online time of 1 ms. Previous work with the best overall time requires 62 ms (with 14 ms online time); previous work with the best online time (also 1 ms) requires 124 ms overall. • If we amortize over 1024 executions, each AES computation requires just 6.7 ms with roughly the same online time as above. The best previous work in the amortized setting has roughly the same total time but does not support functionindependent preprocessing. Our work shows that the performance penalty for maliciously secure two-party computation (as compared to semi-honest security) is much smaller than previously believed.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers43
- CrypTFlow: Secure TensorFlow InferenceNishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta et al.S&P 2020 · 276 citations
- Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum SignaturesJonathan Katz, Vladimir Kolesnikov, Xiao WangCCS 2018 · 257 citations
- Practical Multi-party Private Set Intersection from Symmetric-Key TechniquesVladimir Kolesnikov, Naor Matania, Benny Pinkas, Mike Rosulek et al.CCS 2017 · 247 citations
- Efficient Two-Round OT Extension and Silent Non-Interactive Secure ComputationElette Boyle, Geoffroy Couteau, Niv Gilboa, Yuval Ishai et al.CCS 2019 · 238 citations
- Compressing Vector OLEElette Boyle, Geoffroy Couteau, Niv Gilboa, Yuval IshaiCCS 2018 · 220 citations
Builds on5
- MASCOT: Faster Malicious Arithmetic Secure Computation with Oblivious TransferMarcel Keller, Emmanuela Orsini, Peter SchollCCS 2016 · 487 citations
- Global-Scale Secure Multiparty ComputationXiao Wang, Samuel Ranellucci, Jonathan KatzCCS 2017 · 220 citations
- Faster Malicious 2-Party Secure Computation with Online/Offline Dual ExecutionPeter Rindal, Mike RosulekUSENIX Security 2016 · 63 citations
- Constant Round Maliciously Secure 2PC with Function-independent Preprocessing using LEGOJesper Buus Nielsen, Thomas Schneider, Roberto TrifilettiNDSS 2017 · 57 citations
- DUPLO: Unifying Cut-and-Choose for Garbled CircuitsVladimir Kolesnikov, Jesper Buus Nielsen, Mike Rosulek, Ni Trieu et al.CCS 2017 · 38 citations
Related papers
- Authenticated Garbling from Simple CorrelationsSamuel Dittmer, Yuval Ishai, Steve Lu, Rafail OstrovskyCRYPTO 2022 · 26 citations
- Actively Secure Half-Gates with Minimum Overhead Under Duplex NetworksHongrui Cui, Xiao Wang, Kang Yang, Yu YuEUROCRYPT 2023 · 16 citations
- Optimizing Semi-Honest Secure Multiparty Computation for the InternetAner Ben-Efraim, Yehuda Lindell, Eran OmriCCS 2016 · 96 citations
- Highly Efficient OT-Based Multiplication ProtocolsIftach Haitner, Nikolaos Makriyannis, Samuel Ranellucci, Eliad TsfadiaEUROCRYPT 2022 · 7 citations
- Two-Round MPC Without Round Collapsing Revisited - Towards Efficient Malicious ProtocolsHuijia Lin, Tianren LiuCRYPTO 2022 · 1 citation
