Trend-Themen
#
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.
Letzte Aktualisierung des Experiments - nach sorgfältigerer Überprüfung enthält es mehr echte Implementierungen der Prover-Komponenten, einschließlich eines angeblichen bidirektionalen FFT, mit aktualisierten Benchmarks, die langsamer sind.
Der Großteil meines Engagements bestand darin, zu überprüfen: „Ist es eine echte Implementierung? Bist du dir sicher? Mach keine Abkürzungen und arbeite einen Tag lang, wenn nötig.“
Was die Frage aufwirft, wie gut eine alternative „Mittelmanagement für LLMs“ (wie @alexhevans es nannte) hier funktionieren würde 😅
5. Juli, 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
Top
Ranking
Favoriten