Introduktion av dynamiska zk-SNARKs – ett genombrott från Lagrange-forskargruppen Weijie Wang, @chbpap, @s_shravan och @dipapadopo Dynamiska zk-SNARK:er markerar ett stort steg framåt för att göra uppdaterbara kryptografiska bevis i realtid till verklighet Här är vad det betyder och varför det är viktigt 🧵

2/ Traditionella zk-SNARKs är begränsade i sin statiska natur - om dina data ändras måste du bygga om hela beviset från grunden (AKA långsamt, dyrt och opraktiskt för dataintensiva appar). Dynamiska zk-SNARKs tar bort dessa begränsningar.

3/ Kort sagt, dynamiska zk-SNARKs låter dig uppdatera ett bevis när dina data ändras - du behöver inte börja om. Föreställ dig att du uppdaterar ett kvitto i stället för att skriva ut ett nytt varje gång en kund lägger till en artikel (snabbare, billigare och smartare – praktiskt för dataintensiva appar).

4/ Denna forskning innebär enorma fördelar för verkliga användningsfall. T.ex.: – AI som fortsätter att lära sig – Spel med logik i realtid – Blockkedjor som spårar livedata – Smarta kontrakt justeras när indata skiftar Dynamiska zk-SNARKs gör dessa användningsfall verifierbara utan slöseri med beräkning.

5/ Föreställ dig det här... 💭 - En AI ger dig ett svar - En Dynamic zk-SNARK bevisar att den är korrekt. - Du ger AI:n en ny input som bygger på din tidigare. - Med Dynamic zk-SNARK kan en AI uppdatera beviset för det nya svaret på några sekunder (du behöver inte räkna om allt).

6/ Skål för vårt forskarteam för att ha omdefinierat vad vi kan uppnå med ZK-teknik Ett genombrott i taget är vi pionjärer inom AI som är säker, verifierbar och pålitlig Ta del av snacket på SBC '25: Läs hela rapporten här: