Populaire onderwerpen
#
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.
Laatste update van het experiment - na zorgvuldiger aandringen bevat het meer echte implementaties van de prover-componenten, inclusief een geclaimde bidirectionele fft, met bijgewerkte benchmarks, die langzamer zijn.
Het grootste deel van mijn betrokkenheid was meer van het soort "is het een echte implementatie? Weet je het zeker? Neem geen shortcuts en werk een dag als dat nodig is."
Wat de vraag oproept hoe goed een alternatieve "middenmanagement voor LLM's" (zoals @alexhevans het noemde) hier zou werken 😅
5 jul, 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
56
Boven
Positie
Favorieten