前言

区块链是一个分布式公开账本，这个账本的好处在于能够做到透明性，我们能在链上查到从创世区块开始的每一笔交易。

但是在某些方面，我们是不愿意公开信息的。比如我们的医疗信息、资产状况等等，而且你肯定不愿意公开你给著名段子手杜x斯打币的信息（大型商户的收币地址很容易查到）。

著名的匿名货币Zcash尝试解决这个问题，使用了ZK-SNARK（Zero Knowledge succint non-interactive arguments of knowledge） 算法，也就是我们常说的零知识证明，具有简洁性、非交互性、计算完好性（验证者只能抵抗计算能力有限的证明者的攻击）。

简单来说，零知识证明能够让用户不泄漏隐私信息，证明自己的某个属性，如钱包有多少钱等。在Zcash上，交易的发送者、接受者和数额等能够通过加密进行隐藏。

但是，了解Zcash的人都知道，这个算法的设计，让Zcash需要一个可信的第三方，这违背了区块链的去中心化，而去中心化正是区块链美妙的地方。

当然为了解决隐私问题，还有很多的尝试如交易混合机制等，但都没有彻底解决问题。

ZK-STARK简介

最近出来一个项目，对零知识证明算法提出了改进，它就是Starkware。

它运用新一代的零知识证明算法ZK-STARK（Scalable Transparent Argument of Knowledge），提高区块链的可拓展性和隐私性。别看只是隐私这样一个小问题，如果这个隐私问题能够解决的话，并且还不需要一个可信的第三方的话，加密数字货币能够有机会成为通用、普及的货币。

另外，算法的设计能够抵抗量子计算的攻击，这也是一个亮点所在。

但是项目还是存在两个问题，一个是在这个新的算法，一次零知识证明的存储大小增加了千倍（ZK-SNARK的288B增加到了几百KB），对存储要求大幅度增加。另外也没有项目使用这个算法，可行性并没有得到验证。

团队&项目投资方

​

在项目的官网还公布了一份论文，80多页详细描述了算法的数学原理，另外V神还写了相关的文章介绍这个算法，Zcash对这个项目进行了投资，可以说这个项目上线之初就获得了大量的关注。

项目还获得了V神、Naval等著名投资方的加持。

关于项目的团队，都是资深的专家，毕业于伯克利、MIT等顶尖高校，联合创始人Eil甚至是一位从业十余年的密码学专家。其他团队成员也经历丰富，V神亲手点赞团队不可谓不强大。

代币分配&ICO

注意，Starkware暂时没有任何ICO，没有ICO，没有ICO！

也没有电报群！

我们知道发币是团队获利的基础，但是似乎这个团队并不是很想发币，而是考虑通过tech 4 token的方式。团队发表的文章中说到，他们不想投入精力在设计代币模型、不想去教育市场，而是把精力投入在和其他区块链项目合作上。也就是说，这个tech for token就是他们提供技术，然后获得其他项目的代币奖励，更像是一个外包服务商。

这是一个很有创新性的举动，我们也会继续关注这个项目，也希望在未来能看到有越来越多的项目中出现Starkware的字样。祝愿他们成功。

欢迎关注微信公众号：每日token谈，了解更多信息。