Під час Гонконгського карнавалу Web3 у 2024 році співзасновник Ethereum Віталік Бутерін виступив із основною промовою «Досягнення меж дизайну протоколів» на «Web3 Scholar Summit 2024», організованому DRK Lab.
Він представив, що в 2010-х роках протоколами, заснованими на базовій криптографії, були хешування та підписи. Згодом угода стрімко розвивалася. У 2020-х роках протоколи, засновані на вдосконаленій криптографії, включають ZK-SNARKS, 2PC, MPC, FHE (повністю гомоморфне шифрування), агрегацію (зокрема через IVC, ICD тощо) і вдосконалені мережі P2P.
Віталік сказав, що поточні технології ZK-SNARK, MPC, FHE та інші мають проблеми з ефективністю та безпекою. Серед них час блокування слота Ethereum становить 12 секунд, час перевірки «звичайного» блоку становить близько 400 мілісекунд, а сертифікація ZK-SNARK. час становить близько 20 хвилин, Ethereum прагне отримати докази в реальному часі. Існує кілька рішень проблеми ефективності, включаючи розпаралелювання (Parallelization), дерева агрегації (aggregation trees), підвищення ефективності (за допомогою алгоритму SNARK і хешування) і прискорені апаратні рішення ASIC.
Проблема вразливості схеми ZK-SNARK може бути вирішена комітетом з безпеки та мультипрверерами. У майбутньому AI може допомогти з налагодженням і подальшим вирішенням проблем.
«Я думаю, що цікавим напрямком майбутнього є використання інструментів штучного інтелекту, потенційно з використанням нових інструментів для формальної перевірки. Наприклад, доказ того, що в zkEVM немає помилок», — сказав він світ у майбутньому. Це трохи божевільно».
Крім того, говорячи про ефективність агрегації підписів, Віталік Бутерін зазначив, що поточна ситуація становить близько 30 000 підписів на слот, що вимагає високого попиту на вузли. Бажана мета полягає в тому, щоб підтримувати якомога більше валідаторів, одночасно зменшуючи вимоги до вузлів і приймаючи відносно простий протокол. Згідно з теоретичними обмеженнями, кожному учаснику потрібен 1 біт даних на часовий проміжок, і немає нижньої межі в обчисленні.
«Тож висновок полягає в тому, що нам потрібно подумати про те, що нам потрібні протоколи, щоб досягти межі можливостей криптографії, і ми дійшли до того, що наша криптографія стала набагато сильнішою, ніж це було кілька десятиліть. назад, але це може Сильніше, на цьому етапі я думаю, що нам справді потрібно почати думати про те, що таке стеля і як ми можемо насправді до неї дістатися", - сказав Віталік на завершення.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Основна промова Віталіка Бутеріна в Гонконзі: Угода швидко розвивалася за останні 10 років, але є дві основні проблеми: ефективність і безпека.
Під час Гонконгського карнавалу Web3 у 2024 році співзасновник Ethereum Віталік Бутерін виступив із основною промовою «Досягнення меж дизайну протоколів» на «Web3 Scholar Summit 2024», організованому DRK Lab.
Він представив, що в 2010-х роках протоколами, заснованими на базовій криптографії, були хешування та підписи. Згодом угода стрімко розвивалася. У 2020-х роках протоколи, засновані на вдосконаленій криптографії, включають ZK-SNARKS, 2PC, MPC, FHE (повністю гомоморфне шифрування), агрегацію (зокрема через IVC, ICD тощо) і вдосконалені мережі P2P.
Віталік сказав, що поточні технології ZK-SNARK, MPC, FHE та інші мають проблеми з ефективністю та безпекою. Серед них час блокування слота Ethereum становить 12 секунд, час перевірки «звичайного» блоку становить близько 400 мілісекунд, а сертифікація ZK-SNARK. час становить близько 20 хвилин, Ethereum прагне отримати докази в реальному часі. Існує кілька рішень проблеми ефективності, включаючи розпаралелювання (Parallelization), дерева агрегації (aggregation trees), підвищення ефективності (за допомогою алгоритму SNARK і хешування) і прискорені апаратні рішення ASIC.
Проблема вразливості схеми ZK-SNARK може бути вирішена комітетом з безпеки та мультипрверерами. У майбутньому AI може допомогти з налагодженням і подальшим вирішенням проблем.
«Я думаю, що цікавим напрямком майбутнього є використання інструментів штучного інтелекту, потенційно з використанням нових інструментів для формальної перевірки. Наприклад, доказ того, що в zkEVM немає помилок», — сказав він світ у майбутньому. Це трохи божевільно».
Крім того, говорячи про ефективність агрегації підписів, Віталік Бутерін зазначив, що поточна ситуація становить близько 30 000 підписів на слот, що вимагає високого попиту на вузли. Бажана мета полягає в тому, щоб підтримувати якомога більше валідаторів, одночасно зменшуючи вимоги до вузлів і приймаючи відносно простий протокол. Згідно з теоретичними обмеженнями, кожному учаснику потрібен 1 біт даних на часовий проміжок, і немає нижньої межі в обчисленні.
«Тож висновок полягає в тому, що нам потрібно подумати про те, що нам потрібні протоколи, щоб досягти межі можливостей криптографії, і ми дійшли до того, що наша криптографія стала набагато сильнішою, ніж це було кілька десятиліть. назад, але це може Сильніше, на цьому етапі я думаю, що нам справді потрібно почати думати про те, що таке стеля і як ми можемо насправді до неї дістатися", - сказав Віталік на завершення.