Apresentando os zk-SNARKs dinâmicos - um avanço da equipe de pesquisa da Lagrange Weijie Wang, @chbpap, @s_shravan e @dipapadopo Os zk-SNARKs dinâmicos marcam um grande passo à frente para tornar realidade as provas criptográficas atualizáveis em tempo real Aqui está o que isso significa e por que é importante 🧵

2/ Os zk-SNARKs tradicionais são limitados em sua natureza estática - se seus dados mudarem, você terá que reconstruir toda a prova do zero (também conhecido como lento, caro e impraticável para aplicativos com uso intensivo de dados). Os zk-SNARKs dinâmicos removem essas limitações.

3/ Resumindo, os zk-SNARKs dinâmicos permitem que você atualize uma prova quando seus dados mudam - sem necessidade de começar de novo. Imagine atualizar um recibo em vez de imprimir um novo toda vez que um cliente adicionar um item (mais rápido, mais barato e mais inteligente, prático para aplicativos com uso intensivo de dados).

4/ Esta pesquisa apresenta imensos benefícios para casos de uso do mundo real. por exemplo: – IA que continua aprendendo – Jogos com lógica em tempo real – Blockchains rastreando dados ao vivo – Contratos inteligentes se ajustando à medida que as entradas mudam Os zk-SNARKs dinâmicos tornam esses casos de uso verificáveis sem desperdiçar computação.

5/ Imagine isso... 💭 - Uma IA lhe dá uma resposta - Um zk-SNARK dinâmico prova que está correto. - Você dá à IA uma nova entrada, com base na anterior. - Com o zk-SNARK dinâmico, uma IA pode atualizar a prova para a nova resposta em segundos (não há necessidade de recalcular tudo).

6/ Um brinde à nossa equipe de pesquisa por redefinir o que podemos alcançar com a tecnologia ZK Um avanço de cada vez, somos pioneiros em IA segura, verificável e confiável Assista à palestra no SBC '25: Leia o artigo completo aqui: