Зустріч у Сеулі

Автор оригіналу: Advait (Leo) Джаянт Компіляція: LlamaC "Рекомендації: Повністю гомоморфне шифрування (FHE) часто вважається святим Граалем криптографії. У цій статті досліджується перспектива застосування FHE в галузі штучного інтелекту та зазначаються поточні обмеження. Автори також перераховують кілька проектів, які працюють над використанням FHE в галузі шифрування для застосування в галузі штучного інтелекту. Ця стаття може бути корисною для шанувальників Криптовалюта, які хочуть докладніше дізнатися про повністю гомоморфне шифрування, enjoy!" Текст👇 A хочуть отримати високоіндивідуалізовані рекомендації на Netflix і Amazon. B не хочуть, щоб Netflix або Amazon знали їх вподобання. У цифрову епоху, ми насолоджуємося Amazon та Netflix

Автор: Davide

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% слippage, адреса отримувача зашифрована". Розв'язувачі в мережі (Solvers) через безпечні багатосторонні обчислення (SMPC) в зашифрованому стані узгоджують попит і пропозицію. Щоб запобігти маніпуляціям MEV, Anoma розробила механізм затриманого розкриття ігор: розв'язувачі повинні ставити токени для участі в закритих торгах, шахрайство буде конфісковане. Ця парадигма перетворює DeFi з активного виконання "пуш-моделі" на оголошення попиту "пул-моделі". 3. Розподілена верифікація крос-чейн конфіденційності Валідаційний рівень Anoma використовує покращену версію консенсусу Tendermint PBFT, але ключова інновація полягає в тому, що валідаційні вузли запускають віртуальну машину нульового знання (zkVM). При обробці крос-ланцюгових транзакцій (наприклад, обміну біткойнів на ETH з захистом конфіденційності) вузли генерують zkProof для легкого клієнта біткойнів і передають його в мережу Anoma. Увесь процес валідаційник лише перевіряє правильність доказу, не розблоковуючи дані оригінального ланцюга, що забезпечує справжню перевіряючу конфіденційність крос-ланцюгів. Зустрічаючи проблему, що скрипти біткойнів не підтримують FHE, Anoma використовує схему оптимістичного доказу + 72-годинний період оскарження: якщо виявлено шахрайство, будь-який учасник може подати zkProof для ініціювання повернення активів. Інженерна практика та екологічний прорив Розробники можуть створювати DApp з підвищеною конфіденційністю за допомогою Taiga SDK. Наприклад, при побудові протоколу позик на стейблкоїн з підвищеною конфіденційністю, можна безпосередньо перевірити, чи є закладена вартість криптоактиву більше 150%, використовуючи гомоморфну команду fhe_gt! та генерувати нульове підтвердження погашення за допомогою макроса zk_proof!. Ця здатність вже сприяє виникненню нових випадків використання: Namada (перший фрактальний екземпляр Anoma) реалізує мульти-активний приватний пул, TVL досягає 340 мільйонів доларів США Fhenix інтегрує Ethereum L2 з FHE-слоєм Anoma, обробляючи 120000 приватних транзакцій на добу Дані тестової мережі показують, що середній TPS транзакцій FHE становить 52, а затримка між ланцюгами контролюється в межах 90 секунд. Незважаючи на те, що продуктивність все ще обмежена гомоморфними обчисленнями, інтеграція zkFHE-обґрунтувань (стиснення обчислень FHE до zk-SNARK) вже включена до дорожньої карти, з метою досягти стократного прискорення до 2026 року. Шлях симбіозу приватності та відповідності