In tegenstelling tot de populaire veronderstelling zijn de meeste "zero-knowledge" systemen van vandaag niet privé. Gebaseerd op tientallen jaren onderzoek, legt @mvenkita (CEO van @ligero_inc) in deze sessie van @WPReadingClub uit waarom de meerderheid van de bewijssystemen die in gebruik zijn - inclusief veel STARK-gebaseerde zkVM's - verifieerbare berekeningen leveren, maar tekortschieten op het gebied van echte cryptografische privacy. Muthu legt uit hoe Ligero en Ligetron die vergelijking veranderen: • Ontworpen voor tijd- en geheugenefficiëntie, kunnen ze bewijzen genereren, zelfs op apparaten met beperkte geheugen zoals mobiele telefoons. • Gebouwd op MPC-in-the-head constructies, garanderen ze bewijsbare privacy waar veel huidige systemen dat niet doen. • Al aangenomen door @googlecloud voor mobiele identiteitsverificatie, wat de haalbaarheid in de echte wereld aantoont. De discussie bestrijkt de academische fundamenten van ZK, de evolutie van theorie naar implementatie, en de dringende behoefte aan bewijzen die gevoelige gegevens beschermen terwijl ze nog steeds voldoen aan de compliance-eisen. Muthu benadrukt opkomende toepassingen - privacy pools, zk-validiums en on-device identiteitsbewijzen - die de toekomst van ondernemingen en regelgevende adoptie zouden kunnen definiëren, en raakt aan experimenten die grote ML-modellen (zoals LLaMA) met ZK bewijzen, wat wijst op wat er komt voor privacy-beschermende AI. Dit is een directe blik op de kloof tussen wat we denken dat ZK vandaag doet, en wat er nodig is voor een wereld waar privacy, compliance en schaalbaarheid echt samen kunnen bestaan. Ook beschikbaar op YouTube: