Stora nyheter: Lagranges kärnforskning om dynamiska zk-SNARKs (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) kommer att presenteras på Science of Blockchain Conference (SBC) 2025 den 4 augusti. Här är varför det är viktigt – för AI, krypto och framtiden för verifierbar beräkning: 🧵

2/ Den viktigaste begränsningen med befintliga zk-SNARKs är att de är statiska. Om dina data eller beräkningar ändras – även om det bara är lite – måste du återskapa hela beviset från grunden. Det är ineffektivt, dyrt och oskalbart för livesystem.

3/ Dynamiska zk-SNARKs gör bevis mer effektiva än någonsin. De gör att du kan uppdatera ett bevis inkrementellt när underliggande data skiftar. AKA: Du behöver inte beräkna om allt från grunden.

4/ Varför är detta viktigt? Eftersom verifierbar beräkning nu kan skalas med: – Finjustera en AI-modell – En spelare som rör sig i ett livespel – En ny datapunkt som träffar ett realtidsorakel Bevis som utvecklas i takt med det system de säkrar.

5/ Dessutom bevarar dynamiska zk-SNARK samma nollkunskap och sundhetsgarantier som traditionella system. De bygger på standardantaganden som q-DLOG och använder kryptografiska åtaganden som skalas. Med andra ord är de lika säkra som traditionella metoder för att bevisa (bara bättre på att bevisa sig själv).

6/ Dynamiska zk-SNARKs låser upp en ny klass av verkliga användningsfall: 🔹 Verifiera finjusterade AI-modeller utan att bevisa från grunden 🔹 Underhålla uppdaterade orakel i live-nätverk 🔹 Möjliggör dynamisk spellogik med on-chain-bevis 🔹 Granskning av föränderliga datauppsättningar för efterlevnad

8/ Tillsammans med DeepProve – Lagranges zkML-system – möjliggör dynamiska zk-SNARK:er verifiering i realtid av utvecklande AI-system. Från noggrannhet till anpassning kan vi nu bevisa egenskaper hos AI när den lär sig.

10/ Fånga oss på SBC 2025 den 4 augusti 2025 🔗 Se samtalet live här: 🎓 Läs tidningen: 🔬 Byggd av Lagranges forskargrupp: Wang, Papamanthou, Srinivasan och Papadopoulos

11/ "Dynamic zk-SNARKs" är Lagranges andra artikel (på tre år) som accepteras till SBC 2025 Läs hela artikeln om Dynamic zk-SNARKs – Lagranges nya forskning för verifierbar beräkning och AI – nedan: 👇

7/ Tillsammans med DeepProve – Lagranges zkML-system – möjliggör dynamiska zk-SNARKs verifiering i realtid av utvecklande AI-system. Från noggrannhet till anpassning kan vi nu bevisa egenskaper hos AI när den lär sig.

8/ Träffa oss på SBC 2025 den 4 augusti 2025 🔗 Se samtalet live här: 🎓 Läs tidningen: 🔬 Byggd av Lagranges forskargrupp: Wang, Papamanthou, Srinivasan och Papadopoulos

9/ "Dynamic zk-SNARKs" är Lagranges andra artikel (på tre år) som accepteras till SBC 2025 Läs hela artikeln om Dynamic zk-SNARKs – Lagranges nya forskning för verifierbar beräkning och AI – nedan: 👇

9/ "Dynamic zk-SNARKs" är Lagranges andra artikel (på tre år) som accepterats till Science of Blockchain Conference (SBC) Läs hela artikeln om Dynamic zk-SNARKs – Lagranges nya forskning för verifierbar beräkning och AI – nedan: 👇