（原创编译内容，如需转载请联系本人推特获得授权，所有权利保留） 零知识证明是近期Web3行业非常火的概念，然而，什么是零知识证明（和交互证明）？近期读到一篇2008年的论文，Justin Bledin（现在供职于约翰霍普金斯大学）讨论了所谓的交互证明和零知识证明的认识论问题（epistemology），特别是它们可否被归类为一种数学意义上的“证明”，文章开头作者用一个很有趣的小故事来解释零知识证明：一只猫给一只老鼠做了个迷宫，迷宫有南北两个入口/出口。 猫说：我的小老鼠，我打赌你不能穿越我的迷宫。如果你能，我就给你很多奶酪。如果不能，我就把你吃掉！ 老鼠说：但是你是一只狡猾的猫。我怎么知道你的迷宫里有一条路可以穿越迷宫？证明给我看，我就接受你的挑战。 猫说：你太狡猾了！为了证明给你看，我必须给你指出一条穿过迷宫的路。那我们还有什么乐趣呢？ 老鼠说：不一定。你可以把我丢在迷宫里的某个随机地点。然后我将随机选择北方或南方的出口，你将随机带我去那里。如果我们重复的次数够多，我就会相信这两个开口之间存在一条路。 猫说：嗯，这样你就还是不知道开口之间的路径，只是一个随机走到它们的集合。你好...

（原创编译内容，如需转载请联系本人推特获得授权，所有权利保留） 零知识证明是近期Web3行业非常火的概念，然而，什么是零知识证明（和交互证明）？近期读到一篇2008年的论文，Justin Bledin（现在供职于约翰霍普金斯大学）讨论了所谓的交互证明和零知识证明的认识论问题（epistemology），特别是它们可否被归类为一种数学意义上的“证明”，文章开头作者用一个很有趣的小故事来解释零知识证明：一只猫给一只老鼠做了个迷宫，迷宫有南北两个入口/出口。 猫说：我的小老鼠，我打赌你不能穿越我的迷宫。如果你能，我就给你很多奶酪。如果不能，我就把你吃掉！ 老鼠说：但是你是一只狡猾的猫。我怎么知道你的迷宫里有一条路可以穿越迷宫？证明给我看，我就接受你的挑战。 猫说：你太狡猾了！为了证明给你看，我必须给你指出一条穿过迷宫的路。那我们还有什么乐趣呢？ 老鼠说：不一定。你可以把我丢在迷宫里的某个随机地点。然后我将随机选择北方或南方的出口，你将随机带我去那里。如果我们重复的次数够多，我就会相信这两个开口之间存在一条路。 猫说：嗯，这样你就还是不知道开口之间的路径，只是一个随机走到它们的集合。你好...