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



Повністю гомоморфне шифрування? Це зовсім інша історія. Ви абсолютно можете обчислювати безпосередньо на зашифрованих даних, що є дуже потужною функцією. Але є один нюанс: операції брутфорту, які оновлюють шум, що накопичується у ваших шифротекстах, надзвичайно дорогі. Ці витрати є справжнім вузьким місцем, яке стримує широке впровадження FHE, незважаючи на його теоретичну елегантність.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 7
  • Репост
  • Поділіться
Прокоментувати
0/400
ProofOfNothingvip
· 01-17 12:29
zk-підтвердження виконується за кілька мілісекунд, але обчислювальні витрати на етапі доказу дійсно неймовірні, теорія FHE дуже елегантна, але вартість бутстрепінгу відлякує, здається, що в короткостроковій перспективі zk більш практичний.
Переглянути оригіналвідповісти на0
LeekCuttervip
· 01-17 04:03
zk-верифікація справді крута, але вимоги до обчислювальної потужності для доказів все ще дуже високі... Теорія FHE дійсно крута, але вартість початкового запуску справді відлякує людей
Переглянути оригіналвідповісти на0
TestnetFreeloadervip
· 01-14 13:06
zk-підтвердження швидке, але частина prove все ще вимагає апаратного забезпечення, FHE звучить більш потужно, але вартість bootstraping справді неймовірна, здається, що zk все ж більш практичний.
Переглянути оригіналвідповісти на0
DegenMcsleeplessvip
· 01-14 13:05
zk-підтвердження дійсно швидке, але частина доказів справді споживає ресурси... Теорема FHE теоретично крута, але на практиці процес bootstrapging зіпсував усе.
Переглянути оригіналвідповісти на0
FOMOSapienvip
· 01-14 13:02
ЗК-верифікація справді крута, але обчислювальна потужність для доказів дуже велика... Теорія FHE дійсно крута, але витрати на ініціалізацію — справжній кошмар...
Переглянути оригіналвідповісти на0
GasBanditvip
· 01-14 12:47
zk верифікація займає кілька мілісекунд, а FHE для bootstrapping дуже витратний у обчислювальних ресурсах... Тому zk все ще більш практичний.
Переглянути оригіналвідповісти на0
WhaleShadowvip
· 01-14 12:43
zk перевірка швидка, але доказ дуже витратний у обчисленнях, теорія FHE в теорії крута, результати bootstrap застрягли через вартість, все це компроміси, брате
Переглянути оригіналвідповісти на0
  • Закріпити