I motsetning til hva mange tror, er de fleste "nullkunnskaps"-systemer i dag ikke private. Med utgangspunkt i flere tiår med forskning, forklarer @mvenkita (administrerende direktør i @ligero_inc) i denne @WPReadingClub økten hvorfor flertallet av bevissystemene som er i bruk – inkludert mange STARK-baserte zkVM-er – leverer verifiserbar databehandling, men kommer til kort med ekte kryptografisk personvern. Muthu forklarer hvordan Ligero og Ligetron endrer den ligningen: • De er designet for tids- og minneeffektivitet, og kan generere bevis selv på minnebegrensede enheter som mobiltelefoner. • De er bygget på MPC-i-hodet-konstruksjoner, og garanterer beviselig personvern der mange nåværende systemer ikke gjør det. • Allerede tatt i bruk av @googlecloud for mobil identitetsverifisering, noe som viser levedyktighet i den virkelige verden. Diskusjonen spenner over det akademiske grunnlaget for ZK, utviklingen fra teori til implementering, og det presserende behovet for bevis som beskytter sensitive data samtidig som de oppfyller samsvarskravene. Muthu fremhever nye applikasjoner – personvernpooler, zk-validium og identitetsbevis på enheten – som kan definere fremtiden for bedrifts- og regulatorisk adopsjon, og berører eksperimenter som beviser store ML-modeller (som LLaMA) med ZK, og peker på hva som kommer videre for personvernbevarende AI. Dette er et direkte blikk på gapet mellom det vi tror ZK gjør i dag, og hva som kreves for en verden der personvern, samsvar og skalerbarhet virkelig eksisterer side om side. Også tilgjengelig på YouTube: