トレンドトピック
#
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.
Certora Prover v7.29.1 がリリースされました!
Proverは、スマートコントラクトがすべての可能な状態と入力で正しく動作することを証明するためのオープンソースツールです。
このリリースでは、より安全な仕様を作成し、構成を簡素化し、より効率的に作業するための新機能が追加されています。
新機能 👇🧵
2.29K
トップ
ランキング
お気に入り