Vești mari: Cercetarea de bază a lui Lagrange privind zk-SNARK-urile dinamice (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) va fi prezentat la Conferința Science of Blockchain (SBC) 2025 pe 4 august. Iată de ce contează - pentru AI, cripto și viitorul calculului verificabil: 🧵

2/ Limitarea cheie a zk-SNARK-urilor existente este că sunt statice. Dacă datele sau calculele tale se schimbă – chiar și ușor – trebuie să regenerezi întreaga dovadă de la zero. Este ineficient, scump și nescalabil pentru sistemele live.

3/ Zk-SNARK-urile dinamice fac demonstrațiile mai eficiente ca niciodată. Acestea vă permit să actualizați o dovadă incremental atunci când datele subiacente se schimbă. AKA: Nu este nevoie să recalculați totul de la zero.

4/ De ce contează acest lucru? Deoarece calculul verificabil se poate scala acum cu: – Reglarea fină a unui model AI – Un jucător care se mișcă într-un joc live – Un nou punct de date care lovește un oracol în timp real Demonstrații care evoluează odată cu sistemul pe care îl securizează.

5/ În plus, zk-SNARK-urile dinamice păstrează aceleași garanții de cunoaștere zero și soliditate ca și sistemele tradiționale. Acestea sunt construite pe ipoteze standard precum q-DLOG și folosesc angajamente criptografice care scalează. Cu alte cuvinte, sunt la fel de sigure ca metodele tradiționale de demonstrare (doar că sunt mai bune la a se dovedi singure).

6/ Zk-SNARK-urile dinamice deblochează o nouă clasă de cazuri de utilizare din lumea reală: 🔹 Verificarea modelelor AI reglate fin fără a re-testa de la zero 🔹 Menținerea oracolelor actualizate în rețelele live 🔹 Activarea logicii dinamice a jocului cu dovezi on-chain 🔹 Auditarea seturilor de date în evoluție pentru conformitate

8/ Împreună cu DeepProve - sistemul zkML de la Lagrange - zk-SNARK-urile dinamice permit verificarea în timp real a sistemelor AI în evoluție. De la precizie la aliniere, acum putem dovedi proprietățile AI pe măsură ce învață.

10/ Prindeți-ne la SBC 2025 pe 4 august 2025 🔗 Urmăriți discuția în direct aici: 🎓 Citiți lucrarea: 🔬 Construit de echipa de cercetare a lui Lagrange: Wang, Papamanthou, Srinivasan și Papadopoulos

11/ "Dynamic zk-SNARKs" este a doua lucrare a lui Lagrange (în trei ani) care este acceptată la SBC 2025 Citiți mai jos scoop-ul complet despre Dynamic zk-SNARKs - noua cercetare a lui Lagrange pentru calcul verificabil și inteligență artificială: 👇

7/ Împreună cu DeepProve - sistemul zkML al Lagrange - zk-SNARK-urile dinamice permit verificarea în timp real a sistemelor AI în evoluție. De la precizie la aliniere, acum putem dovedi proprietățile AI pe măsură ce învață.

8/ Prindeți-ne la SBC 2025 pe 4 august 2025 🔗 Urmăriți discuția în direct aici: 🎓 Citiți lucrarea: 🔬 Construit de echipa de cercetare a lui Lagrange: Wang, Papamanthou, Srinivasan și Papadopoulos

9/ "Dynamic zk-SNARKs" este a doua lucrare a lui Lagrange (în trei ani) care este acceptată la SBC 2025 Citiți mai jos scoop-ul complet despre Dynamic zk-SNARKs - noua cercetare a lui Lagrange pentru calcul verificabil și inteligență artificială: 👇

9/ "Dynamic zk-SNARKs" este a doua lucrare a lui Lagrange (în trei ani) care a fost acceptată la Conferința Science of Blockchain (SBC) Citiți mai jos scoop-ul complet despre Dynamic zk-SNARKs - noua cercetare a lui Lagrange pentru calcul verificabil și inteligență artificială: 👇