Wbrew powszechnemu przekonaniu, większość dzisiejszych systemów "zero-knowledge" nie jest prywatna. Czerpiąc z dziesięcioleci badań, @mvenkita (CEO @ligero_inc) wyjaśnia w tej sesji @WPReadingClub, dlaczego większość systemów dowodowych w użyciu - w tym wiele zkVM opartych na STARK - dostarcza weryfikowalnych obliczeń, ale nie spełnia wymogów prawdziwej prywatności kryptograficznej. Muthu wyjaśnia, jak Ligero i Ligetron zmieniają tę równowagę: • Zaprojektowane z myślą o efektywności czasowej i pamięciowej, mogą generować dowody nawet na urządzeniach o ograniczonej pamięci, takich jak telefony komórkowe. • Oparte na konstrukcjach MPC-in-the-head, gwarantują udowodnioną prywatność, gdzie wiele obecnych systemów tego nie robi. • Już przyjęte przez @googlecloud do weryfikacji tożsamości mobilnej, co pokazuje realną wykonalność. Dyskusja obejmuje akademickie podstawy ZK, ewolucję od teorii do wdrożenia oraz pilną potrzebę dowodów, które chronią wrażliwe dane, jednocześnie spełniając wymagania zgodności. Muthu podkreśla pojawiające się aplikacje - pule prywatności, zk-validia i dowody tożsamości na urządzeniach - które mogą zdefiniować przyszłość przyjęcia w przedsiębiorstwach i regulacjach, oraz dotyka eksperymentów dowodzących dużych modeli ML (takich jak LLaMA) z ZK, wskazując na to, co czeka nas w przyszłości w zakresie AI chroniącej prywatność. To bezpośredni wgląd w lukę między tym, co myślimy, że ZK robi dzisiaj, a tym, co jest wymagane w świecie, w którym prywatność, zgodność i skalowalność naprawdę współistnieją. Dostępne również na YouTube:
7,37K