From 4f3a03973aa3530d907f8be64220c90967c46f2e Mon Sep 17 00:00:00 2001 From: Shuang Liang Date: Wed, 11 Sep 2024 21:26:56 +0800 Subject: [PATCH] update zkWeekly --- docs/zkweekly/2024/q3.md | 73 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 73 insertions(+) diff --git a/docs/zkweekly/2024/q3.md b/docs/zkweekly/2024/q3.md index 53e1048..75b6424 100644 --- a/docs/zkweekly/2024/q3.md +++ b/docs/zkweekly/2024/q3.md @@ -6,6 +6,79 @@ outline: [2, 3] ## 八月 +## 一周ZKP新闻 - 2024.9.11 + +**【论文】** + +- Zheng等人在《IDEA-DAC: Integrity-Driven Editing for Accountable Decentralized Anonymous Credentials via ZK-JSON》论文中提出了一种基于ZK-JSON的完整性驱动编辑方法,并用gnark进行电路设计。 + [论文](https://dl.acm.org/doi/10.1145/3589334.3645658), + [代码](https://github.com/Nullus-Labs/IDEA-DAC), + [在线体验](https://zkjson.com/) + +- Mukherjee等人在《Cache Timing Leakages in Zero-Knowledge Protocols》论文中分析了零知识证明系统在CPU缓存攻击下的脆弱性,并展示了低计算开销的防御措施。 + [论文](https://eprint.iacr.org/2024/1390) + +- Masson等人在《Bandersnatch: a fast elliptic curve built over the BLS12-381 scalar field》论文中提出了Bandersnatch曲线,该曲线基于BLS12-381标量域,通过高效同态映射实现快速标量乘法,乘法速度提高42%,R1CS电路尺寸减少21%,Plonk电路尺寸减少10%,性能优于Jubjub曲线,适用于ZKP系统。 + [论文](https://link.springer.com/article/10.1007/s10623-024-01472-0) + +**【视频】** + +- zkWarsaw主办的Verifiable Summit 2024已经结束,视频已经放出。 + [视频](https://www.youtube.com/watch?v=kw23u5djo2Y), + [日程](https://verifiablesummit.com/#Agenda) + +**【博客】** + +- OpenPassport发布了线上体验环境,用户可创建模拟应用并生成隐私保护的护照证明。 + [线上体验](https://www.openpassport.app/playground), + [博客](https://blog.openpassport.app/playground) + +- OpenPassport还组织了一场可验证的民主党初选,允许民众通过护照来匿名投票表达民主意见。 + [投票结果](https://newdemocraticprimary.org/results), + [博客](https://blog.openpassport.app/nap) + +- zkP2P宣布他们将开发链上二级票务市场应用,并发布长推展示设计视频和设计方案。 + [𝕏](https://x.com/zkp2p/status/1821230792095269175) + +- Zellic 报告了 gnark 0.11.0 之前版本中的两个漏洞,这些漏洞影响了 Groth16 后端的健全性和零知识属性。 + [𝕏](https://x.com/zellic_io/status/1832188410557296908), + [博客](https://www.zellic.io/blog/gnark-bug-groth16-commitments/) + +- RISC0发博客《Designing high-performance zkVMs》深入探讨了zkVM的证明系统设计,涉及折叠方案、JOLT、Binius和Circle STARKs等创新技术的设计考量。 + [博客](https://risczero.com/blog/designing-high-performance-zkVMs) + +- Vitalik发博客《Glue and coprocessor architectures》讨论协处理器的必要性以及其影响。 + [博客](https://vitalik.eth.limo/general/2024/09/02/gluecp.html) + +- Reclaim发布博客《zkTLS Canon》整理了一系列的zkTLS相关文章、视频等资源。 + [博客](https://blog.reclaimprotocol.org/posts/zktls-canon) + +- 有用户(名为yelhousni)在ethresearch论坛上发布帖子《Fake GLV》讲述他们在SNARK电路中实现类似GLV的标量乘法的方法,以此提高电路内ECDSA的效率。 + [帖子](https://ethresear.ch/t/fake-glv-you-dont-need-an-efficient-endomorphism-to-implement-glv-like-scalar-multiplication-in-snark-circuits/20394/1) + +**【开源】** + +- riscMPC是Fabian Gruber同学的硕士毕业工作,现已开源,可以基于RISC-V指令集进行MPC计算,代码结构良好,可以作为学习OT、SS等MPC原语的学习材料。 + [代码](https://github.com/fabian1409/risc-mpc) + +- Reclaim发布zkFetch.js,它允许你通过 HTTPS 端点获取远程资源,并附带一个可由第三方验证的正确执行证明(zkTLS的应用)。 + [代码](https://gitlab.reclaimprotocol.org/integrations/offchain/zk-fetch), + [Demo](https://zkfetch.xyz/) + +**【信息】** + +- Antalpha Labs发布9月8日的ZKP相关总结笔记。 + [链接](https://mp.weixin.qq.com/s/gJ5fRGbiKtPAoNDsZ3HEsw) + +- Justin Drake提到只需要\$1M一年,就可以将以太坊L1 EVM的所有区块都证明了,社区针对这个,认为ZKP的全面普及会比想象中来的更快。 + [𝕏](https://x.com/kapursanat/status/1831940273636831370) + +- Ingonyama发布ICICLE v3 ,新版本引入了强大的多平台支持。 + [链接](https://medium.com/@ingonyama/icicle-v3-1c9cc2f94402) + +- Polygon Labs宣布将投资500万美元采购基于Fabric可验证处理单元(VPU)的服务器系统,该芯片可为ZKP提供加速。 + [链接](https://polygon.technology/blog/fabric-teams-up-with-polygon-labs-to-introduce-revolutionary-hardware-verifiable-processing-units-vpus-for-zk) + ## 一周ZKP新闻 - 2024.9.4 **【论文】**