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

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

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

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

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

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

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

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

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