Pantera共同体:当前ZK收拾方案和用例列表

文/Paul Veradittakit、Pantera Capital处理共同人； 金色财经小邹

个人资料区块链为安全、聚焦的生意开辟了新的道路，为聚焦金融和数字身份工作等繁荣铺平了路线。 然而，即使博得这些创建，持续的一系列限制条件也阻碍了对块链和加密硬币的更细化选择。 以下是区块链和加密硬币面临的一些主要牺牲者。

吞吐量：随着区块链和加密币选择的增多，收集越来越拥挤，买卖时间越来越晚，旧书越来越普及。

安全性：为了提高使用度和旧书进行安全性和解，造成安全的黑客攻击，急需资金和本领的声望。

隐私：人人都能看到大家区块链收集上的买卖，披露尖锐的财政信息，给集团及企业带来隐私挑战。

零学识(ZK )本领是为了束缚这些课题而产生的，会失去繁荣。 这一尝试于20世纪80年代末首次出现，但原本源于计算机迷信和明码学。 两个集团利用零学识独立时，可能不需要确认其本质的可靠性，并给出进一步的信息。 这意味着，实证者可能会向验证者证明证明是可靠的。 不需要经过其他简单的证明来弄清楚潜伏的细节。 这种能力有望提高区块链和加密硬币买卖的隐私性、安全性和可扩展性。

零学识证明了必须遵守三个根底属性：

完整性：假设证明为真，遵守规定协议的狡猾验证者将被狡猾的验证者确认其可靠性。

稳定性：假设被证明的证明为假，说谎的证明者为弗成，可以使狡猾的验证者相信其可靠性，即使可能，概率轻视也可能是无计可施。

零学识(假设实证为真，验证者不会获取除被证实以外的任何极度信息。

经过简洁的场面，深入讨论这个课题吧。

假设你想买房地产，你必须申请抵押贷款。 你必须把需要供给银行核实的尖锐信息提前发给你，但你还想失去秘密。 除此之外，我不期望银行在诉讼结束后保全所有数据并等待权力。

银行要求供应各种大局文件以评估贷款申请，席卷：

集体身份证，如驾驶派司。

确保财政稳健的支出实证。

东家的消息。

居住证明。

因为选择了零学识，贷款提供者可能没有看到这些信息就验证了所有这些信息。 相干文件可能被视为加密哈希值发送。 然后，贷款提供者可能会使用零学识证明计划进行验证。 在这种方法的帮助下，贷款提供者可能可以在不威胁申请人奥义和隐私的情况下验证数据的确定性。 剩下的，这个法国式可能会被重复，信息溢出向供应商验证，不会威胁隐私。

ZK通过加密领域的集线器改革来应对加密硬币，而零学识是改革玩耍法则的集线器能力，它提供了高度的隐私和收缩的劣势。 为了确保隐私，ZKP (零学识实证)利用数学本领，禁止在理论数据没有被泄漏的情况下验证信息。 剩下的，ZKP在紧凑的实证中保存了粗略的信息提供了收缩的优点。 减少这个验证所需的数据量提高了效用。 这在保存和处置稍受限制的区块链利用法中尤为重要。 此验证可用于在单个更新中验证批量交易或状态转换。 用这些法国式完成ZKP，有助于损害信息的安全性和隐私，同时减少了验证所需的数据量，提高了效用。

ZK可以释放行业潜力ZK束缚带来的寻衅潜力，在加密硬币的添加和精心选择上相当主要。 注意理解一些挑战和对行业繁荣的作用吧。

互操作性安全挑战：在高速发展的DeFi天下，互操作性应对无缝交易和无效交易至关重要。 另一方面，目前的束缚计划经常有重要的延迟，这可能导致延迟的、不可靠的生意。 由于买卖者恐怕要加紧停用地票，延迟恐怕对用户的心情有很大的作用。 剩下的，现在的束缚计划大概是空洞而深沉的安全保险，容易受到大型的收集打击和其他种类的马脚打击。 为了解决这些课题，新的束缚计划需要提供低延迟、高安全性、以及失焦的个性，禁止买卖者在DeFi生态中自豪地操作。

可扩展性课题：假设加密硬币要发挥其潜力，可扩展性是必须束缚的根本课题。 如今，最快的区块链每秒只能处置几百笔买卖。 这与到达环球领域、排挤数亿人所需的扩张功能相差甚远。 扩展性不仅由每秒的交易数定义，也由双候补模式定义。 如果人们想要统一使用加密的硬币来使用互联网，就需要更大的可扩展性。

隐私挑战：加密行业的很多人都很关注自己的隐私。 现在，聚焦于金融(DeFi )的事情都很清楚，这违反了根本的隐私典范。 人们期待以安全、不敏感的方式进行买卖，但DeFi现有的透明度牺牲了这一理想。 难点是找到在保护隐私的同时，维持DeFi一般工作所需的听力的能力。

在现在的ZK束缚计划上，有几个为什么要利用ZK束缚各种各样的课题的例子。

ZK桥： ZK桥正在改革我们对区块链之间房地产转型的管见。 这些网桥选择zk-SNARKs的能力，禁止在多个块链收集之间无效传输数据和房地产。 不需要目的委员会。 在这些系统中，利用法国公式，明确了区块链中一定的状态转移已经在另一个区块链中产生。 此块链可能会丢失另一个块链上最新块的摘要，并创建并发送zk-SNARK以同步新块。 zk-SNARK验证另一个块链的tip是否已从过去的状态前进到当前状态。 ZK网桥也是迈向他日的一步，他日，区块链更具互通性

zk-EVM：零学识EVM （zkEVM）是一个施行以太坊智能合约的假造机，并利用零学识证实来确保其确切性。它是以太坊零学识rollup扩充束缚规划的一个组成全体，该束缚规划经过链下算计以及保存来进步收集吞吐量。zkEVM天生证实以确保字节码（bytcode）拜候、读写操作以及算计被正确施行。它由三个全体组成：施行引擎、证实天生以及证实验证。zkEVM拥有主要意思，由于它也许经过零学识证实反省施行正确性并损坏奥秘信息，为以太坊智能合约供给隐私以及安全保险。这使得也许正在De-Fi、疗养保健、供应链等范畴建立安全、着重隐私的去焦点化利用法式（dApp）。

身份验证：身份验证是许多正在线办事以及利用法式的枢纽组成全体，但较早的本领常常须要表露集体信息。经过利用ZK证实来确认一集体的身份而没有供给一切信息，ZK本领供给了一种新的、更安全的身份验证方式。这为现有的法式供给了一个更具隐私性的代替规划，并为安全的正在线买卖供给了新的路子。基于ZK的身份验证系统尤为有利于存眷隐私以及安全的构造以及破费者，并且有大概彻底改革正在线银行、电子商务等行业。

ZK DEX：零学识去焦点化买卖所（ZK DEX）是一种新的、远景光辉去焦点化买卖所，它利用零学识证实本领，利用户恐怕以全面隐私安全的办法买卖加密钱币以及其他数字物业。与传统的去焦点化买卖所（一切人均可以拜候以及监控众人帐本）分歧，ZK DEX禁止用户匿名买卖，而没有泄漏相关自身或买卖的敏锐信息。这种隐私损坏功能是经过ZK算法完结的，该算法利用户恐怕正在没有展示一切极度信息的状况下证实其买卖的无效性，并有助于减缓诸如超过买卖等课题。除了隐私以及安全方面的优点，ZK DEX还供给了进步可扩充性以及吞吐量的潜力，由于其支柱更无效的定单匹配以及结算。所以，ZKDEX被视为焦点化买卖所的一种有远景的代替规划，供给了兼顾齐美的办事——既有去焦点化买卖的安全性以及隐私性，又有焦点化买卖的效用以及速率。

鉴于现在零学识本领的兴旺繁华，多少创意项目一经告竣开垦，以束缚漫溢行业以及范畴的各类难题。这些项目席卷现代的第二层（L2）束缚规划、个人钱包、基于ZK的跨链物业转化、着重隐私的买卖等，它们运用零学识明码学来完结对于敏锐信息的安全以及奇奥验证。让咱们来看多少个例子：

Zcash：Zcash是一个去焦点化的支拨收集，埋头于隐私，利用零学识证实（ZKP）正在众人区块链上安全匿名地发送买卖。这种加密体制使两边恐怕正在没有泄漏下层数据的状况下验证信息，禁止Zcash用户损坏他们的财政隐私。收集供给了两种地方：透明的t-地方，也许正在区块链上监督，樊篱的z-地方，全面加密且弗成追踪。用户也许经过利用z-地方来确保他们的买卖是全面隐私的，这使得Zcash成为最安全、最奥秘的加密钱币之一。随着时光的推移，该收集不停繁华，推出了Halo ZKP等功能和樊篱优先的Zcash钱包，排斥了越来越多的机构支柱。该收集对于ZKP的发觉性利用使其成为隐私币范畴的领军者，并且正在爱戴金融隐私的用户中拥有老实粉丝。

StarkWare：StarkWare是Pantera的投资配合公司，创制于2018年，目标是进步区块链的可扩充性以及隐私性。其旗舰产物StarkNet以及StarkEx旨正在经过运用zk-STARK证实本领的力气来束缚现在区块链系统的难题。StarkNet是一个基于以太坊的去焦点化ZK-rollup，利用ZK-STARK证实方式来确认链下买卖，削减以太坊收集的算计压力。另一方面，StarkEx是StarkNet的焦点化版本，异常为DeFi买卖利用法式建立。它播种了辽阔乐成，锁定了6.96亿美元的总价值，累计买卖额为6350亿美元，发行了6050万件NFT。因为共享证实者（SharedProver）本领，StarkNet以及StarkEx都运用了zk-rollup，并由STARK证实启动，禁止施行低老本买卖。其余，StarkWare的明码学证实供给了零学识、透明、简捷以及后量子安全，使其成为一个弱小的区块链挑选。StarkWare的开创人Eli Ben-Sasson是有名的算计机迷信教授以及STARK证实的毗连创造人。他还为Z Cash做出了主要奉献，进步了StarkWare团队的专科度。该项目已将Uniswap V3纳入其平台，这是完结以太坊可扩充性的主要一步，并束缚了现有区块链系统面临的一些根底难题。

Braavos：Braavos是Pantera的投资配合公司，是基于StarkNet（第二层ZK Rollup）的齐全加密物业办理束缚规划。它供给了一个基于智能合约的钱包，进步了安全性以及用户感受功能。钱包由两全体组成：利用法式以及链上账户智能合约，即账户抽象。这使得正在买卖被处置以前也许对于其利用随便逻辑，进而推广了安全性并改善了用户感受。帐户抽象支柱多挪用、多因素身份验证、帐户宰割、paymaster等功能。内置的Hardware Signer经过运用帐户抽象以及生物判别身份验证来损坏钱包并避让偷盗，这让异常的硬件钱包正在一切理论用例中显得过时了。有了这些功能以及先辈的安全办法，Braavos旨正在让一切索求掌握其加密钱币独立性的人都能简捷无忧地利用加密钱币。

Succinct La后天3晚上bs：Succinct Labs在开垦一种无需信赖的互操作性束缚规划，利用链上轻客今天1早上户端以及zk-SNARK本领安全地连贯以太坊以及明天2下午Gnosis链。该公司努力于完结无答应互操作性的他日，并运用共鸣证实建立了一个信赖最小化的跨链桥。该协议利用链上轻客户端正在目的链的施行境况中验证源链的共鸣，这些客户端跟踪每对于通信链的区块头，并依附于下层L1链的共鸣所供给的经济安全性，而没有做一切极度的信赖假定。

Brine：Brine是Pantera的投资配合公司，是一个独一无二的DeFi平台，为加密钱币买卖员以及投资者供给齐全的束缚规划。它正在无告急、无gas、加紧以及低用度的境况中贯串了买卖、DeFi以及现货买卖的诸多优点。这项本领清除了信赖、老本、速率、感受以及震动性之间的衡量，进而带来更无缝的用户感受。Brine受益于这项本领的可扩充性、安全性以及切实性，由于它是建立正在Starkware弱小而安全的根底办法之上的。该平台的匹配引擎的容量为600,000 tps，也许处置高容量时段买卖，并供给立即定单施行。这让它成为高速买卖的绝佳路子。它是一个基于定单的平台，为加密钱币物业的采办以及销售供给透明有序的墟市。Brine为加密钱币买卖者以及投资者供给了一种正当可行的代替规划，买卖代价仅为0.1%，并且没有gas费。其余，该平台的跨链功能使买卖员恐怕从一个dashboard办理他们的资金，进而更轻易办理他们的投资配合并做出理智的买卖决议。因为Starkware本领的极度安全性以及切实性，Brine被定位为DeFi范畴的昭著合作对于手。

Axiom：加密可编程性方面的晚进展一经完结了无需信赖的算计，但实行起来对于智能合约开垦人员来讲仍然生存闭塞。Axiom经过供给智能合约来拜候一切链上数据，并经过三步历程（读取、算计以及验证）对于其施行繁复算计，进而束缚了这个课题。这将孕育颠末ZK验证的输出，也许被一切卑劣智能合约利用，进而孕育更具表达力以及可托赖的去焦点化利用法式。它有许多潜伏的利用，席卷去焦点化身份、无需信赖的会计和安全投票。随着智能合约恐怕拜候一切链上数据并恐怕施行随便算计，Axiom在彻底改革区块链的扩充办法，并为他日稳重以及值得信任的去焦点化利用铺平路线。

Mina：Mina Protocol是Pantera的投资配合公司，是O(1) Labs开垦的区块链收集，夸大安全性、可拜候性以及去焦点化。与其他区块链分歧，Mina选择“轻型”根底办法，利用权力证实（PoS）共鸣以及zk-SNARKs来升高收集共鸣所需的算计才略。zk-SNARKs被用作区块链概要，蕴含了区块链无效性的基于元数据的证实，这使得更小的数据也许被处置，并匆匆进一个更平易近主以及去焦点化的收集。Mina Protocol的少量据集禁止用户检察并验证整体区块链，还兼容去焦点化利用法式（dApps），支柱snark兼容的利用法式或“Snapps”利用来自各个链的数据，而没有泄漏用户信息。凭仗其改革的本领，Mina协议是去焦点化金融（DeFi）范畴的主要合作者，由于它安全地将实际天下的数据带到区块链，并发觉了彻底改革各个行业的机缘。

零学识证实本领的繁华正匆匆进区块链生意猎取远大掘起。该系统束缚了区块链面临的多少最急迫的课题，席卷可扩充性、隐私性以及安全性课题。因为ZK的利用，以太坊收集也许处置更多的买卖，用户数据经过加密保险失去损坏。这项本领的延续革新为区块链的他日供给了辽阔的指望，并经过供给安全高效的束缚规划来颠覆各行业。随着时光的推移，见证ZK本领若何作用并塑造区块链生态将是一件乐趣的事。