Homomorphic Encryption Computing System Single Processor Integrity
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing high integrity computing systems in avionics require complex and costly dual processor architectures with redundant comparators to ensure computational integrity, which complicates implementation and introduces performance inefficiencies.
Innovation Solution
A homomorphic encryption-based system that uses a single processor to perform computations on encrypted data, allowing for computational integrity validation without decrypting the values, thereby simplifying the architecture and reducing costs.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If dual processor architecture with redundant comparators is used, then computational integrity is ensured, but device complexity and cost increase
Solution Approach 1:
The patent changes the fundamental parameter of data representation from plaintext to homomorphically encrypted data. This allows a single processor to perform computations on encrypted data, with the encrypted results inherently providing integrity validation. The homomorphic encryption transforms the computational integrity problem into a cryptographic verification problem, eliminating the need for dual processors and comparator logic.
Solution Approach 2:
The patent replaces the mechanical/redundant hardware system (dual processors with comparator ASICs) with a cryptographic mechanism (homomorphic encryption). Instead of using physical redundancy to detect faults, the system uses mathematical properties of homomorphic encryption to provide both computation and integrity validation in a single processing channel, substituting cryptographic verification for hardware comparison.
2Reliability
If dual processor architecture with redundant comparators is used, then computational integrity is ensured, but manufacturing cost increases
Solution Approach 1:
The patent changes the data representation parameter to homomorphically encrypted form, which enables single-processor implementation. This eliminates the need to manufacture and assemble dual processors, comparator ASICs, and associated synchronization hardware, thereby reducing manufacturing complexity and cost while maintaining computational integrity through cryptographic verification.
Solution Approach 2:
The patent extracts the integrity validation function from the hardware comparison mechanism and embeds it within the cryptographic operation itself. Homomorphic encryption inherently provides verification capability through its mathematical structure, eliminating the need for separate comparator hardware and reducing the bill of materials and assembly requirements.
3Reliability
If dual processor architecture with redundant comparators is used, then computational integrity is ensured, but processing speed decreases
Solution Approach 1:
The patent changes the operational parameter from plaintext computation with post-computation verification to encrypted computation with inherent verification. Homomorphic encryption allows the processor to operate on encrypted data directly, performing computations and producing encrypted results in a single pass, eliminating the need for separate verification passes and improving overall processing throughput.
Solution Approach 2:
The patent enables continuous useful action by allowing the single processor to continuously perform homomorphic computations on encrypted data without interruption for verification cycles. The homomorphic properties ensure that each computational step produces verifiable encrypted results, maintaining integrity while keeping the processing pipeline continuously active without the stop-start nature of dual-processor comparison cycles.
Data Source
AI summary
A homomorphic encryption based high integrity computing system including a processing system including a single-string computation channel configured to receive encrypted input data from at least one data source. The processing system includes at least one processor hosting at least one hosted function. The processor is configured to provide high integrity homomorphic encryption-based computations thereon. This enables isolated channel computations within a single physical computation channel. The at least one processor provides encrypted output data, wherein the encrypted output data is configured to enable computational integrity validation by a receiver.


