清晨好,您是今天最早来到科研通的研友!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您科研之路漫漫前行!

vCNN: Verifiable Convolutional Neural Network Based on zk-SNARKs

计算机科学 卷积神经网络 可验证秘密共享 正确性 MNIST数据库 核(代数) 理论计算机科学 卷积(计算机科学) 论证(复杂分析) 简单(哲学) 推论 人工神经网络 霍尔 算法 人工智能 离散数学 数学 程序设计语言 生物化学 化学 哲学 集合(抽象数据类型) 认识论
作者
Seunghwa Lee,Hankyung Ko,Jihye Kim,Hyunok Oh
出处
期刊:IEEE Transactions on Dependable and Secure Computing [IEEE Computer Society]
卷期号:21 (4): 4254-4270 被引量:19
标识
DOI:10.1109/tdsc.2023.3348760
摘要

It is becoming important for the client to be able to check whether the AI inference services have been correctly calculated. Since the weight values in a CNN model are assets of service providers, the client should be able to check the correctness of the result without them. The Zero-knowledge Succinct Non-interactive Argument of Knowledge (zk-SNARK) allows verifying the result without input and weight values. However, the proving time in zk-SNARK is too slow to be applied to real AI applications. This article proposes a new efficient verifiable convolutional neural network (vCNN) framework that greatly accelerates the proving performance. We introduce a new efficient relation representation for convolution equations, reducing the proving complexity of convolution from O(ln) to O(l+n) compared to existing zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) approaches, where l and n denote the size of the kernel and the data in CNNs. Experimental results show that the proposed vCNN improves proving performance by 20-fold for a simple MNIST and 18,000-fold for VGG16. The security of the proposed scheme is formally proven.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
2秒前
沙海沉戈完成签到,获得积分0
12秒前
科研通AI2S应助科研通管家采纳,获得10
14秒前
jarrykim完成签到,获得积分10
32秒前
1分钟前
1分钟前
hongtao发布了新的文献求助10
1分钟前
nav完成签到 ,获得积分10
1分钟前
2分钟前
香蕉觅云应助科研通管家采纳,获得10
2分钟前
Owen应助科研通管家采纳,获得10
2分钟前
海藏进星辰完成签到,获得积分10
2分钟前
卷卷完成签到,获得积分10
2分钟前
2分钟前
ktw完成签到,获得积分10
2分钟前
kmzzy完成签到,获得积分10
3分钟前
科研通AI2S应助科研通管家采纳,获得10
4分钟前
5分钟前
5分钟前
一条摆摆的沙丁鱼完成签到 ,获得积分10
5分钟前
6分钟前
yyf发布了新的文献求助10
6分钟前
claud完成签到 ,获得积分0
6分钟前
yyf完成签到,获得积分10
6分钟前
ffdhdh完成签到,获得积分10
6分钟前
白天科室黑奴and晚上实验室牛马完成签到 ,获得积分10
8分钟前
8分钟前
Akim应助亦风采纳,获得10
8分钟前
8分钟前
亦风发布了新的文献求助10
8分钟前
情怀应助刘紫媛采纳,获得10
8分钟前
科研通AI2S应助亦风采纳,获得10
8分钟前
亦风完成签到,获得积分10
8分钟前
8分钟前
偷得浮生半日闲完成签到 ,获得积分10
9分钟前
jintian完成签到 ,获得积分10
9分钟前
9分钟前
fufufu123完成签到 ,获得积分10
9分钟前
桐桐应助科研通管家采纳,获得10
10分钟前
puzhongjiMiQ完成签到,获得积分10
10分钟前
高分求助中
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 350
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3990469
求助须知:如何正确求助?哪些是违规求助? 3532166
关于积分的说明 11256513
捐赠科研通 3271046
什么是DOI,文献DOI怎么找? 1805207
邀请新用户注册赠送积分活动 882302
科研通“疑难数据库(出版商)”最低求助积分说明 809234