I motsats till vad många tror är de flesta "nollkunskaps"-system idag inte privata. Med utgångspunkt i årtionden av forskning förklarar @mvenkita (VD för @ligero_inc) i denna @WPReadingClub session varför majoriteten av de bevissystem som används - inklusive många STARK-baserade zkVM:er - levererar verifierbar beräkning men inte når upp till verklig kryptografisk integritet. Muthu förklarar hur Ligero och Ligetron ändrar den ekvationen: • De är utformade för tids- och minneseffektivitet och kan generera bevis även på minnesbegränsade enheter som mobiltelefoner. • De är byggda på MPC-in-the-head-konstruktioner och garanterar bevisbar integritet där många nuvarande system inte gör det. • Redan antagen av @googlecloud för mobil identitetsverifiering, vilket visar att den är genomförbar i den verkliga världen. Diskussionen spänner över de akademiska grunderna för ZK, utvecklingen från teori till implementering och det akuta behovet av bevis som skyddar känsliga data samtidigt som de uppfyller efterlevnadskraven. Muthu lyfter fram nya tillämpningar – integritetspooler, zk-validium och identitetsbevis på enheten – som kan definiera framtiden för företags- och regelanvändning, och berör experiment som bevisar stora ML-modeller (som LLaMA) med ZK, och pekar på vad som kommer härnäst för integritetsbevarande AI. Det här är en direkt titt på klyftan mellan vad vi tror att ZK gör idag och vad som krävs för en värld där integritet, efterlevnad och skalbarhet verkligen samexisterar. Finns även på YouTube: