diff --git a/docs/zkweekly/2024/q4.md b/docs/zkweekly/2024/q4.md index 0c466cb..be04a9d 100644 --- a/docs/zkweekly/2024/q4.md +++ b/docs/zkweekly/2024/q4.md @@ -4,6 +4,91 @@ outline: [2, 3] # 2024Q4 ZKP新闻 +## 十二月 + +### 2024.12.4 + +**【论文】** + +- Liu等人在《On Witness Encryption and Laconic Zero-Knowledge Arguments》论文中探讨了Witness Encryption与Laconic Zero-Knowledge Arguments的等价性,揭示了NP语言的加密与零知识证明之间的紧密联系。 + [论文](https://eprint.iacr.org/2024/1932) + +- Huber等人在《ZK-SNARKs for Ballot Validity: A Feasibility Study》论文中探讨了使用ZK-SNARKs验证电子投票中选票有效性的可行性,主要贡献包括对多种投票方法和选票格式的实现、基准测试和比较。 + [论文](https://eprint.iacr.org/2024/1902) + +**【视频】** + +- ZKM提供了一套一站式的ZKP教学资源视频。 + [链接](https://www.zkm.io/education-hub) + +**【博客】** + +- Hylé团队讨论了构建可证明应用的挑战,并讲解如何通过证明可组合性简化开发过程,节省时间和精力。 + [博客](https://blog.hyle.eu/proof-composability-on-hyle/) + +- krane等人在一篇博文中讨论了以太坊共识层的未来路线图,包括降低时隙时间、加快最终性和以太坊共识的'snarkification'。 + [博客](https://www.bedlamresear.ch/posts/base-layers/) + +- niallinio在Aztec上分享了费用分摊合约的制作教程《Aztec Contracts 0--100》,涵盖了合约编写与演示前端交互等内容。 + [博客](https://medium.com/@niallinio/aztec-contracts-0-100-905fe41bf998) + +- krishang.eth发布博客《Tornado Cash: a reference manual for developers》全面分析了Tornado Cash,涵盖了架构概述、Circom电路、Solidity智能合约及证明生成与验证的JavaScript实现。 + [博客](https://zk.bearblog.dev/tornado-cash-manual/) + +- Succinct Labs团队更新了SP1文档,明确指出其与RISC-V官方实现的偏差,包括内存访问对齐和统一地址空间。 + [𝕏](https://x.com/jtguibas/status/1862301417870148082), + [博客](https://github.com/succinctlabs/sp1/blob/dev/book/developers/rv32im-deviations.md) + +- WongSSH发布博客《椭圆曲线密码学与 Typescript 实现》详细介绍了椭圆曲线密码学及其在Ethereum中的应用,特别是secp256k1算法的实现。 + [博客](https://blog.wssh.trade/posts/secp256k1-ts/) + +- Cysic团队在《How Fast We Can Go: Proving Million Keccak Function Per Second》博客中展示了Cysic C1芯片在Keccak函数证明中的性能,每秒可证明1.31M Keccak函数,通过GKR证明系统和深度优化实现。 + [博客](https://hackmd.io/@Cysic/r1LoS0MmJg) + +- FHE Onchain在博客《zkLWE: Proving Homomorphic LWE Addition Using Plonky2》中介绍了如何使用Plonky2库在Rust中构建一个基于LWE的加密系统,实现同态加法,并通过ZKP进行验证。 + [博客](https://www.fheonchain.org/blog-post/zklwe) + +**【开源】** + +- Irreducible团队发布了Binius-Models开源项目,包含多种Python实现的加密算法和协议模型,适用于Binius项目,该项目为教学目的。 + [代码](https://gitlab.com/IrreducibleOSS/binius-models) + +**【信息】** + +- Antalpha Labs发布12月1日的ZKP相关总结笔记。 + [链接](https://mp.weixin.qq.com/s/p2Qs2CM8qR6v36xDbBbhaw) + +- 以太坊基金会启动了Poseidon密码分析计划,旨在提升Poseidon哈希函数的安全性研究。 + [链接](https://www.poseidon-initiative.info/) + +- MatterLabs团队分享了ZK Email项目的安全评估结果,揭示了17个安全问题,其中三个关键漏洞涉及邮件解析差异、ZK正则表达式电路约束不足和URL参数注入。 + [链接](https://github.com/matter-labs-audits/reports/blob/main/research/zkemail/README.md) + +- TACEO团队发布了关于coSNARKs的资源,帮助用户快速了解和掌握coSNARKs技术。 + [链接](https://x.com/TACEO_IO/status/1862124669425369581) + +- ZKsync团队发布了ZKsync Smart Sign-On (SSO),简化开发者管理用户认证、会话和交易处理。 + [链接](https://x.com/portport255/status/1863661080381141091) + +- Ethereum基金会启动ETH Rangers计划,旨在激励Ethereum生态系统的公共物品安全工作,提供为期六个月的\$25,000美元资助。 + [链接](https://blog.ethereum.org/2024/12/02/ethrangers-public-goods) + +- Polymer Labs宣布Polymer Hub主网正式上线,提供以太坊rollups的实时互操作性。 + [𝕏](https://x.com/Polymer_Labs/status/1855974277130195134), + [说明](https://www.polymerlabs.org/blog/polymer-launches-real-time-interoperability-for-ethereum-rollups) + +- Paul Gafni回顾了zkVM中"precompiles"的历史及其发展。 + [𝕏](https://x.com/paul_gafni/status/1861062052493869433) + +- TACEO在Devcon7活动中展示了与Cursive和PSE合作构建的第一个生产就绪的coSNARKs,并在alphanet中生成了首个使用真实数据的证明。 + [链接](https://blog.taceo.io/devcon-demo/) + +- Oleh发布了关于zklogin与EIP7702的视频,演示了如何使用passkey和Google账户连接EOA,并进行ETH交易,包括恢复过程的详细步骤。 + [𝕏](https://x.com/oleh_bc/status/1862376837621665921) + +- 欧盟数字身份钱包将引入多项隐私和安全功能,包括选择性披露属性和隐私仪表板,确保用户数据控制和防止身份盗窃。 + [链接](https://ec.europa.eu/digital-building-blocks/sites/display/EUDIGITALIDENTITYWALLET/Security+and+Privacy) + ## 十一月 ### 2024.11.27