ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Wed 星期三 水曜日
04.16
2025
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编写电路时的潜在漏洞，包括未约束变量和范围检查问题。 @0xteddav は、Halo2 の健全性バグに関するオープンソースプロジェクトを開示しました。これには、制約のない変数やレンジチェックなど、Halo2の回路記述における潜在的な脆弱性が含まれています。
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的奖励。 @NovaNet_zkp は zkp.fun イベントを主催し、ユーザーに対し MetaMask 経由でのログイン、ZK チャレンジへの参加、そして NovaNet からの報酬獲得の可能性を提供しました。