Web3 极客日报 #1331

帮助写 Halo2 电路的轻量级 SDK

https://github.com/taikoxyz/circuit-tools

Harry: 如果你在写 Halo2 电路，可以试试这个 SDK，作者从工程经验中抽象出来几个 feature: Constraint Builder、Cell Manager、Dynamic Lookup 和 Cached Region。

Getting Started with Halo2

https://docs.axiom.xyz/zero-knowledge-proofs/getting-started-with-halo2

Harry: Axiom 出的 Halo2 教程。

今年 blackhat 关于 mpc 安全的一个简报

https://www.blackhat.com/us-23/briefings/schedule/#small-leaks-billions-of-dollars-practical-cryptographic-exploits-that-undermine-leading-crypto-wallets-32268

Lucas: 本简报探讨了最常见的 MPC 协议和实现，并展示了相关密钥泄露攻击。