Amortizing Secure Computation with Penalties
Ranjit Kumaresan, Iddo Bentov
Abstract
Motivated by the impossibility of achieving fairness in secure computation [Cleve, STOC 1986], recent works study a model of fairness in which an adversarial party that aborts on receiving output is forced to pay a mutually predefined monetary penalty to every other party that did not receive the output. These works show how to design protocols for secure computation with penalties that guarantees that either fairness is guaranteed or that each honest party obtains a monetary penalty from the adversary. Protocols for this task are typically designed in an hybrid model where parties have access to a "claim-or-refund" transaction functionality denote F * CR . In this work, we obtain improvements on the efficiency of these constructions by amortizing the cost over multiple executions of secure computation with penalties. More precisely, for computational security parameter λ, we design a protocol that implements = poly(λ) instances of secure computation with penalties where the total number of calls to F * CR is independent of .
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.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext f55c8963-9e7b-4981-b3ca-4e8943aed84aCited by top-tier papers6
- Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic AvailabilityChristian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell et al.CCS 2018 · 306 citations
- ZEXE: Enabling Decentralized Private ComputationSean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers et al.S&P 2020 · 257 citations
- Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud ComputingChangyu Dong, Yilei Wang, Amjad Aldweesh, Patrick McCorry et al.CCS 2017 · 169 citations
- Fairness in an Unfair World: Fair Multiparty Computation from Public Bulletin BoardsArka Rai Choudhuri, Matthew Green, Abhishek Jain, Gabriel Kaptchuk et al.CCS 2017 · 130 citations
- FastKitten: Practical Smart Contracts on BitcoinPoulami Das, Lisa Eckey, Tommaso Frassetto, David Gens et al.USENIX Security 2019 · 118 citations
Builds on2
- Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart ContractsAhmed E. Kosba, Andrew Miller, Elaine Shi, Zikai Wen et al.S&P 2016 · 2,201 citations
- Improvements to Secure Computation with PenaltiesRanjit Kumaresan, Vinod Vaikuntanathan, Prashant Nalini VasudevanCCS 2016 · 85 citations
Related papers
- Reusable Secure Computation in the Plain ModelVipul Goyal, Akshayaram Srinivasan, Mingyuan WangCRYPTO 2023
- Computational Hardness of Optimal Fair Computation: Beyond MinicryptHemanta K. Maji, Mingyuan WangCRYPTO 2021 · 2 citations
- Fast Actively Secure Five-Party Computation with Security Beyond AbortMegha Byali, Carmit Hazay, Arpita Patra, Swati SinglaCCS 2019 · 12 citations
- MPC with Friends and FoesBar Alon, Eran Omri, Anat Paskin-CherniavskyCRYPTO 2020 · 15 citations
- Ramen: Souper Fast Three-Party Computation for RAM ProgramsLennart Braun, Mahak Pancholi, Rahul Rachuri, Mark SimkinCCS 2023 · 7 citations
