Команды, поддерживаемые EF:обзор исследований и разработок

Мы все должны быть благодарны за этот праздничный сезон, от первого дня рождения сети маяков до успешных обновлений за последний год и невероятного прогресса во всей экосистеме Ethereum.

В связи с тем, что очень продуктивный год подходит к концу, есть несколько последних подарков в виде обновлений от многих (более 15!!) команд, поддерживаемых EF, которые постоянно работают над улучшением сети. И есть много содержательного материала здесь, так что найдите время, чтобы разобраться в оглавлении и копнуть!

Как всегда, эта серия обзоров посвящена командам, поддерживаемым EF, члены которых работают над ростом и улучшением Ethereum в целом. В этот выпуск включены новости многих команд, отмеченных в предыдущем отчете, а также других новых и меняющихся групп.

Наслаждаться! 🦄

Содержание

  • Consensus R&D (исследовательская группа EF)
  • Программа поддержки экосистем
  • Эфириум.org
    • Обновления содержания
    • Развитие сообщества
      • Некоторые статистические данные (август – декабрь)
    • Программа перевода
      • Некоторые статистические данные:
    • Финансирование CLR
    • Что дальше?
    • Как это звучит?
  • Ипсилон
    • Формат объекта EVM (EOF)
    • Другие EIP
      • EIP-2681 (Ограничить одноразовый номер учетной записи до 2^64-1 )
      • EIP-3855 (инструкция PUSH0 )
      • EIP-3860 (Ограничение и код инициализации счетчика )
    • получить
    • евмоне
    • этэш
    • Шизи
  • Официальная проверка
  • Получить
  • Команда JavaScript
  • Конфиденциальность и масштабирование
    • zkEVM
    • ЗКОПРУ
    • Unirep и Unirep Social
    • CLR.fund для всех
    • Интерреп
    • Семафор / ZK-Keeper
    • РФН
  • Поддержка протокола
  • Ремикс
  • Надежная группа стимулирования
  • Заклинатели змей [Экосистема Python]
    • Фе-ланг
    • Портал
  • Безопасность [Безопасность/Консенсус-тесты]
  • Надежность
  • ZoKrates
    • Язык
    • Проверочные системы
    • Производительность компилятора

Consensus R&D (исследовательская группа EF)

Автор:Сяо-Вэй Ван

Во второй половине этого года вехи исследования и разработки консенсуса Ethereum включали:

  • 27 октября был поставлен первый хардфорк сети маяков Altair. Основные особенности:

    • комитеты по синхронизации для поддержки облегченных клиентов
    • стимулировать реформы бухгалтерского учета, чтобы упростить спецификацию
    • параметры штрафных санкций обновляются до запланированных максимально штрафных значений
  • Выполнено слияние спецификации уровня консенсуса для взаимодействия и тестовых сетей:

Чтобы соответствовать Великому переименованию, мы переместили компоненты на «уровень консенсуса» с «Eth2» для более четкого взаимодействия в долгосрочной перспективе.

В начале 2022 года наша команда сосредоточится на оказании помощи в реализации «Слияния», самого значительного обновления консенсусного протокола за всю историю. К счастью, у нас есть отличная поддержка от команд клиентов и других участников сообщества, которые работают над тем, чтобы воплотить это в жизнь! Тем временем мы продолжим нашу исследовательскую работу по доступности данных, масштабированию L1 и функциям «очистки» форка после слияния.

Программа поддержки экосистем

Автор:команда ESP

Мы опубликовали обновленную информацию о распределении средств за второй квартал с указанием грантов на общую сумму 7 794 000 долларов США за квартал — и скоро начнется третий квартал! Вы также можете ознакомиться с последними ежемесячными обзорами здесь и здесь, чтобы получить более подробную информацию о прогрессе от нескольких наших замечательных грантополучателей.

За кулисами мы работаем над капитальным ремонтом веб-сайта, который должен упростить понимание миссии и приоритетов ESP, а также возможность для подходящих разработчиков подавать заявки на финансирование или другую поддержку. Нам не терпится запустить новый сайт в начале 2022 года!

Эфириум.org

Автор:Сэм Ричардс

Чтобы сделать нашу работу более доступной и способствовать более тесному сотрудничеству с сообществом, наша команда публикует обзор наших ежеквартальных целей дорожной карты. Ознакомьтесь с нашей дорожной картой продуктов Q4 здесь.

Счастливых праздников всем от команды ethereum.org 😀🎄 Как всегда, наше видение с ethereum.org состоит в том, чтобы создать лучший портал для растущего сообщества Ethereum и служить входной дверью в Ethereum для миллионов новых посетителей каждый месяц.

Обновления контента

Эфириум движется быстро! Помимо обновления сотен страниц, чтобы наш контент оставался актуальным и точным, мы также выпустили несколько новых материалов:

  • Центр сообщества
  • Введение в смарт-контракты
  • Безопасность Эфириума и мошенничество
  • Введение в управление Ethereum
  • Введение в эфир
  • МЭВ
  • И множество новых руководств для разработчиков.

Рост сообщества

Ethereum.org существует благодаря сотням авторов контента и кода из сообщества. В Q3/Q4 мы уделяем особое внимание способам увеличения вклада и признательности сообществу за работу, которую они выполняют:

Некоторые статистические данные (август – декабрь)

  • Количество участников GitHub увеличилось на 57 %, с 396 до 621 😲
  • Наше сообщество Discord почти удвоилось, с 6 500 до 12 200 участников 🎉
  • Мы провели две телеконференции сообщества и открыли приемные часы для авторов.
  • Мы добавили 3 новых руководства сообщества (доверенные участники отвечают на вопросы и модерируют чат) 😎
  • Мы внедрили многоуровневые POAP для геймификации контента, кода и переводов.

Программа перевода

С тех пор, как в июле мы наняли нового ведущего переводчика, программа переводов значительно расширилась!

Некоторые статистические данные:

  • С июля по ноябрь сообщество перевело для ethereum.org 1 373 046 слов, что в 10 раз больше, чем за аналогичный период прошлого года! Для сравнения, это эквивалентно переводу почти 20 книг целиком 📚!
  • Мы получили помощь в переводе от более чем 2500 участников сообщества 🤯
  • На ethereum.org доступно 37 языков 🌍
  • Мы запустили инициативу по лучшему признанию наших переводчиков, включая таблицу лидеров и сертификаты переводчиков!

Финансирование CLR

Мы поддерживаем раунд clr.fund на уровне 2! После более чем 6 месяцев участия в квадратичном стеке финансирования clr.fund мы объединили наши изменения с исходным репозиторием, в котором добавлена ​​поддержка сети L2 и различные улучшения веб-приложений.

clr.fund планирует развернуть раунд финансирования на Arbitrum One, ориентированный на экосистему ставок, в январе, и EF рада предложить соответствующие средства для раунда. Мы надеемся, что вы участвуете! Оставайтесь с нами для получения подробной информации. Ура общественному благу!

Мы строим на плечах гигантов. Спасибо команде clr.fund, команде MACI и сообществу участников clr.fund, которые продолжают продвигать инновации в области ZKP и квадратичного финансирования.

Что дальше?

  • создание учебного центра, позволяющего нетехническим пользователям стать опытными пользователями Ethereum
  • создание дополнительных ресурсов для запуска узлов и стейкинга для повышения доступности
  • дальнейшая автоматизация конвейера перевода для более быстрого выпуска переведенного контента
  • расширение Программы перевода за пределы ethereum.org
  • обновление содержания для перехода от терминологии Eth2 по мере приближения слияния

Как это звучит?

Мы ценим отзывы о нашей дорожной карте. Наши руководящие принципы основаны на предоставлении наибольшей ценности в кратчайшие сроки, поэтому, если вы считаете, что нам следует над чем-то поработать, сообщите нам об этом! Мы приветствуем идеи и предложения от всех участников сообщества.

Подробнее о вкладе

Ипсилон

Автор:Alex Beregszaszi

Мы создали веб-сайт команды, чтобы предоставить четкое объяснение и полный список наших текущих и прошлых работ.

Из следующих заголовков легко понять, что во второй половине года команда в основном сосредоточилась на EVM. Также важно отметить, что мы объединились с командой Geth, чтобы улучшить производительность интерпретатора EVM.

Формат объекта EVM (EOF)

Первый шаг к этому, EIP-3541, был запущен в Лондоне, и мы провели опрос во многих тестовых сетях и цепочках EVM, чтобы найти подходящий префикс для EOF.

Были внесены дополнительные разъяснения в EIP-3540 (включая выбранный префикс), и мы также предложили дальнейшую работу над ним:

  • EIP-3670 для введения проверки кода во время развертывания
  • EIP-3690 для замены JUMPDEST коды операций с таблицей JUMPDEST
  • EIP-4200 представляет два новых кода операции, RJUMP и RJUMPI , облегчая статические прыжки

В октябре мы представили EOF в Liscon. (слайд здесь, но запись недоступна) и на Meetup Ethereum в Берлине (слайды, запись).

Другие EIP

EIP-2681 (Ограничить одноразовый номер учетной записи до 2^64-1 )

Одно из наших старых предложений, EIP-2681, было принято во время ACD#120. Он кодирует ограничение, которое уже (частично) реализовано на практике в большинстве клиентов. После принятия мы расширили набор тестов состояния Ethereum и скорректировали реализацию geth.

EIP-3855 (инструкция PUSH0 )

EIP-3855 предлагает ввести PUSH0 Инструкция, которая помещает 0 в стек. Это часто используемая функция, в основном реализуемая сегодня с помощью неэффективных или перепрофилированных инструкций.

Наш анализ показал, что с помощью этого кода операции можно было бы сэкономить значительные ресурсы:

<цитата>

Чтобы представить «отходы» в перспективе, в существующих учетных записях 340 557 331 байт тратится впустую на инструкции PUSH1 00, что означает, что на их развертывание было потрачено 68 111 466 200 газа.

EIP-3860 (Ограничение и код инициализации счетчика )

EIP-3860 — это предложение установить границу и ввести измерение для кода инициализации. Это позволило бы более оптимизировать анализ и выполнение, поскольку реализации должны иметь дело с меньшим количеством неизвестных.

получить

В сотрудничестве с командой Geth мы начали работать над измерением и улучшением производительности интерпретатора EVM в geth.

С точки зрения анализа заслуживают внимания два отчета:

  • Geth vs evmone сравнивает скорость Geth и evmone с помощью тестового пакета evmone.
  • Компилятор Geth &Go исследует влияние версии компилятора Go на скорость работы geth.

Основываясь на этих первоначальных результатах, мы рассмотрели профилирование geth и, наконец, внесли несколько улучшений в кодовую базу, большинство из которых уже объединены. Неполный список соответствующих PR:23952, 23970, 23974, 23977, 24017, 24026, 24031, 24120.

Перейдите по этой ссылке, чтобы увидеть каждый PR. Мы планируем продолжить эту работу в следующем квартале.

евмоне

Было выпущено два выпуска исправления ошибок evmone:0.8.1 и 0.8.2.

этэш

Команда также поддерживает библиотеку C++ ethash/keccak256, которая используется evmone и Silkworm.

В последней версии 0.8.0 представлен новый метод проверки окончательных хэшей Ethash на соответствие сложности блока. Это и удобство использования, и улучшение скорости. Метод опубликован на Ethresear.ch.

Кроме того, ProgPoW объявлен устаревшим в библиотеке.

Шиззи

Команда также участвовала в конференции Wasm in Web3 в сентябре. Мы сделали две презентации:

  • Fizzy. Детерминистический интерпретатор (слайды) дает исчерпывающий обзор того, что такое Fizzy, как он сравнивается с другими движками, а также объясняет причины, лежащие в основе многих выбранных нами вариантов дизайна.
  • Странные причуды при тестировании WebAssembly показывают хороший выбор пограничных случаев, с которыми мы столкнулись при разработке Fizzy. В докладе также представлены некоторые потенциальные решения и пояснения для этих крайних случаев, а также то, как мы расширили официальный набор тестов WebAssembly, чтобы охватить их.

Формальная проверка

Автор:Лео Альт

Во второй половине года команда FV продолжала работать над существующими инструментами:

Действие:

  • Наконец-то мы выпустили Акт 0.1! Вы можете прочитать замечательный учебник по адресу https://fv.ethereum.org/2021/08/31/act-0.1/, чтобы узнать, что сейчас возможно и как это использовать.
  • В настоящее время мы реорганизуем обработку ошибок, чтобы сделать ее более удобной.

Хевм:

SMTChecker:

  • Точное отслеживание остатков контрактов, включая msg.value отправлено в и из проанализированных контрактов.
  • Также поддерживается низкоуровневый вызов функционировать как небезопасный внешний вызов.
  • Улучшите контрпримеры, сообщив об блоке*. , msg.* и tx.* значения, важные для неудачных целей проверки.
  • Сообщить пользователю о контракте и индуктивных инвариантах повторного входа.

Получить

Автор:Феликс Ланге

Во второй половине 2021 года мы выпустили 9 релизов geth. Как обычно, наше время было разделено между проверкой/реализацией EIP, оптимизацией/обслуживанием клиента и проверкой изменений кода, предложенных сообществом.

В июле был активирован лондонский хардфорк, в который был включен EIP-1559. Новая схема ценообразования на газ, определенная этим EIP, потребовала множества изменений во всех подсистемах geth. Мы все еще обнаруживаем и устраняем основные проблемы, связанные с EIP-1559, спустя шесть месяцев после его появления.

За последние шесть месяцев были обнаружены две уязвимости в системе безопасности. Для обоих из них мы следовали нашей политике рекомендаций по безопасности:мы немедленно присвоили проблеме номер CVE и опубликовали выпуск исправления. Технические подробности об уязвимости были опубликованы спустя 6-8 недель.

В последнем квартале 2021 года наша работа в основном сместилась в сторону внедрения и тестирования The Merge. . Мы находимся на пути к тому, чтобы превратить geth в «клиент уровня выполнения» объединенных слоев исполнения и консенсуса (фмр. «eth1+eth2»). При подготовке к слиянию мы переписали большую часть кода синхронизации, чтобы он работал под контролем уровня консенсуса. Geth также участвует в тестовых сетях Merge.

Кроме того, команда geth работала над несколькими долгосрочными проектами, такими как реализация Verkle Trees, облегченный клиент цепочки маяков и новая схема хранения базы данных для состояния Ethereum.

Команда JavaScript

Автор:Хольгер Древес

В последние два квартала 2021 года подготовка к «большим переходам» в сети Ethereum была в центре нашей работы. Мы участвовали в Merge Interop в Греции и выпустили первые готовые к слиянию версии нашего клиента, виртуальной машины и связанных библиотек (см., например, версию клиента EthereumJS v0.2). Мы также начали захватывающий эксперимент с командой Go-Ethereum Verkle/Stateless, чтобы нативно протестировать выполнение блока без сохранения состояния на основе доказательства verkle, предоставленного вместе с измененным заголовком блока через devp2p в нашем клиенте. Если вам интересно, вы можете увидеть следующую проблему отслеживания, чтобы следить за нашим прогрессом.

Немного более применимо для конечного пользователя прямо сейчас :улучшена поддержка наших библиотек для новых сетей L2, таких как Polygon, Arbitrum или Optimism. На эти и некоторые другие сети теперь можно напрямую ссылаться, например. отправить транзакцию в определенную сеть L2. См., например. выпуск Common v2.6.0 для последней сетевой интеграции Optimism L2.

И последнее, но не менее важное:доступна версия VM ArrowGlacier, которая находится на фронте Ethers.js. Ричард только что опубликовал в своем блоге захватывающий обзор грядущих изменений и обновлений библиотеки Ethers.js v6.

Конфиденциальность и масштабирование

Автор:Тор Хильдебрандт

Команда Privacy &Scaling Explorations работает над преодолением разрыва между передовыми исследованиями в области доказательств с нулевым разглашением и разработкой приложений на Ethereum.

zkEVM

Цель zkEVM — запустить смарт-контракты в zk-свертке. К сожалению, EVM не предназначен для работы в цепи zk, что делает его сложной задачей. Мы хотим внедрить полный набор кодов операций EVM непосредственно в цепи zk, чтобы смарт-контракт, работающий на L1, можно было развернуть на L2 с минимальными изменениями. Это обеспечит полную совместимость с существующими инструментами и позволит нам использовать знания об EVM, накопленные экосистемой за последние годы. Мы добились значительных успехов в спецификации кодов операций и реализации схем, и у нас есть ранние тесты и важная цель — сократить время проверки.

ЗКОПРУ

ZKOPRU (zk-optimistic-rollup) — это решение для масштабирования уровня 2 для частных транзакций с использованием zk-SNARK и оптимистического объединения. Он поддерживает частные переводы и частные атомарные свопы в сети уровня 2 между ETH, ERC20 и ERC721. Он также обеспечивает мгновенный вывод средств с функциями предоплаты и совместимостью с соблюдением требований с использованием ключа расходования и ключа просмотра. ZKOPRU недавно запустился в тестовой сети — зацените. Мы работаем над сокращением времени синхронизации и над функцией приватного обмена.

Unirep и Unirep Social

UniRep — это частная и безупречная система репутации. Пользователи могут получать положительную и отрицательную репутацию от аттестующих и добровольно доказывать, что у них есть хотя бы определенное количество репутации, не раскрывая точное количество. Более того, пользователи не могут отказаться от получения репутации от аттестатора. Мы используем Unirep для создания Unirep Social:платформы, похожей на Reddit, которая позволяет пользователям накапливать карму в частном порядке. В последние месяцы мы сосредоточились на создании веб-сайта Unirep Social. Доказательства в Unirep теперь индексируются, чтобы на них можно было ссылаться много раз и чтобы одно доказательство не отправлялось дважды. Unirep теперь может обрабатывать первоначальную раздачу репутации и раздачу пользовательского состояния. Мы также повышаем эффективность создания состояния пользователя и состояния Unirep.

Базовые функции, дизайн интерфейса, интерфейс и серверная часть Unirep Social завершены, и мы планируем выпуск закрытой предварительной альфа-версии. Прочтите этот пост в блоге, если хотите узнать больше.

CLR.fund для всех

Цель проекта — облегчить любому сообществу запуск собственного раунда CLR с помощью clr.fund. Этот проект был очень загружен. Теперь вы можете развернуть собственное квадратичное приложение для финансирования с помощью clr.fund Deployer. Предоставьте вашему сообществу возможность выбирать и финансировать свое собственное будущее полностью децентрализованным образом. Ознакомьтесь с нашим подграфом и документацией.

Интерреп

Репутация — ключ к доверию. Люди тратят годы на создание своей репутации на централизованных социальных платформах, но им приходится начинать с нуля, когда они начинают использовать новое приложение. InterRep стремится сделать репутацию переносимой, чтобы расширить совокупные преимущества доверенных человеческих взаимодействий в Интернете. Ознакомьтесь с этим сообщением в блоге, чтобы узнать о первоначальном объявлении и репозитории. В прошлом квартале мы расширили диапазон источников социальных доказательств до POAP и электронной почты, а также курировали группы:в сети и вне сети с помощью бота Telegram. Мы занимаемся редизайном пользовательского интерфейса, улучшаем взаимодействие с клиентскими приложениями и готовимся к запуску в реальном времени.

Семафор / ZK-Keeper

Semaphore — это гаджет с нулевым разглашением, который позволяет пользователям подтверждать свою принадлежность к набору, не раскрывая свою первоначальную личность. В то же время он позволяет пользователям сигнализировать о своем одобрении произвольной строки. Он разработан, чтобы быть простым и универсальным уровнем конфиденциальности для Ethereum dApps. Варианты использования включают частное голосование, информирование о нарушениях, микшеры и анонимную аутентификацию. С ZK-Keeper мы сосредоточены на том, чтобы поддерживать Semaphore в актуальном состоянии с помощью новейших инструментов zk и интегрировать его с другими проектами, такими как InterRep. У нас есть новые библиотеки для обработки семафорных доказательств и удостоверений. Реализация теперь выполняется поверх Halo2, и мы готовим ее для использования в браузере.

RLN

RLN (Rate Limiting Nullifier) ​​— это конструкция, основанная на доказательствах с нулевым разглашением, которая обеспечивает защиту от спама в децентрализованных анонимных средах. В анонимных средах личность сущностей неизвестна. Недавно мы опубликовали пояснительный пост в блоге, чтобы привлечь больше людей к этой идее. Мы завершили исследование «Анализ осуществимости конфиденциальности ETH2 Validator с использованием RLN». Мы работаем над реализацией проекта «Частный мгновенный чат с использованием RLN и Interrep». Мы также помогаем интегрировать подключаемый модуль ZK-Keeper в проекты RLN.

Поддержка протокола

Автор:Тим Бейко

Команда поддержки протокола (PS) была сформирована в 2021 году, чтобы увеличить количество способов поддержки команд, создающих или взаимодействующих с базовым уровнем Ethereum. Основное внимание команды направлено на то, чтобы позволить основным разработчикам выпускать обновления сети на исполнительном уровне Ethereum.

С этой целью в этом году были развернуты Берлин, Лондон и ледник Эрроу. Помимо этого, PS приложила значительные усилия, работая над слиянием, сначала с Rayonism, затем с мастерской Amphora, а теперь с Kintsugi Devnet!

Этот ускоряющийся темп и масштаб изменений потребовал большего охвата сообщества Ethereum, что побудило нашу команду организовывать частые звонки сообщества. В ходе них разработчикам приложений, инфраструктуры и инструментов было предложено обсудить, как лучше поддерживать обновления протокола и обеспечить плавный переход для своих пользователей. Наряду с этими звонками команда выступила с несколькими докладами и опубликовала несколько сообщений об изменении дорожной карты Ethereum, например, это недавнее обновление для всех основных разработчиков, этот материал в Bankless и этот недавний пост о слиянии и уровне приложений в блоге EF.

Помимо обновлений протокола, команда PS предприняла две основные инициативы, чтобы обеспечить хорошую поддержку групп клиентов. Во-первых, было объявлено о программе поощрения клиентов, чтобы предоставить командам долгосрочные стимулы, связанные с Ethereum. Программа предоставляет командам клиентов набор из 144 валидаторов, которые они должны запускать с помощью своего программного обеспечения. Предполагая, что команды продолжают выполнять определенные контрольные показатели производительности в основной сети, эти валидаторы постепенно переходят к командам, которые могут либо ликвидировать их, либо продолжать работать для получения вознаграждений и сборов. Эта программа объединяет команды с Ethereum, гарантирует, что они «проверяют» своих клиентов в основной сети и продолжают поставлять эффективное программное обеспечение.

Во-вторых, была запущена основная программа обучения разработчиков. Эта программа предоставляла стипендии и наставничество самостоятельным людям, которые хотели углубиться в разработку протоколов. CDAP был запущен в качестве эксперимента, который оказался невероятно успешным! Были проведены две когорты, в которых участвовало более 25 человек. Из них как минимум 5 сейчас работают полный рабочий день в экосистеме. Эти первоначальные когорты многому научили нас о том, что хорошо и что можно улучшить с помощью программы. Ожидайте обновленный CDAP в 2022 году!

Наконец, команда экспериментировала с предоставлением инфраструктуры клиентским командам и более широкому сообществу. С этой целью был отправлен Crawler.ethereum.org с открытым исходным кодом. Мы надеемся, что запуск дополнительного поискового робота, доступного сообществу для улучшения, модификации или создания ответвлений, поможет лучше понять топологию сети.

Ремикс

Автор:Роб Ступей

За последние 6 месяцев команда Remix отвинтила заднюю часть нашего приложения, чтобы провести обширную перенастройку. Первым среди этих изменений была продолжение работы по переносу нашего кода на React. Мы также расширили охват, подключив несколько эффективных каналов к новым сообществам и ознакомив новых пользователей с базовым «знакомством» с нашей IDE. Мы включили проекты в наш «опыт», интегрировав Slither и Hardhat, а также обновив расширение Remix VSCode.

И, если этого недостаточно, мы добавили несколько инструментов для совместного написания кода, улучшили децентрализованный GIT и интегрировали Github. И последнее, но не менее важное:мы обновили наши существующие плагины. Короче говоря, мы увеличили его до 11.

Подробнее читайте в нашей статье.

Группа надежных стимулов

Автор:Барнаб Монно

Группа RIG (Robust Incentives Group) приветствовала новых членов команды и участвовала во многих важных вехах для протокола Ethereum. Чтобы быстро освежить в памяти информацию о том, что такое RIG и что нас волнует, вы можете ознакомиться с криптоэкономикой протокола с RIG, представленной Барнабе на EthCC в июле.

Что касается консенсуса Proof-of-Stake, Каспар, который присоединился к нам в качестве штатного научного сотрудника в начале этого года, обнаружил проблему с текущим выбором форка, описанную как «Три атаки на Proof-of-Stake Ethereum». К счастью, есть сильное исправление-кандидат, которое недавно было объединено в спецификации консенсуса после многих продуктивных обсуждений со Стэнфордской лабораторией Tse Lab, которая является соавтором статьи «Три атаки». Каспар и другие также предложили другое смягчение («предложить слияние представлений»), которое все еще находится в стадии изучения. Посмотрите, как Каспар из Liscon представляет свои результаты!

Шьям, который сначала присоединился к нам в качестве стажера-исследователя прошлым летом, а сейчас работает научным сотрудником в RIG, выпустил серию записных книжек, в которых изучается статистика сети маяков со многих уникальных точек зрения, включая океанические игры и неравенство. Шьям также работал над расширением нашего механизма моделирования PoS Beacon runner, которое включает обучение с подкреплением. Посмотрите его выступление на EDCON!

Блок 12 965 000, 5 августа, 12:33:42 UTC, стал для нас важной датой:активировался лондонский хардфорк, а вместе с ним и EIP-1559. За последний год мы выпустили серию блокнотов, в которых представлены различные модели нового механизма рынка комиссий, которые подготовили почву для дальнейшего анализа после запуска. Вскоре после этого Барнабе сообщил о некоторых результатах и ​​вместе с соавторами (включая Шьяма) написал более объемную статью «Транзакционные сборы в медовый месяц:Ethereum’s EIP-1559 месяц спустя». Документ мотивирован поведением правила обновления 1559 в реальном мире и открывает новые направления исследований для улучшения правила.

RIG также тесно сотрудничал с командой cadCAD Edu в подготовке онлайн-мастер-класса по экономике валидатора, поддерживаемого полностью расширяемой моделью экономики Ethereum (на Python).

Заклинатели змей [Экосистема Python]

Автор:Кери Клоуз

Во второй половине 2021 года команда Snake Charmers завершила изменения, необходимые во всей экосистеме для поддержки лондонского хардфорка. Это включало широкомасштабные фундаментальные изменения во всем нашем стеке, особенно в Py-EVM, Ethereum Tester, Web3.py и eth-account. Также были исправлены две награды за ошибки для Py-EVM. Мы активизировали усилия по созданию образовательного контента и уделили больше внимания отношениям с разработчиками. И, как всегда, наши инструменты Python обеспечивают постоянную поддержку сообщества, сортировку проблем и исправление ошибок.

Фе-ланг

Автор:Грант Вюркер

За последние 6 месяцев команда Fe выпустила следующие релизы:

0.11.0-альфа «Карлит» (02.12.2021)

  • поддержка нескольких файлов
  • определения функций в структурах

Версия 0.10.0-альфа «Нефрит» (32 октября 2021 г.)

  • константы и функции уровня модуля
  • небезопасная поддержка

Версия 0.9.0-альфа «Иридиум» (29 сентября 2021 г.)

  • самообъявления в сигнатурах функций

Версия 0.8.0-альфа «Хаксонит» (31 августа 2021 г.)

  • анализ на основе запросов с использованием Salsa

0.7.0-альфа «Галакзит» (27 июля 2021 г.)

  • Проверки декодирования Solidity ABI

0.6.0-альфа "Полевой шпат" (10.06.2021)

  • нет примечательных особенностей

Если вы хотите узнать больше о нашем прогрессе за последние 6 месяцев, вы можете воспользоваться следующими ресурсами:

  • страница выпуска
  • блог
  • Цели на 2021 год

Портал

Автор:Пайпер Мерриам

Этот год был большим годом для Portal Network. Мы начали этот год с идеи и лишь приблизительного плана того, как построить одноранговую сеть, которая могла бы обеспечить облегченный доступ к протоколу Ethereum. Теперь у нас есть три независимые команды и реализации, и мы активно запускаем первоначальную тестовую сеть, которая должна превратиться в полнофункциональную сеть к концу 2022 года.

Команда EF Portal усердно работала над Trin, клиентом портала, написанным на Rust. Команда EF Javascript также работала над Ultralight — портальным клиентом, написанным на Typescript и предназначенным для запуска в браузере. Команда Status.im также работала над Fluffy, портальным клиентом, предназначенным для интеграции с клиентом Status ethereum и решениями для кошелька.

В течение этого года мы решили ранее нерешенную проблему распределения текущего состояния Ethereum таким образом, чтобы это способствовало эффективному хранению и извлечению. Мы установили Portal Wire Protocol, расширяемый базовый протокол, который является основой всех сетей, составляющих Portal Network. Мы также имели удовольствие работать с несколькими участниками программы стажировки Core Developer, которые использовали проекты Portal Network в качестве отправной точки для начала разработки Core Protocol.

Безопасность [Безопасность/Консенсус-тесты]

Автор:команда безопасности (безопасность/консенсус-тесты)

Что касается безопасности и тестирования, то большое внимание было уделено лондонскому обновлению и предстоящему слиянию. Мы обновили инструменты для разработки тестов и продолжили улучшать эталонные тесты.

Солидность

Автор:Франциска Хейнтель

Во второй половине этого года мы выпустили версии Solidity 0.8.8, 0.8.9, 0.8.10 и 0.8.11:

  • Основная новая функция Solidity 0.8.8 — это определяемые пользователем типы значений. Он также улучшает переопределение функций интерфейса, чтение неизменяемых объектов и многое другое.
  • Solidity 0.8.9 — это выпуск с исправленными ошибками, в котором исправлены две важные, но незначительные ошибки:
    • Ошибка подписанных неизменяемых элементов
    • Ошибка пользовательских типов значений
  • Solidity 0.8.10 содержит оптимизацию вызовов внешних функций, включает новый генератор кода EVM для чистого режима Yul и может сообщать об инвариантах контрактов и свойствах повторного входа через SMTChecker.
  • Solidity 0.8.11 adds a first implementation of a Language Server and allows a safer way to perform ABI-encoding.

Moreover, several Solidity team members presented at ETHGlobal’s Developer Tool Summit:

  • Hari with “What’s New in Solidity”
  • Franzi with “Next Level Source Verification with Sourcify”

The Solidity documentation got a few upgrades, most notably, we…

  • updated the resources section with general resources, Ethereum IDEs, editor integrations, Solidity tools, Solidity parsers and grammars.
  • added the functionality to open code examples in the documentation directly in Remix.

Lastly, we launched our yearly Solidity Developer Survey. If you are a Solidity developer, please take 10 minutes to share your feedback and take part in the survey здесь. The survey will be open until 31st of December 2021.

Oh and we’re hiring! Have a look at our C++ Engineer Solidity opening.

ZoKrates

Authored by Thibaut Schaeffer

In the second half of 2021, ZoKrates advanced on different fronts:

Language

  • Type aliasing, as well as the ability to make function calls in constant definitions
  • Support for the ternary expression syntax
  • Enable constant generics on structs

Proof systems

  • Reduction of the deployment cost for some Solidity verifiers
  • Expose recursive verification in the standard library
  • Add support for Groth16 MPC ceremonies (coming soon)

Compiler performance

  • Extensive work on reducing memory and time requirements of the compiler (coming soon with metrics!)

For a full list of the changes, check out the changelog


Ethereum
  1. Блокчейн
  2.   
  3. Биткойн
  4.   
  5. Ethereum
  6.   
  7. Обмен цифровой валюты
  8.   
  9. Добыча полезных ископаемых