11 segundos - Essa é a tweet.

A avaliação neutra de diversas implementações de #zkVM revela insights sobre seu design e desempenho. Análise do ZisK concluída. @jbaylina @ziskvm 🧐 Além do incrível emulador, o ZisK possui as seguintes características: 🔹 Paralelismo CPU/GPU: a #CPU lida com a geração de testemunhas enquanto a #GPU gerencia a geração de provas, funcionando em conjunto. 💻✨ 🔹 Utilização de GPU quase 100%: graças a circuitos independentes (principal, mem, ram, etc.) e distribuição de tarefas via multi-threading + multi-streaming. 🚀 Top 3 Kernels de GPU (Consumo de Tempo): 🔹 computeExpressions: 40%. ⏱️ 🔹 br_ntt_8_steps: ~20%. ⏱️ 🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️ Oportunidades de Otimização: 🔹 Para br_ntt_8_steps: · Reutilizar fatores twiddle entre kernels (atualmente regenerados a cada vez). ♻️ · Adicionar um kernel NTT nativo para bit-reverse para eliminar etapas redundantes de bit-reverse durante os commits. ⚙️ 🔹 Para computeExpressions: · Os recursos da GPU estão totalmente utilizados. Ganhos futuros podem exigir a otimização das operações da chave de prova para eficiência. 🔍 Adivinhe qual zkVM analisaremos a seguir? 🤔 @eth_proofs

Este é um marco crucial para a verificação formal dos zk provers — um passo essencial para estabelecer confiança e verificabilidade em todo o ecossistema ZK.

Esta versão é totalmente open source, com segurança de 128 bits e prova de blocos #ethereum em tempo real.

Fico feliz em ver que Jordy Baylina está pedindo um padrão compartilhado—segurança de 128 bits. Sinto-me compelido a acrescentar, no entanto: isso só importa se for matematicamente verificável, ou seja, sem confiança! Configuração confiável, para mim, é basicamente segurança de 80 bits.

Um enorme agradecimento a todos os envolvidos na organização do @EthCC — consistentemente a melhor conferência de Ethereum, ano após ano. 🙏💜

Estamos hospedando nossa primeira chamada da comunidade ZisK. Sessão focada em devs trabalhando em provas em tempo real. O que esperar: – Mergulho profundo na arquitetura ZisK e no sistema de restrições – Perguntas e respostas ao vivo com @jbaylina – Exemplos práticos de trabalho com a ZisK Registe-se agora :

Passei uma noite adorável no @EthCC com pessoas muito mais inteligentes do que eu: o arquiteto da @ethereum @drakefjustin e o ZKatooor @jbaylina (membro do grupo white hat DAO da ethereum e, se não me engano, também do hack da parity). Obrigado @ekang426 por organizar um ótimo jantar!

Na @ziskvm, estamos agora a provar blocos do Ethereum em tempo real — código aberto e a funcionar em infraestruturas cada vez mais eficientes. É um marco inicial, mas significativo. Junte-se a mim hoje às 13:00 @ EthCC, Redford Stage para saber mais. #EthCC #ZK #Ethereum #zkVM @eth_proofs

Postagem incrível que explica os truques para alcançar a geração de traços riscV a 1,5GHz.