Store nyheter: Lagranges kjerneforskning på dynamiske zk-SNARK-er (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) vil bli presentert på Science of Blockchain Conference (SBC) 2025 4. Her er grunnen til at det er viktig – for AI, krypto og fremtiden for verifiserbar databehandling: 🧵

2/ Den viktigste begrensningen til eksisterende zk-SNARK-er er at de er statiske. Hvis dataene eller beregningene dine endres – selv litt – må du regenerere hele beviset fra bunnen av. Det er ineffektivt, dyrt og uskalerbart for live-systemer.

3/ Dynamiske zk-SNARK-er gjør prøvetrykk mer effektive enn noen gang. De lar deg oppdatere et bevis trinnvis når de underliggende dataene endres. AKA: Du trenger ikke å beregne alt på nytt fra bunnen av.

4/ Hvorfor er dette viktig? Fordi verifiserbar databehandling nå kan skaleres med: – Finjustering av en AI-modell – En spiller som beveger seg i et live-spill – Et nytt datapunkt treffer et sanntidsorakel Bevis som utvikler seg med systemet de sikrer.

5/ Videre bevarer dynamiske zk-SNARK-er den samme nullkunnskapen og soliditetsgarantiene som tradisjonelle systemer. De er bygget på standard forutsetninger som q-DLOG og bruker kryptografiske forpliktelser som skaleres. Med andre ord, de er like sikre som tradisjonelle metoder for å bevise (bare bedre til å bevise seg selv).

6/ Dynamiske zk-SNARK-er låser opp en ny klasse av virkelige brukstilfeller: 🔹 Verifisering av finjusterte AI-modeller uten å bevise på nytt fra bunnen av 🔹 Vedlikeholde oppdaterte orakler i live-nettverk 🔹 Muliggjør dynamisk spilllogikk med bevis på kjeden 🔹 Overvåke datasett under utvikling for samsvar

8/ Sammen med DeepProve – Lagranges zkML-system – muliggjør dynamiske zk-SNARK-er sanntidsverifisering av utviklende AI-systemer. Fra nøyaktighet til justering kan vi nå bevise egenskapene til AI etter hvert som den lærer.

10/ Fang oss på SBC 2025 på August 4, 2025 🔗 Se foredraget live her: 🎓 Les artikkelen: 🔬 Bygget av Lagranges forskerteam: Wang, Papamanthou, Srinivasan og Papadopoulos

11/ "Dynamic zk-SNARKs" er Lagranges andre artikkel (på tre år) som blir akseptert til SBC 2025 Les hele scoopet om Dynamic zk-SNARKs – Lagranges nye forskning for verifiserbar databehandling og AI – nedenfor: 👇

7/ Sammen med DeepProve – Lagranges zkML-system – muliggjør dynamiske zk-SNARK-er sanntidsverifisering av utviklende AI-systemer. Fra nøyaktighet til justering kan vi nå bevise egenskapene til AI etter hvert som den lærer.

8/ Få oss på SBC 2025 på August 4, 2025 🔗 Se foredraget live her: 🎓 Les artikkelen: 🔬 Bygget av Lagranges forskerteam: Wang, Papamanthou, Srinivasan og Papadopoulos

9/ "Dynamic zk-SNARKs" er Lagranges andre artikkel (på tre år) som blir akseptert til SBC 2025 Les hele scoopet om Dynamic zk-SNARKs – Lagranges nye forskning for verifiserbar databehandling og AI – nedenfor: 👇

9/ "Dynamic zk-SNARKs" er Lagranges andre artikkel (på tre år) som blir akseptert til Science of Blockchain Conference (SBC) Les hele scoopet om Dynamic zk-SNARKs – Lagranges nye forskning for verifiserbar databehandling og AI – nedenfor: 👇