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.
Kobi Gurkan
Criptografia Aplicada, Segurança, Coisas Experimentais - Chefe de Pesquisa @BainCapCrypto
Olá @TekGear, existe um tutor para o Twiddler para iOS que seja:
1. Dirigido por voz, para que você possa treinar sem olhar para a tela?
2. Algum tipo de feedback por voz para que eu possa ter uma experiência de feedback sobre como digito em aplicativos regulares? Eu imagino que isso exista para outros tipos de métodos de entrada alternativos, mas simplesmente não sei.
555
Apaguei os tópicos iniciais do meu experimento para usar o Claude Code para portar o longfellow-zk para Rust
Fiquei insatisfeito com a forma como estava apresentado, pois poderia confundir as pessoas ao pensar que algo incrível aconteceu, enquanto na verdade nem funcionou
Colocando imagens aqui para referência, e deixei os tópicos finais que estavam mais claros
1,77K
parece uma oportunidade realmente divertida para os estudantes
25/06/2025
🚨 ASCrypto 2025 está aqui!
🗓️ 29–30 de setembro | Medellín | Afiliado à Latincrypt
👨🏫 Aprenda 𝐦𝐨𝐝𝐞𝐫𝐧𝐨 𝐬𝐲𝐬𝐭𝐞𝐦𝐚 𝐝𝐞 𝐩𝐫𝐨𝐯𝐚𝐜𝐨𝐞𝐬 com os melhores especialistas
💥 2 dias, 3 módulos: IVC, STARKs, MPC
👥 Com @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
867
Ú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 bem funcionaria 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
1,87K
Ú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
104
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
5/07, 01:38
Solicitado a implementar o resto + adicionar uma implementação em assembly, as novas reivindicações anexadas
5,66K
Top
Classificação
Favoritos