update q4

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