What's in a Linked ZKP program?

This section describes the anatomy of an FHE-linked ZKP program, what you can and can't do, and the different data types that support linking.