STARK-Based Data Processing for Verifiable Encrypted Computing
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing hybrid processing architectures in cloud platforms fail to ensure computational integrity and data integrity due to the lack of mechanisms to verify that entrusted algorithms are executed faithfully and intermediate and final results have not been tampered with, despite ensuring resource utilization and scalability.
Innovation Solution
Implement a data processing method using Scalable Transparent ARgument of Knowledge (STARK) conversion to generate provers and verifiers, combined with homomorphic encryption, to ensure computational integrity and data integrity by verifying proof information and decrypting ciphertext results.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If hybrid processing architecture is adopted with centralized service control and distributed service data processing, then resource utilization and scalability are improved, but computational integrity and data integrity cannot be ensured
Solution Approach 1:
The patent introduces proof information as an intermediary element between the distributed data processing and the centralized service control. The proof information acts as a mediator that carries verification evidence from the distributed processing nodes to the centralized controller, enabling integrity verification without compromising the distributed architecture's resource utilization and scalability benefits.
Solution Approach 2:
The patent implements a feedback mechanism where proof information is generated by the distributed data processing components and fed back to the centralized service control for verification. This feedback loop enables the centralized controller to verify computational integrity while maintaining the distributed processing model that provides high resource utilization and scalability.
2Adaptability or versatility
If hybrid processing architecture is adopted with centralized service control and distributed service data processing, then scalability is improved, but computational integrity and data integrity cannot be ensured
Solution Approach 1:
The proof information serves as an intermediary that enables scalable distributed processing while ensuring data integrity. Each distributed processing node generates proof information that can be independently verified by the centralized controller, allowing the system to scale horizontally without sacrificing integrity verification capability.
3Productivity
If service algorithm design and algorithm processing are executed separately, then resource utilization is improved, but computational integrity cannot be ensured
Solution Approach 1:
The patent introduces proof information as an intermediary that bridges the separation between service algorithm design and algorithm processing. The proof information is generated during the separate algorithm processing phase and carries verification evidence back to the algorithm design phase, enabling integrity verification across the distributed architecture that separates these functions for improved resource utilization.
4Adaptability or versatility
If processing of service control is centralized while processing of service data is distributed, then scalability is improved, but data integrity cannot be ensured
Solution Approach 1:
The patent introduces proof information as an intermediary element that connects the distributed service data processing with the centralized service control. The proof information is generated by the distributed data processing and transmitted to the centralized controller for verification, enabling data integrity assurance while maintaining the scalable distributed architecture.
Solution Approach 2:
The patent implements a feedback mechanism where proof information flows from the distributed service data processing back to the centralized service control. This feedback enables the centralized controller to verify data integrity while maintaining the distributed processing model that provides scalability.
Data Source
AI summary
A data processing method and device, a computer device, and a readable storage medium are disclosed. The method may include: acquiring a service algorithm of an application service, and performing format conversion on the service algorithm to obtain an algebraic intermediate representation; processing the algebraic intermediate representation according to a preset Scalable Transparent ARgument of Knowledge (STARK) conversion rule to obtain a prover and a verifier; sending the prover to a computing power processing device; receiving an operation result sent by the computing power processing device; and performing a verification on the proof information using the verifier, and sending the ciphertext result to the data source device in response to the verification of the proof information being successful, such that the data source device decrypts the ciphertext result using the homomorphic encryption algorithm and returns a plaintext result.