Limitations

A ZKP program with linked FHE inputs has the same limitations as unlinked ZKP programs.

However, keep in mind that when your ZKP program function takes in a linked input argument, what you can do with that argument is restricted based on its type. In particular, these types don't directly support arithmetic nor constraints like native field elements do. To perform these operations, you must first convert the linked inputs into field elements, as we saw repeatedly in the last section.