Mobile Zero-Knowledge Identity Verification with Circuit Chaining
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current approaches face challenges in processing zero-knowledge (ZK) proofs on mobile devices due to high computational and memory requirements, particularly when dealing with dynamic and sensitive information from government-issued identity documents, which are computationally intensive and memory-intensive, and existing methods struggle to handle dynamic data effectively.
Innovation Solution
The implementation of parameterized ZK circuits and circuit chaining techniques on mobile devices, which reduce computational complexity by converting dynamic data into parameterized sets and splitting large ZK circuits into smaller, interconnected circuits, ensuring privacy preservation by maintaining private information on the user's device.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If zero-knowledge proof technology is applied to verify identity documents, then privacy preservation is improved, but computational intensity and memory requirements increase
Solution Approach 1:
The patent divides the large ZK circuit into multiple smaller circuits that can be processed sequentially or in parallel on mobile devices. Each circuit handles a specific portion of the verification task, reducing the computational burden on any single device while maintaining the privacy-preserving properties of zero-knowledge proofs.
Solution Approach 2:
The patent introduces a server as an intermediary that receives parameterized circuits from the mobile device, processes them, and returns verification results. This intermediary handles the computationally intensive operations remotely, allowing mobile devices to perform privacy-preserving verification without bearing the full computational load.
2Measurement precision
If dynamic data from government-issued identity documents is processed, then verification accuracy is improved, but memory requirements and processing complexity increase
Solution Approach 1:
The patent converts dynamic data from identity documents into parameterized representations that can be processed by ZK circuits. By transforming the data into a standardized parameter format, the system maintains verification accuracy for dynamic information while reducing the complexity of processing diverse document formats.
Solution Approach 2:
The patent segments the verification process into multiple circuits, each handling specific aspects of dynamic data verification. This segmentation allows complex verification tasks to be broken down into manageable units that can be processed efficiently on mobile devices with limited resources.
3Object-affected harmful factors
If private information is maintained on user devices, then data security is improved, but device storage requirements and processing capabilities must be sufficient
Solution Approach 1:
The patent extracts only the necessary parameters from the full identity document data and stores them on the mobile device. By taking out only the essential parameters rather than the complete data set, the system maintains data security by keeping sensitive information local while reducing storage requirements to manageable levels.
Solution Approach 2:
The patent creates parameterized copies of the verification circuits that can be stored and executed on mobile devices. These copies contain all necessary verification logic and parameters, allowing secure local processing without requiring storage of the complete original data, thus reducing storage requirements while maintaining security.
Data Source
AI summary
The techniques herein are directed generally to application of “zero-knowledge” techniques that allow for proof of information in manner in which the information itself is not revealed. As will be appreciated, a zero-knowledge (ZK) proof or zero-knowledge protocol is a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true, while avoiding conveying to the verifier any information beyond the mere fact of the statement's truth.