面向敏感空间边界进入性核验的零知识证明流程模型研究
Research on a Zero-Knowledge Proof Process Model for Entry Verification of Sensitive Spatial Boundaries
蔡红斌 1张思恬 1肖景月1
作者信息
- 1. 重庆财经学院软件学院，重庆市，401320
- 折叠
摘要
项目选址、生态保护和轨迹监管等工作中，常需要判断某一位置是否进入敏感空间边界。传统点面判断依赖明文坐标和边界数据，计算方便，但不适合边界不宜公开、点位信息也需要保护的场景。针对这一问题，本文引入零知识证明思想，构建进入性核验流程模型。模型将点位输入、边界承诺、进入性判断、证明对象生成、证明对象验证和结果返回组织为"承诺-判断-证明-验证"过程。实验采用模拟多边形边界和不同规模测试点集，分别设置基础场景、困难场景、边界邻近扰动场景和扰动强度变化场景。结果显示，基础场景下正确率不低于99.80%；加入边界邻近点、坐标扰动、坐标量化和边界简化等因素后，正确率仍保持在98.00%以上。扰动条件下，点位到边界距离由0.0001增至0.01时，稳定率由73.50%升至100.00%；扰动强度增至0.0005时，稳定率降至65.60%。实验说明，边界邻近点和坐标扰动会明显影响核验稳定性。?????
Abstract
Entry verification of sensitive spatial boundaries is often involved in project site selection, ecological protection, trajectory supervision, and similar tasks. Plaintext point-in-polygon judgment is easy to implement, but it is not suitable when boundary data should not be disclosed and point information also needs protection. To address this problem, this paper constructs an entry verification process model based on the idea of zero-knowledge proof. The model organizes point input, boundary commitment, entry judgment, proof-object generation, proof-object verification, and result feedback into a "commitment-judgment-proof-verification" process. Simulated polygon boundaries and test point sets of different scales are used in basic scenarios, challenging scenarios, boundary-adjacent perturbation scenarios, and perturbation-level scenarios. The results show that the accuracy is no less than 99.80% in basic scenarios and remains above 98.00% after boundary-adjacent points, coordinate perturbation, coordinate quantization, and boundary simplification are introduced. Under perturbation, the stability rate increases from 73.50% to 100.00% when the point-to-boundary distance increases from 0.0001 to 0.01, and decreases to 65.60% when the perturbation level increases to 0.0005. The experiment indicates that boundary-adjacent points and coordinate perturbation have a clear influence on verification stability.关键词
计算机应用技术/零知识证明/敏感空间边界/进入性核验/哈希承诺/空间数据隐私Key words
computer application technology/zero-knowledge proof/sensitive spatial boundary/entry verification/hash commitment/spatial data privacy引用本文复制引用
蔡红斌,张思恬,肖景月.面向敏感空间边界进入性核验的零知识证明流程模型研究[EB/OL].(2026-06-22)[2026-06-24].http://www.paper.edu.cn/releasepaper/content/202606-58.学科分类
计算技术、计算机技术/自动化技术、自动化技术设备
