トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
@NethermindSec Formal Verification チームは、@ethereumfndn から 2024 ZK Grants Round までの支援を受けて、@leanprover の Halo2 zk 回路の正式な検証のためのインフラストラクチャである Halva を開発しました。
私たちは Hhalvaを使用して、現実世界のScroll zk回路の重大なバグを発見しました。🧵
1/
5.09K
トップ
ランキング
お気に入り