基于区块链的零知识位置证明系统设计

doi:10.11959/j.issn.2096-109x.2020020

网络与信息安全学报 ›› 2020, Vol. 6 ›› Issue (2): 67-76.doi: 10.11959/j.issn.2096-109x.2020020

所属专题：区块链

基于区块链的零知识位置证明系统设计

吴炜,刘儿兀(),杨昌鑫,王睿

同济大学电子与信息工程学院，上海 201804

修回日期:2020-03-17 出版日期:2020-04-15 发布日期:2020-04-23
作者简介:吴炜（1995- ），男，安徽安庆人，同济大学硕士生，主要研究方向为区块链和隐私保护|刘儿兀（1973- ），男，福建福安人，同济大学教授、博士生导师，主要研究方向为位置服务、定位导航、人工智能和区块链|杨昌鑫（1997- ），男，河南信阳人，同济大学硕士生，主要研究方向为区块链|王睿（1984- ），男，安徽宣城人，同济大学副教授、博士生导师，主要研究方向为无线通信和智能信号处理
基金资助:
上海市军民融合发展专项基金资助项目(JMRH-2018-1075);国家自然科学基金资助项目(61571330);上海市科学技术委员会科研计划基金资助项目(19511102002)

Design of blockchain based zero-knowledge proof of location system

Wei WU,Erwu LIU(),Changxin YANG,Rui WANG

School of Electronics and Information Engineering,Tongji University,Shanghai 201804,China

Revised:2020-03-17 Online:2020-04-15 Published:2020-04-23
Supported by:
Shanghai Integrated Military and Civilian Development Fund(JMRH-2018-1075);The National Natural Science Foundation of China(61571330);Science and Technology Commission of Shanghai Municipality Research Project(19511102002)

摘要/Abstract

摘要：

智能终端设备及定位技术的发展催生了许多基于位置的服务，如定点打卡服务（访问特定地点获取相应的奖励），这导致非法用户为了获取利益对位置服务器进行位置欺骗。因此，需要对用户提供的位置证书进行验证。但现有的位置证明系统在验证用户位置证书的同时对用户隐私保护并不周全，且用户对位置证书的控制并不灵活。基于区块链技术，提出一种分布式位置证明系统架构；进而在此架构基础上，引入零知识证明，提出一种零知识位置证明协议。架构与协议组成的零知识位置证明系统允许用户根据需求，自由选择披露的证书内容及位置精度，实现分级的位置隐私保护。

关键词: 区块链, 零知识证明, 隐私保护, 位置证明系统

Abstract:

With the development of precise positioning technology,a growing number of location-based services (LBS) emerge.For example,visit a specific place to get the corresponding reward.This also leads to location fraud by illegal users in order to gain benefits.Thus,it is necessary to verify location certificates provided by users.However,present proof of location systems are deficient in verifying users’ location certificates while protecting users’ privacy.Users do not flexibly control their location certificates either.Based on blockchain,a kind of distributed proof of location system architecture was proposed and based on the proposed system architecture,a kind of proof of location protocol with zero-knowledge proof was proposed further.With the proposed architecture and the protocol,the proposed proof of location system allows users to freely select disclosed certificate parameters and positional accuracy according to their needs so that hierarchical location privacy protection was achieved.

Key words: blockchain, zero-knowledge proof, privacy protection, proof of location system

中图分类号:

TP393

吴炜,刘儿兀,杨昌鑫,王睿. 基于区块链的零知识位置证明系统设计[J]. 网络与信息安全学报, 2020, 6(2): 67-76.

Wei WU,Erwu LIU,Changxin YANG,Rui WANG. Design of blockchain based zero-knowledge proof of location system[J]. Chinese Journal of Network and Information Security, 2020, 6(2): 67-76.

图/表 7

图1

图2

表1

表2

表3

图3

图4

参考文献 21

[1]	JUNGLAS I A , WATSON R T . Location-based services[J]. Communications of the ACM, 2008,51(3):65.
[2]	任星怡, 宋美娜, 宋俊德 . 基于位置社交网络的上下文感知的兴趣点推荐[J]. 计算机学报, 2017,40(4): 824-841.
	REN X Y , SONG M N , SONG J D . Context-aware point-of-interest recommendation in location-based social networks[J]. Chinese Journal of Computers, 2017,40(4): 824-841.
[3]	TYAGI A K , SREENATH N . Location privacy preserving techniques for location based services over road networks[C]// 2015 International Conference on Communications and Signal Processing (ICCSP). 2015: 1319-1326.
[4]	JAVALI C , REVADIGAR G , RASMUSSEN K B ,et al. I am Alice,I was in wonderland:secure location proof generation and verification protocol[C]// 2016 IEEE 41st Conference on Local Computer Networks (LCN). 2016: 477-485.
[5]	LI Y , ZHOU L , ZHU H ,et al. Privacy-preserving location proof for securing large-scale database-driven cognitive radio networks[J]. IEEE Internet of Things Journal, 2015,3(4): 563-571.
[6]	ZHU Z , CAO G . Toward privacy preserving and collusion resistance in a location proof updating system[J]. IEEE Transactions on Mobile Computing, 2013,12(1): 51-64.
[7]	WANG X , PANDE A , ZHU J ,et al. STAMP:enabling privacy-preserving location proofs for mobile users[J]. IEEE/ACM Transactions on Networking, 2016,24(6): 3276-3289.
[8]	NOSOUHI M R , YU S , GROBLER M ,et al. PARSE:privacy-aware and collusion resistant location proof generation and verification[C]// 2018 IEEE Global Communications Conference (GLOBECOM). 2018: 1-6.
[9]	AMORETTI M , BRAMBILLA G , MEDIOLI F ,et al. Blockchain based proof of location[C]// 2018 IEEE International Conference on Software Quality,Reliability and Security Companion (QRS-C). 2018: 146-153.
[10]	TSCHORSCH F , SCHEUERMANN B . Bitcoin and beyond:atechnical survey on decentralized digital currencies[J]. IEEE Communications Surveys ＆ Tutorials, 2016,18(3):2084–2123.
[11]	NAKAMOTO S . Bitcoin:a peer-to-peer electronic cash system[R]. 2008.
[12]	章峰, 史博轩, 蒋文保 . 区块链关键技术及应用研究综述[J]. 网络与信息安全学报, 2018,4(4): 22-29.
	ZHANG F , SHI B X , JIANG W B . Review of key technology and its application of blockchain[J]. Chinese Journal of Network and Information Security, 2018,4(4): 22-29.
[13]	沈鑫, 裴庆祺, 刘雪峰 . 区块链技术综述[J]. 网络与信息安全学报, 2016,2(11): 11-20.
	SHEN X , PEI Q Q , LIU X F . Survey of block chain[J]. Chinese Journal of Network and Information Security, 2016,2(11): 11-20.
[14]	SHOKRI R , THEODORAKOPOULOS G , BOUDEC J Y ,et al. Quantifying location privacy[C]// 2011 IEEE Symposium on Security and Privacy. 2011: 247-262.
[15]	Ethereum:a next-generation smart contract and decentralized application platform[EB].
[16]	BITANSKY N , CANETTI R , CHIESA A ,et al. From extractable collision resistance to succinct non-interactive arguments of knowledge,and back again[C]// The 3rd Innovations in Theoretical Computer Science Conference. 2012: 326-349.
[17]	GENNAROR , GENTRY C , PARNO B ，et al. Quadratic span programs and succinct NIZKs without PCPs[C]// Annual International Conference on the Theory and Applications of Cryptographic Techniques. 2013: 626-645.
[18]	PETKUS M . Why and how ZK-SNARK works[J]. ArXiv,abs/1906.07221, 2019
[19]	Circom:Circuit compiler for zk-SNARKs[EB].
[20]	Snarkjs:zk-SNARK implementation in JavaScript[EB].
[21]	BEN-SASSON E , CHIESA A , TROMER E ,et al. Succinct noninteractive zero knowledge for a von neumann architec-ture[C]// 23rd USENIX Security Symposium (USENIX Security 14), 2014: 781-796.

参数名	参数含义
serialno	证书序列号
pk_user	用户公钥，表征用户身份
time	时间戳，表征用户出现时间
number	CIN编号，表征用户出现位置

类型	公共参数（披露）	私密参数（不披露）
1		serialno,pk_user,time,number
2	pk_user	time,number
3	time	pk_user,number
4	pk_user,time	number

位置掩码	位置掩码的作用
1000	屏蔽区、块、点信息
1100	屏蔽块、点信息
1110	屏蔽点信息
1111	不屏蔽任何位置信息

基于区块链的零知识位置证明系统设计

Design of blockchain based zero-knowledge proof of location system

在线阅读

pdf下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 7

参考文献 21

相关文章 15

Metrics

推荐阅读 0

[1]	陈赛特, 李卫海, 姚远志, 俞能海. 轻量级K匿名增量近邻查询位置隐私保护算法[J]. 网络与信息安全学报, 2023, 9(3): 60-72.
[2]	蔡召, 荆涛, 任爽. 以太坊钓鱼诈骗检测技术综述[J]. 网络与信息安全学报, 2023, 9(2): 21-32.
[3]	肖敏, 毛发英, 黄永洪, 曹云飞. 基于属性签名的车载网匿名信任管理方案[J]. 网络与信息安全学报, 2023, 9(2): 33-45.
[4]	许建龙, 林健, 黎宇森, 熊智. 分布式用户隐私保护可调节的云服务个性化QoS预测模型[J]. 网络与信息安全学报, 2023, 9(2): 70-80.
[5]	王贺立, 闫巧. 基于交易记录特征的自私挖矿检测方案[J]. 网络与信息安全学报, 2023, 9(2): 104-114.
[6]	余北缘, 任珊瑶, 刘建伟. 区块链资产窃取攻击与防御技术综述[J]. 网络与信息安全学报, 2023, 9(1): 1-17.
[7]	宋佳烁, 李祯祯, 丁海洋, 李子臣. 椭圆曲线上高效可完全模拟的不经意传输协议[J]. 网络与信息安全学报, 2023, 9(1): 158-166.
[8]	孙哲, 宁洪, 殷丽华, 方滨兴. 基于教学实训靶场的“数据隐私保护”课程建设初探[J]. 网络与信息安全学报, 2023, 9(1): 178-188.
[9]	唐飞, 甘宁, 阳祥贵, 王金洋. 基于区块链与国密SM9的抗恶意KGC无证书签名方案[J]. 网络与信息安全学报, 2022, 8(6): 9-19.
[10]	白雪, 秦宝东, 郭瑞, 郑东. 基于SM2的两方协作盲签名协议[J]. 网络与信息安全学报, 2022, 8(6): 39-51.
[11]	肖敏, 姚涛, 刘媛妮, 黄永洪. 具有隐私保护的动态高效车载云管理方案[J]. 网络与信息安全学报, 2022, 8(6): 70-83.
[12]	卢晨昕, 陈兵, 丁宁, 陈立全, 吴戈. 具有紧凑标签的基于身份匿名云审计方案[J]. 网络与信息安全学报, 2022, 8(6): 156-168.
[13]	明盛智, 朱建明, 隋智源, 张娴. 信息增值机制下在线医疗隐私保护策略[J]. 网络与信息安全学报, 2022, 8(6): 169-177.
[14]	林丹, 林凯欣, 吴嘉婧, 郑子彬. 基于字节码的以太坊智能合约分类方法[J]. 网络与信息安全学报, 2022, 8(5): 111-120.
[15]	张娴, 朱建明, 隋智源, 明盛智. 数字货币交易匿名性与监管的博弈分析[J]. 网络与信息安全学报, 2022, 8(5): 150-157.