just this week we published an eprint proposing new improvements to FHE transpilation. Currently, the optimizations with the netlist are performed using HAL since I was familiar with the tool itself. However, we would be more than happy (i) integrating the optimizations with the transpiler itself and (ii) adding FHE-Deck as a new backend for the transpiler.
Let me know if you are interested in this in general and feel free to continue the discussion here or contact me via mail (johannes.mono [at] rub.de) for further steps :)
Hi all,
just this week we published an eprint proposing new improvements to FHE transpilation. Currently, the optimizations with the netlist are performed using HAL since I was familiar with the tool itself. However, we would be more than happy (i) integrating the optimizations with the transpiler itself and (ii) adding FHE-Deck as a new backend for the transpiler.
Let me know if you are interested in this in general and feel free to continue the discussion here or contact me via mail (johannes.mono [at] rub.de) for further steps :)