Efficient Sum-Check Protocol for Convolution
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ju, Chanyang | - |
dc.contributor.author | Lee, Hyeonbum | - |
dc.contributor.author | Chung, Heewon | - |
dc.contributor.author | Seo, Jae Hong | - |
dc.contributor.author | Kim, Sungwook | - |
dc.date.accessioned | 2022-07-06T02:17:27Z | - |
dc.date.available | 2022-07-06T02:17:27Z | - |
dc.date.created | 2022-01-06 | - |
dc.date.issued | 2021-12 | - |
dc.identifier.issn | 2169-3536 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/138493 | - |
dc.description.abstract | Many applications have recently adopted machine learning and deep learning techniques. Convolutional neural networks (CNNs) are made up of sequential operations including activation, pooling, convolution, and fully connected layer, and their computation cost is enormous, with convolution and fully connected layer dominating. In general, a user with insufficient computer capacity delegated certain tasks to a server with sufficient computing power, and the user may want to verify that the outputs are truly machine learning model predictions. In this paper, we are interested in verifying that the delegation of CNNs, one of the deep learning models for image recognition and classification, is correct. Specifically, we focus on the verifiable computation of matrix multiplications in a CNN convolutional layer. We use Thaler's idea (CRYPTO 2013) for validating matrix multiplication operations and present a predicate function based on the insight that the sequence of operations can be viewed as sequential matrix multiplication. Furthermore, we lower the cost of proving by splitting a convolution operation into two halves. As a result, we can provide an efficient sum-check protocol for a convolution operation that, like the state-of-the-art zkCNN (ePrint 2021) approach, achieves asymptotically optimal proving cost. The suggested protocol is about 2x cheaper than zkCNN in terms of communication costs. We also propose a verified inference system based on our method as the fundamental building component. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.title | Efficient Sum-Check Protocol for Convolution | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Seo, Jae Hong | - |
dc.identifier.doi | 10.1109/ACCESS.2021.3133442 | - |
dc.identifier.scopusid | 2-s2.0-85121376775 | - |
dc.identifier.wosid | 000731133300001 | - |
dc.identifier.bibliographicCitation | IEEE ACCESS, v.9, pp.164047 - 164059 | - |
dc.relation.isPartOf | IEEE ACCESS | - |
dc.citation.title | IEEE ACCESS | - |
dc.citation.volume | 9 | - |
dc.citation.startPage | 164047 | - |
dc.citation.endPage | 164059 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalResearchArea | Engineering | - |
dc.relation.journalResearchArea | Telecommunications | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Engineering, Electrical & Electronic | - |
dc.relation.journalWebOfScienceCategory | Telecommunications | - |
dc.subject.keywordPlus | Computational efficiency | - |
dc.subject.keywordPlus | Convolution | - |
dc.subject.keywordPlus | Deep learning | - |
dc.subject.keywordPlus | Image recognition | - |
dc.subject.keywordPlus | Multilayer neural networks | - |
dc.subject.keywordPlus | Computational modelling | - |
dc.subject.keywordPlus | Convolutional neural network | - |
dc.subject.keywordPlus | Deep learning | - |
dc.subject.keywordPlus | Interactive proofs | - |
dc.subject.keywordPlus | Learning techniques | - |
dc.subject.keywordPlus | MAtrix multiplication | - |
dc.subject.keywordPlus | Sequential operations | - |
dc.subject.keywordPlus | Sum-check protocol | - |
dc.subject.keywordPlus | Verifiable computation | - |
dc.subject.keywordPlus | Matrix algebra | - |
dc.subject.keywordAuthor | Verifiable computation | - |
dc.subject.keywordAuthor | matrix multiplication | - |
dc.subject.keywordAuthor | convolutional neural networks | - |
dc.subject.keywordAuthor | interactive proofs | - |
dc.subject.keywordAuthor | sum-check protocol | - |
dc.identifier.url | https://ieeexplore.ieee.org/document/9638642 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
222, Wangsimni-ro, Seongdong-gu, Seoul, 04763, Korea+82-2-2220-1365
COPYRIGHT © 2021 HANYANG UNIVERSITY.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.