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 году.
Путь сосуществования конфиденциальности и соблюдения норм
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
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 году.
Путь сосуществования конфиденциальности и соблюдения норм