Popularne tematy
#
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.
Ostatnia aktualizacja z eksperymentu - po dokładniejszym sprawdzeniu zawiera więcej rzeczywistych implementacji komponentów prover, w tym rzekomą dwukierunkową fft, z zaktualizowanymi benchmarkami, które są wolniejsze.
Większość mojego zaangażowania polegała na pytaniach typu "czy to jest prawdziwa implementacja? Czy jesteś pewien? Nie idź na skróty i pracuj przez dzień, jeśli to konieczne."
Co prowadzi do pytania, jak dobrze działałby alternatywny "średni menedżment dla LLM" (jak to nazwał @alexhevans) tutaj 😅
5 lip, 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
53
Najlepsze
Ranking
Ulubione