BFV has been proven to be irreversible, and Apple open sourced their Swift library implementing it, so it's not totally unproven.

https://github.com/apple/swift-homomorphic-encryption