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

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

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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
Malicious Security
MPC with Ephemeral Servers
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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, Malicious Security, MPC with Ephemeral Servers, 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

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

pages = "3--38",

editor = "Leonid Reyzin and Douglas Stebila",

booktitle = "Advances in Cryptology – 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 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 - Malicious Security

KW - MPC with Ephemeral Servers

KW - Rerandomizable Garbled Circuits

KW - SCALES

UR - http://www.scopus.com/inward/record.url?scp=85202292191&partnerID=8YFLogxK

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-68400-5_1