Віталік Бутерін закликає розробників публікувати "коефіцієнт ефективності" для ZK та FHE

Ethereum (ETH) співавтор Віталік Бутерін закликав до простішого, більш практичного способу звітування про продуктивність у системах нульових знань (ZK) та повністю гомоморфного шифрування (FHE). Він стверджує, що розробники повинні припинити спиратися на сирі заяви “операцій на секунду” і натомість звітувати про “коефіцієнт ефективності”, час, який потрібен для обчислень під шифруванням, поділений на час, який потрібен для виконання в чистому вигляді.

У дописі на X Віталік Бутерін ясно висловив ідею: дати накладні витрати у вигляді співвідношення, “час обчислення в шифруванні до часу обчислення в сирому вигляді”, щоб інженери та команди продуктів відразу зрозуміли, скільки продуктивності вони жертвуватимуть для отримання криптографічних гарантій. Це єдине число, за його словами, відповідає на дуже практичне питання: наскільки повільніше буде моє застосування, якщо я зроблю його криптографічним замість залежного від довіри?

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

Він не вдавав, що ідея є ідеальною. Бутерін визнав ключові ускладнення: операції, необхідні для виконання та для доведення, можуть бути гетерогенними, а різниці в SIMD-паралелізації, шаблонах доступу до пам'яті та інших апаратно-специфічних факторах означають, що співвідношення не буде абсолютно незалежним від апаратного забезпечення. Тим не менш, він назвав фактор накладних витрат “гарним числом, незважаючи на ці недоліки”, стверджуючи, що воно все ще є більш інформативним та дружнім для розробників, ніж поточні заголовкові показники.

Ефективність, а не пропускна здатність

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

Розмова відбувається в момент, коли технології ZK та FHE все частіше пропонуються для реальних розгортань, місць, де затримка, зручність для розробників і вартість важать так само, як і теоретичні показники пропускної здатності. Запит Бутеріна свідомо скромний: не новий набір стандартів, а інший спосіб подання результатів, який безпосередньо говорить про компроміси, які цікавлять команди.

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