Останній прогрес у дослідженнях ZK/FHE (також пов'язаний з деякими криптопроектами) В останньому епізоді подкасту Анна розмовляє з Деном Боне, професором комп'ютерних наук та електронної інженерії Стенфордського університету, про прогрес досліджень zk Короткий зміст інтерв'ю: Деякі потенційні сценарії розвитку подій для ЗК: 1) ZKML, проблема ZKML полягає в тому, щоб довести правильність виконання моделі на заданих даних, що також є напрямком, в якому команда Boundless @boundless_xyz @boundless_cn (@risczero) викладає дослідження протягом двох років 2) Простежуваність та автентичність контенту: стандарт C2PA (Content Traceability and Authenticity) дозволяє камерам підписувати зображення за допомогою вбудованих ключів, доводячи походження зображення, час та конфігурацію. Тепер генеративний штучний інтелект (наприклад, DALL· E) також почала прикріплювати докази C2PA до зображень, вказуючи, що вони згенеровані штучним інтелектом На основі решітки, СНАРК, ФХЕ: - SNARK, побудовані на ґратках (решітки мають перевагу постквантової безпеки) - У роботі Грейхаунда запропонована схема поліноміальних зобов'язань на основі решітки (PCS) - Дослідження показало, що решітка дуже добре показала себе в схемах згортання, і розробила LatticeFold: схему згортання на основі решітки у співпраці з Біньї Ченом (засновником/дослідником Espresso @EspressoSys). - Сфера FHE розробляє спеціалізовані чіпи ASIC, які, як очікується, значно покращать продуктивність FHE до 2025 року (можливо, від 10 до 100 разів швидше) - Zama @zama_fhe досліджує запуск SNARK на обчисленнях PHE, а кільцева структура LatticeFold сумісна з FHE і підходить для цього сценарію Зміст інтерв'ю Китайська версія: Оригінальний текст подкасту: