来到《ZK之屋——脉冲检查》,这是零知识领地域最新发展、见解和分析的可信来源。本报告的每一个版本都探讨了该行业的前进和关键讨论,提供评论和分析,特别关注杰出的研究论文文和zkVM,以及基于 zk的L1、L2和跨链的讨论。
2024 年上半年见了多个目的地实质性开发和发布,包括重要的 zkVM 升级级、实质性的合作关系和多协升级。研究工作继续突破界面极限,论文文发布的重点是 zkVM 架构、简化了 Groth16 zkSnark 的论文点、如何高效率地从 zk 电路中出发 zk 电路中载复杂的非原生算术运算等。
ZKM、RISC Zero、Succinct、a16z、Nexus、Lita、Mina、Aleo、Alep Zero、Horizen、Citrea、GOAT Network、Aztec、Taiko、Scroll、Starknet、Polygon Miden、nil Foundation、zkLink、Matter Labs、Optimism、Starkware、零知识直播客
通过代数交互式互联网证书明示为 zksnark 提供易失性质和持久内存 作者:亚伦克斯·奥兹德米尔、埃文·劳弗和丹·博内: eprint.iacr.org/2024/979
本文探讨了从零知识回复路中高效率载入复杂的非本地算术的技术。这些方法包括载不同组中离散对数的相等性,不进行椭圆曲线运算量乘法,以及使用拒绝的绝对值和查找 SENSISSASSISSESSIGNESSIGNASSIMENSESSIGNESSIMING AES KNEWESSIGNESSIMING AES KNEWESSIGNESSICALS 作为知识。作者对实施情况进行了基准测试,以证明所提方法的实用性和效率,显示 zksnarks 的显著性能改进。
ICICLE v2:用于编码 ZK Prover 以专有硬件上运行的多格式 API 作者:Karthik Inbasekar、Yuval Shekel 和 Michael Asa: eprint.iacr.org/2024/973
ICICLE v2 是一个高级密码库,在使用 GPU 的 GPU 加速 ZKP。它通过原生CUDA代码实现了各种硬件原语,促进了超高效的模块化算术和群组运算。该库的 “图块” 架构由 CUDA 内核管理提供,包括一个抽象复杂度多项式运算的多格式 API。这种与设备无关的框架架构可确认在不同的硬件环境下实现高速,使研究人员和开发人员无需深度入场的硬件知识即可进行原型设计和实践,从而,简化了 ZKP 应用程序的开发。
论文证书明配对 作者:安德里亚·诺瓦科维奇和利亚姆·埃根: eprint.iacr.org/2024/640
本文介绍了该有效证书椭圆曲线配对的方法方法,这个对于 SNARK 和 BLLABSLABS 的名义等着是至关重要的。它建议使用残差检查代替最后的指示数化步骤,并且,在米勒回复路中预示着计算机必不可少的行,尤其是在第二轮配对参数固定的时候。此外,它还建议建议合并商数,以更有效的地域为证更高的关系。使用 BN254 曲线演示的这些优化特别有利于以太坊和比特币币的链接上进行验证,从而 PRITHENGHATHERAM 和 PITCOINS 的链接上进行验证,从而 TRIGHATHWARKHATHWARK 配对的优化特别代表的效率和可扩展性。
ROM 中的 zksnarks 具有无条件的 UC 安全性 作者:亚历山德罗·基耶萨和贾科莫·芬齐: eprint.iacr.org/2024/724
本文探讨了在随机预言中的讨论(ROM)中实现了 zksnarks 的通用可组合性(UC)安全性所在。作者证书,现实的zksnark结构,特别是 micali 和 BCS结构,本质上无需修改,即可满足足部安全要求。这一结果确切地保住了这些广大使用的 zksnark 可以安全地应用于现实世界的应用程序,即使集成到更大的系统中并受到了自适应对手的影响,也可以提供强大安全保障,而以前的方法通常会降低 UC-Security 的效率或简单性。
博学家:Groth16 不是 “极限” 作者:海尔格·利普马: eprint.iacr.org/2024/916
该论文文提到了新的 zk-snark Polymath,正在通过专栏注释位长而非群组元素来改进 groth16 的参数长度。Polymath 用 G1 中的多项式承诺取代了 Groth16 的 G2 元素,从而减去了通信开销。它使用的是平方算术程序(SAP)约束系统,采集了新颖的公共输入验证和多项式开放方法。尽管 SRS 更长,失败者速度更慢,但是 Polymath 通过详情尽的参考搜索进行了优化,在 192 位安全等级上显著减小了通信规模并提高了证书效率,使其成为高安全性应用的理想之选。
Sumcheck Prover 的时光空权衡 作者:亚历山德罗·基耶萨、伊丽莎白·费德勒、贾科莫·芬齐和安德鲁·齐特克-埃斯特拉达: eprint.iacr.org/2024/524
在《Sumcheck Prover 的时空权衡》中,作者亚历山德罗·基耶萨、伊丽莎白·费德勒、贾科莫·芬齐和安德鲁·齐特克-埃斯特拉达介绍了一系列列多线性求和协议的证人算法。这些算法提供了新的时空权平衡,平衡了先前实现的对数空中间和超线性时间以及线性空间和时间及线性及线性空和时间方法。通过引擎入参数化算法系列,作者可以进行灵感活的调整,而从时间和空中间隔效率率之中实现所需的权衡。结果显示具体效率显著提高,这表明这些新的权衡为 zksnarks 和其他依赖 raimsum Checksnarks 的应用程序带了实际好处。
子星人 作者:乌尔里希·哈伯克、大卫·莱维特和沙哈尔·帕皮尼: eprint.iacr.org/2024/278
本文介绍了 Circle Starks,这是一种利润的圆形曲线实现可扩展和透明知识证(Starks)的新结构 x2+y2=1x^2+y^2=1x2+y2=1
在有限场景上,专门针对梅尔森素数进行了优化 p=231−1p=2^ {31} -1p=231−1
。Circle Starks 采访快速立叶变换 (FFT) 来实现高效的多式插值和低度度测试,从而,显而易见地改进了证书组合和验证。这种结构消除了对基于椭圆曲线的设置和复杂的代数几何的需求,使其更简单、更易于使用。基准测试表明,与传统的斯塔克斯相比之下,速度提高了1.4倍,显而易见,它在从应用中的实际效率率和可扩展性中脱颖而出。
探测索子Starks 通通过 维塔利克·布特林: vitalik.eth.limo/general/2024/07/23/circlestarks.html
在《Circle Starks》报道纸张发布后,维塔利克·布特林写了一篇博客文章 “探索子斯塔克斯”。简而言之,circle starks是一种创新的方法,通过将zik-snark和zk-starks集成来提高 zk-snark 的效率。核心心理学围绕着利用了两种类型的独家优势,在零证知识明中实现卓越越的越南。
CircleStarks方法利使用了zk-snark的简介和实用效率,同时结局了zk-starks的可扩展性和透明度。这个种类的组合在优化证书明生成和验证证书流程,特别是在于区块链环境中的复杂计算机任务。通过使用StarksforcessforcessNARK的循环证书系统,该死的法可确认在不影响性能的情形下增强安全性和可扩展性。
小特性场景上的求和校为争议 作者:贾斯斯·泰勒: people.cs.georgetown.edu/jthaler/small-sumcheck.pdf
贾斯斯·泰勒与苏亚什·巴加德和尤瓦尔·多姆共同人写了一篇主题为 “小特场上的求和校争议” 的论文,他们在论文文中提出了一种优化,求了一种优化,并求了一种优化,为中国证券交易者实现了新方法法。这种方法将在基础字段内保持很大一部分乘法保持,而显而易见地降低了计算机成本。这份研究对现代 zk-SNARK 具有重大的意思,通过最大限度地减小与场地扩展乘法相关的计算机开拓来提高其效率率和可扩展性。这一进步需要高性能和低速延迟的应用程序尤其相关。
了解了 zkMIPS 的证书架构 作者:卢卡斯·弗拉加:
zkm.io/blog/开始了解 zkmips-proving-architecture
ZKM 高级研究员卢卡斯·弗拉加写了一篇全面的文章,解释了 zkmips,这是 ZKMIPS,这是 ZKMDESIGNS 的零知识证书系统,这是在 SERVERSES MIPS 程序的正确定执行中。本文对zkmips架构进行了深入的分析,并详细说明了过往的过程,包括将程序划分为几个部分,使用Stark和Plonk证书明以及潜入中的groth16证书进行链接上验证。
ZKM 发布了一篇重要的新论文——《zkmips:高级规范》,它全面概述了 zkmips(第一个支持 MIPS 指南集合并支持 Golang 的 zkVM)程序将如何编译成简介的证书。它详细介绍了该程序的详细细节,包括如何管理通用的寄宿存档器、存储器状况和指导令,并详细解释了计算机将如何转换成多式形式,这对于创建简化证书是至关重要的。这包括将计算机轨道编解码为多项格式,确认通过算法术进行有效验证,以及使用交互式互联网预言机证书(IOP),例如用于有效证多项式属性的starks和Logup: Whitepaper.zkm.io/new_zkmips_White_paper.pdf
ZKM 还推出了他们期望待遇已久的验证服务,在取消使用 zkMIP(目前在测试网中)时段的硬件限制。该服务处在开发阶段,必须进行全面测试,才能将其完全集成到生产环境中,以确认其符合安全性和性能基准。那某些人有兴趣的访问证书来开发的 POC 应用程序的用户必须通过 ZKM 的应用程序门户进行申请申请: zkm.io/申请申请。
RISC Zero 推出了 zkVM 1.0,这是一款可用于生产的通用型 zkVM,支持 linknoCumphine 和link上验证,消除了与周期计数和汽油费相关的限制。pugrapgemplensukensuplectromplex的逻辑编辑。zkVM 架构包括延期继续,允许将大型程序分成比较小的段落以进行并行证和固定的内存需求,还包括包括归还证书,后者将多次比较小的证书合为一个全面的证书。它们是可以与任何支持设置的 RISC 零验证器的 rackLinaCompacemContent: risczero.com/blog/hello-zkvm-1-0
他们还宣传了性能升级,包括过了到基于 GPU 的测试,预计这将使性能提高近四倍。除此之外,还引入了新的加速器电路来优化 RSA 和 Keccak 函数数等关键操作正在运行。Steelbrox架构的实力还是在简化与分解链状态下的交互作用,而从此提高这些操作的效率并降低相关成本: risczero.com/blog/zkvm-performance-upgrades-roadmap---Q3-2024
SUCCINCT最近推出了sp1测试网,该测试网引擎入侵了STARK归者,通过对兼容EVM的链接上实现了快速的端到端证书。此更新还包括对 Rust 标准库和可定义的自定义预编程的内容,这些预编译器在优化常见的从属操作的作品,例如哈希和椭圆曲线计算: blog.succinct.xyz/sp1-testnet/
的贾斯·泰勒 a16z Crypto发布了一篇题为 “SNARK设计的新时代:发布Jolt” 的文章,其中详细介绍了最近发布的Jolt zkVM背后的创新。Jolt 在 SNARK 结构中引入了一种新颖的设计,具有增强的模块化、效率和与各种 zkVM 的互操作性: a16zcrypto.com/posts/article/a-new-era-in-snark-design-releasing-rele
贾斯汀·泰勒后来发表了一篇题为 “理解Jolt:澄清与反思” 的文章,该文章进一步详细阐述了Jolt,重点介绍了其使用基于和校验的多项式交互式预言机证明(PIOP)以及整合Binius承诺计划以提高效率的情况。本文还讨论了使用查询进行操作、模块化改进和社区贡献: a16zcrypto.com/帖子/文章/理解震惊澄清和反思/
Nexus宣布发布Nexus 2.0,其中引入了多项关键创新,旨在增强其zkVM的功能和性能。此更新包括 Jolt、Hypernova 和新的 SDK 的集成。
由 a16z 开发的 zkVM Jolt 已集成到 Nexus 2.0 中,以帮助优化性能。Jolt 采用套索查询参数和基于 sumcheck 的方法等技术,支持 RV32I 指令集,并专注于优化的多项式承诺方案,这些方案可提高计算效率并支持 Rust。
Hypernova旨在确保安全高效的数据处理,从而在整个网络上实现更快、更可靠的交易处理,而新的SDK为开发人员提供了一套全面的工具和资源,用于在Nexus平台上构建和部署应用程序: blog.nexus.xyz/nexus-2-0-jolt-hypernova-anda new-sdk/
Lita 已经宣布了 Valida zkVM 及其 C 编译器工具链的 alpha 版本。Valida 采用 zk 优化的 ISA 设计,利用 LLVM 基础架构,使开发人员能够编译、运行、验证和验证 C 程序。这种设置有望显著提高证明生成速度和效率。该工具链支持主流编程语言,旨在在未来的更新中扩展对 Solidity、Rust 和 C++ 的支持: lita.foundation/blog/宣布litas-valida-c-compiler-zkvm-迈向真正通用zk的第一步
Mina Protocol 最近完成了伯克利升级,将 Mina 的技术引入了更广泛的应用,从简单的支付扩展到更复杂的现实世界项目。Mina 以递归的 zk-SNARKs 为核心,提供了单一、可重复使用和可组合的证明系统,从而实现了经过验证的语句的开放数据库。该基础架构允许 Mina 生态系统中的不同应用程序在彼此经过验证的数据基础上进行无缝交互。
伯克利升级通过提供去中心化和保护隐私的环境来支持各种应用程序,包括zkKYC、zkIdentity、zkVoting、zkGaming和zkDesci。Mina 的方法消除了数据冗余并减少了状态膨胀,从而确保了可扩展性和效率。开发人员可以利用Mina的一切证明来增强隐私、可定制性和可组合性,从而进行链下构建和链上验证: minaprotocol.com/blog/reintroding-
Aleo在通往主网的道路上取得了重大进展,实现了关键里程碑,包括CanaryNet的推出,弃用Devnet转而使用孤立的社区运行的开发网络,以及引入测试网测试版。CanaryNet现已公开发布,允许立即访问新功能,而测试网测试版则为进一步测试提供了一个逼真的类似主网的环境。
主要更新包括实施 ARC-0041 以增强安全性,启动奖励为15.5万美元的 ARC-0041 审计竞赛,以及对Coinbase Puzzle和ARC-0020 代币标准的广泛测试: aleo.org/post/主网之路更新/
Aleph Zero 通过利用 Halo2 验证框架并实施各种优化(例如多线程、调整 Merkle 树精度、采用 Poseidon2 哈希函数)实现了亚秒级的验证时间,将典型桌面硬件上的 ZK 证明生成时间缩短至 1400 毫秒: alephzero.org/blog/zk-operations-Operations-已优化为不到一秒钟/
Horizen的社区投票赞成Horizen 2.0升级,该升级旨在针对ZK应用程序优化区块链,解决Horizen主链和EON使用的旧技术堆栈的局限性。此次升级的重点是提高$ZEN的网络性能、安全性和实用性,ZenIP 42406中概述了全面的战略计划: blog.horizen.io/horizen-ecosystem-h1-2024-report/
Citrea推出了 “Clementine”,这是一项基于BitVM的信任最小化双向挂钩计划,旨在促进比特币和Citrea之间安全高效的互动。关键组件包括用于轻型客户端证明的递归零知识证明 (zkP)、用于锁定和锁定的多重签名机制以及确保运营商诚实行事的 Connector Source UTXO 系统。Clementine的目标是在不需要比特币软分叉的情况下增强安全性并降低信任要求: blog.citrea.xyz/揭幕克莱门汀/
Citrea还推出了公共开发网络,使开发人员和用户能够将比特币作为数据可用性层进行测试。这标志着比特币首次以这种身份使用,通过比特币提供基础数据可用性,促进了Citrea上去中心化应用程序(dApps)的开发和测试: blog.citrea.xyz/citrea-public-devnet-live/
GOAT Network被宣布为第一个充分利用ZKM技术堆栈的项目,特别是利用ZKM纠缠汇总框架的项目。该计划引入了分散且安全的比特币第 2 层解决方案,该解决方案本机扩展了比特币的功能。通过整合ZKM的zkMIPs、独特的乐观挑战协议和去中心化排序器,GOAT Network旨在增强比特币交易的安全性和可扩展性,为比特币持有者提供可持续的收益: goat.network/
GOAT Network发布了他们的白皮书,详细介绍了其平台的技术基础和运行机制,概述了基于BitVM2的乐观挑战协议(GOAT-OCP),该协议可确保链下计算的原生比特币级安全性。它还重点介绍了为去中心化排序器操作引入的基于比特币脚本的锁定机制,从而增强了交易处理的活性和公平性。本文进一步讨论了GOAT网络的模块化架构,包括去中心化证明网络、中继器和桥接合约的作用,旨在实现可扩展和安全的比特币第二层解决方案: drive.google.com/file/d/1ytry_q3uqbguygrutsk20zv1quscojrx/View
Aztec Network推出了沙盒Alpha计划,为开发人员提供了预先访问其默认私有智能合约平台的权限。该计划侧重于支持隐私保护的去中心化应用程序的创建和测试,允许参与者探索该平台的功能,包括可编程的隐私和可扩展的保密交易。alpha计划提供工具和支持,以确保以太坊生态系统中以隐私为中心的功能的无缝开发和集成: aztec.network/blog/宣布阿兹台克沙盒alpha程序
阿兹台克人最近宣布了首届以太坊基金会zkGrants的获奖者,该基金会专注于利用Noir的项目,Noir是阿兹台克人开发的一种开源域名特定语言,用于安全和无缝地构建保护隐私的ZK证明,并简化以隐私为重点的应用程序的开发。获奖项目涵盖多个类别,包括 DeFi、身份验证和数据隐私: aztec.network/blog/宣布首届 ef-zk-Grants-Wave 的黑色奖得主
Taiko 成功地在以太坊主网上启动了其协议。主网发布包括部署Based Contestable Rollup,它结合了基于排序和具有多重证明的竞赛机制。该架构支持针对 ZK 验证速度进行了优化的 SGX 证明,并计划在未来添加更多有效性证明。此次发布涉及一条去中心化之路,从完整的训练轮开始,逐步实现完全的DAO控制。最初的区块提议和验证由Taiko团队处理,以确保网络的稳定性: taiko.mirror.xyz/pizjv30fvjszuweg-da7gs6f8qedlc4ckkebqy3ptt8
Taiko还详细介绍了他们使用多重证明系统的方法,Raiko多重证明系统允许提交和质疑各种类型的证据,通过消除单点故障来增强安全性。Taiko协议目前支持新加坡交易所的证明,并计划整合更多的有效性证明,例如使用risc0-zkVM和SP1 zkVM的证据。
Scroll 实施了居里升级,该升级侧重于气体压缩技术,以提高其 zkeVM 第 2 层解决方案的效率和性能。此次升级旨在显著降低天然气成本,并引入先进的数据压缩方法,优化区块链上交易数据的存储和处理: scroll.io/blog/压缩 gas-scrolls-curie-upgrade
Starknet背后的主要开发公司StarkWare宣布计划开发一款名为Kakarot的新zkEVM,这将使开发人员能够使用以太坊智能合约的通用语言Solidity,从而使Starknet更易于使用。Kakarot 目前正处于 “公开白名单” 阶段,适用于部分开发者: cryptonews.net/news/blockchain/29080786/
Starknet还推出了Starknet over Bitcoin计划,旨在使用STARK证明扩大比特币规模。这一发展取决于比特币改进提案OP_CAT的采用,并将Starknet定位为以太坊和比特币的潜在第二层解决方案: starkware.co/scaling-bitcoin-scaling-bitcoin用于大规模使用/
Polygon Miden推出了Alpha Testnet v3,引入了带有瞬态备注的亚秒级订单更新,无需立即进行链上记录即可实现快速交易链接。此外,交易ID现在包含在区块中,便于跟踪交易包含情况。
此更新还包括允许直接在浏览器中运行 Miden 客户端 Miden 的 no-std 客户端,以及用于将自定义元数据注入笔记的 Note aux 字段。已经进行了全面的代码重构以提高稳定性和可读性,同时还增强了CLI,以提高可用性和美观性。展望未来,Polygon Miden计划推出Rust编译器、预言机支持和网络交易,以进一步扩展其功能和开发者工具: polygon.technology/blog/polygon-miden-alpha-testnet-v3 已上线
零基金会公布了他们的公开路线图,重点介绍了他们即将推出的zkSharding Devnet。这是 zkSharding 的第一个概念验证旨在通过使开发人员能够部署合约、与合约交互以及演示同步和异步合约调用来解锁以太坊的横向扩展。后续阶段包括2024年11月的生态系统测试网(V1),重点是超可扩展的应用程序和基础设施改进,以及2025年对测试网V2和V3的进一步完善,最终在2025年第四季度推出主网Alpha,这将引入zkeVM+和各种优化: nil.foundation/博客/帖子/公共路线图
ZKM 发布了一份开创性的精简论文,详细介绍了他们的名字为 Entangled Rollup 的信使最小化的多链互操作性基础架构,通过其最先锋的归来者 zkvm (zkmips) 在标准安全假设中提出 zkrollups 的底层原语: zkm.io/entangled-rollup-light-paper
Entangled Rollup 通过将 Rollups 集成到多个区块链基础架构上,通过归还原的零知识证书来实现同步,从此消除了对传统桥的需求需求。这种设计确认了保守了原生安全,减少了流体性分散,并简化了多链环境中的开发人员和用户体体验。该架构支持无缝隙的跨链资产转移和状态同步。
简洁已与多边形合作,将 SP1 集成到多边形的 AggLayer 中。这种人是通过生成悲观看的依据来确认跨链接的互操作性,这些凭据对每条链接都持怀疑态度,以保护共享。悲观的逻辑可以用普通通的 Rust 代码编写,而将开发时间从几个月缩短到几周。SP1 以预编为中心的架构构可确认保高,尤其适用于所涉及大量哈希的任务业务,例如使用 Keccak 哈希函数数验证默克尔证书: blog.succinct.xyz/polygon-sp1/
zkSync 推出了弹性链,该架构构在当前的多链接系统的局限性。Elastic Chain 在创建可扩展的 ZK 链接网络,包括汇编、有效和意向,由多个组成的组合:ZK 路由器,用于管理网络状况、链接注册和共享流动性;zk 网关,它促进 zk 链接之间的相互操作性并作为跨链桥接提供更快的确认性;以及 ZK 链接本身,即自主汇编、有效性或音量使用 ZK 堆栈框架构建的。这些组合通过ZK网关和以太坊智能合约相互连接,允许用户使用单一地址和标签进行跨链交易,提供低成本、安全和快速的交易: zksync.mirror.xyz/bqdsmulluf6alwbgwokoa587eqcfzq20ztfzq20zq20ztfzq20ztfzq20ztfzq20ztfz20ztf7zq20
联盟已宣布启用其公共测试网。联盟测试网在开发人员和用户提供一台平台来测试联盟的互动操作性设计的特性和功能。主要功能包括提高高安全性、可扩展性和用户友好的界面: union.build/blog/union-public-test
zkLink推出了Nova,这是一个聚合的第 3 层汇总网络,在增强区块链生态系统的可扩展性、安全性和操作互操作性方面。zkLink Nova 在将多个 3 层汇总整合到一个统一的框架架构中,利用 ZKP 来优化性能并降低低交易成本。zkLink Nova 的架构构在将来有第 2 层次解决方针的功能集成到更高效、更具可扩展性的第 3 层次基础架构构中,来解决现实有第 2 层次解决方针的固定局限性: blog.zk.link/简介 zklink-nova-the-industrys-firs-firs-firs-getwork-ad495a91da99
一个值得注意的事件是 Matter Labs 试图为 “ZK” 或注册商指标,这在社区内引擎发起了重大的争议。此举被认知为与该域的开源精灵背景而已,随之而来的是广义的反馈。Matter Labs放了商标申请申请,重申请了社区对ZKTECHNALL的全部权利和管理权。
Optimism 基金会正在与 O (1) Labs 和 RISC 零合作启用一个项目,重点是将零知识证书整合到他们的生态系统中。该计划在增强 Optimism 第 2 个层次解决方针的安全性和可扩展性。
StarkWare 最近宣布其证书技术取代了重大的突破,据称使用了该公司最新的从证明器 “Stwo” 创造了新的世界纪录: starkware.co/starkware-newproving-record/
2024年7月11日,在布鲁塞尔的ETHCC期间,ZK成功之家举行了又一次聚会,邀请了业内一些最聪明的人才,他们发表了教育主题演讲和演讲,例如巴塞尔大学博士的选手马蒂亚斯·纳德勒、ZKM的帕维尔·西内尔尼科夫、zkpass的AETOS HUTOS等 o和zkm高级研究员卢卡斯·弗拉加的主题演讲和演讲,以及一些专长小小组讨论会像 Polygon 的 Jordi Baylina、zkSync 的 Daniel Lumi、Scroll 的艾米丽林、ZKM 的郭明、RISC 零的拉米·哈利勒、来自 Sarah Choo 的杰杰出人物zkLink、Mina和 01Labsfielfielkae 利、Aleo的扎克·雪雷布、来自starknet的Gnana Lakshmi等,他们讨论了从证书明系统和监控管道合规性到在区块链互操作性和可扩展性中使用ZK的所有内容。
这一天以热闹的 “欢乐时光” 结束了,与他们会通过美味的食材和饮料的交叉流和分享想法来实现,并庆祝所有参与者的集体成就。从本期《House of ZK》上来看,透视露的事态发展来看,很明显,我们都应该因为我们这个领地取消的感觉到非常自豪,也该为即将发生的事件感到兴奋。
House of ZK最近在纽约市举行了即将举行的区块链科学会议(SBC '24)期刊间的活动,该活动由IC3、斯坦福大学CBR和伯克利尔迪共处同等大会。有关如何参考、发言或赞助的详细信息,请访问 zkm.io/活动/houseof-zk-new-york
第 11 篇零知识将于 2024 年 4 月 10 日在 JACKESQUARDLECYCONGLED 行中,聚焦于 ZKP 技术的最新进展及其不间断发展的应用。该活动以一系列主题为导向的讲座和研制讨论会为特色,这要归功于该领地域的领地先锋专家主持。参与者包括各种各样的研究人员、密码学家和开发人员,他们就是密码学原语、隐私技术和零知识的数学基础进行了深入的研究。本次将由零知识直播客赞助,值得注意的是,它通过技术促进隐私的专业人士的协作学习和交流。
参加即将于 24 年 10 月 8 日在里斯本举行的 zkSummit 的申请现已开放: zksummit.com/
我们在中国的报告中介绍了该行业的发展突破。该行业创新的快速步伐显而易见。从 zkm 的 zkmips(测试网)和 RISC Zero 的 zkvm 1.0 等等新的 zkvm 的初始段落发布了,到阿兹台克和山羊网络等正在开创增强以太坊和比特币隐私和可扩展性的新方向,zkackirosiamise就像一个一样,在突然成为区块链生态系统的技术核心,以相机对隐身的方形演变。乐观情绪可以整合 zk 的证据,这表明非洲 zk 原生生态系统认识到其必需性,以跟上新发展的步伐。基于 zk 的第 1 层和第 2 层次的解决方针,以及跨链相互操作性协同的集成的进展反馈为一个成熟的生态系统,该生态系统越准备应对现实世界应用程序的需求,并有可能取消代以前的一切。
我们进入 2024 年下半年,很明显,zktechnal 将在 plastrentsymatek 的系统中发起越过重要作用,我们预计还会有进一步的突破口,更多的协作正在努力,以可能、可互操作和私有链接解决方程式基础的技术持续发展。我们鼓励读者继续关注这些发展,探讨这些进步的来临的机遇,并以零知识社区的形式进行讨论。ZKTECHNAL的未来是光明的,我们可以共同推广,这将定义区块链技术的下一个时代。
我们希望您能发现我们的行业 “Pulse Check” 的第一版很实用,也感谢您参与我们的旅行。我们已经开始检查了,可以肯定地宣布 ZK 还活着!
您的反馈对于我们报告的发展和相关性至关重要,我们鼓动读者为未来的版本提示主题和项目,或者直接发表他们的见解和文章。此信息由 House of ZK 团队整理理——如果你发现任何错误或认定为缺少重要更新,请发送电子邮件至 contact@zkm.io 附上你的反馈反馈。
最后发表于 https://www.hozk.io。
来到《ZK之屋——脉冲检查》,这是零知识领地域最新发展、见解和分析的可信来源。本报告的每一个版本都探讨了该行业的前进和关键讨论,提供评论和分析,特别关注杰出的研究论文文和zkVM,以及基于 zk的L1、L2和跨链的讨论。
2024 年上半年见了多个目的地实质性开发和发布,包括重要的 zkVM 升级级、实质性的合作关系和多协升级。研究工作继续突破界面极限,论文文发布的重点是 zkVM 架构、简化了 Groth16 zkSnark 的论文点、如何高效率地从 zk 电路中出发 zk 电路中载复杂的非原生算术运算等。
ZKM、RISC Zero、Succinct、a16z、Nexus、Lita、Mina、Aleo、Alep Zero、Horizen、Citrea、GOAT Network、Aztec、Taiko、Scroll、Starknet、Polygon Miden、nil Foundation、zkLink、Matter Labs、Optimism、Starkware、零知识直播客
通过代数交互式互联网证书明示为 zksnark 提供易失性质和持久内存 作者:亚伦克斯·奥兹德米尔、埃文·劳弗和丹·博内: eprint.iacr.org/2024/979
本文探讨了从零知识回复路中高效率载入复杂的非本地算术的技术。这些方法包括载不同组中离散对数的相等性,不进行椭圆曲线运算量乘法,以及使用拒绝的绝对值和查找 SENSISSASSISSESSIGNESSIGNASSIMENSESSIGNESSIMING AES KNEWESSIGNESSIMING AES KNEWESSIGNESSICALS 作为知识。作者对实施情况进行了基准测试,以证明所提方法的实用性和效率,显示 zksnarks 的显著性能改进。
ICICLE v2:用于编码 ZK Prover 以专有硬件上运行的多格式 API 作者:Karthik Inbasekar、Yuval Shekel 和 Michael Asa: eprint.iacr.org/2024/973
ICICLE v2 是一个高级密码库,在使用 GPU 的 GPU 加速 ZKP。它通过原生CUDA代码实现了各种硬件原语,促进了超高效的模块化算术和群组运算。该库的 “图块” 架构由 CUDA 内核管理提供,包括一个抽象复杂度多项式运算的多格式 API。这种与设备无关的框架架构可确认在不同的硬件环境下实现高速,使研究人员和开发人员无需深度入场的硬件知识即可进行原型设计和实践,从而,简化了 ZKP 应用程序的开发。
论文证书明配对 作者:安德里亚·诺瓦科维奇和利亚姆·埃根: eprint.iacr.org/2024/640
本文介绍了该有效证书椭圆曲线配对的方法方法,这个对于 SNARK 和 BLLABSLABS 的名义等着是至关重要的。它建议使用残差检查代替最后的指示数化步骤,并且,在米勒回复路中预示着计算机必不可少的行,尤其是在第二轮配对参数固定的时候。此外,它还建议建议合并商数,以更有效的地域为证更高的关系。使用 BN254 曲线演示的这些优化特别有利于以太坊和比特币币的链接上进行验证,从而 PRITHENGHATHERAM 和 PITCOINS 的链接上进行验证,从而 TRIGHATHWARKHATHWARK 配对的优化特别代表的效率和可扩展性。
ROM 中的 zksnarks 具有无条件的 UC 安全性 作者:亚历山德罗·基耶萨和贾科莫·芬齐: eprint.iacr.org/2024/724
本文探讨了在随机预言中的讨论(ROM)中实现了 zksnarks 的通用可组合性(UC)安全性所在。作者证书,现实的zksnark结构,特别是 micali 和 BCS结构,本质上无需修改,即可满足足部安全要求。这一结果确切地保住了这些广大使用的 zksnark 可以安全地应用于现实世界的应用程序,即使集成到更大的系统中并受到了自适应对手的影响,也可以提供强大安全保障,而以前的方法通常会降低 UC-Security 的效率或简单性。
博学家:Groth16 不是 “极限” 作者:海尔格·利普马: eprint.iacr.org/2024/916
该论文文提到了新的 zk-snark Polymath,正在通过专栏注释位长而非群组元素来改进 groth16 的参数长度。Polymath 用 G1 中的多项式承诺取代了 Groth16 的 G2 元素,从而减去了通信开销。它使用的是平方算术程序(SAP)约束系统,采集了新颖的公共输入验证和多项式开放方法。尽管 SRS 更长,失败者速度更慢,但是 Polymath 通过详情尽的参考搜索进行了优化,在 192 位安全等级上显著减小了通信规模并提高了证书效率,使其成为高安全性应用的理想之选。
Sumcheck Prover 的时光空权衡 作者:亚历山德罗·基耶萨、伊丽莎白·费德勒、贾科莫·芬齐和安德鲁·齐特克-埃斯特拉达: eprint.iacr.org/2024/524
在《Sumcheck Prover 的时空权衡》中,作者亚历山德罗·基耶萨、伊丽莎白·费德勒、贾科莫·芬齐和安德鲁·齐特克-埃斯特拉达介绍了一系列列多线性求和协议的证人算法。这些算法提供了新的时空权平衡,平衡了先前实现的对数空中间和超线性时间以及线性空间和时间及线性及线性空和时间方法。通过引擎入参数化算法系列,作者可以进行灵感活的调整,而从时间和空中间隔效率率之中实现所需的权衡。结果显示具体效率显著提高,这表明这些新的权衡为 zksnarks 和其他依赖 raimsum Checksnarks 的应用程序带了实际好处。
子星人 作者:乌尔里希·哈伯克、大卫·莱维特和沙哈尔·帕皮尼: eprint.iacr.org/2024/278
本文介绍了 Circle Starks,这是一种利润的圆形曲线实现可扩展和透明知识证(Starks)的新结构 x2+y2=1x^2+y^2=1x2+y2=1
在有限场景上,专门针对梅尔森素数进行了优化 p=231−1p=2^ {31} -1p=231−1
。Circle Starks 采访快速立叶变换 (FFT) 来实现高效的多式插值和低度度测试,从而,显而易见地改进了证书组合和验证。这种结构消除了对基于椭圆曲线的设置和复杂的代数几何的需求,使其更简单、更易于使用。基准测试表明,与传统的斯塔克斯相比之下,速度提高了1.4倍,显而易见,它在从应用中的实际效率率和可扩展性中脱颖而出。
探测索子Starks 通通过 维塔利克·布特林: vitalik.eth.limo/general/2024/07/23/circlestarks.html
在《Circle Starks》报道纸张发布后,维塔利克·布特林写了一篇博客文章 “探索子斯塔克斯”。简而言之,circle starks是一种创新的方法,通过将zik-snark和zk-starks集成来提高 zk-snark 的效率。核心心理学围绕着利用了两种类型的独家优势,在零证知识明中实现卓越越的越南。
CircleStarks方法利使用了zk-snark的简介和实用效率,同时结局了zk-starks的可扩展性和透明度。这个种类的组合在优化证书明生成和验证证书流程,特别是在于区块链环境中的复杂计算机任务。通过使用StarksforcessforcessNARK的循环证书系统,该死的法可确认在不影响性能的情形下增强安全性和可扩展性。
小特性场景上的求和校为争议 作者:贾斯斯·泰勒: people.cs.georgetown.edu/jthaler/small-sumcheck.pdf
贾斯斯·泰勒与苏亚什·巴加德和尤瓦尔·多姆共同人写了一篇主题为 “小特场上的求和校争议” 的论文,他们在论文文中提出了一种优化,求了一种优化,并求了一种优化,为中国证券交易者实现了新方法法。这种方法将在基础字段内保持很大一部分乘法保持,而显而易见地降低了计算机成本。这份研究对现代 zk-SNARK 具有重大的意思,通过最大限度地减小与场地扩展乘法相关的计算机开拓来提高其效率率和可扩展性。这一进步需要高性能和低速延迟的应用程序尤其相关。
了解了 zkMIPS 的证书架构 作者:卢卡斯·弗拉加:
zkm.io/blog/开始了解 zkmips-proving-architecture
ZKM 高级研究员卢卡斯·弗拉加写了一篇全面的文章,解释了 zkmips,这是 ZKMIPS,这是 ZKMDESIGNS 的零知识证书系统,这是在 SERVERSES MIPS 程序的正确定执行中。本文对zkmips架构进行了深入的分析,并详细说明了过往的过程,包括将程序划分为几个部分,使用Stark和Plonk证书明以及潜入中的groth16证书进行链接上验证。
ZKM 发布了一篇重要的新论文——《zkmips:高级规范》,它全面概述了 zkmips(第一个支持 MIPS 指南集合并支持 Golang 的 zkVM)程序将如何编译成简介的证书。它详细介绍了该程序的详细细节,包括如何管理通用的寄宿存档器、存储器状况和指导令,并详细解释了计算机将如何转换成多式形式,这对于创建简化证书是至关重要的。这包括将计算机轨道编解码为多项格式,确认通过算法术进行有效验证,以及使用交互式互联网预言机证书(IOP),例如用于有效证多项式属性的starks和Logup: Whitepaper.zkm.io/new_zkmips_White_paper.pdf
ZKM 还推出了他们期望待遇已久的验证服务,在取消使用 zkMIP(目前在测试网中)时段的硬件限制。该服务处在开发阶段,必须进行全面测试,才能将其完全集成到生产环境中,以确认其符合安全性和性能基准。那某些人有兴趣的访问证书来开发的 POC 应用程序的用户必须通过 ZKM 的应用程序门户进行申请申请: zkm.io/申请申请。
RISC Zero 推出了 zkVM 1.0,这是一款可用于生产的通用型 zkVM,支持 linknoCumphine 和link上验证,消除了与周期计数和汽油费相关的限制。pugrapgemplensukensuplectromplex的逻辑编辑。zkVM 架构包括延期继续,允许将大型程序分成比较小的段落以进行并行证和固定的内存需求,还包括包括归还证书,后者将多次比较小的证书合为一个全面的证书。它们是可以与任何支持设置的 RISC 零验证器的 rackLinaCompacemContent: risczero.com/blog/hello-zkvm-1-0
他们还宣传了性能升级,包括过了到基于 GPU 的测试,预计这将使性能提高近四倍。除此之外,还引入了新的加速器电路来优化 RSA 和 Keccak 函数数等关键操作正在运行。Steelbrox架构的实力还是在简化与分解链状态下的交互作用,而从此提高这些操作的效率并降低相关成本: risczero.com/blog/zkvm-performance-upgrades-roadmap---Q3-2024
SUCCINCT最近推出了sp1测试网,该测试网引擎入侵了STARK归者,通过对兼容EVM的链接上实现了快速的端到端证书。此更新还包括对 Rust 标准库和可定义的自定义预编程的内容,这些预编译器在优化常见的从属操作的作品,例如哈希和椭圆曲线计算: blog.succinct.xyz/sp1-testnet/
的贾斯·泰勒 a16z Crypto发布了一篇题为 “SNARK设计的新时代:发布Jolt” 的文章,其中详细介绍了最近发布的Jolt zkVM背后的创新。Jolt 在 SNARK 结构中引入了一种新颖的设计,具有增强的模块化、效率和与各种 zkVM 的互操作性: a16zcrypto.com/posts/article/a-new-era-in-snark-design-releasing-rele
贾斯汀·泰勒后来发表了一篇题为 “理解Jolt:澄清与反思” 的文章,该文章进一步详细阐述了Jolt,重点介绍了其使用基于和校验的多项式交互式预言机证明(PIOP)以及整合Binius承诺计划以提高效率的情况。本文还讨论了使用查询进行操作、模块化改进和社区贡献: a16zcrypto.com/帖子/文章/理解震惊澄清和反思/
Nexus宣布发布Nexus 2.0,其中引入了多项关键创新,旨在增强其zkVM的功能和性能。此更新包括 Jolt、Hypernova 和新的 SDK 的集成。
由 a16z 开发的 zkVM Jolt 已集成到 Nexus 2.0 中,以帮助优化性能。Jolt 采用套索查询参数和基于 sumcheck 的方法等技术,支持 RV32I 指令集,并专注于优化的多项式承诺方案,这些方案可提高计算效率并支持 Rust。
Hypernova旨在确保安全高效的数据处理,从而在整个网络上实现更快、更可靠的交易处理,而新的SDK为开发人员提供了一套全面的工具和资源,用于在Nexus平台上构建和部署应用程序: blog.nexus.xyz/nexus-2-0-jolt-hypernova-anda new-sdk/
Lita 已经宣布了 Valida zkVM 及其 C 编译器工具链的 alpha 版本。Valida 采用 zk 优化的 ISA 设计,利用 LLVM 基础架构,使开发人员能够编译、运行、验证和验证 C 程序。这种设置有望显著提高证明生成速度和效率。该工具链支持主流编程语言,旨在在未来的更新中扩展对 Solidity、Rust 和 C++ 的支持: lita.foundation/blog/宣布litas-valida-c-compiler-zkvm-迈向真正通用zk的第一步
Mina Protocol 最近完成了伯克利升级,将 Mina 的技术引入了更广泛的应用,从简单的支付扩展到更复杂的现实世界项目。Mina 以递归的 zk-SNARKs 为核心,提供了单一、可重复使用和可组合的证明系统,从而实现了经过验证的语句的开放数据库。该基础架构允许 Mina 生态系统中的不同应用程序在彼此经过验证的数据基础上进行无缝交互。
伯克利升级通过提供去中心化和保护隐私的环境来支持各种应用程序,包括zkKYC、zkIdentity、zkVoting、zkGaming和zkDesci。Mina 的方法消除了数据冗余并减少了状态膨胀,从而确保了可扩展性和效率。开发人员可以利用Mina的一切证明来增强隐私、可定制性和可组合性,从而进行链下构建和链上验证: minaprotocol.com/blog/reintroding-
Aleo在通往主网的道路上取得了重大进展,实现了关键里程碑,包括CanaryNet的推出,弃用Devnet转而使用孤立的社区运行的开发网络,以及引入测试网测试版。CanaryNet现已公开发布,允许立即访问新功能,而测试网测试版则为进一步测试提供了一个逼真的类似主网的环境。
主要更新包括实施 ARC-0041 以增强安全性,启动奖励为15.5万美元的 ARC-0041 审计竞赛,以及对Coinbase Puzzle和ARC-0020 代币标准的广泛测试: aleo.org/post/主网之路更新/
Aleph Zero 通过利用 Halo2 验证框架并实施各种优化(例如多线程、调整 Merkle 树精度、采用 Poseidon2 哈希函数)实现了亚秒级的验证时间,将典型桌面硬件上的 ZK 证明生成时间缩短至 1400 毫秒: alephzero.org/blog/zk-operations-Operations-已优化为不到一秒钟/
Horizen的社区投票赞成Horizen 2.0升级,该升级旨在针对ZK应用程序优化区块链,解决Horizen主链和EON使用的旧技术堆栈的局限性。此次升级的重点是提高$ZEN的网络性能、安全性和实用性,ZenIP 42406中概述了全面的战略计划: blog.horizen.io/horizen-ecosystem-h1-2024-report/
Citrea推出了 “Clementine”,这是一项基于BitVM的信任最小化双向挂钩计划,旨在促进比特币和Citrea之间安全高效的互动。关键组件包括用于轻型客户端证明的递归零知识证明 (zkP)、用于锁定和锁定的多重签名机制以及确保运营商诚实行事的 Connector Source UTXO 系统。Clementine的目标是在不需要比特币软分叉的情况下增强安全性并降低信任要求: blog.citrea.xyz/揭幕克莱门汀/
Citrea还推出了公共开发网络,使开发人员和用户能够将比特币作为数据可用性层进行测试。这标志着比特币首次以这种身份使用,通过比特币提供基础数据可用性,促进了Citrea上去中心化应用程序(dApps)的开发和测试: blog.citrea.xyz/citrea-public-devnet-live/
GOAT Network被宣布为第一个充分利用ZKM技术堆栈的项目,特别是利用ZKM纠缠汇总框架的项目。该计划引入了分散且安全的比特币第 2 层解决方案,该解决方案本机扩展了比特币的功能。通过整合ZKM的zkMIPs、独特的乐观挑战协议和去中心化排序器,GOAT Network旨在增强比特币交易的安全性和可扩展性,为比特币持有者提供可持续的收益: goat.network/
GOAT Network发布了他们的白皮书,详细介绍了其平台的技术基础和运行机制,概述了基于BitVM2的乐观挑战协议(GOAT-OCP),该协议可确保链下计算的原生比特币级安全性。它还重点介绍了为去中心化排序器操作引入的基于比特币脚本的锁定机制,从而增强了交易处理的活性和公平性。本文进一步讨论了GOAT网络的模块化架构,包括去中心化证明网络、中继器和桥接合约的作用,旨在实现可扩展和安全的比特币第二层解决方案: drive.google.com/file/d/1ytry_q3uqbguygrutsk20zv1quscojrx/View
Aztec Network推出了沙盒Alpha计划,为开发人员提供了预先访问其默认私有智能合约平台的权限。该计划侧重于支持隐私保护的去中心化应用程序的创建和测试,允许参与者探索该平台的功能,包括可编程的隐私和可扩展的保密交易。alpha计划提供工具和支持,以确保以太坊生态系统中以隐私为中心的功能的无缝开发和集成: aztec.network/blog/宣布阿兹台克沙盒alpha程序
阿兹台克人最近宣布了首届以太坊基金会zkGrants的获奖者,该基金会专注于利用Noir的项目,Noir是阿兹台克人开发的一种开源域名特定语言,用于安全和无缝地构建保护隐私的ZK证明,并简化以隐私为重点的应用程序的开发。获奖项目涵盖多个类别,包括 DeFi、身份验证和数据隐私: aztec.network/blog/宣布首届 ef-zk-Grants-Wave 的黑色奖得主
Taiko 成功地在以太坊主网上启动了其协议。主网发布包括部署Based Contestable Rollup,它结合了基于排序和具有多重证明的竞赛机制。该架构支持针对 ZK 验证速度进行了优化的 SGX 证明,并计划在未来添加更多有效性证明。此次发布涉及一条去中心化之路,从完整的训练轮开始,逐步实现完全的DAO控制。最初的区块提议和验证由Taiko团队处理,以确保网络的稳定性: taiko.mirror.xyz/pizjv30fvjszuweg-da7gs6f8qedlc4ckkebqy3ptt8
Taiko还详细介绍了他们使用多重证明系统的方法,Raiko多重证明系统允许提交和质疑各种类型的证据,通过消除单点故障来增强安全性。Taiko协议目前支持新加坡交易所的证明,并计划整合更多的有效性证明,例如使用risc0-zkVM和SP1 zkVM的证据。
Scroll 实施了居里升级,该升级侧重于气体压缩技术,以提高其 zkeVM 第 2 层解决方案的效率和性能。此次升级旨在显著降低天然气成本,并引入先进的数据压缩方法,优化区块链上交易数据的存储和处理: scroll.io/blog/压缩 gas-scrolls-curie-upgrade
Starknet背后的主要开发公司StarkWare宣布计划开发一款名为Kakarot的新zkEVM,这将使开发人员能够使用以太坊智能合约的通用语言Solidity,从而使Starknet更易于使用。Kakarot 目前正处于 “公开白名单” 阶段,适用于部分开发者: cryptonews.net/news/blockchain/29080786/
Starknet还推出了Starknet over Bitcoin计划,旨在使用STARK证明扩大比特币规模。这一发展取决于比特币改进提案OP_CAT的采用,并将Starknet定位为以太坊和比特币的潜在第二层解决方案: starkware.co/scaling-bitcoin-scaling-bitcoin用于大规模使用/
Polygon Miden推出了Alpha Testnet v3,引入了带有瞬态备注的亚秒级订单更新,无需立即进行链上记录即可实现快速交易链接。此外,交易ID现在包含在区块中,便于跟踪交易包含情况。
此更新还包括允许直接在浏览器中运行 Miden 客户端 Miden 的 no-std 客户端,以及用于将自定义元数据注入笔记的 Note aux 字段。已经进行了全面的代码重构以提高稳定性和可读性,同时还增强了CLI,以提高可用性和美观性。展望未来,Polygon Miden计划推出Rust编译器、预言机支持和网络交易,以进一步扩展其功能和开发者工具: polygon.technology/blog/polygon-miden-alpha-testnet-v3 已上线
零基金会公布了他们的公开路线图,重点介绍了他们即将推出的zkSharding Devnet。这是 zkSharding 的第一个概念验证旨在通过使开发人员能够部署合约、与合约交互以及演示同步和异步合约调用来解锁以太坊的横向扩展。后续阶段包括2024年11月的生态系统测试网(V1),重点是超可扩展的应用程序和基础设施改进,以及2025年对测试网V2和V3的进一步完善,最终在2025年第四季度推出主网Alpha,这将引入zkeVM+和各种优化: nil.foundation/博客/帖子/公共路线图
ZKM 发布了一份开创性的精简论文,详细介绍了他们的名字为 Entangled Rollup 的信使最小化的多链互操作性基础架构,通过其最先锋的归来者 zkvm (zkmips) 在标准安全假设中提出 zkrollups 的底层原语: zkm.io/entangled-rollup-light-paper
Entangled Rollup 通过将 Rollups 集成到多个区块链基础架构上,通过归还原的零知识证书来实现同步,从此消除了对传统桥的需求需求。这种设计确认了保守了原生安全,减少了流体性分散,并简化了多链环境中的开发人员和用户体体验。该架构支持无缝隙的跨链资产转移和状态同步。
简洁已与多边形合作,将 SP1 集成到多边形的 AggLayer 中。这种人是通过生成悲观看的依据来确认跨链接的互操作性,这些凭据对每条链接都持怀疑态度,以保护共享。悲观的逻辑可以用普通通的 Rust 代码编写,而将开发时间从几个月缩短到几周。SP1 以预编为中心的架构构可确认保高,尤其适用于所涉及大量哈希的任务业务,例如使用 Keccak 哈希函数数验证默克尔证书: blog.succinct.xyz/polygon-sp1/
zkSync 推出了弹性链,该架构构在当前的多链接系统的局限性。Elastic Chain 在创建可扩展的 ZK 链接网络,包括汇编、有效和意向,由多个组成的组合:ZK 路由器,用于管理网络状况、链接注册和共享流动性;zk 网关,它促进 zk 链接之间的相互操作性并作为跨链桥接提供更快的确认性;以及 ZK 链接本身,即自主汇编、有效性或音量使用 ZK 堆栈框架构建的。这些组合通过ZK网关和以太坊智能合约相互连接,允许用户使用单一地址和标签进行跨链交易,提供低成本、安全和快速的交易: zksync.mirror.xyz/bqdsmulluf6alwbgwokoa587eqcfzq20ztfzq20zq20ztfzq20ztfzq20ztfzq20ztfz20ztf7zq20
联盟已宣布启用其公共测试网。联盟测试网在开发人员和用户提供一台平台来测试联盟的互动操作性设计的特性和功能。主要功能包括提高高安全性、可扩展性和用户友好的界面: union.build/blog/union-public-test
zkLink推出了Nova,这是一个聚合的第 3 层汇总网络,在增强区块链生态系统的可扩展性、安全性和操作互操作性方面。zkLink Nova 在将多个 3 层汇总整合到一个统一的框架架构中,利用 ZKP 来优化性能并降低低交易成本。zkLink Nova 的架构构在将来有第 2 层次解决方针的功能集成到更高效、更具可扩展性的第 3 层次基础架构构中,来解决现实有第 2 层次解决方针的固定局限性: blog.zk.link/简介 zklink-nova-the-industrys-firs-firs-firs-getwork-ad495a91da99
一个值得注意的事件是 Matter Labs 试图为 “ZK” 或注册商指标,这在社区内引擎发起了重大的争议。此举被认知为与该域的开源精灵背景而已,随之而来的是广义的反馈。Matter Labs放了商标申请申请,重申请了社区对ZKTECHNALL的全部权利和管理权。
Optimism 基金会正在与 O (1) Labs 和 RISC 零合作启用一个项目,重点是将零知识证书整合到他们的生态系统中。该计划在增强 Optimism 第 2 个层次解决方针的安全性和可扩展性。
StarkWare 最近宣布其证书技术取代了重大的突破,据称使用了该公司最新的从证明器 “Stwo” 创造了新的世界纪录: starkware.co/starkware-newproving-record/
2024年7月11日,在布鲁塞尔的ETHCC期间,ZK成功之家举行了又一次聚会,邀请了业内一些最聪明的人才,他们发表了教育主题演讲和演讲,例如巴塞尔大学博士的选手马蒂亚斯·纳德勒、ZKM的帕维尔·西内尔尼科夫、zkpass的AETOS HUTOS等 o和zkm高级研究员卢卡斯·弗拉加的主题演讲和演讲,以及一些专长小小组讨论会像 Polygon 的 Jordi Baylina、zkSync 的 Daniel Lumi、Scroll 的艾米丽林、ZKM 的郭明、RISC 零的拉米·哈利勒、来自 Sarah Choo 的杰杰出人物zkLink、Mina和 01Labsfielfielkae 利、Aleo的扎克·雪雷布、来自starknet的Gnana Lakshmi等,他们讨论了从证书明系统和监控管道合规性到在区块链互操作性和可扩展性中使用ZK的所有内容。
这一天以热闹的 “欢乐时光” 结束了,与他们会通过美味的食材和饮料的交叉流和分享想法来实现,并庆祝所有参与者的集体成就。从本期《House of ZK》上来看,透视露的事态发展来看,很明显,我们都应该因为我们这个领地取消的感觉到非常自豪,也该为即将发生的事件感到兴奋。
House of ZK最近在纽约市举行了即将举行的区块链科学会议(SBC '24)期刊间的活动,该活动由IC3、斯坦福大学CBR和伯克利尔迪共处同等大会。有关如何参考、发言或赞助的详细信息,请访问 zkm.io/活动/houseof-zk-new-york
第 11 篇零知识将于 2024 年 4 月 10 日在 JACKESQUARDLECYCONGLED 行中,聚焦于 ZKP 技术的最新进展及其不间断发展的应用。该活动以一系列主题为导向的讲座和研制讨论会为特色,这要归功于该领地域的领地先锋专家主持。参与者包括各种各样的研究人员、密码学家和开发人员,他们就是密码学原语、隐私技术和零知识的数学基础进行了深入的研究。本次将由零知识直播客赞助,值得注意的是,它通过技术促进隐私的专业人士的协作学习和交流。
参加即将于 24 年 10 月 8 日在里斯本举行的 zkSummit 的申请现已开放: zksummit.com/
我们在中国的报告中介绍了该行业的发展突破。该行业创新的快速步伐显而易见。从 zkm 的 zkmips(测试网)和 RISC Zero 的 zkvm 1.0 等等新的 zkvm 的初始段落发布了,到阿兹台克和山羊网络等正在开创增强以太坊和比特币隐私和可扩展性的新方向,zkackirosiamise就像一个一样,在突然成为区块链生态系统的技术核心,以相机对隐身的方形演变。乐观情绪可以整合 zk 的证据,这表明非洲 zk 原生生态系统认识到其必需性,以跟上新发展的步伐。基于 zk 的第 1 层和第 2 层次的解决方针,以及跨链相互操作性协同的集成的进展反馈为一个成熟的生态系统,该生态系统越准备应对现实世界应用程序的需求,并有可能取消代以前的一切。
我们进入 2024 年下半年,很明显,zktechnal 将在 plastrentsymatek 的系统中发起越过重要作用,我们预计还会有进一步的突破口,更多的协作正在努力,以可能、可互操作和私有链接解决方程式基础的技术持续发展。我们鼓励读者继续关注这些发展,探讨这些进步的来临的机遇,并以零知识社区的形式进行讨论。ZKTECHNAL的未来是光明的,我们可以共同推广,这将定义区块链技术的下一个时代。
我们希望您能发现我们的行业 “Pulse Check” 的第一版很实用,也感谢您参与我们的旅行。我们已经开始检查了,可以肯定地宣布 ZK 还活着!
您的反馈对于我们报告的发展和相关性至关重要,我们鼓动读者为未来的版本提示主题和项目,或者直接发表他们的见解和文章。此信息由 House of ZK 团队整理理——如果你发现任何错误或认定为缺少重要更新,请发送电子邮件至 contact@zkm.io 附上你的反馈反馈。
最后发表于 https://www.hozk.io。