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 maggior parte del mio coinvolgimento è 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, un po' imbarazzante - non avevo rust installato su quella macchina, quindi il codice generato non si è nemmeno compilato e i benchmark erano stime, come ha notato anche @MatteoFrig60839
Ho spinto di più per portarlo a uno stato migliore, ma non è ancora un'implementazione completamente funzionante
Sarei ancora piuttosto sospettoso se fosse sia corretto che più veloce di un'implementazione C++ di produzione realizzata con cura
Il test definitivo sarebbe avere una prova generata in rust verificata in un verificatore C++ - non riesco a farlo per ora e richiederebbe ulteriori sforzi
Sarebbe bello se avessimo una buona funzione di verifica della prova isolata in C++ e puntare CC verso quella
76
Principali
Ranking
Preferiti