·
10 commits
to main
since this release
What's Changed
- Update Bazel rules and macros to support externalized constants. by @copybara-service[bot] in #3266
- Fixes two bugs with linalg canonicalizations by @copybara-service[bot] in #3272
- Fixes a bug with secret patterns by @copybara-service[bot] in #3273
- add level analysis validation helper by @copybara-service[bot] in #3271
- Fix attribute dropping in mgmt canonicalization patterns. by @copybara-service[bot] in #3280
- insert level validations through the arithmetic pipeline by @copybara-service[bot] in #3279
- Add a target-specific tablgen config by @copybara-service[bot] in #2607
- Avoid casting booleans by @mdgrs in #3293
- Use ISL equality check by @mdgrs in #3256
- add lola e2e test by @AlexanderViand in #3225
- make insert-mgmt-pipeline use backend config by @copybara-service[bot] in #3290
- use backend config for bootstrap level usage in bootstrap-waterline analysis by @copybara-service[bot] in #3296
- Add kernel for broadcasted reduce by @copybara-service[bot] in #3270
- support integer splats in polynomial-approximation (fpowi) by @copybara-service[bot] in #3297
- Faster enumeration for helrm model by @copybara-service[bot] in #3301
- Define kernel dialect and kernel.eval_chebyshev op by @copybara-service[bot] in #3282
- Add has_kernel_chebyshev field to compilation targets by @copybara-service[bot] in #3284
- Switch to using CAS-only public API key by @copybara-service[bot] in #3308
- Add math dialect support to OpenFHE emitter by @copybara-service[bot] in #3300
- Implement target-speicfic level analysis for kernel.eval_chebyshev by @copybara-service[bot] in #3289
- Define openfhe.eval_chebyshev_series op and C++ emitter by @copybara-service[bot] in #3283
- Update lower-polynomial-eval to lower to kernel.eval_chebyshev if the backend supports it by @copybara-service[bot] in #3288
- Implement secret-to-ckks conversion for kernel.eval_chebyshev by @copybara-service[bot] in #3287
- Lower kernel.eval_chebyshev to lattigo and openfhe ops by @copybara-service[bot] in #3285
- Improve single element tensor handling by @mdgrs in #3302
- cheddar: switch to DPS by @AlexanderViand in #3306
- Support tensor.pad in the layout pipeline by @copybara-service[bot] in #3221
- Enable native Chebyshev kernels in Lattigo and OpenFHE backend targets by @copybara-service[bot] in #3286
- remove openfhe interpreter by @copybara-service[bot] in #3294
- add validate-scale pass by @copybara-service[bot] in #3310
- rework scale analysis and dataflow depending on secretness by @copybara-service[bot] in #3311
- lattigo: do not use logSlots to indicate fewer used slots by @mdgrs in #3318
- Add composite relu by @mdgrs in #3316
- improve handling of padding for conv1d by @mdgrs in #3303
- ensure bootstrap occurs before a mul+relin+rescale, not in the middle by @copybara-service[bot] in #3319
- add kernel.linear_transform by @copybara-service[bot] in #3314
- preserve linalg.matvec as kernel.linear_transform in ConvertToCiphertextSemantics by @copybara-service[bot] in #3313
- feat: add pt-ct matmul support for bicyclic encoding by @copybara-service[bot] in #3209
- layout: don't insert layout rectification for func ops and generics by @copybara-service[bot] in #3320
- polynomial approx: implement square and multiply for math.fpowi by @copybara-service[bot] in #3321
- small codegen improvements by @mdgrs in #3317
- Poulpy Emitter by @martonmoro in #3250
- add mgmt.bootstrap to validate-scale by @copybara-service[bot] in #3325
- Support level reduction interface for multiple secret operands by @copybara-service[bot] in #3324
- Implement early bootstrap placement in HEIR by @copybara-service[bot] in #3326
- Fix affine-related bugs in split-preprocessing by @AlexanderViand in #3327
- lwe: add (optional) level and scale attributes to
lwe.rlwe_encodeby @AlexanderViand in #3305 - improve HEIR readme for quickstart by @copybara-service[bot] in #3330
- fix: implement physical slot replication for bicyclic and tricyclic layout after by @copybara-service[bot] in #3247
- feat: optimize matmul periodic replication by using maximal valid prefix. by @copybara-service[bot] in #3252
- Encode plaintext at highest used level instead of max level by @mdgrs in #3332
- Fix padding for conv2d by @mdgrs in #3323
- build: remove no-yosys flag by @AlexanderViand in #3342
- lattigo: fix galois key generation for negative rotations by @AlexanderViand in #3341
- Fix deprecation warnings for tmpnam and rewriter.create by @toprakmurat in #3376
- [JaxiteWord] Update lowering and emission for CROSS polynomial APIs by @Zohaib58 in #3251
- cheddar: add optional scale-snu CHEDDAR dependency by @AlexanderViand in #3334
- blog post for 2026-08-13 HEIR meeting by @copybara-service[bot] in #3387
- tfhe-rust-hl: handle affine loop iter_args by @AlexanderViand in #3347
Full Changelog: v2026.08.01...v2026.09.01