零知识证明是一种证明你知道某事而不透露它是什么的方法。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.