Introduzione ai zk-SNARKs dinamici—una novità del team di ricerca Lagrange Weijie Wang, @chbpap, @s_shravan e @dipapadopo I zk-SNARKs dinamici rappresentano un grande passo avanti nel rendere realtà le prove crittografiche aggiornabili in tempo reale Ecco cosa significa e perché è importante 🧵

2/ I zk-SNARK tradizionali sono limitati nella loro natura statica: se i tuoi dati cambiano, devi ricostruire l'intera prova da zero (ovvero lento, costoso e impraticabile per applicazioni ad alta intensità di dati). I zk-SNARK dinamici rimuovono queste limitazioni.

3/ In breve, i zk-SNARK dinamici ti permettono di aggiornare una prova quando i tuoi dati cambiano—non è necessario ricominciare da capo. Immagina di aggiornare una ricevuta invece di stamparne una nuova ogni volta che un cliente aggiunge un articolo (più veloce, più economico e più intelligente—pratico per app ad alta intensità di dati).

4/ Questa ricerca offre enormi vantaggi per casi d'uso nel mondo reale. ad es.: – AI che continua ad apprendere – Giochi con logica in tempo reale – Blockchain che tracciano dati in tempo reale – Contratti intelligenti che si adattano man mano che gli input cambiano I zk-SNARK dinamici rendono questi casi d'uso verificabili senza sprecare risorse di calcolo.

5/ Immagina questo… 💭 - Un'IA ti dà una risposta - Un zk-SNARK dinamico prova che è corretta. - Dai all'IA un nuovo input, costruendo su quello precedente. - Con lo zk-SNARK dinamico, un'IA può aggiornare la prova per la nuova risposta in pochi secondi (non è necessario ricalcolare tutto).

6/ Un brindisi al nostro team di ricerca per aver ridefinito ciò che possiamo raggiungere con la tecnologia ZK Un passo alla volta, stiamo pionierando un'IA che è sicura, verificabile e affidabile Segui il discorso al SBC '25: Leggi il documento completo qui: