Думка: докази з нульовим знанням не є правильним рішенням для DeFi

Автор: DARREN KLEINE, blockworks Упорядник: Shan Ouba, Golden Finance

Багато команд працюють над досягненням DeFi без знань, але всі вони мають справу з тією самою основною логікою.

У нещодавньому подкасті Lightspeed Кайл Самані з Multicoin Capital висловив упевненість, що докази з нульовим знанням не є правильним рішенням проблем конфіденційності в DeFi. Він вважає, що докази з нульовим знанням можуть використовуватися в інших сферах, але вони можуть бути незастосовні в DeFi. **

Підтвердження нульової інформації можна використовувати, щоб підтвердити чийсь вік для покупки алкоголю, не розкриваючи інших особистих даних. Це ефективний прикладний сценарій для доказів із нульовим знанням, який може зберегти конфіденційність і підтвердити певні факти.

Однак, якщо метою DeFi є конфіденційність, докази з нульовим знанням не є прийнятним рішенням. У DeFi необхідно враховувати концепцію «загального стану», тобто під час проведення фінансових транзакцій між різними учасниками виконуються математичні операції та здійснюються транзакції з нульовим знанням. Концепція глобального стану не існує в DeFi, що унеможливлює міркування про глобальний стан, роблячи докази з нульовим знанням неефективними в DeFi.

Кайл Самані навів приклад, щоб проілюструвати цю тезу: у DeFi існують пули обмежених партнерів і лімітні замовлення, і транзакції та взаємодії відбуватимуться між різними людьми. Оскільки не існує концепції глобального стану, неможливо міркувати про стан усієї системи. Тому він вважає, що докази з нульовим знанням не підходять для вирішення проблем конфіденційності в DeFi. У DeFi потрібне рішення, яке може обробляти спільний стан і глобальне обґрунтування стану, а підтвердження з нульовим знанням не може забезпечити таку функцію.

Міркування зверху вниз

У своїй аргументації для пояснення незастосовності доказів нульового знання (ZK) у DeFi Кайл Самані представив основну передумову на прикладі zcash (ZEC). За допомогою zcash підтвердження будь-якої транзакції показує, що серія вихідних даних невитраченої транзакції (UTXO) була надіслана на серію «зашифрованих блоків» приватних адрес.

Як приклад він сказав: «Загальна кількість UTXO, яку я отримав, менша за кількість UTXO, яку я надіслав, включаючи поточну транзакцію.» У цьому випадку підтвердження транзакції може показувати лише те, що баланс користувача перевищує нуль, але не може надати більш конкретну інформацію.

Незважаючи на те, що тираж zcash теоретично ніколи не може перевищити 21 мільйон, оскільки він має ті самі обмеження щодо пропозиції, що й форк біткойнів, через його конфіденційну конструкцію пропозицію неможливо перевірити. Це також означає, що систему неможливо перевірити зверху вниз, щоб визначити, чи загальний запас zcash досі фіксований на рівні 21 мільйона. Фактично, у zcash була потенційно катастрофічна помилка, про яку було повідомлено та виправлено у 2019 році.

Кайл Самані пов’язав цей інцидент зі спробами запровадити рішення з нульовим знанням у DeFi, підкресливши, що DeFi не може досягти своїх цілей, не маючи можливості міркувати про систему зверху вниз. Він сказав, що коли кожен надає в ланцюг купу приватних доказів, такі концепції, як управління заставою та платоспроможність у DeFi, більше не працюють. Для роботи DeFi потрібна перспектива зверху вниз, а не просто купа зашифрованих транзакцій ZK.

Хоча багато команд наполегливо працюють над впровадженням SDK без знань, він вважає, що вони все ще мають справу з дуже простою логічною проблемою. Він припустив, що правильним способом досягнення конфіденційності в DeFi є повністю гомоморфне шифрування (FHE). Шляхом наскрізного шифрування контрактів і застосування верифікаторів зміни станів можна зберегти основну логіку системи, що є правильним способом вирішення проблеми конфіденційності.

Підводячи підсумок, Кайл Самані підкреслив, чому докази з нульовим знанням не підходять у DeFi, і запропонував правильний спосіб досягнення конфіденційності за допомогою повністю гомоморфного шифрування. Він вважає, що DeFi потребує перспективи зверху вниз, щоб краще реалізувати свій потенціал.