熱門話題
#
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、STARK、MPC
👥 與 @benediktbuenz Sophia Yakoubov @aszepieniec
👇
843
實驗的最新更新 - 在更仔細的探查後，它包含了更多真實的證明者組件實現，包括一個聲稱的雙向 FFT，並附上更新的基準測試，這些基準測試的速度較慢。
我大部分的參與都是在於“這是一個真實的實現嗎？你確定嗎？如果需要，不要走捷徑，工作一天。”
這引出了另一個問題：一個替代的“LLM 中層管理”（正如 @alexhevans 所稱）在這裡會有多好用呢？😅
7月5日 09:56
好吧，有點尷尬 - 我在那台機器上沒有安裝 Rust，所以生成的代碼甚至無法編譯，基準測試只是估算，正如 @MatteoFrig60839 也注意到的那樣。
我進一步推進以使其達到更好的狀態，但仍然不是一個完全可用的實現。
如果它既正確又比精心手工製作的生產級 C++ 實現更快，我仍然會感到相當懷疑。
最終的測試是讓 Rust 生成的證明在 C++ 驗證器中得到驗證 - 我目前無法做到這一點，並且需要更多的推進。
如果我們在 C++ 中有一個良好的獨立完整證明驗證函數，並將 CC 指向那裡，那就太好了。
1.84K
實驗的最新更新 - 在更仔細的探查後，它包含了更多真實的證明者組件實現，包括一個聲稱的雙向fft，並附上更新的基準測試，這些基準測試的速度較慢。
我大部分的參與更多是這種“這是一個真實的實現嗎？你確定嗎？如果需要，不要走捷徑，工作一天。”
這引出了另一個問題，替代的“LLM中層管理”（正如@alexhevans所稱）在這裡會有多好呢😅
7月5日 09:56
好吧，有點尷尬 - 我在那台機器上沒有安裝 Rust，所以生成的代碼甚至無法編譯，基準測試只是估算，正如 @MatteoFrig60839 也注意到的那樣。
我進一步推進以使其達到更好的狀態，但仍然不是一個完全可用的實現。
如果它既正確又比精心手工製作的生產級 C++ 實現更快，我仍然會感到相當懷疑。
最終的測試是讓 Rust 生成的證明在 C++ 驗證器中得到驗證 - 我目前無法做到這一點，並且需要更多的推進。
如果我們在 C++ 中有一個良好的獨立完整證明驗證函數，並將 CC 指向那裡，那就太好了。
72
熱門
排行
收藏