Subiecte populare
#
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.
Ultima actualizare a experimentului - după o solicitare mai atentă, conține mai multe implementări reale ale componentelor de verificare, inclusiv un fft bidirecțional pretins, cu benchmark-uri actualizate, care sunt mai lente
Cea mai mare parte a implicării mele a fost mai degrabă de genul "este o implementare reală? Eşti sigur? Nu luați scurtături și lucrați o zi dacă este necesar"
Ceea ce ridică întrebarea cât de bine ar funcționa aici un "management de mijloc alternativ pentru LLM-uri" (așa cum l-@alexhevans numit) aici 😅
5 iul., 09:56
ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as @MatteoFrig60839 also noticed
I prodded more to get it to a better state, but still not a fully working implementation
I would still be pretty suspicious if it's both correct + faster than a carefully hand crafted production grade C++ implementation
the ultimate test of having a rust generated proof verified in a c++ verifier - I can't get right for now and would require more prodding
would be nice if we had a good isolated full proof verification function in C++ and point CC towards that
1,82K
Limită superioară
Clasament
Favorite