Grandes notícias: a pesquisa central de Lagrange sobre zk-SNARKs dinâmicos (Weijie Wang, @chbpap, @s_shravan @dipapadopo) será apresentado na Science of Blockchain Conference (SBC) 2025 em 4 de agosto. Veja por que isso é importante para IA, criptomoedas e o futuro da computação verificável: 🧵

2/ A principal limitação dos zk-SNARKs existentes é que eles são estáticos. Se seus dados ou computação mudarem, mesmo que ligeiramente, você terá que regenerar toda a prova do zero. É ineficiente, caro e inescalável para sistemas ativos.

3/ Os zk-SNARKs dinâmicos tornam as provas mais eficientes do que nunca. Eles permitem que você atualize uma prova de forma incremental quando os dados subjacentes mudam. AKA: Não há necessidade de recalcular tudo do zero.

4/ Por que isso importa? Porque a computação verificável agora pode ser dimensionada com: – Ajustando um modelo de IA – Um jogador se movendo em um jogo ao vivo – Um novo ponto de dados atingindo um oráculo em tempo real Provas que evoluem com o sistema que eles protegem.

5/ Além disso, os zk-SNARKs dinâmicos preservam as mesmas garantias de conhecimento zero e solidez dos sistemas tradicionais. Eles são criados com base em suposições padrão como q-DLOG e usam compromissos criptográficos que escalam. Em outras palavras, eles são tão seguros quanto os métodos tradicionais de prova (apenas melhores em provar a si mesmos).

6/ Os zk-SNARKs dinâmicos desbloqueiam uma nova classe de casos de uso do mundo real: 🔹 Verificando modelos de IA ajustados sem reprovar do zero 🔹 Mantendo oráculos atualizados em redes ativas 🔹 Habilitando a lógica dinâmica do jogo com provas on-chain 🔹 Auditoria de conjuntos de dados em evolução para conformidade

8/ Juntamente com o DeepProve, o sistema zkML da Lagrange, os zk-SNARKs dinâmicos permitem a verificação em tempo real de sistemas de IA em evolução. Da precisão ao alinhamento, agora podemos provar as propriedades da IA à medida que ela aprende.

10/ Veja-nos no SBC 2025 em 4 de agosto de 2025 🔗 Assista à palestra ao vivo aqui: 🎓 Leia o artigo: 🔬 Construído pela equipe de pesquisa de Lagrange: Wang, Papamanthou, Srinivasan & Papadopoulos

11/ "Dynamic zk-SNARKs" é o segundo artigo de Lagrange (em três anos) a ser aceito na SBC 2025 Leia o furo completo sobre zk-SNARKs dinâmicos - a nova pesquisa de Lagrange para computação verificável e IA - abaixo: 👇

7/ Juntamente com o DeepProve - o sistema zkML da Lagrange - os zk-SNARKs dinâmicos permitem a verificação em tempo real de sistemas de IA em evolução. Da precisão ao alinhamento, agora podemos provar as propriedades da IA à medida que ela aprende.

8/ Encontre-nos no SBC 2025 em 4 de agosto de 2025 🔗 Assista à palestra ao vivo aqui: 🎓 Leia o artigo: 🔬 Construído pela equipe de pesquisa de Lagrange: Wang, Papamanthou, Srinivasan & Papadopoulos

9/ "Dynamic zk-SNARKs" é o segundo artigo de Lagrange (em três anos) a ser aceito no SBC 2025 Leia o furo completo sobre zk-SNARKs dinâmicos - a nova pesquisa de Lagrange para computação verificável e IA - abaixo: 👇

9/ "Dynamic zk-SNARKs" é o segundo artigo de Lagrange (em três anos) a ser aceito na Science of Blockchain Conference (SBC) Leia o furo completo sobre zk-SNARKs dinâmicos - a nova pesquisa de Lagrange para computação verificável e IA - abaixo: 👇