Grandes novidades: A pesquisa central de Lagrange sobre zk‑SNARKs dinâmicos (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) será apresentada na Conferência de Ciência do Blockchain (SBC) 2025 no dia 4 de agosto. Aqui está o porquê de ser importante—para IA, cripto e o futuro da computação verificável: 🧵

2/ A principal limitação dos zk‑SNARKs existentes é que são estáticos. Se os seus dados ou cálculos mudarem — mesmo que ligeiramente — você tem que regenerar toda a prova do zero. É ineficiente, caro e não escalável para sistemas em tempo real.

3/ 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. Ou seja: Não há necessidade de recalcular tudo do zero.

4/ Por que isso é importante? Porque a computação verificável agora pode escalar com: – O ajuste fino de 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 protegem.

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

6/ zk-SNARKs dinâmicos desbloqueiam uma nova classe de casos de uso do mundo real: 🔹 Verificando modelos de IA ajustados sem necessidade de re-prova do zero 🔹 Mantendo oráculos atualizados em redes ao vivo 🔹 Permitindo lógica de jogo dinâmica com provas em cadeia 🔹 Auditando 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. Desde a precisão até o alinhamento, agora podemos provar propriedades da IA à medida que ela aprende.

10/ Junte-se a nós no SBC 2025 a 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 a reportagem completa sobre Dynamic zk-SNARKs—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. Desde a precisão até o alinhamento, agora podemos provar propriedades da IA à medida que ela aprende.

8/ Junte-se a nós no SBC 2025 a 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 na SBC 2025 Leia a matéria completa sobre Dynamic zk-SNARKs—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 Conferência de Ciência do Blockchain (SBC) Leia a reportagem completa sobre Dynamic zk-SNARKs—nova pesquisa de Lagrange para computação verificável e IA—abaixo: 👇