Встреча в Сеуле

Автор оригинала: Адвайт (Лео) Джайант Компиляция: LlamaC «Рекомендация: Полностью гомоморфное шифрование (FHE) часто называют священным Граалем криптографии. В этой статье рассматриваются перспективы использования FHE в области искусственного интеллекта, указываются текущие ограничения. А также перечислены некоторые проекты, которые занимаются применением полностью гомоморфного шифрования (FHE) в области шифрования для AI-приложений. Для любителей Криптовалют, данная статья поможет глубже понять полностью гомоморфное шифрование. Наслаждайтесь!» Текст👇 A хочет получить высокоиндивидуализированные рекомендации на Netflix и Amazon. B не хочет, чтобы Netflix или Amazon знали их предпочтения. В эпоху цифровых технологий мы наслаждаемся Amazon и Netflix

Сценарист: Давиде

AI + web3, чего стоит ждать?

Gate Alpha продолжает привлекать внимание рынка благодаря многоцепочечному торговому опыту и частым запускам новых токенов. В последнее время было представлено несколько инновационных токенов и предложена богатая механика торговых наград. В то же время была создана система управления рисками и соблюдения, чтобы обеспечить безопасность и соответствие пользователей.

Anoma реконструирует архитектуру криптографии для приватных вычислений (обмен знаниями 2) Сегодня мы продолжим делиться некоторыми материалами об anoma. В парадигме, где прозрачность блокчейна доминирует, Anoma выбрала более трудный, но необходимый путь — она строит инфраструктуру конфиденциальности с помощью полностью гомоморфного шифрования (FHE) и модели взаимодействия, ориентированной на намерения. Суть заключается в создании нового типа машины состояний: данные всегда находятся в зашифрованном состоянии, но могут быть проверены на правильность вычислений. Эта способность зависит от трех технологических опор: 1. Уровень выполнения гомоморфного шифрования: выполнение вычислений, полных по Тьюрингу, в зашифрованном виде Anoma использует схему CKKS для реализации полностью гомоморфного шифрования, что позволяет выполнять операции над зашифрованными данными напрямую. Например, когда пользователь A зашифровывает сумму перевода [X], а пользователь B зашифровывает сумму [Y], узлы проверки могут выполнять операции сравнения [X] > [Y] или арифметические операции [X] - [Y] = [Z] без необходимости расшифровки. Это решает недостаток традиционных решений по защите конфиденциальности (таких как zk-SNARKs от Zcash), которые могут только проверять, но не вычислять. Для преодоления瓶颈 производительности FHE Anoma внедряет ускорение GPU для числовых преобразований (NTT) и технологии сжатия разреженных шифров, сокращая задержку одной транзакции с минут до секунд. 2. Механизм распространения намерений: революция декларативного взаимодействия Пользователи больше не вызывают контракты напрямую, а вместо этого транслируют намерения с ограничениями по конфиденциальности. Например: "купить скрытое количество ETH с проскальзыванием ≤1%, адрес получения зашифрован". Решатели в сети (Solvers) сопоставляют спрос и предложение в зашифрованном состоянии с помощью безопасных многопартийных вычислений (SMPC). Чтобы предотвратить манипуляции MEV, Anoma разрабатывает механизм задержанного раскрытия игры: решатели должны ставить токены для участия в конфиденциальных торгах, мошенничество будет наказано конфискацией. Эта парадигма меняет DeFi с активного исполнения "режима пуш" на декларативный "режим пул". 3. Приватность межсетевого взаимодействия с распределенной верификацией Верификационный слой Anoma использует усовершенствованный консенсус Tendermint PBFT, но ключевое нововведение заключается в том, что узлы верификации запускают виртуальную машину нулевого знания (zkVM). При обработке кросс-цепочных транзакций (например, обмена биткойнов на ETH с защитой конфиденциальности) узлы генерируют zkProof легкого клиента биткойнов и передают его в сеть Anoma. Весь процесс верификатор лишь проверяет корректность доказательства, не разблокируя данные исходной цепи, обеспечивая поистине проверяемую конфиденциальность кросс-цепочки. Столкнувшись с проблемой неподдержки FHE в скриптах биткойнов, Anoma использует схему оптимистичного доказательства + 72-часовой период оспаривания: если обнаружено мошенничество, любой участник может представить zkProof для инициирования отката активов. Инженерная практика и экологические прорывы Разработчики могут использовать Taiga SDK для создания DApp с повышенной конфиденциальностью. Например, при создании протокола кредитования приватных стабильных монет можно напрямую использовать гомоморфную инструкцию fhe_gt! для проверки, превышает ли зашифрованное обеспечение 150%, и с помощью макроса zk_proof! генерировать доказательства нулевого знания для погашения. Эта возможность порождает новые случаи использования: Namada (первый фрактальный экземпляр Anoma) реализует многоактивный приватный пул, TVL достиг 340 миллионов долларов. Fhenix интегрирует Ethereum L2 с FHE-слоем Anoma, обрабатывая 120000 приватных транзакций в день Данные тестовой сети показывают, что среднее значение TPS FHE-транзакций составляет 52, а задержка между цепочками контролируется в пределах 90 секунд. Несмотря на то, что производительность все еще ограничена гомоморфным вычислением, объединение доказательства zkFHE (сжатие вычислений FHE в zk-SNARK) включено в дорожную карту с целью достижения стакратного ускорения к 2026 году. Путь сосуществования конфиденциальности и соблюдения норм