ChainingBlocks

本文是零知识证明简单实践教程的第三部分， 第一部分见：零知识证明第一部分， 第二部分见：零知识证明第二部分。 下面这个图片是我们在第二部分所使用的merkle树来构造prover的承诺。同时我们也提出这样的方式存在verifier暴力破解获取叶子节点明文信息的风险，特别是在明文信息所在的数据域（or集合）有限且很小的情况下。我们希望，verifier只能知道prover向他揭露的叶子节点的信息，其...

本文是零知识证明简单实践教程的第二部分，第一部分见：零知识证明第一部分 现在一个问题是，prover（证明者）可能撒谎，比如原本它应该向verifier（验证者）揭露p[1]的值，但prover出于某种原因或者纯粹恶作剧，把这个值替换成其他的数值。因此，我们要解决的问题是，如何做到如果prover撒谎，verifier能够知道呢？于是，“承诺commitment”被提出来了。 承诺，单单从字面来理...

前言 刚刚看完了“可汗学院公开课-线性代数的本质”，对线性代数的理解上了不止一个台阶。虽然大学的时候上过这门必修课，以及本科毕业之后特意读了黄色书皮的《线性代数及其应用》这本比较有名的外国人编著的书籍，但是，知道看这门课的视频之前，还是没搞清楚线性代数的几个基本概念，比如什么是线性相关，搞不懂为什么要求解特征值和特征向量。心中不免有一点惋惜，为什么大学的那位教我这门课的老师不使用这种通俗直观的方式...