トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Kobi Gurkan
応用暗号、セキュリティ、実験的 - 研究責任者 @BainCapCrypto
学生にとっては本当に楽しい機会のようです
2025年6月25日
🚨 ASCrypto 2025 開催!
🗓️ 9月29-30日 |メデジン |Latincryptと提携
👨 🏫 トップエキスパートから最新のプルーブシステムを学ぶ
💥 2日間、3つのモジュール:IVC、STARKs、MPC
👥 @benediktbuenz、ソフィア・ヤコウボフ、@aszepieniecと
👇
854
実験からの最後の更新 - より慎重に促した後、証明者コンポーネントのより実際の実装が含まれており、主張されている双方向 fft と更新されたベンチマークが含まれていますが、これは低速です
私の関与のほとんどは、「それは本当の実装なのか?確かですか。近道をせず、必要であれば1日働くこと」
これは、代替の「LLMの中間管理職」(@alexhevans呼ばれているように)がここで😅どれだけうまく機能するかという問題をもたらします
7月5日 09:56
ちょっと恥ずかしいですが、そのマシンには錆がインストールされていなかったので、生成されたコードはコンパイルされず@MatteoFrig60839、ベンチマークは推定値でした。
私はそれをより良い状態にするためにもっと突き動かしましたが、まだ完全に機能する実装ではありません
それが慎重に手作りされたプロダクショングレードのC ++実装よりも正しい+高速であるかどうか、私はまだかなり疑わしいでしょう
錆びた証明をC ++検証機で検証する究極のテスト - 私は今のところ正しく得ることができず、より多くの催促が必要になります
C ++で優れた分離された完全証明検証機能があり、CCをそれに向けているといいのですが
1.86K
実験からの最後の更新 - より慎重に促した後、証明者コンポーネントのより実際の実装が含まれており、主張されている双方向 fft と更新されたベンチマークが含まれていますが、これは低速です
私の関与のほとんどは、「それは本当の実装なのか?確かですか。近道をせず、必要であれば1日働くこと」
これは、代替の「LLMの中間管理職」(@alexhevans呼んだように)がここで😅どれほどうまく機能するかという問題をもたらします
7月5日 09:56
ちょっと恥ずかしいですが、そのマシンには錆がインストールされていなかったので、生成されたコードはコンパイルされず@MatteoFrig60839、ベンチマークは推定値でした。
私はそれをより良い状態にするためにもっと突き動かしましたが、まだ完全に機能する実装ではありません
それが慎重に手作りされたプロダクショングレードのC ++実装よりも正しい+高速であるかどうか、私はまだかなり疑わしいでしょう
錆びた証明をC ++検証機で検証する究極のテスト - 私は今のところ正しく得ることができず、より多くの催促が必要になります
C ++で優れた分離された完全証明検証機能があり、CCをそれに向けているといいのですが
84
ちょっと恥ずかしいですが、そのマシンには錆がインストールされていなかったので、生成されたコードはコンパイルされず@MatteoFrig60839、ベンチマークは推定値でした。
私はそれをより良い状態にするためにもっと突き動かしましたが、まだ完全に機能する実装ではありません
それが慎重に手作りされたプロダクショングレードのC ++実装よりも正しい+高速であるかどうか、私はまだかなり疑わしいでしょう
錆びた証明をC ++検証機で検証する究極のテスト - 私は今のところ正しく得ることができず、より多くの催促が必要になります
C ++で優れた分離された完全証明検証機能があり、CCをそれに向けているといいのですが
5.64K
トップ
ランキング
お気に入り