fix: changed L to L_PRIME in enc_bfv

[zahrajavar]

This PR addresses issue #1220

Summary by CodeRabbit

• Refactor
  • Updated encryption circuit implementations with standardized type parameters for improved consistency across all circuit variants.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Review	Updated (UTC)
crisp	Ready	Preview, Comment	Jan 28, 2026 5:18pm
enclave-docs	Ready	Preview, Comment	Jan 28, 2026 5:18pm

[coderabbitai]

📝 Walkthrough

Walkthrough

This PR systematically renames the generic size parameter L to L_PRIME across BFV encryption structures, affecting public APIs, struct field definitions, method signatures, and loop bounds in both core library and implementation files.

Changes

Cohort / File(s)	Summary
Core BFV Library circuits/lib/src/core/bfv_enc.nr	Renamed generic parameter L to L_PRIME in Configs and EncryptionBfv struct definitions, all field declarations (qis, k0is, bounds arrays, polynomial arrays), constructor signatures, impl blocks, loop ranges (e.g., for i in 0..L), and method calls to verification functions
Insecure Implementations circuits/bin/insecure/enc_bfv_e_sm/src/main.nr, circuits/bin/insecure/enc_bfv_sk/src/main.nr	Updated main function signatures to use L_PRIME for all array-typed public parameters (pk0is, pk1is, ct0is, ct1is, e0is, e0_quotients, r1is, r2is, p1is, p2is) and EncryptionBfv instantiation generic parameter
Production Implementations circuits/bin/production/enc_bfv_e_sm/src/main.nr, circuits/bin/production/enc_bfv_sk/src/main.nr	Updated main function signatures to use L_PRIME for all array-typed public parameters (pk0is, pk1is, ct0is, ct1is, e0is, e0_quotients, r1is, r2is, p1is, p2is) and EncryptionBfv instantiation generic parameter

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~10 minutes

Possibly related issues

• Chnage L to L_prime in bfv_enc circuit #1220: Directly addresses the same BFV codebase refactoring to rename generic dimension identifier from L to L_PRIME

Possibly related PRs

• fix: commitments [skip-line-limit] #1196: Modifies BFV encryption code and commitment API call sites that are affected by this generic parameter renaming
• refactor: pvss migration [skip-line-limit] #1170: Updates the same EncryptionBfv types and public API signatures across multiple enc_bfv_* implementations
• feat: workspace for enclave circuits #648: Introduces the BFV encryption structures and generics that are refactored in this PR

Suggested labels

noir

Suggested reviewers

• 0xjei
• cedoor
• ctrlc03

Poem

🐰 A parameter's name from L to L_PRIME,
Through circuits and configs, a refactoring time,
Each struct and loop now sings the same song,
Consistency flows where it should all along! ✨

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Title check	✅ Passed	The title 'fix: changed L to L_PRIME in enc_bfv' clearly and specifically describes the main change: a systematic rename of the generic parameter L to L_PRIME across encryption BFV-related code.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing touches

• 📝 Generate docstrings

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[0xjei]

left some comments in chat - we might end up having breaking changes with the transfer of generator in enclave and rename most of the configs.

[0xjei]

this is not straightforward at changing just the configs or templates, is an error at generator level as well since we are producing L = L_BFV and not L_PRIME configs & inputs

[0xjei]

might be closed by #1244