metamask 创建合约(所以我不相信这台机器)

metamask 创建合约-现在能不能挖矿

第二天阿佑探索阿菜阿平

“你们总是喜欢胡说八道，我不能相信你们。昨天你们的验证方法，如果你们俩连在一起，验证就没有价值了。所以我不相信这台机器。”Knowledge Number of Interactive Certificate已创建

这台机器基本上是自动化阿菜和阿平以前的证明书，不需要人为的相互验证。阿菜将卡放在传送带上后，自动以行、列或九宫格接收卡，放入袋中使顺序混乱，用传送带运送袋。然后阿菜可以在大家面前打开袋子让大家看到里面的卡片。

阿菜我提议把这台机器放在漆黑的房间里，把下酒菜的指示贴纸全部撕开。3个人轮流进入房间，阿平建议进入房间时遮住眼睛确保随机性。由此，最后三个人不知道这些控制点的验证顺序，可以保证这个验证结果的可靠性。

“交互零知识证明”可能有风险，因为证书和验证者需要交互验证，但是“非交互零知识证明”不需要这样的交互添加机器和程序，需要一个无人知晓的测试序列来维持验证的公平性。如果有这样的程序和测试序列，证书可以自动计算证书并防止证书伪造。

用于区块链零知识证明的“非交互零知识证明”将交易信息传递给程序，程序向矿工提供证书，矿工不知道交易细节，但可以通过该证书验证交易的有效性。最有名的例子是Zcash的zkSNARKs零知识证明技术。

通过这些故事，我们可以了解零知识证明的本质，在我知道和不泄露的前提下，我可以向别人证明我有很大的概率。这很重要。零知识证明只不过是概率的证明。我确实知道这个。

通过将零知识证明的概念应用于块链，除了解决加密货币的隐私问题外，还可以提高网络的效率。藉由zk-SNARKs矿工不是再次执行交易的运算，如果对方提交证书，可以压缩大量的信息量，可以大幅提高网络的吞吐量。