作者：Felix, PANews
a16z Crypto推出了两项与 SNARK 相关的技术：Lasso和Jolt。其中Lasso是一种新的查找参数，可以显著提高证明者成本；Jolt（Just One Lookup Table）是一个专为与以太坊虚拟机兼容的Rollups设计的框架，一种利用Lasso构建SNARK VM的新颖方法。Lasso和Jolt可以显著加快Web3中的扩展和构建应用程序，它们共同代表了一种全新的SNARK设计方法，可将广泛部署的工具链的性能提高一个数量级甚至更多级。此外提供了更好、更方便的开发者体验，并使审计变得更加容易。Lasso和Jolt解决了三个关键问题：性能、开发人员体验和可审核性。
国际篮联为篮球世界杯推出NFT藏品:8月24日消息，国际篮联与区块链技术提供商Venly合作，为2023篮球世界杯推出NFT藏品。该NFT系列将在Polygon上铸造，包括Fan's Frenzy、National Pride、Ultimate Courtside和Golden Glory四组稀有度不同的NFT系列，目前该NFT系列已在国际篮联官网上架。[2023/8/24 18:19:00]
Lasso是一种新的查找参数，其中证明者承诺比以前的工作更少且更小的值。a16z crypto的研究团队表示，Lasso可以显著提高SNARK证明者的整体速度，与Halo2工具链等工具相比，性能提高十倍，从而有助于开发更快的ZK-rollups。预计优化完成后性能将提高约40倍。因此，该团队认为Lasso的证明者技术将超过主要以太坊L2扩展解决方案所采用的所有现有零知识SNARK证明者技术。
微软CEO纳德拉：企业元宇宙是融合数字世界和物理世界的基础设施堆栈的新层:近日，微软董事长兼CEO萨提亚·纳德拉（Satya Nadella）在全球合作伙伴大会Inspire上官宣了企业元宇宙（Enterprise Metaverse）解决方案。通过微软HoloLens、Mesh、Azure云、Azure Digital Twins等帮助企业客户实现数字世界与现实世界融为一体。Nadella表示：企业元宇宙是为了融合数字世界和物理世界，而创建出来的基础设施堆栈的新层。该平台融汇了物联网、数字孪生和混合现实。使用我们的元宇宙堆栈，你可以从数字孪生开始，建立一个丰富的物理或逻辑数字模型，无论是资产、产品还是复杂环境，都能跨越人、地、物及其相互作用。数字孪生实时绑定物理世界，你可以使用混合现实，监视环境并在其中协作。你可以运行模拟，可以应用人工智能，来分析和预测未来状态。他还说：玛氏和埃森哲已经在使用我们的元宇宙堆栈，通过复杂的数字模拟，实现供应链数字化和优化生产。在法国，政府人员求助于我们的合作伙伴Cosmo Tech和SystemaX，来建模和模拟一个地区的增长。他们使用Azure数字孪生和我们的数据和分析服务，确定应将新资源部署在何处，以及它们会对地区电网产生什么影响。[2021/8/20 22:26:15]
Jolt实现了“查找奇点（lookup singularity）”——这是以太坊基金会的Barry Whitehat最初提出的愿景，旨在实现更简单的工具和轻量级、以查找为中心的电路。相对于现有的zkVM，团队期望Jolt能够实现类似或更好的性能，而且重要的是，能够提供更加简化和易于访问的开发人员体验。
声音 | 王永利：Libra很难成为超主权世界货币:今日，前中国银行副行长王永利在微信公众号发文《 Libra很难成为超主权世界货币》，文章表示，与一篮子货币挂钩的做法本身就带来更大的挑战：一是一篮子货币的构成与管理难度很大。二是其吸引力存在不确定性。三是面临很大的金融监管风险。四是难以摆脱法定货币成为真正的超主权世界货币。综上，Libra尽管与一篮子法币挂钩在一定程度上淡化了其作为法定货币的代币性质，但根本上仍然只是法定货币的代币，难以成为真正的超主权世界货币，而且这种做法还大大扩大了其设计难度与运行挑战，其真正落地运行的可能性和实际效果并不一定比只与单一法币挂钩的稳定币，或者直接使用法定货币更好。[2019/7/6]
与现有方法相比，Lasso为实现zkVM提供了一条对开发人员更加友好且可审核的路径。
先前的SNARK设计方法将CPU指令制定为电路并进行手动优化——这是一项低级且易出现错误的任务，需要特定领域语言的专业知识。相比之下，不同语言生态系统的开发人员应该能够相对轻松地使用Lasso。
这是因为在Lasso中，一条指令是通过其子表分解来定义的：它的“大”查找表可以由一些较小的“子表”组成。更重要的是，这样的分解可以用高级编程语言简洁地描述。例如，一条指令只需50行Rust即可实现。此外，不同指令集中的许多指令在概念上是相同的，大量代码允许重复——例如，WASM、EVM 和RISC-V都指定相同的基本算术、按位和比较操作。
Lasso简化开发人员体验的方式也使其比以前的方法更容易审核。zkVM的可审计性尤其有价值，因为如今许多SNARK已经在区块链上获得了巨大的价值。由于 Lasso在Rust中实现指令逻辑，并鼓励跨指令集的代码重复，因此它将要审计的区域集中到相对较小且可读的代码库中。
目前，除了完全实现Jolt所需的工作之外，还有许多任务正在进行中或等待其他开发人员完成，包括：
实现/集成不同的多项式承诺方案，例如KZG的Multilinear Variants（PST、Zeromorph等）、Dory、Ligero、Brakedown和Sona
实现 Quarks 论文第六节中描述的产品参数优化
更广泛的基准测试和错误处理
利用SNARK递归实现高效的链上证明验证
PANews
媒体专栏
阅读更多
金色财经 善欧巴
元宇宙Lab
比推 Bitpush News
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。