zkMesh：2023 年 11 月回顾

欢迎来到 zkMesh，这是一份每月通讯，涵盖最新的去中心化隐私增强技术、隐私协议开发和零知识系统研究。

zkMesh是由ZK Hack制作的。

我们为您带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。预计每个月初都会有新版本。一定要分享和订阅！

** ZK Hack Online 将于 2024 年 1 月回归。加入我们的邮件列表以获取更多信息！**

研究

• 关于二元域塔的简洁论证|本杰明·戴蒙德和吉姆·波森

• BaseFold：来自可折叠代码的高效与字段无关的多项式承诺方案| Hadas Zeilberger、Binyi Chen 和 Ben Fisch

• Vector 承诺的简洁论证的具体安全性|亚历山德罗·基耶萨、马塞尔·达阿尼奥尔、关子怡和尼古拉斯·斯普纳

• 具有恒定大小公钥的可靠多重签名|丹·博内 (Dan Boneh)、阿迪蒂·帕塔普 (Aditi Partap) 和布伦特·沃特斯 (Brent Waters)

• 关于 PCP 的并行重复|亚历山德罗·基耶萨、关子怡和布尔库·伊尔迪兹

• 群体行动的可延展承诺和基于同源电路的零知识证明|陈明杰、赖一福、Abel Laval、Laurane Marco 和 Christophe Petit

• 论量子模拟的可靠性| Behzad Abdolmaleki、Céline Chevalier、Ehsan Ebrahimi、Giulio Malavolta 和 Quoc-Huy Vu

• 论端到端可验证在线投票的可行性——以Durga Puja审判为例|霍里亚·德鲁亚克、马修·巴兹利、克里斯·里奇斯、克里斯蒂安·邓恩、卢克·哈里森、比马尔·罗伊和冯浩

• ZKSMT：零知识证明 SMT 定理的 VM | Daniel Luick、John Kolesar、Timos Antonopoulos、William R. Harris、James Parker、Ruzica Piskac、Eran Tromer、小王和宁罗

• 非交互式零知识功能证明|曾功贤、赖俊作、黄正安、张琳如、王向宁、林国恩、王华雄、翁健

• Dora：在 RAM 程序的零知识中，处理器表现力（几乎）是免费的|阿鲁什·戈尔、马蒂亚斯·霍尔-安德森和加布里埃尔·卡普特丘克

• 可更新的隐私保护蓝图|贝尔纳多·大卫、菲利克斯·恩格尔曼、托雷·弗雷德里克森、马库夫·科尔维斯、埃琳娜·帕格宁和米哈伊尔·沃尔霍夫

• 高效的量子并行重复定理及其应用|约翰·博斯坦西、钱罗文、尼古拉斯·斯普纳和亨利·袁

• BabySpartan：用于非均匀计算的基于 Lasso 的 SNARK |斯里纳斯·塞蒂和贾斯汀·塞勒

• 超越 MPC-in-the-Head：短零知识证明的黑盒结构|卡米特·哈扎伊、穆图拉马克里什南·文基塔苏布拉马尼亚姆和莫尔·韦斯

• BLS 嵌入曲线族|安东尼奥·桑索

• Threshold解密的叛徒追踪|丹·博内 (Dan Boneh)、阿迪蒂·帕塔普 (Aditi Partap) 和利奥尔·罗特姆 (Lior Rotem)

文章/主题

• ZK Hack 伊斯坦布尔总结和获奖者| ZK黑客

• DevConnect 2023 的见解和思考| O(1) 实验室

• 奇怪的一对：可扩展性日期上的 ZK 和 Optimistic Rollups | AltLayer 和 RISC 零

• ZKID：迈向保护隐私的数字身份的一步|缩放X

• 去中心化证明者协调问题和机制的长篇大论| @ballsyalchemist

• Nova：zkMapReduce 从 IVC 到通用 PCD | @nikkolasg1

• Booster Rollups 第 2 部分：ZK-EVM 作为 ZK 协处理器|以太坊研究

• ZKP、SIGINT 和心理战| @omershlomovits

• ZK项目现状|慧聪资本

• 解释 Aztec 如何为 Web3 带来隐私| @MohamedFFouda

• 如何构建现代 SNARKs 系统|何塞安德罗·路易斯

• Binius：硬件优化的 SNARK |乌尔维塔纳

• 通过更快的承诺来推动 Lasso+Jolt – 带来深远的影响|贾斯汀·塞勒

• 有关 Lasso、Jolt 和 SNARK 设计最新进展的技术常见问题解答|贾斯汀·塞勒

• ZKML 和自治世界| EZKL x 莱迪思

• 链下计算就是您所需要的| @0x_emperor & @0xkrane

• 揭秘 ZKML |维德·克西奇

• 超越零知识：可编程密码学的下一步是什么？ | PSE

• EVM Validiums 的退出游戏：Plasma 的回归|维塔利克·布特林

视频/播客

• ZK Hack 伊斯坦布尔研讨会所有视频 | ZK黑客

• 扎克·威廉姆森 (Zac Williamson) | 2023 年 ZK安阿尔法实验室

• ZK Accelerate 2023所有视频 |因戈亚马

• 使用 Axiom 访问链上交易和收据|公理

• 第 300 集：ZK 播客回顾| ZK播客

• 与 Alex G 一起了解 zkSync | ZK播客

• Mina 与 Brandon 和 Steve 的 zkApps 和 o1js | ZK播客

• Or Sattath 的量子密码学第 2 部分| ZK 播客（第 1 部分可在此处找到）

指南和资源

• 如果您不知道，请查找或如何为零知识证明创建查找表| LambdaClass 博客

• Awesome-folding GitHub 存储库：零知识折叠方案精选列表|潜伏实验室

• 开罗的公共记忆|密码学博客

• 韦尔克尔树|多胞体博客

• 节点守护者发现黑色语言的新活动|节点守护者 x Noir

• FHE简介|太鼓实验室

• 如何选择 ZK 友好的哈希函数？ | TACEO

• ZK 基准工具包|因戈亚马

漏洞/披露

• 发现 zkSync 时代的 ZK-EVM 健全性错误|链灯

• 社区众筹系统钱包事件|Monero

工具/实施

• 使用 Arkworks 后端从头开始实施 3 个多线性多项式承诺方案（Hyrax、Ligero 和 Brakedown） | @0xHungryCats

• Uniswap V4 Hook + Brevis ZK 协处理器 = 数据驱动的 DEX 体验|布雷维斯

• 使用金属计算着色器加速 plonky2/starky 证明的演示|量子电动力学协议

• 匿名交易所：使用信号量协议创建保护匿名的 NFT 交易所| @lilioo826 x PSE

• Risc0 zkVM 中的 FHE |哈希斗篷

• 技术深入探讨：验证 RISC Zero 中的 FHE，第一部分| @weikengchen

• 通过 Bonsai Pay 连接 Web2 和 Web3：基于 Bonsai 的演示应用程序|精简指令集零

• 在 Farcaster、zk 上促进公开对话 - 私下证明您的 FID 和 Cast | 33位

• Python 中的 Plonk |塔拉什

• 编写健壮的 C - 查找和预防漏洞的最佳实践| EF

项目更新

• 硬件进步，性能飞跃|埃兹克勒

• 消费者数据的未来：Snickerdoodle 如何提供第三方 Cookie 问题的解决方案|士力架

• Testnet 3 第三阶段部署激励回顾|阿莱奥

• Polygon Labs 和 NEAR 基金会合作构建 zkWasm L2 Prover 作为Polygon CDK 的组件|Polygonx NEAR

• 芯片公司 Ingonyama 在种子轮融资中筹集了 2000 万美元|因戈亚马

• Hyperbridge 简介：互操作性协处理器|多面体实验室

• 使用 zkSend DM 您的Sui |迈斯腾实验室

• ZKM 推出 ZK 教育中心|零知识管理

• Aztec 宣布 Noir v0.19.2 及其功能列表|阿兹特克人

• 宣布推出以太坊 zkSharding | ;nil=基金会

• 在 RISC Zero 上加倍开源|精简指令集零

• 简洁介绍|简洁

• 产品公告：ZK-Containers |因戈亚马

• ZKP2P 宣布Alpha发布| ZKP2P

• 合作伙伴公告：欢迎 Modulus 来到 Ion 实验室|离子协议

• 创建从 Avail 到以太坊的 ZKP 安全双向桥|简洁x有效

• 推出“十”——超越隐私的飞跃|暗黑实验室

• Ola 开放 DevTestnet 白名单申请：为 ZKRollups 带来合规隐私|奥拉

• 希罗多德：使用 Starknet 上的存储证明证明以太坊的状态|史塔克韦尔 x 希罗多德

• 钱包性能问题已解决，ECC 退出紧急模式|电力硬币公司

• 支持Full ZK和Optimistic ZK的ZKP Requester-Prover分离模型| ZK矿池

• 如何将 Lagrange 的 Recproofs 和 ZKMapReduce (ZMKR) 堆栈与折叠方案结合起来？ |拉格朗日

活动/黑客马拉松

• Polygon连接|印度班加罗尔。 12 月 7 日

• ETH 印度|印度班加罗尔。 12 月 8 日至 10 日

• ZK 黑客 IV |在线的。 2024年1月16日至2月6日

• ETH 丹佛|美国丹佛。 2月23日至3月3日

• ETHGlobal 伦敦|英国伦敦。 3 月 15 日至 17 日

• 2024 年世界冠军赛|加拿大多伦多。 3 月 25 日至 27 日

• zkSummit11 |希腊雅典。 4 月 10 日 - 保存日期

• 欧洲系统 2024 |希腊雅典。 4 月 22 日至 25 日

• ETHGlobal 悉尼|悉尼，澳大利亚。 5 月 3 日至 5 日

• DappCon 2024 |柏林，德国。 5 月 21 日至 23 日

• 柏林联邦理工学院|柏林，德国。 5 月 24 日至 26 日

• Eurocrypt 2024 |瑞士苏黎世。 5 月 26 日至 30 日

• 开发者大会|东南亚。 2024 年春天？

• ETHGlobal 布鲁塞尔|布鲁塞尔，比利时。 7 月 12 日至 14 日

————

你有它！希望您喜欢这个版本的 zkMesh。请务必订阅以在收件箱中获取下一版本。

最后，如果您有任何您认为应该包含在下一版本中的内容或对格式的建议，请发送推文给我们@__zkhack__ ！