Актуальні теми
#
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.
Останнє оновлення з експерименту - після більш ретельного продування, воно містить більш реальні реалізації компонентів prover, включаючи заявлений двонаправлений fft, з оновленими бенчмарками, які працюють повільніше
Більша частина моєї участі була скоріше на кшталт «чи це справжня реалізація? Ти впевнений? Не йдіть короткими шляхами і працюйте цілий день, якщо це необхідно"
Звідси виникає питання про те, наскільки добре тут спрацювала 😅 б альтернатива «середнє керівництво для LLM» (як @alexhevans його назвали)
5 лип., 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
51
Найкращі
Рейтинг
Вибране