ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Wed 星期三
04.16
2025
Halo2 soundness issues https://github.com/teddav/halo2-soundness-bugs
@0xteddav opened source for the Halo2 soundness bugs project, showcasing potential vulnerabilities in Halo2 circuit writing, including unconstrained variables and range checks. @0xteddav 在GitHub上开源了Halo2 soundness bugs项目，展示了Halo2编写电路时的潜在漏洞，包括未约束变量和范围检查问题。
Proof Party | Have fun using zero-knowledge proofs with your friends. https://zkp.fun/
@NovaNet_zkp organized the zkp.fun event, inviting users to log in through MetaMask, participate in ZK challenges, and potentially win rewards from NovaNet. @NovaNet_zkp 组织了zkp.fun活动，邀请用户通过MetaMask登录，参与ZK挑战，同时有机会获得NovaNet的奖励。