探索 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/