基于区块链和零知识证明的高速公路自由流收费方法

doi:10.11772/j.issn.1001-9081.2023121830

《计算机应用》唯一官方网站 ›› 2024, Vol. 44 ›› Issue (12): 3741-3750.DOI: 10.11772/j.issn.1001-9081.2023121830

• 2023 CCF中国区块链技术大会（CCF CBCC 2023） • 上一篇下一篇

基于区块链和零知识证明的高速公路自由流收费方法

王一帆, 林绍福(), 李云江

北京工业大学信息学部，北京 100124

收稿日期:2024-01-02 修回日期:2024-02-21 接受日期:2024-02-28 发布日期:2024-03-22 出版日期:2024-12-10
通讯作者: 林绍福
作者简介:王一帆（2000—），男，河北邯郸人，硕士研究生，CCF会员，主要研究方向：区块链与数据治理、面向时空数据的隐私保护
李云江（2001—），男，江苏盐城人，硕士研究生，CCF会员，主要研究方向：区块链与数据治理、面向时空数据治理的隐私保护。
基金资助:
国家重点研发计划项目(2020YFF0305400)

Highway free-flow tolling method based on blockchain and zero-knowledge proof

Yifan WANG, Shaofu LIN(), Yunjiang LI

Faculty of Information Technology，Beijing University of Technology，Beijing 100124，China

Received:2024-01-02 Revised:2024-02-21 Accepted:2024-02-28 Online:2024-03-22 Published:2024-12-10
Contact: Shaofu LIN
About author:WANG Yifan， born in 2000， M. S. candidate. His research interests include blockchain and data governance， privacy protection for spatiotemporal data.
LI Yunjiang， born in 2001， M. S. candidate. His research interests include blockchain and data governance， privacy protection for spatiotemporal data.
Supported by:
National Key Research and Development Program of China(2020YFF0305400)

摘要/Abstract

摘要：

针对目前智慧交通中高速公路自由流收费方案里因车辆套牌导致的车辆逃费和数据集中式存储可能引起的用户隐私泄露至集中式实体的问题，提出一种基于区块链和零知识证明的高速公路自由流收费方法。首先，设计视频监控逃费检测机制确保高速公路上车辆的合规性；其次，设计区块链中的智能合约将车辆位置证书（LC）和付费数据加密存储于分布式账本，并引入零知识证明技术在保护隐私的情况下确保支付的正确性；同时，在零知识电路中设计根据车辆行驶里程收费的算法。理论分析与模拟实验结果表明，所提方法在正常情况下能实现位置隐私零知识的实际行驶里程正确收费，在异常情况下能及时预警并记录至区块链上；所提方法的平均收费时间相较于传统人工收费方法由原来的38.0 s降低至1.8 s，而相较于基于5G和电子不停车收费系统ETC（Electronic Toll Collection）结合的收费方法，所提方法的平均收费时间减少了约0.1 s；对于相同的入站与出站口，不同路线的信息网络可信第三方信息采集点（ICP）数量重合度越低，根据行驶里程的收费越精准。

关键词: 高速公路, 自由流收费, 隐私保护, 区块链, 零知识证明

Abstract:

In response to the issues of vehicle toll evasion caused by license plate cloning and potential user privacy leaking to centralized entity due to centralized data storage in the current intelligent transportation highway free-flow tolling schemes， a highway free-flow tolling method based on blockchain and zero-knowledge proof was developed. Initially， a video surveillance mechanism for toll evasion detection was designed to ensure the compliance of vehicles on highways. Subsequently， smart contracts in the blockchain were designed to encrypt and store vehicle Location Certificate （LC） and payment data in a distributed ledger， and zero-knowledge proof technology was introduced to ensure the correctness of payment while protecting privacy. At the same time， an algorithm for charging tolls based on the vehicle's mileage was designed within the zero-knowledge circuit. Theoretical analysis and simulation results demonstrate that under normal conditions， the proposed method can achieve correct tolling based on the actual mileage with zero-knowledge of location privacy， and in the event of exceptions， the proposed method can provide timely warnings and record anomalies on the blockchain； compared to traditional manual tolling method， the proposed method has the average tolling time reduced from 38.0 s to 1.8 s， and has the decrease of about 0.1 s compared to the tolling method combining 5G and electronic non-stop toll collection system ETC （Electronic Toll Collection） in average tolling time. For the same entry and exit， the lower the overlap ratio in the number of information network trusted third-party Information Collection Point （ICP） of different routes， the more accurate the mileage-based tolling.

Key words: highway, free-flow tolling, privacy protection, blockchain, zero-knowledge proof

中图分类号:

TP391.9

王一帆, 林绍福, 李云江. 基于区块链和零知识证明的高速公路自由流收费方法[J]. 计算机应用, 2024, 44(12): 3741-3750.

Yifan WANG, Shaofu LIN, Yunjiang LI. Highway free-flow tolling method based on blockchain and zero-knowledge proof[J]. Journal of Computer Applications, 2024, 44(12): 3741-3750.

图/表 16

表1 不同零知识证明算法的性能参数

Tab. 1 Performance parameters of different zero-knowledge proof algorithms

证明方法	证明生成复杂度	证明验证复杂度	证明大小	安全假设	可信设置
ZK-SNARKs	O（n log n）	O（1）	O（1）	KoE	需要
Bulletproofs	O（n）	O（n）	O（log n）	DLP	不需要
Plonk	O（log n）	O（1）	O（1）	DLP	需要
DARK	O（1）	O（log n）	O（log n）	DDH	不需要
Groth’16	O（log n）	O（1）	O（1）	LWE	需要
ZK-STARKs	O（n lb n）	O（lb n）	O（lb n）	CRHF	不需要

图1 本文方法的总体架构

Fig. 1 Overall architecture of proposed method

图2 套牌车检测模块

Fig. 2 License plate cloned vehicle detection module

图3 基于区块链与零知识证明的高速公路自由流收费验证模型的主体单元关系

Fig. 3 Main unit relationship of highway free-flow tolling verification model based on blockchain and zero-knowledge proof

图4 零知识付费证明协议流程

Fig. 4 Zero-knowledge tolling proof protocol process

图5 高速站点图

Fig.5 Highway station map

图6 证明验证界面

Fig. 6 Proof verification interface

图7 Circom电路编译

Fig. 7 Circuit compilation of Circom

图8 证明生成时间

Fig. 8 Proof generation time

图9 验证结果

Fig. 9 Validation results

图10 零知识费用证明合约调用测试

Fig.10 Zero-knowledge toll proof contract call test

图11 不同方法的收费时间

Fig. 11 Tolling time of different methods

图12 合约部署过程

Fig. 12 Contract deployment process

图13 合约调用过程

Fig. 13 Contract call process

图14 合约调用结果

Fig. 14 Contract call results

图15 合约交易记录结果

Fig. 15 Contract transaction record results

参考文献 20

1	孙婧. 自由流收费向往的未来［J］. 中国交通信息化， 2023（8）：18-22.
	SUN J. Free flow tolling， the longing for the future［J］. China ITS Journal， 2023（8）： 18-22.
2	PENG X， DI Z， MING G. Freeway free-flow payment system based on Beidou［C］// Proceedings of the 19th International Computer Conference on Wavelet Active Media Technology and Information Processing. Piscataway： IEEE， 2022： 1-5.
3	门小骅，柴洪峰，才华，等. 基于定位技术的自由流收费系统研究［J］. 交通企业管理， 2021（5）：83-85.
	MEN X H， CHAI H F， CAI H， et al. Research on free flow toll collection system based on positioning technology ［J］. Transportation Enterprise Management， 2021（5）： 83-85.
4	GOUTHAM K， GOWTHAM M， MEGALAN L L. GPS based e-toll gate collection system［C］// Proceedings of the 2nd International Conference on Vision Towards Emerging Trends in Communication and Networking Technologies. Piscataway： IEEE， 2023： 1-6.
5	刘继，郭晓春，周洁，等. 基于5G的ETC无杆准自由流收费系统［J］. 中国交通信息化， 2023，（6）：68-71.
	LIU J， GUO X C， ZHOU J， et al. ETC roadless quasi-free flow tolling system based on 5G ［J］. China ITS Journal， 2023（6）： 68-71.
6	王哲，于静，王聘.基于北斗卫星定位的自由流收费系统［J］. 中国交通信息化， 2022（11）：104-105.
	WANG Z， YU J， WANG P. Free-flow tolling system based on Beidou satellite positioning［J］. China ITS Journal， 2022（11）：104-105.
7	THOSAR K， SINGH H， CHATTERJEE S， et al. Blockchain-based booth-less tolling system using GPS and image processing［C］// Proceedings of the 2023 IEEE World AI IoT Congress. Piscataway： IEEE， 2023： 380-383.
8	VeerasekharREDDY B， THATHA V N， MAANASA A， et al. An ANPR-based automatic toll tax collection system using camera ［C］// Proceedings of the 3rd International Conference on Pervasive Computing and Social Networking. Piscataway： IEEE， 2023： 133-140.
9	PATIL S， KULKARNIL M， DESALE S， et al. Smart toll booth system using smart contract［C］// Proceedings of the IEEE 8th International Conference for Convergence in Technology. Piscataway： IEEE， 2023： 1-6.
10	GUO Y， WAN Z， CUI H， et al. Vehicloak： a blockchain-enabled privacy-preserving payment scheme for location-based vehicular services［J］. IEEE Transactions on Mobile Computing， 2023， 22（11）： 6830-6842.
11	柳林，张继贤，唐新明，等. LBS体系结构及关键技术的研究［J］. 测绘科学， 2007， 32（5）：144-146， 206.
	LIU L， ZHANG J X， TANG X M， et al. Research on architecture and key technologies of LBS［J］. Science of Surveying and Mapping， 2007， 32（5）： 144-146， 206.
12	GAMBS S， KILLIJIAN M O， ROY M， et al. PROPS： a privacy-preserving location proof system［C］// Proceedings of the IEEE 33rd International Symposium on Reliable Distributed Systems. Piscataway： IEEE， 2014： 1-10.
13	吴梦宇，朱国胜，吴善超. 基于工作量证明和权益证明改进的区块链共识机制［J］. 计算机应用， 2020， 40（8）：2274-2278.
	WU M Y， ZHU G S， WU S C. Improved consensus mechanism of blockchain based on proof-of-work and proof-of-stake［J］. Journal of Computer Applications， 2020， 40（8）： 2274-2278.
14	王勇，陈莉杰，钟美玲. 基于零知识证明的区块链方案研究进展［J］.信息网络安全， 2022， 22（12）：47-56.
	WANG Y， CHEN L J， ZHONG M L. Progress in blockchain solutions based on zero-knowledge proof ［J］. Netinfo Security， 2022， 22（12）： 47-56.
15	宋杰，刘晓媛，孙树垚. 关于区块链技术在高速公路收费领域应用的研究与思考［C］// 第十七届中国智能交通年会科技论文集. 北京：机械工业出版社， 2022：49-49.
	SONG J， LIU X Y， SUN S Y. Research and thinking on the application of block chain technology in the field of highway toll collection［C］// Science-Technology Proceedings of the 17th China Intelligent Transport System Annual Conference. Beijing： China Machine Press， 2022：49-49.
16	宋英齐，冯荣权. 零知识证明在区块链中的应用综述［J］. 广州大学学报（自然科学版）， 2022， 21（4）：21-36.
	SONG Y Q， FENG R Q. A survey on applications of zero-knowledge proof in blockchain ［J］. Journal of Guangzhou University （Natural Science Edition）， 2022， 21（4）： 21-36.
17	北京工业大学. 一种基于区块链与零知识证明的个人轨迹证明方法： 202110716097.6 ［P］. 2021-10-19.
	Beijing University of Technology. A personal trajectory proof method based on blockchain and zero knowledge proof： 202110716097.6［P］. 2021-10-19.
18	BHANDARI S， HARSHA P， KUMAR M， et al. Algorithmizing the multiplicity Schwartz-Zippel lemma［C］// Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia， PA： SIAM， 2023： 2816-2835.
19	MENEZES A， SARKAR P， SINGHG S. Challenges with assessing the impact of NFS advances on the security of pairing-based cryptography［C］// Proceedings of the 2016 International Conference on Cryptology in Malaysia， LNCS 10311. Cham： Springer， 2017： 83-108.
20	HAQUE M A， IQBAL M S， KABIR M M. An automated toll plaza system using RFID and GSM module： perspective of Bangladesh［C］// Proceedings of the 2nd International Conference on Sustainable Technologies for Industry 4.0. Piscataway： IEEE， 2020： 1-6.

[1]	陈廷伟, 张嘉诚, 王俊陆. 面向联邦学习的随机验证区块链构建[J]. 《计算机应用》唯一官方网站, 2024, 44(9): 2770-2776.
[2]	孙晓玲, 王丹辉, 李姗姗. 基于区块链的动态密文排序检索方案[J]. 《计算机应用》唯一官方网站, 2024, 44(8): 2500-2505.
[3]	黄河, 金瑜. 基于投票和以太坊智能合约的云数据审计方案[J]. 《计算机应用》唯一官方网站, 2024, 44(7): 2093-2101.
[4]	陈学斌, 任志强, 张宏扬. 联邦学习中的安全威胁与防御措施综述[J]. 《计算机应用》唯一官方网站, 2024, 44(6): 1663-1672.
[5]	李皎, 张秀山, 宁远航. 降低跨分片交易比例的区块链分片方法[J]. 《计算机应用》唯一官方网站, 2024, 44(6): 1889-1896.
[6]	刘沛骞, 王水莲, 申自浩, 王辉. 基于轨迹扰动和路网匹配的位置隐私保护算法[J]. 《计算机应用》唯一官方网站, 2024, 44(5): 1546-1554.
[7]	陈美宏, 袁凌云, 夏桐. 基于主从多链的数据分类分级访问控制模型[J]. 《计算机应用》唯一官方网站, 2024, 44(4): 1148-1157.
[8]	赵莉朋, 郭兵. 基于BDLS的区块链共识改进算法[J]. 《计算机应用》唯一官方网站, 2024, 44(4): 1139-1147.
[9]	高改梅, 张瑾, 刘春霞, 党伟超, 白尚旺. 基于区块链与CP-ABE策略隐藏的众包测试任务隐私保护方案[J]. 《计算机应用》唯一官方网站, 2024, 44(3): 811-818.
[10]	马海峰, 李玉霞, 薛庆水, 杨家海, 高永福. 用于实现区块链隐私保护的属性基加密方案[J]. 《计算机应用》唯一官方网站, 2024, 44(2): 485-489.
[11]	高瑞, 陈学斌, 张祖篡. 面向部分图更新的动态社交网络隐私发布方法[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3831-3838.
[12]	陈姿芊, 牛科迪, 姚中原, 斯雪明. 适用于物联网的区块链轻量化技术综述[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3688-3698.
[13]	高婷婷, 姚中原, 贾淼, 斯雪明. 链上链下一致性保护技术综述[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3658-3668.
[14]	贾淼, 姚中原, 祝卫华, 高婷婷, 斯雪明, 邓翔. 零知识证明赋能区块链的进展与展望[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3669-3677.
[15]	牛科迪, 李敏, 姚中原, 斯雪明. 面向物联网的区块链共识算法综述[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3678-3687.

基于区块链和零知识证明的高速公路自由流收费方法

Highway free-flow tolling method based on blockchain and zero-knowledge proof

RichHTML

PDF

可视化

摘要/Abstract

引用本文

使用本文

图/表 16

参考文献 20

相关文章 15

编辑推荐

Metrics