探索 Web3 Giveaway 活動，每週豐厚獎勵等您來領取
discoveryBanners
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-4.25%
USELESS
USELESS-1%
IKUN
IKUN-13.41%
gib
gib-5.62%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-1.73%
ALON
ALON-12.44%
LAUNCHCOIN
LAUNCHCOIN-10.18%
GOONC
GOONC-2.25%
KLED
KLED-10.26%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP+1.24%
Boopa
Boopa+2.19%
PORK
PORK+6.09%
Nethermind Security
Nethermind Security
9月17日 17:41·
我們的形式驗證團隊已經在 Lean 中形式化了可計算的多元多項式。cc @leanprover 這是在 zk 證明和協議設計中進行更強的機器檢查推理的基礎。 🔗 1/