Виталик

ChainCatcher сообщает, что соучредитель Ethereum Виталик Бутерин опубликовал новую статью «Obfuscation (Часть третья): Local Mixing», в которой подробно рассматривается исследуемая криптографическая техника обфускации — "локальное смешивание" (Local Mixing), и утверждает, что она может стать новым основным инструментом криптографии после эллиптических кривых, RSA и решеточной криптографии.Виталик отметил, что текущие основные технологии обфускации в значительной степени зависят от сложных математических предположений, но часто имеют очень высокие вычислительные затраты; в то время как локальное смешивание использует совершенно другой подход, не полагаясь на эллиптические кривые, разложение больших чисел или решеточную криптографию, а заимствует опыт симметричной криптографии и проектирования хеш-функций, постоянно перемешивая, реконструируя и скрывая структуру цепи, устраняя утечку информации при сохранении функциональности.Технология локального смешивания включает в себя такие этапы, как обратимость (reversibility), усиление (hardening), смешивание (mixing), разделение (splitting), перекрестное перемещение (crossing walk) и "компонентализация" (gadgetization), добавляя случайные структуры в цепь, переставляя логические ворота и применяя нелинейные механизмы скрытия, что затрудняет злоумышленникам восстановление исходной вычислительной логики.Виталик подчеркнул, что эта технология все еще находится на ранней стадии, ее безопасность еще не была проверена в долгосрочной перспективе, и она сталкивается с вызовами, такими как случайные атаки и линейный анализ. Тем не менее, он считает, что локальное смешивание представляет собой совершенно новый путь в криптографических исследованиях, целью которого является создание более эффективных схем неразличимой обфускации (iO).Если технология локального смешивания достигнет прорыва, это может привести к новым схемам квантово-устойчивого открытого ключа и способствовать развитию универсальных технологий обфускации. В настоящее время в этой области потребуется много лет криптоанализа и оптимизации, но исследования с помощью ИИ могут значительно ускорить этот процесс. Виталик отметил, что технологии обфускации рассматриваются как "последний рубеж" криптографии, поскольку теоретически другие криптографические примитивы могут быть построены на основе обфускации и односторонних функций, а локальное смешивание может не только снизить затраты на традиционные схемы обфускации, но и стать важным направлением для будущей криптографической инфраструктуры.

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин в публикации на платформе X заявил, что сообщество биткойнов заслуживает признания за продвижение связанных технологий, включая Utreexo и другие решения по оптимизации состояния UTXO (неизрасходованные выходы транзакций). В настоящее время Ethereum исследует маршруты масштабирования, которые на практике объединяют преимущества различных моделей состояния блокчейна.Виталик Бутерин отметил, что Ethereum стремится одновременно иметь преимущества состояния UTXO, динамического состояния и решений между ними, чтобы подавляющее большинство сетевой активности могло достичь "супермасштабирования" (hyperscale), не жертвуя децентрализацией, удобством работы узлов и устойчивостью к цензуре.Виталик Бутерин заявил, что в будущем масштабирование Ethereum не будет простым копированием какой-либо архитектуры, а будет стремиться к объединению различных дизайнерских концепций, чтобы повысить пропускную способность, сохраняя при этом открытость и безопасность сети. В этом контексте Utreexo является предложением по сжатию состояния в экосистеме биткойнов, которое, вводя технологии аккумуляторов, снижает нагрузку на хранение узлов, что делает работу полных узлов более легкой и считается полезным для повышения долгосрочной масштабируемости биткойнов.

Сообщение ChainCatcher, Виталик Бутерин заявил, что он сопоставил дорожную карту Ethereum на 2023 год с текущей Strawmap, и общий вектор все еще имеет высокую степень совпадения, но некоторые приоритеты и технические пути были явно скорректированы, включая повышение приоритета квантовой безопасности, ослабление VDF и некоторых улучшений EVM, а также замену старых дизайнов на унифицированные бинарные деревья, PBT, новые типы состояний и другие решения.Он отметил, что самым заметным изменением в текущей Strawmap является появление нескольких новых тем, которые еще не были включены в дорожную карту 2023 года, что отражает изменение акцентов в разработке Ethereum. Эти новые акценты включают: более сильную поддержку нативной конфиденциальности, радикальное расширение в условиях постквантовой эпохи, упрощение норм для формальной верификации, фьючерсы на Blob и Gas, нативные Rollup, а также более открытое проектирование вокруг будущей формы EVM.Виталик также подчеркнул, что подход к масштабированию Ethereum переходит от "всеобъемлющего масштабирования всех активностей" к "разработке более легко масштабируемых специализированных механизмов для конкретных высоконагруженных сценариев", и рассматривает доказательства STARK и формальную верификацию, ускоряемую искусственным интеллектом, как важную основу для будущего протокола. В целом, это обновление показывает, что дорожная карта Ethereum движется в направлении квантовой безопасности, приоритета конфиденциальности, устойчивости к цензуре, высокой производительности и более упрощенного проектирования протокола.

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин заявил, что Signal недавно объявил о том, что исследует возможность регистрации аккаунтов без использования номера телефона. Он приветствовал это и считает, что этот шаг поможет уменьшить зависимость от системы, которая сильно монополизирована номерами телефонов, снизить риски безопасности идентификации, связанные с заменой SIM-карт, а также усложнит правительствам разных стран давление на Signal с целью блокировки пользователей в своих странах по национальному признаку.Виталик также отметил, что хотя эта инициатива лучше текущего состояния в области защиты конфиденциальности, она лишь достигает "конфиденциальности" и не достигает настоящей анонимности, поскольку метаданные, такие как время отправки сообщений, частота и получатели, все еще могут быть использованы для связывания идентичностей. Он считает, что с развитием технологий искусственного интеллекта долгосрочные анонимные аккаунты становятся устаревшими, и единственной защищаемой формой конфиденциальности является "некоррелируемость сообщений", то есть никто, кроме отправителя и получателя, не знает идентичности сторон общения. Это направление в настоящее время исследуется новыми коммуникационными инструментами, такими как Session, SimpleX, и проектами по смешиванию монет. Кроме того, защита от спама и атак отказа в обслуживании станет следующим важным вопросом, который необходимо решить.

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин опубликовал новую статью, в которой представлена новая криптографическая технология смешивания Diamond iO. Эта технология направлена на решение проблемы низкой эффективности традиционных схем неразличимого смешивания, позволяя программам работать, скрывая внутреннюю логику и ключевые данные. Хотя традиционные технологии iO обладают мощными возможностями защиты конфиденциальности, их эксплуатационные расходы настолько высоки, что практически неосуществимы, в то время как Diamond iO, используя более радикальные новые криптографические предположения, повышает вычислительную эффективность с "космического времени" до "планетарного времени", приближая нас к практическому применению.Diamond iO построен на таких технологиях, как шифрование атрибутов (ABE) и полностью гомоморфное шифрование (FHE), позволяя пользователям выполнять зашифрованные программы и получать правильный вывод, не имея возможности просмотреть их внутренний код или скрытые ключи. Эта схема вводит новый механизм кодирования входных данных и условия расшифровки, снижая вычислительную сложность при обеспечении скрытия логики программы. Основные сценарии применения включают защиту программ, содержащих закрытые ключи, реализацию безопасной лицензии на программное обеспечение, создание криптографических услуг без доверия, а также поддержку блокчейнов и систем искусственного интеллекта с более сильной защитой конфиденциальности.Тем не менее, Diamond iO в настоящее время все еще находится на ранней стадии исследования, и его безопасность зависит от новых криптографических предположений, включая All-Product LWE и Evasive LWE, которые требуют дальнейшей проверки. В то же время эта технология все еще сталкивается с проблемами эффективности, такими как большие вычислительные затраты и ограничения глубины цепей. Исследователи считают, что оптимизация базовых хеш-функций, улучшение схем гомоморфного шифрования и снижение требований к параметрам безопасности могут сделать Diamond iO важным направлением для продвижения технологий смешивания программ в будущем.

Сообщение ChainCatcher, Виталик на платформе X заявил, что стоит попробовать новый тип "высокоуровневого языка программирования", который компилируется в Lean (или HOL и т.д.), с акцентом на то, чтобы сделать определения и теоремы как можно более понятными для человека. Не для доказательства, потому что доказательство должно быть просто правильным, ключевым является само определение и теорема. Предполагаемое использование заключается в том, что ИИ выводит большой объем доказательства, а читателю необходимо как можно легче понять, какие точные утверждения были фактически доказаны в этих выводах.

Сообщение ChainCatcher, Виталик опубликовал на платформе X, что он разработал игрушечную демонстрационную версию идеи "анонимной доски объявлений с проверкой" на Aztec. Эта идея возникла из его предыдущей статьи о использовании SNARKs, и в настоящее время она все еще находится на ранней стадии, но уже может реализовать интересные и нетривиальные функции.

Сообщение ChainCatcher, Виталик на платформе X заявил, что у AI 2040 и его критиков существуют несовместимые мировоззрения относительно скорости и важности прогресса в области ИИ. AI 2040 считает, что если не будут приняты решительные меры для полного предотвращения, то к 2040 году в различных сценариях появится какая-то форма суперинтеллекта; критики считают, что AI 2040 недооценивает способность человечества к координации и угрожает свободе, но не рассматривают ASI как риск централизации власти.Он считает, что если бы он был уверен, что текущая форма ИИ — это просто обычная технология, он бы ближе подошел к лагерю критиков; если бы он был уверен, что суперинтеллект по умолчанию появится в 2030 году, он бы ближе подошел к лагерю AI 2040. В то же время, из-за большой неопределенности, он продолжает оставаться открытым к замедлению или приостановке и чувствует дискомфорт по поводу позиции некоторых крупных компаний ИИ и интеллектуалов, утверждающих, что "открытый код вреден, идеальный результат — это контроль глобального доминирования за нашей стороной".Виталик заявил, что он поддерживает платформу d/acc по важной причине: формальная верификация, криптография, безопасное и открытое оборудование, устойчивость к пандемиям, оборонительная биотехнология, безопасность продуктов и основных ресурсов, общественные системы восприятия и физическая безопасность без централизации власти — все эти направления стоит продвигать в рамках обеих мировоззренческих систем. Он также отметил, что план 2040 года стал более поддерживать открытый код и включает концепцию "взаимного обеспечения уничтожения вычислительных мощностей", что является улучшением по сравнению с тем, чтобы позволить немногим участникам избирательно лишать прав тех, кого они определяют.На вопрос о том, существует ли способ избежать компромисса по поводу замедления или приостановки, Виталик считает, что можно заранее установить условия срабатывания и, когда будут выполнены достаточные условия в определенный временной промежуток, оставаться более открытым к замедлению или приостановке.Он также отметил, что если бы он был Элон Маском или Заком, он бы значительно преобразовал Twitter в платформу, помогающую выявлять и способствовать таким крупным взаимовыгодным соглашениям, чтобы больше людей могли участвовать в обсуждении, но он считает, что это может быть наивно. В настоящее время он не видит никакого не наивного плана по переходу к ASI, поэтому склонен проявлять определенную терпимость к тем, кто пытается это сделать.

Сообщение ChainCatcher, Виталик Бутерин опубликовал сообщение, в котором заявил, что его ранее инициированный эксперимент по анонимной идентификации ИИ уже имеет победителя. В этом эксперименте он в 2024 году на китайском языке написал исправленную версию EIP-7503 (ноль-знание червоточина), используя локальный перевод Qwen 2.5 и вручную исправив, пытаясь скрыть свою личность.В тексте говорится, что, несмотря на то, что стиль прозы был эффективно размытым, ИИ успешно идентифицировал автора, обнаружив уникальные мыслительные привычки, связанные с математикой и алгоритмами (такие как конкретные числовые примеры и логические цепочки), полностью обойдя его стратегию запутывания, направленную только на прозу.

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин представил предложение «The Extremely Lean Chain», в котором показано, как радикально сократить требования к состоянию консенсусной цепи Ethereum на фоне обновления «Lean». Этот план переносит ответственность на валидаторов, которые управляют состоянием и регулярно подтверждают его с помощью ZK-доказательств, тем самым устраняя нагрузку на обработку за каждую эпоху и потенциально поддерживая миллионы валидаторов.Основные механизмы включают: удаление публичных ключей валидаторов из состояния цепи, хранение только индекса дерева депозитов; отмену обработки реальных вознаграждений и наказаний, валидаторы ежедневно генерируют STARK-доказательства своего участия и обновляют баланс; полную случайную переатрибуцию идентичности валидаторов каждый день, достигая сильной анонимности с помощью ZK-STARK, адреса вывода раскрываются только при выводе и не связываются с депозитами или активностью в цепи. Виталик заявил, что этот план может сократить требования к состоянию каждого валидатора с примерно 180 байт до 6 байт на основе обновлений, таких как окончательность в одном временном слоте и агрегация квантовых подписей. Стоимость доказательства для одного валидатора составляет около 5400 обработанных ветвей Меркла в день, что можно выполнить на обычном оборудовании за 1 час, и можно снизить нагрузку на цепь с помощью агрегированных доказательств. Кроме того, этот дизайн может «почти бесплатно» реализовать функцию выборов одного секретного лидера, 1 день — это консервативная длина цикла, 1 час — это нижний предел.

Сообщение ChainCatcher, согласно публикации Виталия Бутерина, исследователи Ethereum недавно провели встречу в Берлине, на которой обновили долгосрочную дорожную карту развития протокола (strawmap.org). Виталик отметил, что "Lean Ethereum" не является одноразовым обновлением, а представляет собой серию улучшений, которые будут внедряться поэтапно в течение следующих трех-четырех лет и имеют такое же значение, как "слияние", охватывая реконструкцию почти каждого основного модуля протокола.Основные моменты включают: механизм верификации: внедрение рекурсивных STARKs, заменяющих существующий способ прямого повторного выполнения, становясь основным компонентом первого уровня протокола; квантовая безопасность: приоритет значительно повышен, все квантово-уязвимые компоненты будут заменены, проектирование квантово-безопасного Blob уже в процессе; уровень консенсуса: декомпозиция доступной цепи и окончательности, реализация одной-двух раундов окончательности, более высокая безопасность и меньшая задержка; уровень состояния: существующее динамическое состояние остается неизменным, но будут добавлены новые типы состояния с большей масштабируемостью (например, хранение UTXO, кольцевые буферы и т.д.), ожидается, что к 2030 году Ethereum будет иметь 2 ТБ динамического состояния + 100 ТБ нового состояния, после миграции приложений ERC20, NFT и т.д. можно будет достичь снижения Gas-расходов более чем в 10 раз; конфиденциальность: из дополнительной функции становится первоочередной целью, пронизывая такие дизайны, как Mempool, дерево состояния и т.д.; VM: помимо EVM будет внедрен leanISA или RISC-V, долгосрочная цель — это только прямое взаимодействие на уровне протокола.

Сообщение ChainCatcher, согласно мониторингу Onchain Lens, Виталик Бутерин только что перевел 79 ETH через протокол конфиденциальности RAILGUN, стоимостью 137000 долларов США.

Сообщение ChainCatcher, Виталик Бутерин опубликовал статью «Obfuscation: building the final boss of cryptography (Part I)», в которой систематически разбирает всю технологическую структуру, стоящую за основной линией протокола обфускации (iO). В статье отмечается, что технологии обфускации могут преобразовывать программы в "шифрованные программы", позволяя выполнять вычисления на открытых входных данных, скрывая внутреннюю логику, что теоретически может реализовать "доверенного третьего лица без доверия". В сочетании с блокчейном это может создать практически бездоверительную систему голосования, аукционные протоколы и другие приложения. Однако текущее время выполнения схемы iO, хотя и является полиномиальным с технической точки зрения, на практике имеет огромные затраты, и ожидается, что время выполнения превысит срок жизни Вселенной.Статья подробно разбирает процесс построения iO на основе решеток, охватывая стек полных гомоморфных шифрований (FHE), шифрования на основе атрибутов (ABE), обфусцированных цепей, функционального шифрования и XiO. Виталик отмечает, что за последние десять лет эта область прошла путь от "невозможного" к "доказуемо безопасному", но до реального применения все еще существует огромная пропасть. Он предложил три возможных пути на будущее: дальнейшая оптимизация существующих решеточных маршрутов, использование более смелых криптографических предположений для упрощения построений или исследование совершенно новых предположений, отличных от решеток, и подчеркнул, что если одно из направлений будет успешным, это в значительной степени "решит криптографию", позволяя любому протоколу, который можно описать через идеальное доверенное третье лицо, безопасно реализовываться.

Сообщение ChainCatcher, согласно мониторингу Onchain Lens, кошелек, связанный с Виталиком, "0xD04" перевел 7000 ETH (стоимостью 11,06 миллиона долларов) на новый кошелек. Учитывая предыдущие транзакции по этому адресу, эти ETH, вероятно, будут храниться в CEX.Ранее он перевел 1300 ETH (стоимостью 31,6 миллиона долларов), которые затем были внесены в Paxo. В настоящее время этот кошелек содержит 20,001 ETH (стоимостью 31,6 миллиона долларов).

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин заявил, что Фонд Ethereum (Ethereum Foundation, EF) объявил о сокращении бюджета на около 40% в этом году в рамках своего финансового трансформационного плана.Согласно политике управления финансами, опубликованной в прошлом году, EF постепенно переходит от "расходной организации" к "модели долгосрочного фонда (endowment-based)", цель которой состоит в том, чтобы снизить долю годовых расходов с ранее около 15% до примерно 5% после 2030 года. В этом процессе фонд подчеркивает, что примет неизбежные изменения в персонале и ресурсах и признает потерю некоторых навыков и опыта.В ходе текущей реорганизации EF сократил около 54 сотрудников, что составляет примерно 20% от общей команды. Виталик отметил, что многие из уволенных членов команды в будущем все еще могут продолжить участвовать в строительстве экосистемы Ethereum в качестве внешних участников. В то же время фонд сместит стратегический фокус на более "легкую" модель управления протоколом и пути разработки, включая продвижение долгосрочной дорожной карты "Strawmap", охватывающей основные обновления протокола, такие как механизмы консенсуса, технологии конфиденциальности, модели учетных записей и структуры состояния, а также продвижение Ethereum к третьей стадии эволюции.Что касается конкретных структурных изменений, EF ослабит модель "приоритета многоклиентской избыточности" и перейдет к более специализированным подходам к разработке с использованием AI для формальной верификации; команда по исследованию конфиденциальности и масштабируемости PSE будет реорганизована, переходя от исследовательской разработки к более целенаправленной инженерной реализации; масштабы экосистемных мероприятий, таких как Devcon, также будут постепенно сокращены.Кроме того, в будущем EF сократит инвестиции в крупные междисциплинарные проекты, сделав больший акцент на безопасность протокола и высокоценные улучшения, одновременно поощряя больше инновационной работы, выполняемой вне экосистемы. Несмотря на более упрощенный путь, Ethereum продолжит укреплять свою основную позицию как высокоантикоррупционного, долгосрочного стабильного протокола.

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин заявил, что в последнее время звучат мнения о том, что анализ текстов с помощью ИИ сделает анонимность в сети труднодостижимой.В связи с этим он раскрыл, что в какой-то момент в этом десятилетии он написал анонимный документ, имеющий среднюю важность для Ethereum, и оценил, что в экосистеме Ethereum существует около 200 до 2000 документов, важность которых не ниже этого документа.Виталик пригласил сообщество и инструменты ИИ "найти" это анонимное произведение среди этих документов, чтобы проверить, может ли ИИ с помощью анализа стиля и других методов анонимизировать автора в больших объемах текста.