发现功能使用指南
discoveryBanners
热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+11.77%
USELESS
USELESS+0.39%
IKUN
IKUN+5.49%
gib
gib+15.32%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-0.62%
ALON
ALON+13.97%
LAUNCHCOIN
LAUNCHCOIN+17.95%
GOONC
GOONC+7.17%
KLED
KLED+6.47%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.25%
Boopa
Boopa+5.89%
PORK
PORK0.00%
header
Kobi Gurkan
Applied Crypto， Security， Experimental Things-研究@BainCapCrypto主管
Kobi Gurkan
Kobi Gurkan2025年11月20日
这太棒了 - Brandon 刚刚实现了这一切！！ 我真的希望看到更多干净的抽象实现及其形式验证对应物 - 这会带来更好的安全性，甚至只是清晰度 如果你对此感兴趣或正在研究，请联系我 :)
Brandon Kase
Brandon Kase2025年11月19日
SPLAT中的概率推理结果非常干净！！ 感谢论文中1.4节形式的简单性。 截图显示了链式法则。我喜欢即使没有Lean知识也能跟随计算部分。
2.36K
Kobi Gurkan
Kobi Gurkan2025年11月12日
如果你正确地说三遍“sampler simply samples”，你可能会收到 @GuilleAngeris 的拜访
1K