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 году.
Путь сосуществования конфиденциальности и соблюдения норм
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
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 году.
Путь сосуществования конфиденциальности и соблюдения норм