TFHE-rs interop support more conversions #1219

youben11 · 2025-02-18T12:02:45Z

Support arbitrary bitwidth during native->TFHE-rs conversion (TFHE-rs need to be bigger than native however)

github-actions

Benchmark

Benchmark suite	Current: `2721aa4`	Previous: `2625ffd`	Ratio
`v0 PBS table generation`	`58730438` ns/iter (`± 866584`)	`58786869` ns/iter (`± 241715`)	`1.00`
`v0 PBS simulate dag table generation`	`39671496` ns/iter (`± 417802`)	`39830294` ns/iter (`± 785221`)	`1.00`
`v0 WoP-PBS table generation`	`51053234` ns/iter (`± 1749019`)	`51188762` ns/iter (`± 1554001`)	`1.00`

This comment was automatically generated by workflow using github-action-benchmark.

cla-bot bot added the cla-signed label Feb 18, 2025

github-actions bot reviewed Feb 21, 2025

View reviewed changes

BourgerieQuentin approved these changes Feb 24, 2025

View reviewed changes

youben11 force-pushed the feat/from_native_arbitrary_bitwidth branch from a256b61 to eb035f0 Compare February 24, 2025 11:32

youben11 added 4 commits February 26, 2025 08:56

feat(frontend): support arbitrary bitwidth in from_native

f776e32

feat(frontend): support signed integers with arbitrary bitwidth output

ff62daa

feat(compiler/backend): support tfhers int/uint of 2-16 bits

970148f

fix(ci): use same distro(nightly) for clippy

88974a9

youben11 force-pushed the feat/from_native_arbitrary_bitwidth branch from eb035f0 to 8e87d04 Compare February 26, 2025 11:10

youben11 added 2 commits February 27, 2025 09:59

fix(frontend): set padding bit when result is signed and neg

e5dba27

feat(frontend): add flag to optim LSBs with LUT

2625ffd

youben11 force-pushed the feat/from_native_arbitrary_bitwidth branch from 8e87d04 to 2625ffd Compare February 27, 2025 09:01

docs(frontend): add optim_lsbs_with_lut config option

2721aa4

youben11 merged commit 10f8e83 into main Feb 27, 2025
37 of 40 checks passed

youben11 deleted the feat/from_native_arbitrary_bitwidth branch February 27, 2025 13:29