HealthZK is a set of code primitives that can be used on any platform to prove a variety of standard healthcare data systems with the latest in zero-knowledge-proof technology.