NAR:“一流VC”搞开发：a16z crypto的两个SNARK工具_ARK

作者：Arrow@go2mars，来源：作者推特@ArrowCrypto_eth

最近在看一些海外加密基金对Crypto生态的拓展和创新。今天就来看看本月A16Z Crypto新推出的两个SNARK工具。尽量只聊什么东西可以解决什么问题。 

谈到SNARK那就先聊一聊zkSNARKs吧，实际上今天聊的话题中这是两个不同的方面。 

既然从zkSNARKs开始聊起，零知识的基本原理证明就不再赘述，这项技术具有完备性，正确性和零知识性三个特点，可以实现即证明了结论又不需要透露任何细节。同时，在同态加密的背景下，验证难度要远远低于生成证明难度。 

我们之前在聊Layer2的时候其实提到过ZK，比如Zk-Rollup，作为一种有效证明机制为以太坊的扩容提出了新的方案。之前大家忙着撸空投做交互的zkSync，其核心即使用ZK将多个操作包到一个证明里，在链下完成大多数计算工作。

马斯克发帖“一些特别的事情即将到来”短时对DOGE价格产生了积极影响:金色财经报道，马斯克在他的推特（现为X）帖子中写道，“一些特别的事情即将到来”。加密货币市场用户似乎将这条推文与狗狗币联系起来，长期以来，人们一直猜测狗狗币将被用作Twitter的支付方式。目前尚不清楚马斯克的推文到底指向什么，但它对DOGE价格产生了积极影响。

截至发稿时，狗狗币（DOGE）现报0.081009美元，近1小时涨幅2.9%，近24小时涨幅4.5%。比特币（BTC）现报29,340.6美元，近1小时涨幅0.1%，近24小时涨幅0.2%。行情波动较大，请做好风险控制。[2023/7/30 16:06:53]

zkSNARKs——零知识证明应用最广泛的技术

zk-SNARK，即“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”，即零知识简明非交互式知识证明。 

印度商业大亨澄清：没有在加密货币上投资“一卢比”:11月21日消息，印度商业大亨阿南德·马辛德拉（Anand Mahindra）表示，他没有在加密货币上投资“一卢比”。Mahindra分享了一些新闻消息的屏幕截图，这些新闻声称他使用加密货币投资平台赚了很多钱。对此，Mahindra表示是假新闻。（Deccan herald）[2021/11/21 7:02:49]

特性是①证明某个陈述为真但不揭露任何其他信息；②证明大小很小且易于验证；③无交互。 

实际上，这两种ZKP的主要类型：交互式ZKP和非交互式ZKP都是证明者（prover）和验证者（verifier）之间进行的过程，只是证明的交互流程不同。 

以Schnorr协议为例，交互式需要verifier生成一个随机数，而非交互式中则不需要这样的角色，prover可以自行生成证明给所有人验证。

火币全球站上线“一键杠杆”功能:据官网公告，火币全球站已于7月7日上线“一键杠杆“功能（自动借币、自动还币）。用户进行杠杆交易下单时可自动完成借币、还币操作，无需用户手动进行借还操作，从而实现杠杆的随借随用，灵活控制借币币息。

在此模式下，用户使用“自动借币”模式进行下单交易时，可以直接输入超出账户担保资产的金额进行下单，超出部分系统会自动进行借入并计息；自动还币是指，使用“自动还币”模式进行下单交易时，在用户交易完成后，系统会自动使用该笔交易所得对该币种的借币进行归还。[2020/7/7]

zkSNARKs的大概原理是：

“一流VC”搞开发：a16z crypto的两个SNARK工具

终于来到我们今天的话题了，也就是8月10号a16z crypto推出的两个SNARK工具——Lasso 和 Jolt。

北京市海淀区政务服务“一网通办”平台运用区块链等技术:2020年北京海淀区政务服务围绕企业和个人两个服务主体的全生命周期，以区块链等新技术应用为突破点，致力打造“全覆盖、全流程、全周期、全时段”的全场景式政务服务新生态。4月7日开始，涵盖营业执照、婚姻信息、残疾人信息、专利证书信息等4类国家级数据、17类市级数据、4类区级数据，共计25类证照材料的200余数据项在海淀区政务服务“一网通办”平台运用区块链等新技术，实现实时核验材料和身份。（科技日报）[2020/4/16]

SNARK（简洁的非交互式知识证明）作为一种加密协议：允许任何人向不信任的验证者，进行证明其知道满足某些属性的见证。 

 尤其是现在的应用是Layer2进行汇总，并向Layer1证明Layer2知道授权一系列交易的数字签名。这样就可以实现签名本身并不需要由Layer1进行存储和验证，也就更有利于扩容。

SNARK背景

由于许多区块链节点验证并记录每笔交易，因此在区块链上运行计算非常昂贵。为了避免更高的交易成本，开发人员通常会执行最低限度的链上计算来启用他们的应用程序。

SNARK在扩展区块链方面就发挥着核心作用：使应用程序能够在链下创建昂贵的计算收据，并且只承担在链上验证收据的成本。 

其中的“简洁”意味着这些收据很短。与重新计算每笔交易相比，可以用更少的工作量进行验证。

问题

但实际上，SNARK的计算成本也很高，而且难以审计。验证者需要被迫承担高度并行化的额外工作。 

性能更高的SNARK可以加速Layer2，也可以允许构建者解锁尚未设想的应用程序。

所以A16Z Crypto引入了两种新的技术：

①Lasso，一种新的查找参数，可以显着降低证明者成本； 

②Jolt，使用Lasso技术，为zkVM和更普遍的前端设计提供了一个设计SNARK的新框架。

这两个工具共同提高了SNARK设计的性能、开发人员体验和可审计性，加快促近了Web3中的生态构建。

目前对Lasso的初始实现，已经证明：其比流行的SNARK工具链 halo2中的查找参数加速了超过10倍。根据A16Z Crypto预计，当Lasso代码库完全优化时，速度会提高约40倍，同时Jolt在Lasso之上也会包含额外的创新。

查找参数（lookup argument）

查找参数（lookup argument）是SNARK 设计中的一个关键工具，该协议允许不受信任的证明者以加密方式提交到大型向量，然后证明向量的每个条目都包含在某个预定表中。 

SNARK后端让验证者对电路中每个门的值进行加密承诺。然后，证明者要证明：其所提交的值，确实可以对应于验证者检查程序的正确执行。 

目前，开发人员部署SNARK还是通过：用特殊的领域特定语言（将程序编译为多项式约束）编写程序或直接手动编码约束。 

但这样耗费人力物力，还经常有安全漏洞。Lasso 和 Jolt 就是来解决这三个问题的：性能、开发人员体验和可审计性。

这就是二者所能实现的功能。

简而言之：Lasso 引入了一种简化的 zkVM 方法，通过对大量结构化表执行查找来避免繁琐的手动优化电路，浪费更少； 

基于 Jolt 的虚拟机简单、快速且易于审核。 

并且共同允许SNARK用于现有的流行编程语言，而不仅仅是那些为任务而设计的语言。

金色财经

企业专栏

阅读更多

金色财经 善欧巴

web3中文

金色早8点

YBB Capital

吴说Real

元宇宙简史

标签：NARARKDEFDEFIFairLunarMARKETING币Mooni DeFiDEFI100Farm Token

莱特币最新价格热门资讯