Последние достижения в исследованиях ZK/FHE (также касающиеся некоторых связанных с криптовалютами проектов) В новом выпуске подкаста Анна беседует с профессором компьютерных наук и электротехники Стэнфордского университета Дэном Бонехом о достижениях в области zk. Аннотация интервью: Некоторые перспективные сценарии использования ZK: 1) ZKML, проблема ZKML заключается в доказательстве правильного выполнения модели на заданных данных, что также является направлением исследований, которое команда boundless @boundless_xyz @boundless_cn (@risczero) начала развивать два года назад. 2) Прослеживаемость и подлинность контента: стандарт C2PA (прослеживаемость и подлинность контента) позволяет камерам подписывать изображения с помощью встроенных ключей, подтверждая источник, время и настройки изображения. Теперь генеративный ИИ (например, DALL·E) также начинает добавлять C2PA доказательства к изображениям, указывая, что они были сгенерированы ИИ. На основе решеток, SNARK, FHE: - SNARK, построенный на основе решеток (преимущество решеток заключается в их постквантовой безопасности). - Статья Greyhound предлагает схему многочленного обязательства (PCS), основанную на решетках. - Исследования показали, что решетки показывают отличные результаты в схемах сворачивания, в сотрудничестве с Бини Ченом (основателем/исследователем Espresso @EspressoSys) был разработан LatticeFold: схема сворачивания на основе решеток. - В области FHE разрабатываются специализированные ASIC-чипы, которые, как ожидается, значительно повысят производительность FHE к 2025 году (возможно, в 10-100 раз быстрее). - Компания Zama @zama_fhe исследует возможность запуска SNARK на вычислениях FHE, и кольцевая структура LatticeFold совместима с FHE, что делает ее подходящей для этого сценария. Версия интервью на китайском языке: Оригинальный текст подкаста: