Вопреки распространенному мнению, большинство современных систем "нулевого знания" не являются приватными. Опираясь на десятилетия исследований, @mvenkita (генеральный директор @ligero_inc) объясняет на этой сессии @WPReadingClub, почему большинство используемых систем доказательства - включая многие zkVM на основе STARK - обеспечивают проверяемые вычисления, но не достигают истинной криптографической приватности. Муту объясняет, как Ligero и Ligetron меняют эту ситуацию: • Разработаны для эффективности по времени и памяти, они могут генерировать доказательства даже на устройствах с ограниченной памятью, таких как мобильные телефоны. • Построены на конструкциях MPC-in-the-head, они гарантируют доказанную приватность, где многие текущие системы этого не делают. • Уже приняты @googlecloud для мобильной проверки личности, что демонстрирует реальную жизнеспособность. Обсуждение охватывает академические основы ZK, эволюцию от теории к реализации и настоятельную необходимость в доказательствах, которые защищают чувствительные данные, при этом соответствуя требованиям соблюдения норм. Муту подчеркивает новые приложения - приватные пулы, zk-validiums и доказательства идентичности на устройстве - которые могут определить будущее корпоративного и регуляторного принятия, и касается экспериментов по доказательству больших моделей машинного обучения (таких как LLaMA) с помощью ZK, указывая на то, что ждет нас дальше в области защиты приватности в ИИ. Это прямой взгляд на разрыв между тем, что мы думаем, что ZK делает сегодня, и тем, что требуется для мира, где приватность, соблюдение норм и масштабируемость действительно сосуществуют. Также доступно на YouTube: