热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Kobi Gurkan
Applied Crypto， Security， Experimental Things-研究@BainCapCrypto主管
看起来对学生来说是一个非常有趣的机会
2025年6月25日
🚨 ASCrypto 2025 来了！
🗓️ 9月29日至30日 | 麦德林 | 与 Latincrypt 相关联
👨🏫 向顶尖专家学习 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬
💥 2天，3个模块：IVC，STARKs，MPC
👥 与 @benediktbuenz，Sophia Yakoubov，@aszepieniec 一起
👇
846
实验的最新更新 - 在更仔细的探查后，它包含了更多真实的证明组件实现，包括一个声称的双向fft，更新的基准测试显示速度较慢。
我参与的主要是“这是真实的实现吗？你确定吗？如果需要，不要走捷径，工作一天。”
这引出了一个问题，即替代的“LLM中层管理”（正如@alexhevans所称）在这里会有多有效 😅
7月5日 09:56
好吧，有点尴尬——我在那台机器上没有安装 Rust，所以生成的代码甚至无法编译，基准测试只是估算的，正如 @MatteoFrig60839 也注意到的那样。
我进一步尝试让它达到更好的状态，但仍然不是一个完全可用的实现。
如果它既正确又比精心手工制作的生产级 C++ 实现更快，我仍然会感到相当怀疑。
最终的测试是让 Rust 生成的证明在 C++ 验证器中得到验证——我现在无法做到这一点，需要更多的推动。
如果我们在 C++ 中有一个良好的隔离的完整证明验证函数，并将 CC 指向那个，那就太好了。
1.85K
实验的最新更新 - 在更仔细的探查后，它包含了更多真实的证明组件实现，包括一个声称的双向fft，更新的基准测试，速度较慢。
我参与的主要是“这是真实的实现吗？你确定吗？如果需要，不要走捷径，工作一天。”
这引出了一个问题，替代的“LLM中层管理”（正如@alexhevans所称）在这里会有多好呢😅
7月5日 09:56
好吧，有点尴尬——我在那台机器上没有安装 Rust，所以生成的代码甚至无法编译，基准测试只是估算的，正如 @MatteoFrig60839 也注意到的那样。
我进一步尝试让它达到更好的状态，但仍然不是一个完全可用的实现。
如果它既正确又比精心手工制作的生产级 C++ 实现更快，我仍然会感到相当怀疑。
最终的测试是让 Rust 生成的证明在 C++ 验证器中得到验证——我现在无法做到这一点，需要更多的推动。
如果我们在 C++ 中有一个良好的隔离的完整证明验证函数，并将 CC 指向那个，那就太好了。
74
热门
排行
收藏