有Np问题都可在多项式时间内化归为SAt问题。

零知识证明SAt，实际上就能零知识证明一切Np问题。

可实际上，徐林也没有直接处理SAt问题，而是转而寻求其他Np巅峰大圆满的高手。

同为Np巅峰大圆满，SAt与其他高手并没有区别，零知识证明任意一个Np完全问题都足以实现回推。

徐林求助的正是三染色问题：给定一张图G，求问能否用三种颜色给图G的所有端点染色，使得相邻顶点颜色不同。

（注：一张图是指一些顶点用一些线连接在一起。）

所有Np巅峰大圆满都可以在多项式时间内相互转化，SAt也可以按照某种规则转化为3染色问题。

这个转化可以如下粗浅理解：首先构造一个基本三角形，三个端点染色为【真】【假】【占位符】。

然后将所有的布尔变量与逻辑语句当做图的点，通过合适的方法连接在一起。

对这个图的三染色方案，实际上就是给每个布尔变量与逻辑语句赋值【真】【假】。

总而言之，零知识证明SAt，只需要零知识证明三染色问题。

与SAt不同，三染色问题的零知识证明是相当轻松的。

只需要在正确3染色的图上不停地抽查，验证每一次抽样所得边的左右两个端点颜色是否不相同即可。

可在神君的考验中，守碑人是一个恶意的检查者，他会试图用检查所得到的信息来破解徐林的染色方案，从而窃取珍珑棋局的正解。

也就是说，每一次进行边的抽样时，检查者都会获悉这条边两个端点的颜色情况。当他遍历徐林的3染色图时，一切信息便全部泄露。

小汐曾向徐林建言：“将答案隐藏在一些误导项之中”。

乍一听似乎没有可实现性，但3染色的零知识证明恰恰就是要用这般思路。

（汐：那为什么只夸思不夸我？）

假设徐林现在用红绿蓝三种颜色实现了图G的三染色。

他的下一步操作是：再准备一张图G，但这次把本该染红的地方染绿，把本该染绿的地方染蓝，再把本该染蓝的地方染红。

可以想象，在新得到的图里，相邻端点所染上的颜色依旧不同。

红绿蓝三种颜色有6种办法打乱，徐林总共可以制作6份图G的三染色副本。

每当恶意检查者抽查一条边时，徐林就随机抽取一个副本，将那个副本上的这条边透露给检查者看。

比如检查者看到这条边连接了一个红色端点与一个绿色端点。

那他能照抄答案，一个涂成红色，一个涂成绿色吗？

答案是不能。

因为他下一次抽查连接红色点的边时，就可能意外地发现：本该被染成红色的点，这次居然被染成了绿色？

对于任何一条边，两端点颜色的检查结果会在{红蓝，红绿，蓝绿，蓝红，绿红，绿蓝}中均匀地随机出现。

检查者唯一能确凿知晓的事项，仅有两端点颜色不同。

至此，三染色问题可零知识证明，进而一切Np问题都有零知识证明方案，其中包括围棋转化来的SAt。