Tópicos populares
#
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.
Última atualização do experimento - após uma investigação mais cuidadosa, contém mais implementações reais dos componentes do provador, incluindo um fft bidirecional alegado, com benchmarks atualizados, que são mais lentos.
A maior parte do meu envolvimento tem sido mais do tipo "é uma implementação real? Tem certeza? Não tome atalhos e trabalhe por um dia, se necessário".
O que levanta a questão de quão boa seria uma alternativa de "gestão intermediária para LLMs" (como @alexhevans chamou) aqui 😅
5/07, 09:56
ok, um pouco embaraçoso - eu não tinha o rust instalado naquela máquina, então o código gerado nem sequer compilou e os benchmarks eram estimativas, como @MatteoFrig60839 também notou
Eu investiguei mais para colocá-lo em um estado melhor, mas ainda não é uma implementação totalmente funcional
Eu ainda ficaria bastante cético se fosse tanto correto quanto mais rápido do que uma implementação C++ de produção cuidadosamente elaborada
o teste definitivo de ter uma prova gerada em rust verificada em um verificador C++ - eu não consigo fazer isso por enquanto e exigiria mais investigação
seria bom se tivéssemos uma boa função de verificação de prova isolada em C++ e direcionássemos o CC para isso
54
Top
Classificação
Favoritos