Groot nieuws: Lagrange's kernonderzoek naar Dynamische zk‑SNARKs (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) zal worden gepresenteerd op de Science of Blockchain Conference (SBC) 2025 op 4 augustus. Hier is waarom het belangrijk is—voor AI, crypto en de toekomst van verifieerbare berekeningen: 🧵

2/ De belangrijkste beperking van bestaande zk‑SNARKs is dat ze statisch zijn. Als je gegevens of berekeningen veranderen—zelfs een beetje—moet je het hele bewijs opnieuw vanaf nul genereren. Het is inefficiënt, duur en niet schaalbaar voor live systemen.

3/ Dynamische zk‑SNARKs maken bewijzen efficiënter dan ooit. Ze stellen je in staat om een bewijs incrementeel bij te werken wanneer de onderliggende gegevens verschuiven. AKA: Geen nood om alles opnieuw vanaf nul te berekenen.

4/ Waarom is dit belangrijk? Omdat verifieerbare berekeningen nu kunnen schalen met: – Het verfijnen van een AI-model – Een speler die zich in een live spel beweegt – Een nieuw datapunt dat een real-time oracle bereikt Bewijzen die evolueren met het systeem dat ze beveiligen.

5/ Bovendien behouden Dynamische zk‑SNARKs dezelfde garanties voor zero-knowledge en soundness als traditionele systemen. Ze zijn gebouwd op standaard aannames zoals q-DLOG en gebruiken cryptografische toezeggingen die schaalbaar zijn. Met andere woorden, ze zijn net zo veilig als traditionele methoden van bewijzen (alleen beter in het bewijzen van zichzelf).

6/ Dynamische zk-SNARKs ontgrendelen een nieuwe klasse van real-world use cases: 🔹 Verifiëren van fijn afgestelde AI-modellen zonder opnieuw vanaf nul te bewijzen 🔹 Bijhouden van actuele orakels in live netwerken 🔹 Dynamische spel-logica mogelijk maken met on-chain bewijzen 🔹 Evoluerende datasets auditen voor naleving

8/ Samen met DeepProve—Lagrange’s zkML-systeem—stellen Dynamische zk‑SNARKs real-time verificatie van evoluerende AI-systemen mogelijk. Van nauwkeurigheid tot afstemming, we kunnen nu eigenschappen van AI bewijzen terwijl het leert.

10/ Vang ons op SBC 2025 op 4 augustus 2025 🔗 Bekijk de talk hier live: 🎓 Lees de krant: 🔬 Gebouwd door het onderzoeksteam van Lagrange: Wang, Papamanthou, Srinivasan en Papadopoulos

11/ “Dynamische zk‑SNARKs” is Lagrange's tweede paper (in drie jaar) die is geaccepteerd voor SBC 2025 Lees het volledige verhaal over Dynamische zk-SNARKs—Lagrange's nieuw onderzoek voor verifieerbare berekeningen en AI—hieronder: 👇

7/ Samen met DeepProve—Lagrange’s zkML-systeem—stellen Dynamische zk‑SNARKs real-time verificatie van evoluerende AI-systemen mogelijk. Van nauwkeurigheid tot afstemming, we kunnen nu eigenschappen van AI bewijzen terwijl het leert.

8/ Vang ons op SBC 2025 op 4 augustus 2025 🔗 Bekijk de talk hier live: 🎓 Lees de krant: 🔬 Gebouwd door het onderzoeksteam van Lagrange: Wang, Papamanthou, Srinivasan en Papadopoulos

9/ “Dynamische zk‑SNARKs” is Lagrange's tweede paper (in drie jaar) die is geaccepteerd voor SBC 2025 Lees het volledige verhaal over Dynamische zk-SNARKs—Lagrange's nieuw onderzoek voor verifieerbare berekeningen en AI—hieronder: 👇

9/ “Dynamische zk‑SNARKs” is het tweede paper van Lagrange (in drie jaar) dat is geaccepteerd voor de Science of Blockchain Conference (SBC) Lees het volledige verhaal over Dynamische zk-SNARKs—Lagrange's nieuw onderzoek voor verifieerbare berekeningen en AI—hieronder: 👇