已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
LYSM应助shangjiaGuo采纳,获得30
1秒前
2秒前
2秒前
Akim应助科研通管家采纳,获得10
3秒前
科研通AI2S应助科研通管家采纳,获得10
3秒前
3秒前
我是老大应助科研通管家采纳,获得10
4秒前
英俊的铭应助科研通管家采纳,获得10
4秒前
情怀应助科研通管家采纳,获得30
4秒前
4秒前
6秒前
大模型应助干净又晴采纳,获得10
6秒前
mellow发布了新的文献求助10
6秒前
YCG完成签到 ,获得积分10
6秒前
Amon发布了新的文献求助10
7秒前
称心嫣娆发布了新的文献求助10
8秒前
爆米花应助淡定采纳,获得10
9秒前
洞两完成签到,获得积分10
11秒前
12秒前
Akim应助俏皮的白柏采纳,获得10
12秒前
12秒前
15秒前
bkagyin应助一颗椰子糖耶采纳,获得10
17秒前
天天快乐应助露露采纳,获得10
17秒前
干净又晴发布了新的文献求助10
18秒前
19秒前
19秒前
wkjfh应助Leoniko采纳,获得10
20秒前
帅男发布了新的文献求助10
21秒前
wyp发布了新的文献求助10
22秒前
23秒前
子非鱼发布了新的文献求助10
23秒前
25秒前
阿氏之光发布了新的文献求助10
28秒前
烟花应助自由的读书人采纳,获得10
28秒前
酷炫抽屉完成签到 ,获得积分10
28秒前
29秒前
露露发布了新的文献求助10
29秒前
congenialboy发布了新的文献求助10
30秒前
31秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
‘Unruly’ Children: Historical Fieldnotes and Learning Morality in a Taiwan Village (New Departures in Anthropology) 400
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小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3989797
求助须知:如何正确求助?哪些是违规求助? 3531914
关于积分的说明 11255516
捐赠科研通 3270597
什么是DOI,文献DOI怎么找? 1805008
邀请新用户注册赠送积分活动 882181
科研通“疑难数据库(出版商)”最低求助积分说明 809190