MPC-friendly commitments for publicly verifiable covert security
We address the problem of efficiently verifying a commitment in a two-party computation. This addresses the scenario where a party P1 commits to a value 𝑥 to be used in a subsequent secure computation with another party P2 that wants to receive assurance that P1 did not cheat, i.e. that 𝑥 was indeed...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Association for Computer Machinery
2021
|
| _version_ | 1797050403203842048 |
|---|---|
| author | Agrawal, N Bell, J Gascón, A Kusner, MJ |
| author_facet | Agrawal, N Bell, J Gascón, A Kusner, MJ |
| author_sort | Agrawal, N |
| collection | OXFORD |
| description | We address the problem of efficiently verifying a commitment in
a two-party computation. This addresses the scenario where a
party P1 commits to a value 𝑥 to be used in a subsequent secure
computation with another party P2 that wants to receive assurance
that P1 did not cheat, i.e. that 𝑥 was indeed the value inputted into
the secure computation. Our constructions operate in the publicly
verifiable covert (PVC) security model, which is a relaxation of the
malicious model of MPC appropriate in settings where P1 faces a
reputational harm if caught cheating.
We introduce the notion of PVC commitment scheme and indexed hash functions to build commitments schemes tailored to
the PVC framework, and propose constructions for both arithmetic
and Boolean circuits that result in very efficient circuits. From a
practical standpoint, our constructions for Boolean circuits are 60×
faster to evaluate securely, and use 36× less communication than
baseline methods based on hashing. Moreover, we show that our
constructions are tight in terms of required non-linear operations,
by proving lower bounds on the nonlinear gate count of commitment verification circuits. Finally, we present a technique to amplify
the security properties of our constructions that allows to efficiently
recover malicious guarantees with statistical security |
| first_indexed | 2024-03-06T18:04:38Z |
| format | Conference item |
| id | oxford-uuid:0105d05f-8684-4e0b-b619-23ec88822aad |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T18:04:38Z |
| publishDate | 2021 |
| publisher | Association for Computer Machinery |
| record_format | dspace |
| spelling | oxford-uuid:0105d05f-8684-4e0b-b619-23ec88822aad2022-03-26T08:32:39ZMPC-friendly commitments for publicly verifiable covert securityConference itemhttp://purl.org/coar/resource_type/c_5794uuid:0105d05f-8684-4e0b-b619-23ec88822aadEnglishSymplectic ElementsAssociation for Computer Machinery2021Agrawal, NBell, JGascón, AKusner, MJWe address the problem of efficiently verifying a commitment in a two-party computation. This addresses the scenario where a party P1 commits to a value 𝑥 to be used in a subsequent secure computation with another party P2 that wants to receive assurance that P1 did not cheat, i.e. that 𝑥 was indeed the value inputted into the secure computation. Our constructions operate in the publicly verifiable covert (PVC) security model, which is a relaxation of the malicious model of MPC appropriate in settings where P1 faces a reputational harm if caught cheating. We introduce the notion of PVC commitment scheme and indexed hash functions to build commitments schemes tailored to the PVC framework, and propose constructions for both arithmetic and Boolean circuits that result in very efficient circuits. From a practical standpoint, our constructions for Boolean circuits are 60× faster to evaluate securely, and use 36× less communication than baseline methods based on hashing. Moreover, we show that our constructions are tight in terms of required non-linear operations, by proving lower bounds on the nonlinear gate count of commitment verification circuits. Finally, we present a technique to amplify the security properties of our constructions that allows to efficiently recover malicious guarantees with statistical security |
| spellingShingle | Agrawal, N Bell, J Gascón, A Kusner, MJ MPC-friendly commitments for publicly verifiable covert security |
| title | MPC-friendly commitments for publicly verifiable covert security |
| title_full | MPC-friendly commitments for publicly verifiable covert security |
| title_fullStr | MPC-friendly commitments for publicly verifiable covert security |
| title_full_unstemmed | MPC-friendly commitments for publicly verifiable covert security |
| title_short | MPC-friendly commitments for publicly verifiable covert security |
| title_sort | mpc friendly commitments for publicly verifiable covert security |
| work_keys_str_mv | AT agrawaln mpcfriendlycommitmentsforpubliclyverifiablecovertsecurity AT bellj mpcfriendlycommitmentsforpubliclyverifiablecovertsecurity AT gascona mpcfriendlycommitmentsforpubliclyverifiablecovertsecurity AT kusnermj mpcfriendlycommitmentsforpubliclyverifiablecovertsecurity |