Using Circom to Prove Decryption

Hello, I want to create a library which proves decryption of a cyphertext generated by Concrete Numpy/ Concrete ML. I have been digging through the Rust code for a little and was wondering where I could find the parameters used for the TFHE? Also any tips and things to look out for would be greatly appreciated.

Cheers,
Lev