Na rozdíl od populárního předpokladu dnes většina systémů s "nulovou znalostí" není soukromá. Na základě desetiletí výzkumu @mvenkita (generální ředitel společnosti @ligero_inc) v této @WPReadingClub relaci rozebírá, proč většina používaných důkazních systémů - včetně mnoha zkVM založených na STORK - poskytuje ověřitelné výpočty, ale nedosahuje skutečného kryptografického soukromí. Muthu vysvětluje, jak Ligero a Ligetron tuto rovnici mění: • Jsou navrženy pro efektivitu času a paměti a mohou generovat důkazy i na zařízeních s omezenou pamětí, jako jsou mobilní telefony. • Jsou postaveny na konstrukcích MPC-in-the-head a zaručují prokazatelné soukromí tam, kde mnoho současných systémů ne. • Již přijato @googlecloud pro mobilní ověření identity, což ukazuje reálnou životaschopnost. Diskuse se týká akademických základů ZK, vývoje od teorie k implementaci a naléhavé potřeby důkazů, které chrání citlivá data a zároveň splňují požadavky na dodržování předpisů. Muthu upozorňuje na nově vznikající aplikace – privacy pools, zk-validium a důkazy identity na zařízení – které by mohly definovat budoucnost podnikového a regulačního přijetí, a dotýká se experimentů prokazujících velké modely strojového učení (jako je LLaMA) se ZK a poukazuje na to, co bude dál s umělou inteligencí zachovávající soukromí. Jedná se o přímý pohled na propast mezi tím, co si myslíme, že ZK dělá dnes, a tím, co je potřeba pro svět, kde soukromí, dodržování předpisů a škálovatelnost skutečně koexistují. K dispozici také na YouTube: