Аннотация:
Соучредитель Ethereum Виталик Бутерин опубликовал в воскресенье документ, в котором предлагает видение трансформации Ethereum к 2030 году, планируя расширить сеть от традиционного блокчейна до системы, которая сочетает в себе криптографические доказательства и внешние вычислительные сети. В статье под названием «Компьютеры в криптозоологическом мире» Бутерин сказал, что к тому времени сеть все еще можно будет называть блокчейном, но способ ее работы будет полностью отличаться от текущей версии.
Бутерин отметил, что текущая сеть Ethereum требует, чтобы каждый компьютер неоднократно проверял вычисления, лежащие в основе транзакций, что помогает поддерживать честность сети, но также означает, что добавление компьютеров не будет автоматически увеличивать возможности обработки транзакций, поскольку каждый компьютер занят проверкой большого количества одних и тех же действий. Он считает, что новые криптографические инструменты могут преодолеть это ограничение: один компьютер обрабатывает транзакцию и генерирует короткое математическое доказательство того, что она соответствует правилам, а другие компьютеры могут проверить доказательство быстрее, без необходимости повторять все исходные вычисления. Независимые выборочные проверки могут помочь подтвердить, что записи транзакций по-прежнему доступны для проверки всем желающим. Это позволит разным компьютерам выполнять разные задачи, одновременно проверяя результаты друг друга.
Бутерин писал, что разработчики Ethereum хотели распределить работу таким образом еще десять лет назад, но в то время было сложно гарантировать, что каждый участник правильно выполнит свою задачу. «В то время это было невозможно по одной важной причине: недостающим элементом была проверка», — сказал он. Ранние попытки распределить работу между меньшими группами и координировать эти группы увеличивали задержку, и если одна группа потерпит неудачу, более широкая сеть может столкнуться с трудностями при восстановлении. Бутерин считал, что математические доказательства позволяют решить эту проблему. После того, как компьютер выполнит задание, он может предоставить доказательство соблюдения правил, позволяя другим проверить свои ответы без необходимости повторять весь расчет. Компьютеры смогут одновременно выполнять различные задачи, обеспечивая большую мощность и более независимую проверку Ethereum.
Эфириуму все еще необходимо решить проблемы, связанные с порядком, например, что наступает раньше, когда два платежа используют одни и те же средства. Бутерин предположил, что больше работы по этим платежам можно проделать заранее, при этом меньше информации будет записываться в блокчейн посредством доказательства слияния.
Что касается конфиденциальности, план Бутерина также распространяется на информацию, которую люди раскрывают, просто используя свои кошельки. Проверка баланса обычно включает в себя запрос адреса на внешнем сервере, операторы которого могут узнать, на какие учетные записи подписан человек, даже если сам платеж является частным. Бутерин предполагал, что эти запросы будут скрыты вместе с платежными реквизитами и правилами утверждения расходов со счета. Тогда предприятия смогут сохранять конфиденциальность платежей, не раскрывая свои счета, когда сотрудники проверяют балансы.
Похожие цели преследуют и другие разработчики криптовалют. Zcash уже позволяет пользователям отправлять платежи, используя зашифрованные адреса и суммы. Согласно предыдущему анализу данных ZecStats, в пятницу в защищенном пуле хранилось около 4,9 миллионов ZEC, а в воскресенье токен торговался около $1660 после роста примерно на 15%. Исследователи в статье «Защита биткойнов», опубликованной в четверг, предлагают позаимствовать дизайн платежей Zcash для биткойнов со спецификациями, которые оставляют фактические механизмы ввода и вывода биткойнов для изучения отдельно.
Планы Ethereum по-прежнему требуют значительной инженерной работы. Генерация доказательств должна быть достаточно эффективной, чтобы их можно было широко использовать. Компьютеры, выполняющие разные задачи, также должны координировать обновления одних и тех же записей баланса и приложений, не мешая друг другу. Сравнение Бутерина с 2030 годом по-прежнему отражает стоимость и ограничения конфиденциальности сложных приложений и предполагает, что платежи будут завершены примерно за 8–32 секунды, при этом сеть будет рассматривать их как необратимые. Он предсказывает, что запланированное на следующий год обновление Hegotá станет последним «нормальным» форком Ethereum, построенным на технологии, знакомой сетевым работникам в 2015 году. Последующие обновления будут все больше опираться на математические доказательства, инструменты для проверки программных ошибок и конструкции безопасности, разработанные для противостояния будущим квантовым компьютерам. «Эта трансформация станет основной историей Эфириума, начиная с Хеготы», — написал Бутерин. Конечный результат: «Вычисления с высоким уровнем безопасности, которые дешевле, масштабируемее и конфиденциальнее, чем все, что возможно с помощью одних только технологий последнего поколения». «Всемирный компьютер криптозоологии».
Комментарии