盘点不同类型的零知识技术方案与零知识证明项目

零知识技术是密码学的一个分支，可以为许多 Layer 1 区块链项目解决扩容和隐私问题。区块链可以利用零知识证明技术提升交易吞吐量，在验证用户身份的同时保护用户数据隐私，实现复杂的计算，并让企业既可以利用区块链技术又能保护自身知识产权。在上述所有应用场景中，零知识证明都是不可或缺的关键技术。 

什么是零知识证明（ZKP）？零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。「证明者」（prover）会利用某一系统输入的信息来创建证明，而「验证者」（verifier）则会验证这个证明的计算结果，但却无法得知信息的具体内容。最关键的是，零知识证明可以验证某一数据集的有效性，并同时保护数据隐私。 

本文将探讨零知识证明解决方案的独特优势；区块链项目如何利用 zkSNARK 和 zkSTARK 等零知识证明技术帮助开发者打造高级的 dApp，在为 Web3 实现扩容的同时也保护用户隐私；以及 Chainlink 的信任最小化服务如何帮助这些协议提升去中心化水平、可靠性以及安全性。

零知识技术可以让开发者既能利用以太坊等底层区块链的安全性，又能为 dApp 提高交易吞吐量和速度，并同时将用户个人信息放在链下，以保护用户隐私。交易将打包上传至链上，以降低终端用户的使用成本。最终，项目可以利用这些功能打造出高级的 dApp，不仅在性能上可以与 Web2 系统媲美，而且还能保持 Web3 去中心化的优势。 

optimistic rollup 是一种 Layer 2 技术，是目前主流的扩容方案。据分析网站 L2Beat 的统计，截止至 2022 年 6 月 29 日，optimistic rollup 占以太坊 Layer 2 网络总锁仓量的 74.3%，而零知识证明方案则占 25.9%。 

动态 | 中国知识产权报盘点2019专利领域大事件 其中一项与区块链相关:近日，中国知识产权报盘点2019专利领域大事件，其中包括“”区块链：专利布局驶入“快车道”。文章指出，区块链是近几年的科技热词。自中共中央局2019年10月24日下午就区块链技术发展现状和趋势进行第十八次集体学习后，区块链再度成为全社会关注的焦点，并登上了各大权威纸媒与电视媒体的头版头条。区块链专利领域呈现出四个特点：第一，我国创新主体开展专利布局时间较晚，但是专利申请量呈现快速增长态势；第二，中美两国是重要的市场和技术原创国家，中国偏重于国内布局，美国多边布局态势明显，区块链技术申请人分布较为分散，初创公司较多，没有明显专利壁垒以及行业领军企业；第三，针对业内非常关注的区块链的安全性、同步效率问题，我国已探索解决方案并形成一批核心专利；第四，区块链技术应用前景广阔，但部分技术难题仍悬而未决，亟需突破。[2020/1/19]

零知识扩容方案和 optimistic rollup 最大的区别就是交易验证的方式不同。optimistic rollup 采用欺诈证明（fraud proof），只有在 Layer 1 区块链上裁决状态变更纠纷时才需要生成欺诈证明；而零知识技术方案则是在每一批交易打包上传至链上时都会发布有效性证明（validity proof）。也就是说，采用零知识证明的协议永远都是有效的状态，而代价则是要花更多的 gas 费在底层区块链上验证有效性证明。 

然而，将 zk-rollup 与链下数据结合可以有效优化 gas 费。这种效率更高的零知识技术方案包括「validium」和「volition」。这类方案也可以在不透露数据隐私的前提下证明状态的有效性。这将有助于提升公链在企业的应用，企业可以更好地保护用户数据和商业机密。 

动态 | 区块链未能上榜汉语盘点2019年度国际词:汉语盘点2019年度候选字词中，巴黎圣母院、区块链、贸易摩擦、黑洞照片、脱欧上榜国际词。12月20日，国家语言资源监测与研究中心、商务印书馆、央视新闻等单位联合举办的“汉语盘点2018”揭晓仪式在北京举行。最终，“奋”“改革开放四十年”“退”“贸易摩擦”分别当选年度国内字、国内词、国际字、国际词。（央视新闻）[2019/12/21]

零知识技术方案和 optimistic rollup 还有一个差别，那就是资金效率。在 optimistic rollup 中，交易终局和取款的标准时间窗口是一周；而在零知识技术方案中，用户可以在约 10 分钟内取款。 

要了解更多关于 optimistic rollup 和零知识协议的差异，请观看以下视频。视频中，来自 Offchain Labs、Polygon Hermez、Matter Labs、Metis DAO 以及 Optimism 的负责人共同讨论了以太坊 Layer 2 的未来发展前景：https://youtu.be/t-SQQmLhepY

zk-Rollup

zk-rollup 会将多笔交易打包在一起，并发布到 Layer1 区块链上，同时还会发布一个验证计算有效性的证明。发布到链上的证明也被称作「有效性证明」。有效性证明分为 SNARKs 和 STARKs 两类。一旦这些证明在底层区块链上得到了验证，zk-rollup 的状态就会更新。

动态 | 澳媒盘点12国加密货币税制 日本税率最高:7月23日，澳大利亚加密货币媒体Mickey发文盘点各国加密货币税制，并指出日本加密货币税率非常高。根据2017年4月实行的资金结算法修订版，加密货币交易所产生的利益所得划分为杂项收入，所得税最高可达45%，作为伴随着损失的交易市场税率来说非常高。此外，该媒体列举了以下几个国家的加密货币税制：1、德国：加密货币交易免除附加税，持续保有加密货币一年以上可免除转让所得税。全部欧洲市民向德国转移资产时可免除转移税。2、新加坡：长期投资加密货币的企业和个人免除转让所得税。3、葡萄牙：不像加密货币征收附加税和所得税，但企业通过加密货币交易所得的收益需要课税。4、马耳他：加密货币的日交易作为法人税征收税金，但个人投资者购买和拥有加密货币不用缴纳税金。5、马来西亚：不需要缴纳转让所得税。6、白俄罗斯：对加密货币挖矿和对加密货币的投资不征收税金。7、瑞士：对专业投资者的加密货币交易征收法人税，挖矿被视为个人营业收入，但个人投资者的投资及交易不需缴纳转让所得税。8、加密货币被认为是资产，纳税方式和股票一样；如果购买加密货币并保留一年以上，根据收入水平征收0%至20%的税金。9、澳大利亚：当所有交易均被视为转让收入，并且兑换为澳元时要求保留所有准确的交易记录；如果进行加密货币投资获得的利润，就要交纳与个人所得税相同速率的税金。但如果持有1年以上的加密货币，将减免50%的税金。10、以色列和瑞典：如果纳税人不能证明他们购买的加密货币的购买额，将会征收百分之百的税金。[2019/7/23]

Validium

Validium 结合了有效性证明和链下数据存储，以提升可扩展性。有效性证明发布在底层区块链上，而数据则储存在链下。这将大幅提升吞吐量并降低 gas 费。 

动态 | 汇通网盘点2018年全球金融业十大热词 加密货币上榜:今日汇通网盘点了2018年十大金融业热词，分别为：1）美国政府关门；2）英国脱欧；3）全球贸易摩擦；4）意大利预算危机；5）德国经济失速；6）加密货币泡沫；7）伊朗制裁；8）美联储加息；9）新兴市场货币危机；10）美债收益率。[2019/1/7]

虽然 Validium 在效率和可扩展性方面远超 zk-rollup，但是却可能由于受到攻击导致数据不可用，或用户无法取出资金。不过这个数据可用性问题可以通过 PoS 系统来解决，采用经济激励机制确保数据储存在各个节点中，并且随时可用。值得一提的是，攻击者虽然有可能暂停交易，但却无法直接盗走用户资金。 

Volition

Volition 结合了 zk-rollup 和 validium，用户可以自由选择使用 zk-rollup 或 validium 方案，这两种方案共享同一个状态根（state root）。即使 validium 被攻破，zk-rollup 上的资金也仍然是安全的。 

因此，机构愿意支付更高的费用来换取 zk-rollup 的安全保障，而个人用户则更倾向于交易成本较低的 validium，两者在 volition 上可以无缝交互。比如 DEX 中做市商提供了几亿美元的流动性，因此会选择 zk-rollup；而散户持仓相对较小，因此会选择 validium。 

SNARK

SNARK 的全称是「zero-knowledge succinct non-interactive argument on knowledge」（中文为「简洁的非交互式零知识证明」）。这是一种加密证明，文件很小而且很容易验证。它利用椭圆曲线生成一个加密证明，该椭圆曲线假设无法从一个公开的基点找到随机椭圆曲线元素的离散对数。椭圆曲线的计算成本低于 STARK 的哈希函数，因此 SNARK 协议的 gas 成本更低。

盘点：红杉资本曾投资火币、Filecoin、Orchid Protocol、IOSToken、Ontology等加密数字货币项目:今日币安赵长鹏在推特宣布，未来所有在币安上币的项目都需要披露是否与红杉资本有直接或间接的关联。消息一出，多个与红杉资本的项目在币安的价格大幅下跌，业内人士认为这是赵长鹏对红杉资本起诉币安的一次强力反击。早在2014年，红杉资本投资火币，是火币第一大机构股东，目前火币是全球排名前三的交易所。红杉资本还曾投资过Filecoin、Orchid Protocol、IOSToken、Ontology等加密数字货币。[2018/5/7]

STARK

STARK 全称是「zero-knowledge scalable transparent argument of knowledge」（中文是「零知识的可扩展、透明知识证明」）。这种加密证明几乎不需要证明者和验证者之间产生任何交互。STARKs 相比 SNARKs 的最大优势在于证明时间更短，而且更容易扩展。另外，由于 STARKs 采用哈希函数，因此也可以抗量子攻击。 

值得一提的是，STARKs 的发明者是 Eli Ben-Sasson，此人是 StarkWare 的联合创始人，这个团队也开发了 StarkEx 和 StarkNet。 

StarkEx

StarkEx 是以太坊上的 Layer 2 扩容方案，采用 STARK 证明来验证自托管的交易，并在上面开发交易和支付应用。基于 StarkEx 的项目包括 DeversiFi、Sorare 和 dYdX，目前已完成了几亿笔交易并实现了几千亿美元的交易额。然而，StarkEx 无法支持智能合约功能，因此无法实现功能完备的 dApp。

StarkNet

StarkNet 是一个通用平台，开发者可以使用 StarkNet 在以太坊的 zk-rollup 上部署智能合约。以太坊主流的 dApp Aave 和 Maker 都计划在 StarkNet 上发布。值得注意的是，StarkEx 的 zk-rollup 也可以在 StarkNet 上发布，以提高应用的可扩展性。

为了充分利用 STARK 在计算和可扩展性方面的优势，StarkWare 开发了 Cairo 语言，这是一种高效且图灵完备的编程语言，专门用于创建 STARK 证明。这意味着 StarkWare 需要开发文档、框架和其他工具来激活其开发者生态。 

Immutable X

Immutable X 是一个 NFT 平台，用于铸造和交易 NFT 和通证。该平台使用 StarkEx 打造专属的 zk-rollup。Immutable X 平台上 NFT 铸造和交易量达到数百万，而且即使在以太坊网络拥堵期间也可以保持较低的成本。 

Immutable X 也将在 StarkNet 上发布。有效性证明不会直接发布到以太坊上，而是先发布到 StarkNet 上，然后再通过 StarkNet 的 rollup 发布到以太坊上。Immutable X 可以利用 StarkEx 在 StarkNet 上发布应用链，为项目提供 layer 3 扩容方案。 

Zcash

Zcash 前身是 ZeroCash。名字中的「zero」指使用零知识证明技术来实现隐私交易。Zerocash 是早期出现的加密项目之一，推动了零知识证明技术在行业中的应用。 

Loopring

Loopring 是以太坊上的 DEX，支持订单簿交易，并且不托管用户资产。Loopring 接入了 Chainlink Price Feeds，服务几十万用户，交易量高达数十亿。 

zkSync 1.0

zkSync 1.0 是以太坊上的 rollup。它与 StarkEx 一样，都支持通证转账和兑换，但不支持智能合约。该协议由 Matter Labs 开发。

zkSync 2.0

zkSync 2.0 与 StarkNet 一样，也是以太坊的 Layer 2 扩容方案。采用了 volition 基础架构，可以支持智能合约。zkSync 采用 zk-SNARK 来验证交易，并采用 PoS 系统 zkPorter 来保障数据可用性。zkSync 2.0 和 StarkNet 的主要区别除了有效性证明之外，还有前者可以兼容 EVM。1inch、Alchemix 和 Curve 都计划在 zkSync 2.0 上发布。 

ZigZag

ZigZag 是一个去中心化交易平台，采用订单簿模式交易 ERC-20 通证。相比之下，大多数 DEX 采用的都是自动做市商（AMM）模式。ZigZag 的订单簿模式得益于 zk-rollup 强大的可扩展性。zkSync 注册表中的任何通证都可以在 ZigZag 中交易。该协议目前在 zkSync 1.0 上运行，但计划在 zkSync 2.0 和 StarkNet 上发布。 

Mina

Mina 是轻量级区块链，采用 SNARKs 创建容量最大为 22kb 的区块。项目可以在 Mina 上开发部署应用，并可以实现全部智能合约功能。 

零知识证明协议可以使用 Chainlink 去中心化的预言机服务提升安全保障并实现自动化。Web3 生态中的各个协议可以使用 Chainlink 信任最小化的服务来访问任何外部 API，并利用安全的链下计算来打造更高级的应用。 

零知识证明协议可以使用以下服务来提升 dApp 性能：

精准的市场数据——Chainlink Price Feeds 为 DeFi 经济保驾护航，为去中心化的稳定币、借贷协议以及交易平台等各种用例提供极其可靠且精准的市场数据。 

可验证的随机数——Chainlink VRF 可以创建随机数以及加密证明，并一起上传至链上进行验证。NFT 平台可以利用随机数，以公平可验证的方式铸造 NFT。区块链游戏可以利用随机数打造无法预测的游戏体验。 

智能合约自动化——Chainlink Keepers 是去中心化的交易自动化服务，可以自动触发关键的智能合约功能，比如结算限价单交易、执行清算以及 rebase 通证等。 

储备金证明——Chainlink 储备金证明可以基于加密事实自动验证储备资产，为零知识证明协议降低风险，提高透明性并避免 DeFi 系统性风险。 

跨链通信——跨链互操作性协议（CCIP）为协议提供通用的开放标准，用于打造安全的跨链应用，在 Web3 世界中传输通证、发送消息并触发交互。 

零知识证明与底层区块链和去中心化的预言机网络相结合，势必将推动区块链行业转型，项目团队将开发出可扩展性和成本效益极高的应用，并同时保障用户隐私。 

虽然其他的 Layer 2 解决方案可能会为某些应用提供更好的基础架构，但随着区块链行业的不断发展，zk-rollup、validium 和 volition 势必将获得更多个人用户和企业的青睐。 

Chainlink

企业专栏

阅读更多

金色早8点

比推 Bitpush News

Foresight News

Delphi Digital

区块链骑士

PANews

深潮TechFlow

链捕手

区块律动BlockBeats

DeFi之道

标签：ARKSTASTARSTARKSTARK币AceStarterASTAR

KuCoin热门资讯