Всупереч поширеній думці, більшість систем з «нульовим розголошенням» сьогодні не є приватними. Спираючись на десятиліття досліджень, @mvenkita (генеральний директор @ligero_inc) на цій @WPReadingClub сесії розбирається, чому більшість використовуваних систем доказів, включаючи багато zkVM на основі STARK, забезпечують перевірені обчислення, але не дотягують до справжньої криптографічної конфіденційності. Муту пояснює, як Лігеро та Лігетрон змінюють це рівняння: • Розроблені для ефективності часу та пам'яті, вони можуть генерувати докази навіть на пристроях з обмеженою пам'яттю, таких як мобільні телефони. • Побудовані на конструкціях MPC-in-the-head, вони гарантують доказову конфіденційність там, де багато сучасних систем цього не роблять. • Вже прийнятий @googlecloud для перевірки особи на мобільних пристроях, демонструючи реальну життєздатність. Дискусія охоплює академічні основи ZK, еволюцію від теорії до впровадження, а також нагальну потребу в доказах, які захищають конфіденційні дані, водночас відповідаючи вимогам відповідності. Муту висвітлює нові додатки - пули конфіденційності, zk-валідіуми та підтвердження особи на пристрої - які можуть визначити майбутнє корпоративного та регуляторного впровадження, а також торкається експериментів, що доводять великі моделі машинного навчання (наприклад, LLaMA) з ZK, вказуючи на те, що буде далі для штучного інтелекту, що зберігає конфіденційність. Це прямий погляд на розрив між тим, що, на нашу думку, ZK робить сьогодні, і тим, що потрібно для світу, де конфіденційність, відповідність вимогам і масштабованість справді співіснують. Також доступно на YouTube: