Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers

Anasuya Acharaya; Carmit Hazay; Vladimir Kolesnikov; Manoj Prabhakaran

doi:10.1007/978-3-031-68400-5_1

Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers

Anasuya Acharaya
, Carmit Hazay
, Vladimir Kolesnikov
, Manoj Prabhakaran

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Bar-Ilan University
Georgia Institute of Technology
Indian Institute of Technology Bombay

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

SCALES (Small Clients And Larger Ephemeral Servers) model is a recently proposed model for MPC (Acharya et al., TCC 2022). While the SCALES model offers several attractive features for practical large-scale MPC, the result of Acharya et al. only offered semi-honest secure protocols in this model. We present a new efficient SCALES protocol secure against malicious adversaries, for general Boolean circuits. We start with the base construction of Acharya et al. and design and use a suite of carefully defined building blocks that may be of independent interest. The resulting protocol is UC-secure without honest majority, with a CRS and bulletin-board as setups, and allows publicly identifying deviations from correct execution.

Original language	English
Title of host publication	Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings
Editors	Leonid Reyzin, Douglas Stebila
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	3-38
Number of pages	36
ISBN (Print)	9783031683992
DOIs	https://doi.org/10.1007/978-3-031-68400-5_1
State	Published - 2024
Event	44th Annual International Cryptology Conference, CRYPTO 2024 - Santa Barbara, United States Duration: 18 Aug 2024 → 22 Aug 2024

Publication series

Name	Lecture Notes in Computer Science
Volume	14928 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	44th Annual International Cryptology Conference, CRYPTO 2024
Country/Territory	United States
City	Santa Barbara
Period	18/08/24 → 22/08/24

Bibliographical note

Publisher Copyright:
© International Association for Cryptologic Research 2024.

Keywords

Dishonest Majority
MPC with Ephemeral Servers
Malicious Security
Rerandomizable Garbled Circuits
SCALES

Access to Document

10.1007/978-3-031-68400-5_1

Cite this

Acharaya, A., Hazay, C., Kolesnikov, V., & Prabhakaran, M. (2024). Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers. In L. Reyzin, & D. Stebila (Eds.), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (pp. 3-38). (Lecture Notes in Computer Science; Vol. 14928 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-68400-5_1

Acharaya, Anasuya ; Hazay, Carmit ; Kolesnikov, Vladimir et al. / Malicious Security for SCALES : Outsourced Computation with Ephemeral Servers. Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. editor / Leonid Reyzin ; Douglas Stebila. Springer Science and Business Media Deutschland GmbH, 2024. pp. 3-38 (Lecture Notes in Computer Science).

@inproceedings{bd8a4655639240ac949780d4e7a81597,

title = "Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers",

abstract = "SCALES (Small Clients And Larger Ephemeral Servers) model is a recently proposed model for MPC (Acharya et al., TCC 2022). While the SCALES model offers several attractive features for practical large-scale MPC, the result of Acharya et al. only offered semi-honest secure protocols in this model. We present a new efficient SCALES protocol secure against malicious adversaries, for general Boolean circuits. We start with the base construction of Acharya et al. and design and use a suite of carefully defined building blocks that may be of independent interest. The resulting protocol is UC-secure without honest majority, with a CRS and bulletin-board as setups, and allows publicly identifying deviations from correct execution.",

keywords = "Dishonest Majority, MPC with Ephemeral Servers, Malicious Security, Rerandomizable Garbled Circuits, SCALES",

author = "Anasuya Acharaya and Carmit Hazay and Vladimir Kolesnikov and Manoj Prabhakaran",

note = "Publisher Copyright: {\textcopyright} International Association for Cryptologic Research 2024.; 44th Annual International Cryptology Conference, CRYPTO 2024 ; Conference date: 18-08-2024 Through 22-08-2024",

year = "2024",

doi = "10.1007/978-3-031-68400-5\_1",

language = "אנגלית",

isbn = "9783031683992",

series = "Lecture Notes in Computer Science",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "3--38",

editor = "Leonid Reyzin and Douglas Stebila",

booktitle = "Advances in Cryptology {\textendash} CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings",

address = "גרמניה",

}

Acharaya, A, Hazay, C, Kolesnikov, V & Prabhakaran, M 2024, Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers. in L Reyzin & D Stebila (eds), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. Lecture Notes in Computer Science, vol. 14928 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 3-38, 44th Annual International Cryptology Conference, CRYPTO 2024, Santa Barbara, United States, 18/08/24. https://doi.org/10.1007/978-3-031-68400-5_1

Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers. / Acharaya, Anasuya; Hazay, Carmit; Kolesnikov, Vladimir et al.
Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. ed. / Leonid Reyzin; Douglas Stebila. Springer Science and Business Media Deutschland GmbH, 2024. p. 3-38 (Lecture Notes in Computer Science; Vol. 14928 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Malicious Security for SCALES

T2 - 44th Annual International Cryptology Conference, CRYPTO 2024

AU - Acharaya, Anasuya

AU - Hazay, Carmit

AU - Kolesnikov, Vladimir

AU - Prabhakaran, Manoj

N1 - Publisher Copyright: © International Association for Cryptologic Research 2024.

PY - 2024

Y1 - 2024

N2 - SCALES (Small Clients And Larger Ephemeral Servers) model is a recently proposed model for MPC (Acharya et al., TCC 2022). While the SCALES model offers several attractive features for practical large-scale MPC, the result of Acharya et al. only offered semi-honest secure protocols in this model. We present a new efficient SCALES protocol secure against malicious adversaries, for general Boolean circuits. We start with the base construction of Acharya et al. and design and use a suite of carefully defined building blocks that may be of independent interest. The resulting protocol is UC-secure without honest majority, with a CRS and bulletin-board as setups, and allows publicly identifying deviations from correct execution.

AB - SCALES (Small Clients And Larger Ephemeral Servers) model is a recently proposed model for MPC (Acharya et al., TCC 2022). While the SCALES model offers several attractive features for practical large-scale MPC, the result of Acharya et al. only offered semi-honest secure protocols in this model. We present a new efficient SCALES protocol secure against malicious adversaries, for general Boolean circuits. We start with the base construction of Acharya et al. and design and use a suite of carefully defined building blocks that may be of independent interest. The resulting protocol is UC-secure without honest majority, with a CRS and bulletin-board as setups, and allows publicly identifying deviations from correct execution.

KW - Dishonest Majority

KW - MPC with Ephemeral Servers

KW - Malicious Security

KW - Rerandomizable Garbled Circuits

KW - SCALES

UR - https://www.scopus.com/pages/publications/85202292191

U2 - 10.1007/978-3-031-68400-5_1

DO - 10.1007/978-3-031-68400-5_1

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85202292191

SN - 9783031683992

T3 - Lecture Notes in Computer Science

SP - 3

EP - 38

BT - Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings

A2 - Reyzin, Leonid

A2 - Stebila, Douglas

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 18 August 2024 through 22 August 2024

ER -

Acharaya A, Hazay C, Kolesnikov V, Prabhakaran M. Malicious Security for SCALES: Outsourced Computation with Ephemeral Servers. In Reyzin L, Stebila D, editors, Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. Springer Science and Business Media Deutschland GmbH. 2024. p. 3-38. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-68400-5_1