Apresentando zk-SNARKs Dinâmicos—uma inovação da equipe de pesquisa Lagrange Weijie Wang, @chbpap, @s_shravan e @dipapadopo Os zk-SNARKs Dinâmicos marcam um grande avanço na realização de 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 pela sua natureza estática—se os seus dados mudam, você tem que reconstruir toda a prova do zero (ou seja, lento, caro e impraticável para aplicações que exigem muitos dados). Os zk-SNARKs dinâmicos removem essas limitações.

3/ Em resumo, zk-SNARKs dinâmicos permitem que você atualize uma prova quando seus dados mudam—sem necessidade de recomeçar. Imagine atualizar um recibo em vez de imprimir um novo toda vez que um cliente adiciona um item (mais rápido, mais barato e mais inteligente—prático para aplicativos que exigem muitos dados).

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

5/ Imagine isto… 💭 - Uma IA dá-lhe uma resposta - Um zk-SNARK dinâmico prova que está correta. - Você dá à IA uma nova entrada, construindo sobre a sua anterior. - Com o zk-SNARK dinâmico, uma IA pode atualizar a prova para a nova resposta em segundos (sem necessidade de recalcular tudo).

6/ Um brinde à nossa equipe de pesquisa por redefinir o que podemos alcançar com a tecnologia ZK Uma descoberta de cada vez, estamos pioneirando uma IA que é segura, verificável e confiável Assista à palestra no SBC ‘25: Leia o artigo completo aqui: