diff --git a/docs/zkweekly/2024/q3.md b/docs/zkweekly/2024/q3.md index c74bc5d..05e5c7d 100644 --- a/docs/zkweekly/2024/q3.md +++ b/docs/zkweekly/2024/q3.md @@ -6,6 +6,60 @@ outline: [2, 3] ## 八月 +## 一周ZKP新闻 - 2024.8.21 + +**【论文】** + +- Mysten Labs的Chalkias 等人在《Improved Polynomial Division in Cryptography》论文中,通过统一优化策略,提升了密码学原语中多项式除法的性能。在KZG承诺实现了2倍提速,在GROTH16中实现2-3%的提速。 + [论文](https://eprint.iacr.org/2024/1279) + +- Bernstein等人在论文《Safe curves for elliptic-curve cryptography》中总结了椭圆曲线选择对其密码学安全性的影响,强调了要考虑离散对数计算攻击,以及常见实现问题带来的安全风险。 + [论文](https://eprint.iacr.org/2024/1265) + +- Robin Linus等人发表Draft 版本论文《BitVM2: Bridging Bitcoin to Second Layers》,提出方法允许在比特币上执行任意程序,通过乐观计算和SNARK证明,仅需三次链上交易确保程序正确性。该方法无需比特币共识变更,降低了解决争议的复杂性,并展示了BitVM Bridge协议,相比老的BitVM论文,减少了信任假设,允许任何用户作为挑战者参与验证。 + [论文](https://bitvm.org/bitvm_bridge.pdf) + +**【视频】** + +- StarkWare发布一系列在StarkWare Scholar Summit上录制的视频,包括Binius、ECFFT、Circle STARK等内容。 + [视频列表](https://www.youtube.com/playlist?list=PLcIyXLwiPilWbZbZAl0EACeK86Y5SLspF) + +**【博客】** + +- Ingonyama发布博客介绍Kroma团队提出的Tachyon项目,这是支持GPU加速的通用ZKP开源库。 + [博客](https://medium.com/@ingonyama/icicle-case-study-accelerating-zk-proofs-with-kroma-network-eae1fa4c09cc) + +- NovaNet发布博客介绍AI Agents与区块链支付系统的结合,并展示了他们为此开源的基于SuperNova的zkWASM项目。 + [博客](https://www.novanet.xyz/blog/usdc-ai-agents-and-trustless-payments), + [代码](https://github.com/ICME-Lab/zkEngine_dev)。 + +**【开源】** + +- asm-nop开源了一个引理证明市场,允许一个用户为需要证明的引理质押赏金,通过RISC0的证明器,完成证明后,自动从合约中获得赏金。 + [代码](https://github.com/asm-nop/lemma) + +- 有人根据《SuperSpartan by Hand》文章用rust写了SuperSpartan的代码实现,可配合一起看。 + [博客](https://anoma.net/blog/superspartan-by-hand), + [代码](https://github.com/bigsky77/sparta-0) + +- 有人开源了使用Nova验证比特币区块头的代码。验证100k个头信息,在0.5 GB 内存下需4小时,或在20 GB内存下2小时内完成。proof大小小于16 KB。受Zero Sync实现启发实现。 + [代码](https://github.com/avras/btc-nova-lc), + [𝕏](https://x.com/sarva_v/status/1825563691892539669) + +- RISC0公开表示他们支持了Solana。 + *注:该项目在Solana上使用Groth16协议。* + [代码](https://github.com/risc0/risc0-solana), + [𝕏](https://x.com/RiscZero/status/1825884574120804681) + +**【信息】** + +- Antalpha Labs发布8月18日的ZKP相关总结笔记。 + [链接](https://mp.weixin.qq.com/s/rB9cpQQPKVgYCgOK12PE1w) + +- 另外一个新的专注于ZKP安全的精选列表Awesome-ZKP-Security,整理了相关论文、教程和工具。 + *注:虽然主题一样,但是和两周前推荐的那个是不同的,内容上也有些差别。* + [链接](https://github.com/Xor0v0/awesome-zero-knowledge-proofs-security) + ## 一周ZKP新闻 - 2024.8.14 **【论文】**