Argomenti di tendenza
#
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.
Ultimo aggiornamento dall'esperimento - dopo un'analisi più attenta, contiene più implementazioni reali dei componenti del prover, inclusa una fft bidirezionale dichiarata, con benchmark aggiornati, che sono più lenti.
La mia partecipazione è stata più del tipo "è un'implementazione reale? Sei sicuro? Non prendere scorciatoie e lavora per un giorno se necessario".
Questo solleva la questione di quanto bene funzionerebbe un'alternativa "gestione intermedia per LLM" (come l'ha chiamata @alexhevans) qui 😅
5 lug, 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
Principali
Ranking
Preferiti