Senaste uppdateringen från experimentet - efter mer noggrann prodding innehåller den mer verkliga implementeringar av beviskomponenterna, inklusive en påstådd dubbelriktad fft, med uppdaterade riktmärken, som är långsammare Det mesta av min inblandning har varit mer av typen "är det en riktig implementering? Är du säker? Ta inga genvägar och jobba en dag om det behövs" Vilket väcker frågan om hur väl en alternativ "mellanchef för LLM:er" (som @alexhevans kallade det) skulle fungera här 😅
Kobi Gurkan
Kobi Gurkan5 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,85K