发现功能使用指南
discoveryBanners
热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-2.8%
USELESS
USELESS-6.81%
IKUN
IKUN+4.22%
gib
gib+8.41%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+0.17%
ALON
ALON+17.88%
LAUNCHCOIN
LAUNCHCOIN-12.68%
GOONC
GOONC+3.11%
KLED
KLED+22.77%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-3.02%
Boopa
Boopa-1.41%
PORK
PORK+5.11%
Nethermind Security
Nethermind Security
11月20日 22:47·
Nethermind 的形式验证团队正在推出 CertiPlonk，这是一个用于提取 Plonky3 约束并在 @leanprover 中验证其正确性的框架。 CertiPlonk 在不更改代码的情况下验证电路的正确性。 得到 @ethereumfndn 的资助支持。 更多信息 ⬇️