该月刊ZK Mesh主要关注去中心化隐私保护技术、隐私协议开发和零知识系统研究。内容涵盖最新的研究论文、文章、视频、播客、项目更新和活动,由ZK Hack制作。
一份分享去中心化隐私保护技术、隐私协议开发和零知识系统领域最新进展的月度新闻通讯
欢迎来到 ZK 网格,一份精选的月度新闻通讯,涵盖先进的隐私增强密码学、分布式协议开发和零知识系统研究的最新进展。
每个月,我们都会为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。ZK 网格由 ZK Hack制作。
Symphony:基于格的高阶折叠的随机预言模型中的可扩展 SNARK | Binyi Chen
Zk-cookies:Web 的持续匿名身份验证 | Alexander Frolov, Hal Triedman and Ian Miers
线性*-时间置换检查 | Benedikt Bünz, Jessica Chen and Zachary DeStefano
具有混合验证技术的基于格的 zk-SNARK | Supriya Adhikary, Puja Mondal and Angshuman Karmakar
关于优化 gemini 变体的正确性的说明 | Ariel Gabizon and Nishat Koti
线性和对数可靠的置换和多重集 SNARK | Bing-Jyue Chen, Lilia Tang, David Heath and Daniel Kang
面向 SwissPost 投票系统的形式化验证和损坏设置安全性 | Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil-Pons and Sjouke Mauw
Golden:轻量级非交互式分布式密钥生成 | Benedikt Bünz, Kevin Choi, Chelsea Komlo,
Poseidon2b:Poseidon2 的二元域版本 | Lorenzo Grassi, Dmitry Khovratovich, Katharina Koschatko, Christian Rechberger, Markus Schofnegger, Verena Schröppel
Dynark:使 Groth16 动态化 | Tianyu Zhang, Yupeng Ouyang and Yupeng Zhang
CoBBl:用于 SNARK 的动态约束生成 | Kunming Jiang, Fraser Brown and Riad S. Wahby
密码学角色:没有去匿名化的负责任的假名 | Rachel Thomas, Oliwia Kempinski, Hari Kailad, Emma Margaret Shroyer, Ian Miers and Gabriel Kaptchuk
FRI 的简化逐轮正确性证明 | Albert Garreta, Nicolas Mohnblatt and Benedikt Wagner
智商 < 200 的拉格朗日插值 | Lauri Peltonen
LatticeFold 架构系列概述 | Stanford Blockchain Review
Blindfold | Srinath Setty
Zkzkevm:私有 evm | Barry Whitehat
从 Pedersen 承诺的范围证明中删除配对、Bulletproofs 或 ZKP | Leona Hioki
Roc Camera:一种可以证明图像不是 AI 生成的相机 | Gigazine
zkVM 和 ZK 数据协处理器的无限可验证计算层 | Brevis
使用 ZisK 进行极速开发:分布式证明生成 | Abix
隐私通行证 + x402 = x402 的盲化 | Kobi Gurkan
展开 Bulletproofs 的魔力:SageMath 深入研究 | zkSecurity
密码学对自己隐藏了什么? | Diego F. Aranha, Nikolas Melissaris
隐私事项 – TEE、ZK、MPC 和 FHE 之间的区别 | Eli Ben-Sasson
Solana 正在添加现代 ZK 系统调用 | Solana Foundation
ZKPassport、Obsidion 和新兴的 Noir 生态系统 | ZK Podcast
Payy 和 Payy Card,不可撤销的信用卡 | ZK Podcast
ZK 白板会议模块 4: LatticeFold,w/ Binyi Chen | ZK Hack
ZK 白板会议模块 5: Ligero 证明系统,w/ Muthu Venkitasubramaniam | ZK Hack
私有 Zcash 到 Aztec 转账演示 | Aztec
使零知识智能合约开发可访问、安全和实用 | LF Decentralized Trust
SoK:查找表参数 | Hossein Hafezi, Gaspard Anthoine, Matteo Campanelli and Dario Fiore
细分 Bulletproofs:没有配对,没有可信设置 | zkSecurity
智商 < 200 的拉格朗日插值 | Lauri Peltonen
Rookie Numbers:一个新的 sha256 预编译 | ClementWalter
// 这里是 sha256 预编译的代码
将私有场外交易 (OTC) 互换引入加密货币 | Aztec
MACI 平台审计 | Hashcloak
通过 `sys_read` 中的内存安全故障在访客中执行任意代码 | RiscZero
基于 Graeffe 的对 Poseidon 的攻击和 NTT 下界 | Ziyu Zhao, Antonio Sanso, Giuseppe Vitto and Jintai Ding
Fault to Forge:对 LESS 签名方案的故障辅助伪造攻击 | Puja Mondal, Suparna Kundu, Hikaru Nishiyama, Supriya Adhikary, Daisuke Fujimoto, Yuichi Hayashi and Angshuman Karmakar
通过新的融资机制支持隐私 | Ethereum Foundation
SP1 Hypercube 的形式化验证 | Succinct
ZisK 中的安全挑战派生 | ZisK
Brevis 指南:一切的无限计算层 | Brevis
Zashi 互换:去中心化入口已上线 | Electric Coin Company
Citrea 完全完成了其审计阶段:迈向主网的重要一步 | Citrea
Miden x Ligero | Miden & Ligero
FibRace 基准测试结果已发布! | Hylé
升级 Succinct Prover Network:私有证明就在这里 | Succinct
ZK 相似性 | Rarimo
Sway Spotlight:Haven | Fuel Network
基于 EUDI 钱包中算术电路的零知识证明实现的规范 | EU DID 钱包
Provably V2 发布 | Provably
OpenVM 在 EthProofs 上直播 | OpenVM
Succinct 的 SP1 HyperCube zkVM 的形式化验证 | Nethermind
来自 Web3privacy 的 Ethereum Privacy Stack | 阿根廷布宜诺斯艾利斯。11 月 16 日
Ethereum Cypherpunk Congress #2 | 阿根廷布宜诺斯艾利斯。11 月 16 日
Devconnect | 阿根廷布宜诺斯艾利斯。11 月 17-22 日
zkID 会议 | 阿根廷布宜诺斯艾利斯。11 月 18 日
zkTLS 日 | 阿根廷布宜诺斯艾利斯。11 月 19 日
加密日 | 阿根廷布宜诺斯艾利斯。11 月 19 日
EthProofs 日 | 阿根廷布宜诺斯艾利斯。11 月 22 日
ETHGlobal:布宜诺斯艾利斯 | 阿根廷布宜诺斯艾利斯。11 月 21-23 日
密码学理论会议 (TCC 2025) 丹麦奥胡斯。12 月 1-5 日
Asiacrypt | 澳大利亚墨尔本。12 月 8-12 日
RWC 2026 | 中国台湾台北。2026 年 3 月 9-11 日
zkSummit 14 | 欧洲待定。2026 年春/夏
Eurocrypt | 意大利罗马。2026 年 5 月 10-14 日
————
- 原文链接: zkmesh.substack.com/p/zk...
 - 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
 
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!