Skip to content

Commit

Permalink
updates
Browse files Browse the repository at this point in the history
  • Loading branch information
wizicer committed Aug 21, 2024
1 parent b984ce0 commit 0fba5ce
Showing 1 changed file with 54 additions and 0 deletions.
54 changes: 54 additions & 0 deletions docs/zkweekly/2024/q3.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

**【论文】**
Expand Down

0 comments on commit 0fba5ce

Please sign in to comment.