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