1,7x mais rápido, geração de provas distribuídas com @ziskvm Configuração: Coordenador no meu Mac, trabalhador no servidor remoto via túnel SSH Aprendizado chave: A aceleração [193s → 115s] veio de melhor h / w remoto, MAS a arquitetura distribuída permite misturar tipos de hardware e realmente dimensionar a geração de provas. Mais atualizações chegando, Shhh.... * Se você sabe tudo sobre coordenadores e trabalhadores e outras coisas, apenas diga oi "