@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编写电路时的潜在漏洞,包括未约束变量和范围检查问题。
@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的奖励。