Secure Computation System Consistency Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
There is no known method to prevent fraud by falsification in secure computation systems where secret share values of object data are stored and processed in secure computation devices.
Innovation Solution
The system performs consistency verification of secret share values and queries, ensuring that only verified values are used for computation, and allows for reconstruction of values to maintain accuracy, even if some devices fail consistency verification.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Adaptability or versatility
If secret share values are stored in secure computation devices for processing, then secure computation functionality is enabled, but vulnerability to falsification fraud increases
Solution Approach 1:
The system performs consistency verification on secret share values before they are used in secure computation operations. This preliminary verification step checks whether the secret share values satisfy required mathematical consistency conditions, preventing falsified values from being processed and thus resolving the vulnerability to falsification fraud while maintaining secure computation functionality
Solution Approach 2:
The system implements a feedback mechanism where consistency verification results are used to control subsequent computation operations. If secret share values fail consistency verification, the system detects this and prevents further processing of these values, creating a closed-loop control system that automatically responds to integrity violations and maintains reliability
2Reliability
If consistency verification is performed on all secret share values, then fraud detection capability is improved, but computation time and system complexity increase
Solution Approach 1:
The system performs consistency verification selectively rather than universally on all secret share values. Verification is applied to specific values or subsets that are critical for the computation or suspected of potential falsification, achieving adequate fraud detection capability while avoiding the time overhead of verifying every single value, thus resolving the contradiction between reliability and time loss
Data Source
AI summary
A secret share value of object data on which secure computation is to be performed is stored in a secure computation device, and a query which requests secure computation or secret share value of the query is input to the secure computation device. The secure computation device performs consistency verification of the secret share value of the object data and consistency verification of the query or the secret share value of the query, obtains a secret share value of a calculation result by performing secure computation in accordance with the query or the secret share value of the query which passed the consistency verification by using the secret share value of the object data which passed the consistency verification, and outputs the secret share value of the calculation result.


