Grandi notizie: la ricerca fondamentale di Lagrange sui Dynamic zk‑SNARKs (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) sarà presentata alla Science of Blockchain Conference (SBC) 2025 il 4 agosto. Ecco perché è importante—per l'IA, le criptovalute e il futuro del calcolo verificabile: 🧵

2/ La principale limitazione degli zk‑SNARK esistenti è che sono statici. Se i tuoi dati o i tuoi calcoli cambiano, anche solo leggermente, devi rigenerare l'intera prova da zero. È inefficiente, costoso e non scalabile per i sistemi in tempo reale.

3/ I zk‑SNARK dinamici rendono le prove più efficienti che mai. Consentono di aggiornare una prova in modo incrementale quando i dati sottostanti cambiano. Cioè: non è necessario ricalcolare tutto da zero.

4/ Perché questo è importante? Perché il calcolo verificabile può ora scalare con: – L'affinamento di un modello AI – Un giocatore che si muove in un gioco dal vivo – Un nuovo punto dati che colpisce un oracolo in tempo reale Prove che evolvono con il sistema che proteggono.

5/ Inoltre, i Dynamic zk‑SNARKs preservano le stesse garanzie di zero-knowledge e solidità dei sistemi tradizionali. Sono basati su assunzioni standard come q-DLOG e utilizzano impegni crittografici che scalano. In altre parole, sono altrettanto sicuri quanto i metodi tradizionali di dimostrazione (solo migliori nel dimostrare se stessi).

6/ I zk-SNARKs dinamici sbloccano una nuova classe di casi d'uso nel mondo reale: 🔹 Verificare modelli di AI ottimizzati senza dover riprovare da zero 🔹 Mantenere oracoli aggiornati in reti attive 🔹 Abilitare logiche di gioco dinamiche con prove on-chain 🔹 Auditare dataset in evoluzione per la conformità

8/ Insieme a DeepProve—il sistema zkML di Lagrange—i Dynamic zk‑SNARKs consentono la verifica in tempo reale di sistemi AI in evoluzione. Dall'accuratezza all'allineamento, ora possiamo dimostrare le proprietà dell'AI mentre apprende.

10/ Incontraci al SBC 2025 il 4 agosto 2025 🔗 Guarda il talk in diretta qui: 🎓 Leggi il documento: 🔬 Creato dal team di ricerca di Lagrange: Wang, Papamanthou, Srinivasan & Papadopoulos

11/ "Dynamic zk‑SNARKs" è il secondo articolo di Lagrange (in tre anni) ad essere accettato a SBC 2025 Leggi l'intero scoop su Dynamic zk-SNARKs—la nuova ricerca di Lagrange per il calcolo verificabile e l'IA—qui sotto: 👇

7/ Insieme a DeepProve—il sistema zkML di Lagrange—i Dynamic zk‑SNARKs consentono la verifica in tempo reale di sistemi AI in evoluzione. Dall'accuratezza all'allineamento, ora possiamo dimostrare le proprietà dell'AI mentre apprende.

8/ Incontraci al SBC 2025 il 4 agosto 2025 🔗 Guarda il talk in diretta qui: 🎓 Leggi il documento: 🔬 Creato dal team di ricerca di Lagrange: Wang, Papamanthou, Srinivasan & Papadopoulos

9/ "Dynamic zk‑SNARKs" è il secondo articolo di Lagrange (in tre anni) ad essere accettato a SBC 2025 Leggi il resoconto completo su Dynamic zk-SNARKs—la nuova ricerca di Lagrange per il calcolo verificabile e l'IA—qui sotto: 👇

9/ "Dynamic zk‑SNARKs" è il secondo articolo di Lagrange (in tre anni) ad essere accettato alla Science of Blockchain Conference (SBC) Leggi tutti i dettagli su Dynamic zk-SNARKs—la nuova ricerca di Lagrange per il calcolo verificabile e l'IA—qui sotto: 👇