> paired data is actually hard to come by

Similar to zero knowledge proof (ZNP) and its use cases?