近日以太坊基金会公开了正在支持的研发团队的项目和领域，其中涉及「应用零知识证明」的团队和技术最多，近14个项目。零知识证明，"零知识"的概念可能有些令人费解，zk-SNARK很快就会变得复杂，因此让我们从头开始。
本篇文章，星际视界将为读者掀开zk-SNARK的神秘面纱，从密码学展开，对zk-SNARK进行由浅入深的讲解。
什么是密码学
密码学是研究编制密码和破译密码的技术科学。研究密码变化的客观规律，应用于编制密码以保守通信秘密的，称为编码学；应用于破译密码以获取通信情报的，称为破译学，总称密码学。简单地说，密码学是对保密通信技术的深入研究。当人们只希望发送方和接收方查看消息内容时，他们经常使用密码学。
密码学已经存在了几个世纪，最早密码学出现在古埃及，克努霍特普二世(KhumhotepIl)的追随者在他的坟墓上刻了加密符号。密码学早在公元前400多年就已经产生，人类使用密码的历史几乎与使用文字的时间一样长，密码学的发展大致可以分为3个阶段:1949年之前的古典密码学阶段;1949年至1975年密码学成为科学的分支;1976年以后对称密钥密码算法得到进一步发展，产生了密码学的新方向—公钥密码学。
香港贸发局副总裁：若Web3能解决香港中小企业痛点，贸发局将非常愿意合作:4月12日消息，在今日举行的Web3香港嘉年华峰会上，香港贸易发展局副总裁刘会平表示，香港的经济包括三个圈层，即贸易和制造业、物流、金融和资本市场、数码经济，Web3也能够助力之前两个圈层的成绩，成为领先者。我建议Web3接下来的发展应该有帮助到实体经济，能够帮助到金融市场、资本市场，这样也会对Web3有更多的推进和助力。刘会平称，在过去三年里，香港中小企业也是香港贸发局主要服务对象，这些中小企业受到疫情极大的冲击，他们的业务受到很多影响，如果Web3能够帮助到中小企业解决痛点的话，你们马上就能够切入到香港经济的98%，因为香港经济98%都是由中小企业组成的，这里的潜力是巨大的。
刘会平强调，贸发局非常愿意帮助中小企业更好地理解Web3带给他们的机会，也敦促他们拥抱更多的解决方案，无论是硬件的，还是软件的。[2023/4/12 13:59:06]
1976年，W.Diffie和M.Hellman在发表的文章“密码学的新方向”中首次公开提出了公钥密码(Public-keyCryptography)的概念。公钥密码的提出实现了加密密钥和解密密钥之间的独立，解决了对称密码体制中通信双方必须共享密钥的问题，在密码学界具有划时代的意义。
Coinbase开始向美国大选中支持加密货币的候选人捐款:金色财经报道，Coinbase首席执行官Brian Armstrong表示，该交易所打算在美国大选中开始向支持加密货币的候选人捐款。该声明是在公司收到美国证券交易委员会 (SEC) 的Wells 通知后的第二天发布的。
Armstrong敦促加密货币用户选出支持加密货币的候选人。此外还指出，该交易所将努力组织加密货币用户，以支持可能对整个行业产生积极影响的候选人。[2023/3/26 13:27:46]
加密货币世界中的密码学
加密货币世界中最常见的密码学元素之一是哈希函数，它是任何区块链的支柱。哈希函数——特别是SHA-256，大多数区块链中的哈希函数——基本上将单词短语或数字等输入转换为一个固定长度的加密信息，看起来像这样：
77077b1f4c3ad44c83dc0bdb8d937e9b71c0ef07a35c2664bb7da85be738eacf
国际清算银行将银行的加密货币储备上限设置为2%:12月19日消息，国际清算银行（BIS）上周五发布的一份官方声明规定，银行的加密货币储备上限为2%，将于2025年1月1日开始实施。报告称，总体而言，银行的加密货币敞口不应超过1%。
国际清算银行表示，这些规则是由该行巴塞尔委员会的监督机构制定的，支持“银行对加密资产风险敞口的全球审慎标准”。BIS中央银行行长表示：“该标准标志着在制定全球监管基准以减轻加密资产对银行造成的风险方面的一个重要里程碑。重要的是继续监测加密资产市场中与银行相关的发展。我们随时准备在必要时采取进一步行动。”（pymnts）[2022/12/19 21:53:29]
哈希函数允许像比特币这样的区块链处理交易，将区块链接到一个或另一个，并确保区块链数据的完整性得到维护。就像哈希函数一样，zk-SNARK是一种密码学形式。它们被用来保证比用户在区块链上获得的更强的隐私。
链游开发者工具公司 Stardust 完成 3000 万美元 A 轮融资， Framework Ventures 领投:10月18日消息，为链游提供开发者工具的公司 Stardust 完成 3000 万美元 A 轮融资， Framework Ventures 领投，其他投资方包括 Acrew Capital、Blockchain Capital 和 Distributed Global 等。
Stardust 总部位于加利福尼亚州，由首席执行官 Canaan Linder 于 2018 年创立。Stardust 已经与游戏发行商 Tilting Point 合作，帮助其开发人员构建区块链游戏。 （彭博社）[2022/10/18 17:31:17]
什么是zk-SNARK
zk-SNARK是“zeroknowledgeSuccinctNon-interactiveARgumentofKnowledge”的缩写，这一长串名字的主体是“argumentofknowledge”，即“知情证明”，也就是掌握某事内幕的证据。修饰主体名词的定语由三部分组成，分别代表了此技术要解决的三个问题，分别是：
Celestia：启动区块链就像部署智能合约一样简单:8月15日消息，Celestia希望通过使用自己的规则轻松部署自己的区块链，赋予在线社区自己的主权。
上周，在韩国区块链周2022上，Celestia联合创始人Ismail Khoffi表示在接受Cointelegraph采访时表示，该项目的愿景是分离共识和应用执行层，为去中心的应用构建者解锁新的可能性。Celesita基本上是一个剥离的极简层区块链，为用户提供了易于部署自己的区块链或第二层汇总的基础设施。Khoffi表示，开发者和社区可以“点击一个按钮”，部署自己独立的、定制的区块链。
（Cointelegraph）[2022/8/15 12:26:09]
1、zeroknowledge：零知识，即在证明的过程中不透露任何内情，如上文的例子所示；
2、succinct：简洁的，主要是指验证过程不涉及大量数据传输以及验证算法简单；
3、non-interactive：无交互。上文中举的两个例子虽然实现了零知识证明，但Prover和Verifier之间需要经过多次交互才能取得满意的可靠性，而此技术试图彻底避免这些交互。
合起来，zk-SNARK是一种“证明我知道内情的技术，简单、易操作，最关键的是你除了“我是对的”啥也不会知道”。通常我们都称zk-SNARK为零知识证明。
zk-SNARK在行动
zk-SNARK是"零知识"密码学的一种形式，zk-SNARK允许加密用户以完全加密的方式在区块链上发送交易，这意味着没有人可以读取它们，同时表示交易以合法方式进行。零知识证明允许A向B证明陈述X是正确的，而不透露任何超出陈述X本身有效性的信息。想象一下，向某人证实你已过21岁，但不透露你的生日或你已经25岁。这是想象zk-SNARKs如何工作的一种有用的方式。
Zcash是首个使用零知识证明机制的区块链系统，它可提供完全的支付保密性，同时仍能够使用公有区块链来维护一个去中心化网络。与比特币相同的是，Zcash代币的总量也是2100万，不同之处在于，Zcash交易自动隐藏区块链上所有交易的发送者、接受者及数额。只有那些拥有查看密钥的人才能看到交易的内容。用户拥有完全的控制权，他们可自行选择向其他人提供查看密钥。
每一种新的隐藏支付都会在区块链上产生三种类型的记录——通过哈希保护的记录。所涉及的哈希情况表示:交易接收者的地址、发送的金额和交易本身独有的数字。结果是，隐藏的交易依赖于像比特币一样的哈希值，但正是zk-SNARK增加了一层新的隐私。像Zcash和Monero这样的加密货币在一些用户中很受欢迎，因为加密行业是由许多自由主义者组成的。这两种货币都试图将自己与比特币等更流行的加密货币区分开来，声称如果你使用他们的货币，就没有人能窥探你的私人财务生活。
zk-SNARK的未来
zk-SNARK是匿名加密交易的有用工具。但除了隐私币之外，它们也在帮助推动越来越多的其他应用程序。
例如，Celo是一个专注于移动支付的加密货币协议，它希望创建一个更具包容性的协议。
Celo从事产品和工程工作的PranayMohan认为，zk-SNARK这项技术的潜力远远超出了那些主张保护隐私的人。Mohan特别指出了zk-SNARK如何帮助发展中国家的人们。“如果我们想想这些人现在如何能够使用加密货币，这几乎是不可能的，他们没有使用Metamask，并在一个随机DeFI项目中投入1万美元，”他说。Mohan补充说，使用zk-SNARK，移动电话用户可以立即与区块链同步——保留加密货币同样的不可信属性，但在不具备高度技术能力的设备上。
尽管zk-SNARK很有前途，但它仍然非常小众。即使在加密这样的高科技行业，很多人也不知道它们是什么。但随着越来越多的公司开始接受这项技术，这种情况可能正在改变。这些包括Aleo，最近从蓝筹风险投资公司筹集了2800万美元的初创公司，用于构建工具，让Web开发能够整合各种互联网应用程序中的零知识证明——该项目承诺让消费者在不透露大量个人数据的情况下浏览网络。
但这并没有阻止全球最大的会计师事务所之一安永尝试这种先进的密码学。
安永通过运用了非交互式零知识证明算法zk-SNARK，研发了自己的通证化开源协议，成功实现了以太坊公网上第一条私密交易，并将逐步应用于各类区块链企业级应用中，让客户在不牺牲用户隐私的情况下拥抱区块链的潜力。
据Brody说，该会计事务所自己的Nightfall解决方案提供了一种在以太坊网络上进行绝对隐私交易的方法，同时为企业提供服务。虽然对高度私人的金融交易存在监管方面的担忧，但Brody相信zk-SNARK将在未来成为主流。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。