ZK 不是终局，信息流控制或之前称为可编程加密的 PSE 才是。 信息流控制意味着应用程序的开发者和这些应用程序的用户可以准确推理出他们的应用程序中采取的信息行为向谁披露了什么信息。