Lattice-Based Indistinguishability Obfuscation via Functional Encoding
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing indistinguishability obfuscation (iO) candidates lack a security reduction to a simple, falsifiable assumption and do not provide a lattice-inspired iO candidate that is plausibly post-quantum secure.
Innovation Solution
A new iO candidate construction based on lattice and learning-with-errors (LWE) techniques, utilizing a functional encoding primitive and an oblivious LWE sampler to achieve provable security and post-quantum security.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If existing iO candidates based on multi-linear encodings or complex reductions are used, then plausible post-quantum security is achieved, but security reduction to a simple falsifiable assumption is lacking
Solution Approach 1:
The patent extracts and isolates the core security assumption (LWE) from the complex web of assumptions required by existing iO candidates. By taking out the LWE assumption as the sole foundation and building the functional encoding and obfuscation mechanisms on top of it, the patent eliminates the need for multiple intertwined assumptions (pairings, lattice, number-theoretic hardness) while maintaining security.
Solution Approach 2:
The patent segments the iO construction into distinct modular components: functional encoding primitive, oblivious LWE sampler, and obfuscation mechanism. Each component has a specific security guarantee based on the LWE assumption, allowing independent analysis and verification. This segmentation enables a clear security reduction chain from LWE to the overall obfuscation security.
2Reliability
If functional encoding primitive with multiple processes is implemented, then obfuscation security is improved, but computational complexity increases
Solution Approach 1:
The patent introduces the functional encoding primitive as an intermediary layer between the LWE assumption and the obfuscation mechanism. This primitive provides a structured interface with well-defined security properties, making the overall system more manageable. The oblivious LWE sampler acts as another intermediary that bridges the gap between standard LWE samples and the requirements of functional encoding.
Solution Approach 2:
The patent performs preliminary actions by pre-defining the functional encoding primitive and oblivious LWE sampler with specific security guarantees before constructing the main obfuscation mechanism. These preliminary components are designed and analyzed separately, allowing their security properties to be established in advance and then composed into the final obfuscation scheme.
Data Source
AI summary
The invention relates to systems, methods, network devices, and machine-readable media for creating obfuscated computer-executable instructions to enhance security. The invention can receive a set of non-obfuscated executable instructions corresponding to a program, and using a functional encoding primitive comprising an encoding process, an opening process, and a decoding process, generate a set of obfuscated instructions which can then be provided to a relatively insecure environment.