Insured MPC: Efficient Secure Computation with Financial Penalties

Carsten Baum, Bernardo David, Rafael Dowsley

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Abstract

Fairness in Secure Multiparty Computation (MPC) is known to be impossible to achieve in the presence of a dishonest majority. Previous works have proposed combining MPC protocols with cryptocurrencies in order to financially punish aborting adversaries, providing an incentive for parties to honestly follow the protocol. The focus of existing work is on proving that this approach is possible and unfortunately they present monolithic and mostly inefficient constructions. In this work, we put forth the first UC secure modular construction of “Insured MPC”, where either the output of the private computation (which describes how to distribute funds) is fairly delivered or a proof that a set of parties has misbehaved is produced, allowing for financial punishments. Moreover, both the output and the proof of cheating are publicly verifiable, allowing third parties to independently validate an execution. We present an efficient compiler that implements Insured MPC from an MPC protocol with certain properties, a standard (non-private) Smart Contract and a publicly verifiable homomorphic commitment scheme. As an intermediate step, we propose the first construction of a publicly verifiable homomorphic commitment scheme with composability guarantees.
Original languageEnglish
Title of host publicationFinancial Cryptography and Data Security. FC 2020.
EditorsJoseph Bonneau, Nadia Heninger
PublisherSpringer
Publication date2020
Pages404-420
ISBN (Print)978-3-030-51279-8
ISBN (Electronic)978-3-030-51280-4
DOIs
Publication statusPublished - 2020
SeriesLecture Notes in Computer Science
Volume12059
ISSN0302-9743

Keywords

  • Fairness
  • Secure Multiparty Computation
  • Cryptocurrencies
  • Financial Punishment
  • Public Verifiability

Fingerprint

Dive into the research topics of 'Insured MPC: Efficient Secure Computation with Financial Penalties'. Together they form a unique fingerprint.

Cite this