diff --git a/docs/zkweekly/2024/q4.md b/docs/zkweekly/2024/q4.md index 350a833..6398187 100644 --- a/docs/zkweekly/2024/q4.md +++ b/docs/zkweekly/2024/q4.md @@ -6,6 +6,63 @@ outline: [2, 3] ## 十二月 +### 2024.12.18 + +**【论文】** + +- Frigo等人在论文《Anonymous credentials from ECDSA》中提出了一种基于ECDSA的新匿名凭证方案,通过高效的zk证明解决了SHA256和文档解析问题,无需更改现有发行者流程或设备,适用于隐私保护的数字身份应用。 + [链接](https://eprint.iacr.org/2024/2010) + +- Gu等人在《PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification》论文中提出了PoneglyphDB,通过非交互式零知识证明支持数据保密性和查询处理的可验证性。 + [链接](https://arxiv.org/abs/2411.15031) + +**【视频】** + +- 视频详细介绍了折叠方案的定义、特性、应用及其在Nova方案后的进展,特别是Hypernova的定义和协议。 + [视频](https://www.youtube.com/watch?v=4alOna5X3ro) + +**【博客】** + +- ZKV分享了《ZK in Sui》关于Sui上的ZK技术应用,讨论了隐私保护和安全漏洞等关键问题。涉及到zkLogin登录和Kelp账户恢复等应用。 + [链接](https://zkv.xyz/zk-in-sui/) + +- Succinct团队在ZK-Residency项目中分享了《Your definitive guide to zkVMs》关于zkVM的详细指南,比较了SP1、RISC0、Jolt、Nexus、Delphinus和Powdr等zkVM在多种加密算法上的表现。 + [𝕏](https://x.com/kautukkundan/status/1867589273446232368) + +- Crypblizz分享了《Crypto Companions: The PET ecosystem (MPC / FHE / TEE & ZK)》对隐私增强技术(PETs)的深入探讨,涵盖了MPC、FHE、TEE和ZK等技术的历史、演变及其在Web3行业中的重要性。 + [链接](https://mirror.xyz/crypblizz.eth/AJLi9mL_7C8LkSYGlkaDbGfXaXFVtOGU_1eDs-_JDNA) + +- NPLabs团队分享了《A primer on hybrid Merkle trees》关于hybrid Merkle Trees的技术介绍,探讨了其在plonky3和递归证明中的应用,提供了详细的技术入门指南。 + [𝕏](https://x.com/m2magician/status/1867605074954137635) + +- Josh Beal在博客《Mira: Generic Accumulation Scheme for Special-Sound Protocols》中提出了一种通用的累积方案,适用于特殊可靠性的协议(类Protostar),显著提高了配对基论证的折叠效率。 + [博客](https://blog.beal.io/posts/mira/) + +**【开源】** + +- rkdud007发布了awesome-zkvm开源zkVM列表,涵盖了多个项目和资源,支持并行证明和GPU证明的横向对比等功能。 + [链接](https://github.com/rkdud007/awesome-zkvm) + +- shield-labs团队发布了zkLogin开源项目,允许用户在Base(兼容EVM)上使用Google/Apple账户进行自托管登录。 + [链接](https://github.com/shield-labs-xyz/zklogin) + +- Axiom, Scroll等团队发布了OpenVM开源项目,这是一个优先考虑模块化和可扩展性的zkVM框架,支持开发者添加自定义操作码、电路和证明系统。 + [链接](https://github.com/openvm-org/openvm) + +**【信息】** + +- Antalpha Lab发布zkVM的课程安排,从2024年12月30日开始的4周时间,欢迎感兴趣的同学报名。 + [链接](https://mp.weixin.qq.com/s/GLvncEzit0rTGSH5wFAvTw) + +- Lagrange推出了Infinite Proving Layer,扩展了其ZK Prover Network,为ZK rollups提供证明生成。 + [链接](https://www.lagrange.dev/blog/infinite-proving-layer) + +- Daniel Shorr宣布加入Tools for Humanity,致力于构建全球最大的真实人类网络,通过zkAI技术实现隐私和安全的认证。 + [𝕏](https://x.com/realdanielshorr/status/1867235849026638198) + +- Lita团队发布了Valida 0.7.0更新,首次支持WASM编译器工具链,并增强了zkVM堆栈的开发体验。 + [链接](https://www.lita.foundation/blog/announcing-valida-0-7-0) + ### 2024.12.11 **【论文】**