Leveled Fully Homomorphic Encryption (Leveled FHE) is a cryptographic scheme that enables the evaluation of arithmetic circuits on encrypted data up to a fixed, pre-specified multiplicative depth without requiring the computationally expensive bootstrapping procedure. Unlike pure FHE, which permits unlimited computation, leveled FHE parameters are instantiated based on the exact complexity of the target function, making it significantly more efficient for known, bounded computations like fixed-architecture neural network inference.
Glossary
Leveled Fully Homomorphic Encryption

What is Leveled Fully Homomorphic Encryption?
A variant of homomorphic encryption that can evaluate circuits of a predetermined multiplicative depth without bootstrapping, requiring the computational complexity to be known in advance.
The scheme relies on modulus switching to manage the inherent noise budget that grows with each multiplication, resetting the noise to a level proportional to the remaining depth. This approach is foundational to practical encrypted inference, where the polynomial approximation depth of a model's activation functions is determined at compile time, allowing engineers to select optimal cryptographic parameters without the overhead of programmable bootstrapping.
Key Characteristics of Leveled FHE
Leveled Fully Homomorphic Encryption defines a practical middle ground in the FHE landscape, enabling the evaluation of circuits with a known, bounded multiplicative depth without the immense computational cost of bootstrapping.
Predetermined Circuit Depth
The defining characteristic of leveled FHE is that the multiplicative depth of the target computation must be known at key generation time. The scheme parameters are chosen to support exactly this depth and no more. This contrasts with pure FHE, which uses bootstrapping to handle unlimited depth. By eliminating bootstrapping, leveled schemes achieve significantly lower latency and higher throughput for fixed-depth computations like standard neural network inference.
Noise Management Without Bootstrapping
Leveled FHE relies on modulus switching as its primary noise management technique. Each multiplication increases the inherent noise in the ciphertext. To compensate, the scheme uses a ladder of decreasing moduli. After a multiplication, the ciphertext is scaled down to a smaller modulus, which proportionally reduces the absolute noise. This process can only be repeated a finite number of times, defining the circuit's maximum depth before decryption becomes impossible.
Parameter Selection Trade-offs
Selecting parameters for a leveled scheme involves a direct trade-off between security level, circuit depth, and performance.
- Higher depth requires a larger initial modulus and larger polynomial ring dimensions, increasing ciphertext size and computation time.
- Higher security (e.g., 128-bit vs. 256-bit) also demands larger parameters.
- The art of leveled FHE is finding the minimal viable parameters for a specific task to minimize computational overhead.
Ideal Use Case: Encrypted Inference
Leveled FHE is the dominant approach for privacy-preserving machine learning inference. A standard neural network has a fixed, known architecture with a predictable number of sequential layers (multiplicative depth). The model owner can generate keys that exactly accommodate this depth. A client can then send an encrypted query, the server evaluates the model homomorphically, and returns an encrypted result—all without bootstrapping, making the process fast enough for near real-time applications.
Schemes: BGV and BFV
The most common leveled FHE schemes are BGV (Brakerski-Gentry-Vaikuntanathan) and BFV (Brakerski-Fan-Vercauteren). Both operate over integer arithmetic and support SIMD-style batching.
- BGV manages noise via modulus switching, reducing the ciphertext modulus after each multiplication.
- BFV manages noise via scale-invariant techniques, keeping the modulus constant but allowing the noise to grow until a threshold. Both are excellent for exact computations on encrypted integers.
Leveled vs. Fully: A Practical Distinction
The term 'leveled' is often contrasted with 'pure' or 'fully bootstrappable' FHE.
- Leveled FHE: Parameters are set for a specific circuit depth L. After L multiplications, no further computation is possible. It is faster and simpler.
- Pure FHE: Uses bootstrapping to reset the noise, enabling unlimited depth. This adds significant computational overhead (often milliseconds per gate). In practice, most production FHE systems today are leveled, as bootstrapping remains too slow for many high-throughput applications.
Frequently Asked Questions
Clear, technical answers to the most common questions about Leveled Fully Homomorphic Encryption, its mechanisms, and its role in privacy-preserving machine learning.
Leveled Fully Homomorphic Encryption (Leveled FHE) is a cryptographic scheme that can evaluate any circuit composed of addition and multiplication gates on encrypted data, but only up to a predetermined multiplicative depth without requiring bootstrapping. It works by selecting encryption parameters large enough to accommodate a specific computation's depth at setup time. Each homomorphic multiplication consumes a level from the noise budget and reduces the ciphertext modulus. The scheme uses modulus switching after each multiplication to scale down the ciphertext, proportionally reducing the absolute noise and maintaining correctness. Once the pre-allocated levels are exhausted, no further computation is possible. This contrasts with pure FHE, which uses bootstrapping to reset the noise budget and enable unbounded computation. Leveled FHE is highly efficient for fixed-depth circuits like neural network inference, where the model architecture is known in advance, avoiding the prohibitive computational cost of bootstrapping.
Leveled FHE vs. Pure FHE vs. Somewhat HE
A technical comparison of three homomorphic encryption variants based on their computational depth, noise management requirements, and practical applicability.
| Feature | Leveled FHE | Pure FHE | Somewhat HE |
|---|---|---|---|
Computational depth | Pre-determined, bounded | Unlimited | Limited, shallow circuits |
Bootstrapping required | |||
Noise management | Modulus switching, rescaling | Bootstrapping | None; circuit depth strictly limited |
Circuit depth known in advance | |||
Computational overhead | Moderate | High | Low |
Practical for deep ML inference | |||
Parameter size growth | Linear with depth | Constant (amortized) | Exponential with depth |
Example schemes | BFV, CKKS with leveled parameters | TFHE, FHEW | BGN, early Gentry variants |
Enabling Efficiency, Speed & Accuracy
Intelligent Analysis, Decision & Execution
We build AI systems for teams that need search across company data, workflow automation across tools, or AI features inside products and internal software.
Talk to Us
Search across company data
Give teams answers from docs, tickets, runbooks, and product data with sources and permissions.
Useful when people spend too long searching or get different answers from different systems.

Automate internal workflows
Use AI to route work, draft outputs, trigger actions, and keep approvals and logs in place.
Useful when repetitive work moves across multiple tools and teams.

Add AI to products and internal tools
Build assistants, guided actions, or decision support into the software your team or customers already use.
Useful when AI needs to be part of the product, not a separate tool.
Related Terms
Understanding the ecosystem of techniques that enable and optimize leveled fully homomorphic encryption for practical machine learning applications.
Noise Budget
The finite amount of cryptographic noise a ciphertext can tolerate before decryption fails. In leveled FHE, each homomorphic multiplication consumes a portion of this budget. The circuit depth must be predetermined to ensure the final ciphertext remains decryptable. Modulus switching is the primary technique used to manage noise growth without bootstrapping.
Modulus Switching
A noise management technique that scales down the ciphertext modulus to proportionally reduce the absolute noise. This operation extends the effective noise budget without executing a full bootstrapping procedure. In leveled FHE, modulus switching is executed after each multiplication layer, enabling circuits of known depth to be evaluated efficiently.
Relinearization
A key-switching technique that reduces the size of a ciphertext after a homomorphic multiplication. Without relinearization, ciphertext dimensions grow quadratically with each multiplication, rapidly becoming computationally intractable. This operation is essential in leveled FHE to maintain compact ciphertexts and predictable performance across the predetermined circuit depth.
SIMD Packing
A technique that encodes multiple plaintext values into a single ciphertext using the Chinese Remainder Theorem. In leveled FHE, SIMD packing enables parallel homomorphic operations across thousands of data slots simultaneously. This batching amortizes the computational cost of leveled circuits, making encrypted inference on neural networks practical by processing entire layers in parallel.
Polynomial Approximation
The mathematical technique of replacing non-linear activation functions like ReLU or sigmoid with low-degree polynomials. Since leveled FHE natively supports only addition and multiplication, these approximations are essential for evaluating neural networks. The degree of the polynomial directly impacts the multiplicative depth required, making it a critical design parameter in leveled schemes.
CKKS Scheme
A homomorphic encryption scheme optimized for approximate fixed-point arithmetic on real numbers. CKKS is the preferred choice for leveled FHE in machine learning because neural networks are inherently noise-tolerant. Its rescaling operation manages the scale after multiplications, enabling deep circuits without bootstrapping by trading exact precision for computational efficiency.

About the author
Prasad Kumkar
CEO & MD, Inference Systems
Prasad Kumkar is the CEO & MD of Inference Systems and writes about AI systems architecture, LLM infrastructure, model serving, evaluation, and production deployment. Over 5+ years, he has worked across computer vision models, L5 autonomous vehicle systems, and LLM research, with a focus on taking complex AI ideas into real-world engineering systems.
His work and writing cover AI systems, large language models, AI agents, multimodal systems, autonomous systems, inference optimization, RAG, evaluation, and production AI engineering.
Partnered with leading AI, data, and software stack.
How We Work
Custom AI workflows for your Business
One-fit-all AI don't work for modern businesses. At Inferensys, we aim to understand your business & custom requirements; which we use to define most efficient agentic workflows, the data, and the tools for your business.
01
Review the use case
We understand the task, the users, and where AI can actually help.
Read more02
Pick the right approach
We define what needs search, automation, or product integration.
Read more03
Build the first useful version
We implement the part that proves the value first.
Read more04
Improve from there
We add the checks and visibility needed to keep it useful.
Read moreThe first call is a practical review of your use case and the right next step.
Talk to Us