Окно мониторинга: 2026-10-23 05:00 ~ 2026-10-26 05:00 (пекинское время, 72 часа; продолжение с точки отсечения предыдущего ежедневного отчёта, охватывает два выходных дня).

Источники: агрегация Google News (22 дополнительные группы запросов на китайском и английском, через прокси), Hacker News, Phoronix, CNX Software, LinuxGizmos, riscv.org, страница новостей официального сайта openRuyi и основной репозиторий, обход официальных сайтов компаний-членов RISC-V International (391 компания), а также поиск пушей, коммитов и релизов в GitHub (XiangShan/NEMU/difftest/GEM5/XSCache, XuanTie Alibaba DAMO, ESSMicro, Sophgo, Nuclei, Espressif, SpacemiT и spacemit-robotics, Sipeed, revyos, openRuyi-Project, Radxa Linkr, OpenHW и другие организации и ключевые репозитории).

Индекс выпуска

  • Главное за сегодня: Claude довёл формальную верификацию до машинного кода RISC-V, 123 открытых библиотеки получили 180 млн строк доказательств (10-23)
    1. Открытое сообщество и программная экосистема
      • openRuyi: 20 коммитов, массовое добавление в репозиторий пакетов серверного ПО на Go (10-23)
      • XiangShan: NEMU выпустил два тега подряд, difftest сравнивает MMA на Tensor Cores (10-23)
      • master в CVA6 переведён в режим только для чтения, CVW вобрал Sail 0.16 (10-23)
    1. Продукты и динамика экосистемы
      • Tenstorrent открыл бета-версию фреймворка проектирования Chiplet OCA Harness (10-23)
      • LILYGO T-Halow P4: плата формата M.2 с двумя ядрами RISC-V ESP32-P4 и C6 (10-23)
    1. Углублённое изучение отечественных команд
      • Youzhi Chuangxin привлекла почти 100 млн юаней в раунде Pre-A, RISC-V GPGPU «Quanyingxin» развёрнут в Чанша Цзинься (10-22)
      • Yixing Intelligent стала одним из первых учредителей рабочей группы RVAI, суперузел RISC-V уже запущен в машинном зале оператора (10-23)
      • Hejian Gongruan: «водораздел» для RISC-V, отечественная EDA должна стать соучастником построения экосистемы (10-23)
      • Тань Чжанси из Ruisi Xinke: два-три десятка высокопроизводительных RISC-V пройдут перетряску, вес экосистемы выше производительности ядра (10-23)
      • Sophgo: zsbl переработан в фреймворк eboot с поддержкой внешнего дерева устройств и дерева приложений (10-23)
    1. Специальная глава о воплощённом интеллекте и робототехнике
      • SpacemiT открыла подсистему памяти оконечного Agent, BiBit одновременно выпустила плагин памяти (10-23)
      • Академическая основа Ruixin Gaoguang D35: номинация на лучшую статью ISCA 2026 и более 80 патентов на поток данных (10-23)
    1. Итоги и наблюдения за трендами

Главное за сегодня: Claude довёл формальную верификацию до машинного кода RISC-V, 123 открытых библиотеки получили 180 млн строк доказательств

Дата: 2026-10-23　Источник: 36Kr: Claude написал 180 млн строк доказательств, баги, пропущенные триллионами тестов, AI закрыл разом (10-25), Tencent News (Xinzhiyuan): Claude написал 180 млн строк доказательств (10-23), Sohu (DoNews): Claude выдал 180 млн строк математических доказательств (10-23)

Anthropic Frontier Red Team совместно с Theorem Labs опубликовала отчёт: Claude провёл формальную верификацию 123 открытых репозиториев кода, 239 тестовых входов из корпуса Google OSS-Fuzz, причём объектом доказательства был не исходный код, а машинный код RISC-V, реально исполняемый на CPU после компиляции.

  • Масштаб и цена: проект суммарно сгенерировал около 1 млрд строк доказательств, из которых 180 млн строк прошли проверку в верификаторе доказательств Rocq; машинная проверка одного доказательства занимает от 30 минут до нескольких часов. Для одного входного C-парсера cJSON размером 391 строка сопроводительное доказательство достигло 630 тыс. строк — потому что приходится доказывать также запуск процесса, аллокатор памяти, printf и рантайм, а на непосредственно связанную с бизнес-логикой часть приходится лишь десятая часть.
  • Способность обнаружения: исследовательская команда заранее заложила 7 багов в собственный интерпретатор Python на Rust, случайное тестирование пропустило 5, формальная верификация обнаружила все; часть уязвимостей срабатывает только на редких входах размером около 20 МБ, это пути, которые трудно покрыть фаззингом.
  • Прогресс и стоимость: Theorem протестировала 7 передовых моделей, выпущенных с мая по сентябрь 2026 года, скорость верификации примерно удваивается каждые два месяца; по текущим удельным ценам вложение 134 млн долларов позволит к концу 2027 года покрыть 95% машинного кода экосистемы Nix, в пересчёте на один нижележащий программный пакет это около 14 долларов.
  • Побочные эффекты: для контрольного сравнения с zlib Claude самостоятельно написал математическую модель набора инструкций x86, способную пошагово воспроизводить запуск пользовательского пространства Ubuntu внутри модели, в процессе чего выявил сотни ошибок в официальной справочной документации x86 и несколько аппаратных дефектов CPU. Доказательства для первой партии 25 библиотек, 60 входов уже открыты.

Для RISC-V значение этой новости определяется уровнем объекта верификации. До сих пор формальная верификация на уровне машинного кода появлялась лишь в таких проектах, как seL4 (написание — 2 человеко-года, верификация — 20 человеко-лет), и стоимость не позволяла применять её в обычных открытых библиотеках; на этот раз удельная стоимость снижена до уровня, который можно распределить, а весь набор доказательств построен на математической модели поведения инструкций RISC-V и процессов Linux, написанной на Theorem, — это фактически оставляет экосистеме RISC-V многоразовый семантический фундамент. Сдерживающий момент: доказательство пока ограничено однопоточностью, статической линковкой, фиксированным бюджетом памяти, соответствие модели реальному оборудованию по-прежнему требует ручной проверки, а верификатор гарантирует лишь то, что доказательство соответствует спецификации, но не то, что спецификация соответствует требованиям.

1. Открытое сообщество и программная экосистема

1.1 openRuyi: 20 коммитов, пакетные массовые поступления серверного ПО на Go

Дата: 2026-10-23　Источники: журнал коммитов основного репозитория openRuyi (10-23), страница новостей сайта openRuyi

В основном репозитории openRuyi в окне мониторинга зафиксировано 20 коммитов, все они находятся в каталоге SPECS, и их содержимое — исключительно новые пакеты программного обеспечения на языке Go.

  • Цепочка зависимостей веб-фреймворков: добавлены packr, packd, logger, envy из серии gobuffalo, а также go-restful от emicklei — это наиболее распространённая комбинация маршрутизации и упаковки для серверной части на Go.
  • Драйверы контейнеров и баз данных: libtrust, spdystream от docker, gorp v1 от gopkg, mymysql от ziutek, go-mssqldb от denisenkom, pcidb от jaypipes, plist от howett, civil от golang-sql.
  • Связь с предыдущим контекстом: релиз 2026.09 только что поднял среду сборки Go до 1.27, и эта партия пакетов переводит состояние «инструментарий доступен» на «зависимости приложений укомплектованы»; последнее объявление на странице новостей сайта по-прежнему относится к релизу 2026.09, новых релизов в окне не было.

Эти 20 коммитов указывают на одно: среди серверных нагрузок, которые должен обслуживать дистрибутив RISC-V, крайне высока доля облачных нативных компонентов, написанных на Go, а болевая точка экосистемы Go никогда не была в компиляторе — она в тех сторонних пакетах, которые за тебя никто не соберёт. Добавление драйверов mysql, mssql и низкоуровневых библиотек docker по одному — типичная работа «без выпуска релиза, но определяющая работоспособность».

1.2 XiangShan: NEMU выпустил два тега подряд, difftest запускает сравнение MMA на Tensor Cores

Дата: 2026-10-23　Источники: записи релизов NEMU (10-23, 10-24), журнал коммитов difftest (10-23 — 10-25), журнал коммитов XiangShan (10-23)

В проекте XiangShan в окне мониторинга одновременно продвигались три линии: эталонная модель, фреймворк дифференциальной верификации и сам процессор.

  • NEMU: 10-23 и 10-24 подряд выпущены два тега v2026.10.r8 и v2026.10.r9 вместе с изменением «difftest поддерживает быстрое совместное эталонное исполнение» (#1247), а рабочий процесс проверки Copilot удалён из CI (#1260).
  • difftest: 9 коммитов в окне, 6 из них сосредоточены на оптимизации производительности CUDA для верификации MMA — специализация ядер с плавающей точкой по формату (#1000), запуск сравнения INT8 на Tensor Cores (#1001), переход на загрузку операндов нативной разрядности (#1002), удаление избыточных копирований операндов и результатов DUT (#996, #999); кроме того, быстрое эталонное исполнение и проверка fork (#980), хеширование параллельной записи в регистры (#991), а также документирование подключения DiffTest для BOOM (#995).
  • Сам процессор: 3 коммита в ветке Kunminghu V3, включая исправление сообщаемого StoreUnit адреса после маскирования указателя (#6742), обновление контрольных точек (#6756) и унификацию переменных среды симуляции в CI (#6701).

Настоящее изменение — в difftest: эталонная модель матричных расширений перенесена на GPU и выполняется на Tensor Cores, что говорит о том, что узкое место дифференциальной верификации сместилось с «модель невозможно написать» на «пропускной способности сравнения недостаточно». Как только инфраструктура верификации начинает оптимизироваться под производительность, это обычно означает, что верифицируемое ядро стало настолько сложным, что потактовая симуляция уже не справляется.

1.3 master в CVA6 переведён в режим только для чтения, в CVW влит Sail 0.16

Дата: 2026-10-23　Источники: история коммитов cva6 (23.10), история коммитов cvw (23.10)

У двух ключевых проектов OpenHW в окне мониторинга произошло по одному изменению на уровне управления или модели.

  • CVA6: в ветку master слит коммит #3664 с заголовком «Note: master made read-only». Последний коммит с кодом в этой ветке был 15.09, после чего месяц не было изменений по существу; теперь ветка напрямую помечена как read-only, имя ветки по умолчанию пока не переключено.
  • CVW: слит PR #1995, модель Sail обновлена до 0.16. CVW использует Sail для поддержания эталонной модели RISC-V; переход на новую версию означает, что эталонная реализация семантики инструкций синхронизирована с вышестоящей спецификацией.

Оба события вместе — это два действия в одном направлении: с одной стороны, основная ветка заморожена, чтобы освободить место для изменения стратегии ветвления (план миграции пока не объявлен), с другой — эталонная модель ISA продвигается вперёд. Командам, использующим CVA6, в краткосрочной перспективе нужно выяснить, куда переезжает базовая линия кода; командам, занимающимся формальной и дифференциальной верификацией, обновление Sail 0.16 стоит отслеживать больше, чем сам ядерный проект.

2. Продукты и экосистема

2.1 Tenstorrent открывает бета-версию фреймворка проектирования Chiplet OCA Harness

Дата: 2026-10-23　Источники: Unite.AI: Tenstorrent Opens OCA Chiplet Harness Beta Under Apache 2.0 (23.10), GitHub: tenstorrent/tt-oca-harness

Tenstorrent 22.10 выпустила открытую бета-версию Open Chiplet Atlas (OCA) Harness, превратив архитектуру совместимости OCA в многоразовую и развёртываемую реализацию.

  • Лицензия: код под Apache 2.0, документация и изображения под CC-BY-4.0, вклады также принимаются на условиях Apache 2.0; целевая дата официального релиза — январь 2027 года.
  • Трёхуровневая структура: Architecture определяет совместимость chiplet на пяти уровнях — физическом, передачи, протокольном, системном и программном; Harness предоставляет всю «неприкладную логику», необходимую chiplet, позволяя проектировщикам писать только свою добавленную ценность; Compliance отвечает за предкремниевую верификацию и посткремниевое подтверждение, включая концепцию Golden Chiplet и общественный plugfest.
  • Позиционирование: бета-версия ориентирована на ранних пользователей, интеграторов и участников; репозиторий уже опубликован в организации tenstorrent.

Tenstorrent — один из немногих в лагере RISC-V производителей, распространяющих «открытость» с набора инструкций на упаковку и межсоединения. Реальное препятствие для Chiplet никогда не заключалось в том, можно ли это сделать, а в том, что интерфейсы die-to-die у разных сторон не признают друг друга; превращение неприкладной логики в открытые строительные леса по сути переносит затраты на совместимость с каждой проектной команды на сообщество. Для отечественных команд, работающих над многокристальными решениями, это эталонная реализация, с которой можно напрямую сверяться.

2.2 LILYGO T-Halow P4: плата M.2 с двумя ядрами RISC-V ESP32-P4 и C6

Дата: 2026-10-23　Источники: CNX Software: LILYGO T-Halow P4 (23.10), GitHub: Xinyuan-LilyGO/T-Halow-P4

LILYGO выпустила T-Halow P4: отладочную плату M.2 2280 размером 80 × 22 мм, встраивающую дальнобойный канал Wi-Fi HaLow в стандартный форм-фактор M.2.

  • Главный контроллер: Espressif ESP32-P4NRW32X, двухъядерный RISC-V 400 МГц (с расширением AI-инструкций и одноточной FPU) плюс низкопотребляющее ядро RISC-V 40 МГц; 2D PPA, кодирование и декодирование H.264 и JPEG, по одному каналу MIPI CSI и DSI, аппаратное кодирование до 1080p30.
  • Беспроводная связь: ESP32-C6-MINI-1U обеспечивает Wi-Fi 6, Bluetooth 5 и 802.15.4 (Zigbee/Thread/Matter), подключается к P4 через SDIO; дополнительно модуль TX-AH от Taixin для 802.11ah HaLow, два диапазона 859–894 МГц или 902–928 МГц, каналы 1–8 МГц, от 150 Кбит/с до 32,5 Мбит/с, прямая видимость до 1,2 км.
  • Цена и разработка: от 26,57 доллара США в официальном магазине (версия 915 МГц — 31,07 доллара), на AliExpress — 36,98 доллара; примеры основаны на ESP-IDF 5.4.1 и выше, HaLow передаёт данные по SPI, принимает AT-команды по UART, также есть браузерный инструмент конфигурации.

Форм-фактор M.2 — самое практичное в этой плате: это уже не «плата разработчика, которую нужно подключать проводами», а коммуникационный модуль, который можно вставить в готовую несущую плату. ESP32-P4 восполняет вычислительную мощность и видеотракт, C6 — Wi-Fi 6 и Matter, TX-AH — канал связи километрового уровня с низким энергопотреблением; три чипа чётко разделены по функциям, что точно соответствует двум наиболее сложным для прокладки кабелей сценариям — промышленному мониторингу и удалённым камерам.

3. Углублённое изучение отечественных команд

3.1 Youzhi Chuangxin завершила раунд Pre-A почти на 100 млн юаней, проект RISC-V GPGPU «Quanyingxin» размещён в Чанша Цзинься

Дата: 2026-10-22　Источник: Zhangshang Changsha (Changsha Evening News): почему одна «микросхема» выбрала Чанша? (10-22)

Changsha Evening News 22 октября сообщила, что компания нейроморфного интеллекта из экосистемы Tsinghua Changsha Youzhi Chuangxin Technology Co., Ltd. завершила раунд Pre-A почти на 100 млн юаней; лид-инвестором выступил фонд Liyou Chuangtou, созданный Lihui Fund совместно с Changsha Investment Holding Group и Jinxia Shengshi Fund, существующий акционер Qifu Capital участвовал в раунде; компания одновременно разместила инкубируемый проект RISC-V GPGPU «Quanyingxin» в экономической зоне развития Чанша Цзинься.

  • Технологические истоки: Youzhi Chuangxin возглавляет доцент Школы интегральных схем Университета Цинхуа Хэ Ху, компания владеет фреймворком нейроморфного симуляционного обучения SNNGrow и алгоритмом причинного обучения CLAS; технологические истоки «Quanyingxin» восходят к первому в стране открытому RISC-V GPGPU с векторным расширением «Ventus (Chengying)», представленному в 2022 году исследовательской платформой интегральных схем Шанхайского международного инновационного центра Tsinghua; курс — тройная самостоятельность в наборе инструкций, архитектуре и экосистеме.
  • Узловые точки индустриализации: в июне 2025 года проект Youzhi Chuangxin с общим объёмом инвестиций около 1,5 млрд юаней подписал соглашение о размещении в Цзинься, строительство штаб-квартиры и производственной базы исследований и разработок GPGPU ведётся в три очереди, ключевые направления — серия GPGPU «Quanyingxin» и нейроморфный AI-чип «Sibianxin»; после запуска первой очереди ожидаемый годовой объём производства превысит 300 млн юаней; в ноябре 2025 года зарегистрирована Changsha Quanying Semiconductor, тогда же подписано соглашение о размещении «Исследовательского центра высокопроизводительных вычислений Чанша (на стадии создания)», соучредителями которого выступили 8 организаций, включая Университет Цинхуа, Jingjia Micro, Quanying Semiconductor, CSDN.
  • Совместное создание библиотеки операторов: на форуме «AI+OpenCL гетерогенные вычисления» конференции Yuelu 2026 Changsha Quanying Semiconductor, Hunan Strategic Alliance for Technological Innovation in Integrated Circuit Industry, CSDN, Changsha Jingjia Micro, Changsha Shouzhao Technology и другие подписали стратегическое соглашение о сотрудничестве по библиотеке операторов OpenCL с целью устранения фрагментации экосистемы адаптации операторов и реализации принципа «один код работает на всех отечественных чипах»; дочерняя компания одновременно продвигает укоренение в Чанша платформы AI-стека OpenKusuan.
  • Вычислительная база Чанша: общая вычислительная мощность Национального суперкомпьютерного центра Чанша превышает 5000 PFlops, в World Computing · Changsha Zhigu развёрнуто 200P полностью отечественных вычислений; в 2025 году общая вычислительная мощность провинции Хунань составила 13500P, интеллектуальная — 5200P, объём индустрии искусственного интеллекта — 85 млрд юаней, в кластере автономных безопасных вычислений более 1400 предприятий, совокупный объём производства кластера превышает 230 млрд юаней.

Это отечественный пример расширения RISC-V в сторону высокопроизводительных вычислений (GPGPU): от открытого GPGPU с векторным расширением к индустриальному субъекту, а затем к открытому совместному созданию на уровне библиотеки операторов — восполняется именно слабое место «сильное железо, слабое ПО». GPGPU на RISC-V означает необходимость построения полного стека параллельного программирования; сможет ли совместное создание библиотеки операторов OpenCL дать реально переиспользуемый код — важнейший показатель для дальнейшего отслеживания; сроки получения чипов после тейп-аута и запуска первой производственной линии также остаются неопределёнными.

3.2 Yixing Intelligent стала одним из первых учредителей рабочей группы RVAI, суперузел RISC-V уже запущен в эксплуатацию в операторском дата-центре

Дата: 2026-10-23　Источник: JiWei: интеллектуальные вычисления к новому, открытый исходный код как корень — Yixing Intelligent на саммите RISC-V China 2026 и экосистемной конференции Xiangshan Ruyi (10-23), C114: Yixing Intelligent на саммите (10-23), YiOu: Yixing Intelligent вновь привлекла 2 млрд юаней финансирования (09-18)

Днём 20 октября в Шэньчжэне в рамках параллельного мероприятия саммита RISC-V China прошла конференция экосистемы Xiangshan Ruyi, на которой Yixing Intelligent получила два статуса: одного из восьми первых учредителей рабочей группы RVAI сообщества открытых чипов и участника совместного строительства сообщества Ruyi.

  • Организационная привязка: рабочая группа RVAI сосредоточена на интеграции RISC-V и AI и через открытое сотрудничество объединяет силы экосистем чипов, IP и программного обеспечения; сообщество Ruyi ведёт Институт программного обеспечения Китайской академии наук, его цель — нативная экосистема базового программного обеспечения RISC-V. Yixing Intelligent заявила, что будет участвовать в совместной разработке upstream, опираясь на реальные потребности продуктов и инженерный опыт.
  • Технологическая позиция: основной доклад «Инновационная практика Yixing Intelligent в области RISC-V AI с точки зрения AI System» представил Хуан Чао; ключевой тезис — Agentic AI расширяет измерение ценности вычислительной мощности с отдельного вызова модели до полной цепочки задач, поэтому чипы, межсоединения, программное обеспечение и системы должны проектироваться согласованно с учётом сквозной эффективности задач.
  • Продуктовая база: первое поколение облачных AI-чипов RISC-V серии Epoch уже выпускается серийно, они построены на RISC-V и архитектуре, подобной TPU, и нативно поддерживают блочное квантование FP8; суперузловой кластер из 64 узлов E200-L жидкостного охлаждения OAM уже запущен в дата-центре оператора, официально заявлен как первый в отрасли серийно поставленный суперузел RISC-V, обеспечивающий соединение 64 чипов на уровне сотен наносекунд и используемый для согласования маршрутизации экспертов в моделях MoE.
  • Капитал и экосистема: в первой половине 2026 года завершён раунд B на 1,5 млрд юаней со стратегической инвестицией China Mobile, в сентябре привлечено ещё почти 2 млрд юаней, постденежная оценка приближается к 15 млрд юаней; на стороне программного обеспечения продвигается открытие виртуального набора инструкций VISA, программный стек EVACA уже адаптируется к таким китайским AI-экосистемам, как FlagOS.

Yixing Intelligent идёт по порядку «серийное производство чипов — поставка суперузлов — совместное строительство открытого сообщества», в отличие от большинства компаний RISC-V, которые сначала делают IP, а потом ищут сценарии. В этом же заключается смысл её вступления в сообщество Ruyi: слабое место облачного AI на RISC-V не в наборе инструкций, а в вышележащих фреймворках и операторах, и готовность вернуть в upstream проблемы, встреченные на серийных машинах, говорит о движении этого стека к производственной среде больше, чем ещё один раунд финансирования.

3.3 Hejian Gongruan: «водораздел» для RISC-V, отечественные EDA должны стать состроителями экосистемы

Дата: 2026-10-23　Источник: SEMI Big Semiconductor Industry Network: У Сяочжун из Hejian Gongruan — «водораздел» для RISC-V (10-23)

Издание «Semiconductor Manufacturing» взяло интервью у вице-президента Hejian Gongruan У Сяочжуна; центральный вопрос — какую роль играют отечественные EDA в экосистеме RISC-V.

  • Отличие от эпохи Arm: в эпоху Arm было «сначала эталонная архитектура, потом адаптация инструментов», и EDA оптимизировалась на основе зафиксированной базовой линии ядра; в эпоху RISC-V модель стала «совместным ростом архитектуры, IP и инструментов в трёх параллельных направлениях», EDA глубоко участвует в итерациях архитектуры и вместе с IP-вендорами и организациями открытого исходного кода решает проблемы фрагментации и многоядерной гетерогенности.
  • Уже задействованные проекты: в реальных исследовательских проектах Xiangshan Kunming Lake и серии XuanTie C900 задействованы возможности симуляции, аппаратной эмуляции и гибридной эмуляции, отраслевые болевые точки превращаются в возможности инструментов, а вместе с партнёрами публикуются стандартизированные решения верификации.
  • Оценка RVA23: ценность RVA23 в том, что она даёт операционным системам, компиляторам и разработчикам приложений стабильную базовую линию набора инструкций, но решает только вопрос согласованности «видимого программному обеспечению набора инструкций», не ограничивает микроархитектуру, не охватывает прошивку, процесс загрузки и архитектуру прерываний и не запрещает пользовательские расширения — фрагментация от этого не исчезнет.
  • Реальные сложности верификации: RISC-V не сложнее Arm/x86 по своей природе, но высокая модульность и допустимость пользовательских расширений резко увеличивают число комбинаций конфигураций, требующих верификации и сопровождения; вызов не в создании новой методологии, а в объёме работ по управлению конфигурациями и аппаратно-программной координации. Hejian Gongruan перечисляет четыре направления: производительность и каскадирование платформ аппаратной верификации, верификация когерентности памяти и векторного/AI-ускорения, среда предкремниевой системной верификации, работающие референсные решения на базе FPGA.

В этом интервью стоит обратить внимание не на заявления, а на признание факта: центр затрат RISC-V смещается с «проектирования» на «верификацию». Когда EDA-компания одновременно присутствует в цепочке верификации двух флагманских проектов — Xiangshan и XuanTie, это означает, что темп итераций отечественных высокопроизводительных ядер уже ограничен пропускной способностью инструментальной цепочки; а фраза «ограничивать неупорядоченную кастомизацию возможностями инструментов» указывает на реальный рычаг управления экосистемой.

3.4 Тань Чжанси из Ruisi Xinke: два-три десятка высокопроизводительных RISC-V пройдут перетряску, вес экосистемы выше производительности ядра

Дата: 2026-10-23　Источник: 21st Century Business Herald: интервью с Тань Чжанси — RISC-V движется к масштабной коммерциализации, следующая тяжёлая битва в дата-центрах (10-23)

Председатель саммита, основатель и CEO Ruisi Xinke Тань Чжанси после мероприятия дал интервью 21st Century Business Herald и изложил несколько суждений об этапе развития отрасли.

  • Личность и опыт: Тань Чжанси учился у основоположника RISC-V Дэвида Паттерсона и является единственным студентом из материкового Китая в оригинальной команде Беркли; Ruisixin Technology специализируется на высокопроизводительных серверных CPU и процессорах для дата-центров AI, компания только что 10-16 завершила раунд стратегического финансирования.
  • Логика конкуренции: конкуренция процессоров — это не «быстрое ли ядро», конечного пользователя волнует, смогут ли приложения и весь программный стек работать на новой архитектуре, будет ли портирование гладким, поэтому важность построения экосистемы даже выше стремления к производительности ядра; рост AI-программирования за последние два года помогает RISC-V ускорять замену существующих архитектур.
  • Прогноз перестановки сил: сейчас около двадцати-тридцати компаний заявляют, что занимаются высокопроизводительным RISC-V, но по-настоящему обладают собственными ядрами и способны пройти полный продуктовый цикл немногие; он проводит аналогию с Силиконовой долиной, где из двадцати-тридцати GPU-компаний в итоге осталось две-три, и считает, что китайский рынок вступает в ту же стадию — способность пережить пузырь AI и коррекцию определит победителя.
  • Слабые места: безопасность цепочек поставок и потребность в вычислительных мощностях AI — очевидные отраслевые драйверы, но разрыв в кадрах и базовых компетенциях всё ещё велик, сегодняшние позиции международных гигантов опираются на десятилетия накоплений. На седьмой саммит подано 239 докладов, рост почти на 20% год к году, более тридцати спонсоров, и у всех есть прямые продукты на RISC-V.

Читая это вместе с материалом о Hejian Gongruan, видишь две стороны одного и того же: с одной стороны говорят, что верификация и инструменты определяют скорость итераций, с другой — что экосистема и портирование определяют коммерческий успех — оба тезиса смещают «производительность ядра» из центра конкуренции. Для команд, делающих чипы, это означает, что окно выбора пути сужается: либо довести программный стек до конца в каком-то сценарии, либо быть поглощённым в ходе перестановки сил.

3.5 Sophgo рефакторит zsbl в фреймворк eboot с поддержкой внешнего дерева устройств и дерева приложений

Дата: 2026-10-23　Источник: sophgo/zsbl записи коммитов (10-23)

Репозиторий загрузчика нулевой стадии zsbl от Sophgo зафиксировал в окне мониторинга 8 коммитов, фактическое содержание — рефакторинг на уровне фреймворка.

  • Переименование и позиционирование: упоминания zsbl в комментариях и тестовых строках вычищены, фреймворк переименован в eboot, имя образа теперь производится от имени приложения — переход от «загрузчика нулевой стадии для конкретного чипа» к «загрузочному фреймворку, способному нести множество приложений».
  • Поддержка внешних деревьев: добавлена поддержка внешнего дерева приложений вне дерева исходников, объекты внешнего дерева выводятся в objtree/ext; добавлен путь сборки внешнего дерева устройств по правилам dtb, dts и defconfig теперь именуются по фактической цели сборки.
  • Инженерные исправления: устранена проблема остаточных файлов образа после distclean, комментарий TARGET заменён на нейтральный пример.

Переименование загрузчика выглядит мелочью, но на деле влияет на стоимость повторного использования ниже по потоку. После поддержки внешнего дерева приложений и внешнего дерева устройств сторонние платы и разные продуктовые линейки на одном чипе больше не обязаны править основной репозиторий — каждая несёт свою конфигурацию; в сравнении с решениями, где платовая конфигурация жёстко зашита в загрузчик, это инженерный барьер, который необходимо преодолеть на этапе серийного производства.

4. Специальный раздел: воплощённый интеллект и робототехника

4.1 SpacemiT открывает исходный код подсистемы памяти Agent для устройств, BiBit одновременно выпускает плагин памяти

Дата: 2026-10-23　Источник: GitHub: spacemit-com/bianbu-agent-memory, GitHub: spacemit-com/bibit-memory-plugin

SpacemiT в окне мониторинга выпустил два новых репозитория, связанных с Bianbu Agent OS, превратив «память Agent» в отдельную подсистему.

  • Основной репозиторий: bianbu-agent-memory — подсистема памяти Bianbu Agent OS, Rust workspace плюс Python SDK, Apache-2.0, с debian-пакетированием, README описывает через «три ящика» — базовое хранилище, полнотекстовый поиск и опциональные векторный поиск по памяти／суммаризация моделью; базовые возможности не зависят от модельных сервисов, авторитетные данные остаются локально на устройстве.
  • Интерфейсы и границы: наружу предоставляются четыре типа инструментов: memory_search, memory_save, memory_update, memory_remove; обновление использует memory_id плюс expected_revision для оптимистичного управления конкурентностью, устаревшие версии отклоняются сразу; удаление сначала требует предпросмотра, и только после подтверждения пользователем выполняется. В плане безопасности извлечённое в память содержимое вставляется как недоверенный контекст, сообщения из плагинов не записываются в память, субагенты работают только на чтение.
  • Хосты и плагины: README называет поддерживаемые хосты, включая Hermes, DeepSeek Harness и BiBit; выпущенный в тот же период bibit-memory-plugin — функциональный плагин BiBit, добавляющий на страницу настроек страницу «Память», отвечающую за включение, срок хранения, очистку сессии, полное стирание и импорт-экспорт JSON, вызывающий подсистему памяти через возможность service:memory.

Центр конкуренции терминалов AI на устройствах смещается с «может ли запускать модель» к «запоминает ли и можно ли доверять». Две вещи в этом дизайне заслуживают внимания больше всего: память по умолчанию хранится локально на устройстве, а не в облаке, и изоляция прав записи для субагентов и источников плагинов. Для роботов — устройств, постоянно находящихся онлайн и контактирующих с множеством людей, — модель прав доступа к памяти раньше, чем объём, становится продуктовым ограничением.

4.2 Академическая основа флагманского чипа D35 компании Ruixin: номинация на лучшую статью ISCA 2026 и более 80 патентов в области потоковой обработки данных (23.10)

Дата: 2026-10-23 Источники: Shanghai Securities News (Sina Finance): Ruixin представила чип D35 на конференции по физическому AI и мировым моделям 2026 (23.10), Phoenix Net: Ruixin представила D35 (23.10)

В ежедневном отчёте от 21.10 уже был отмечен показ флагманского чипа D35 компании Suzhou Ruixin на саммите RISC-V China; в этом выпуске дополняется информация о прогрессе на промышленной стороне на конференции «Физический AI и мировые модели 2026» в Нанкине 20–22 октября.

  • Технологический путь: архитектура потоковой обработки данных позволяет вычислениям происходить там, где поступают данные, без планирования команд и повторного перемещения; по заявлению компании, это позволяет обойти «стену доступа к памяти» на корневом уровне, а энергоэффективность в несколько раз превышает аналогичные конкурентные решения; на уровне набора команд используется полностью собственный RISC-V ядерный IP CPU, что формирует полностековый маршрут «независимый набор команд плюс архитектурные инновации».
  • Академическая база и патенты: команда накопила более 20 лет опыта в области потоковой обработки данных, владеет более чем 80 технологическими патентами в области архитектуры потоковой обработки данных; ключевой результат исследований получил номинацию на лучшую статью на ведущей международной конференции по компьютерной архитектуре ISCA 2026; руководитель команды Фань Дунжуй ранее участвовал в проектировании архитектур Loongson-1 — Loongson-3, руководил разработкой Godson-X и 64-ядерного Godson-T.
  • Внедрение и бизнес: флагманский чип D35 уже внедрён в областях воплощённого интеллекта, интеллектуального видео, умных парков, интеграции кабины и управления, спутников и связи; в 2025 году достигнута безубыточность; на месте клиенты обращают внимание на такие жёсткие показатели, как энергоэффективность, задержка, плотность вычислений, энергопотребление и адаптация программного стека.
  • Уточнение формулировок: как «ядерный IP прошёл глобальную сертификацию закупок Intel», так и «первый в мире серийный RISC-V чип для физического AI с потоковой архитектурой» являются формулировками компании и не подтверждены третьими сторонами; данная конференция была посвящена в основном налаживанию связей и оценке образцов, новых цифр поставок не опубликовано.

Этот пункт дополняет легко упускаемый аспект: архитектура потоковой обработки данных не является новой концепцией в Китае, но довести её до серийного производства и при этом быть готовыми пройти рецензирование коллег на ведущей конференции — это другое дело. Требования сценариев физического AI к реальному времени и развёртыванию на периферии как раз усиливают преимущество потоковой архитектуры по сравнению с архитектурой фон Неймана; настоящее испытание по-прежнему в программном стеке — смогут ли операторы и фреймворки угнаться, это определяет, существует ли этот чип только на выставочном стенде или может работать в стойке клиента.

5. Итоги и наблюдения за тенденциями

  • Порог формальной верификации снижается, RISC-V — среди первых выгодоприобретателей: доказательства выполняются непосредственно на машинном коде RISC-V, сопутствующие модели инструкций и поведения процессов RISC-V могут быть переиспользованы; когда удельная стоимость снижается до уровня, который можно амортизировать, затраты на сертификацию безопасности и высоконадёжное программное обеспечение начинают окупаться. Сдерживающим фактором остаётся то, что в настоящее время всё ограничено однопоточностью, статической компоновкой и фиксированным бюджетом памяти.
  • Доработка дистрибутивов смещается с «сред выполнения языка» на «зависимости приложений»: все 20 коммитов openRuyi в этом выпуске — это пакеты Go, что связано с повышением среды сборки Go до 1.27 в версии 2026.09. Способность RISC-V серверов принимать реальные рабочие нагрузки всё больше зависит от такой упаковочной работы, не связанной с выпуском версий.
  • Инфраструктура верификации начинает оптимизироваться под пропускную способность: в Xiangshan difftest за неделю появилось 6 оптимизаций MMA/CUDA, переносящих эталонную модель на Tensor Cores. Дифференциальная верификация переходит от этапа «способна сравнивать» к этапу «сравнивает быстро», что говорит о том, что верифицируемые ядра стали настолько сложными, что потактовое моделирование уже не справляется.
  • Открытые ядра вступают в период корректировки управления: CVA6 замораживает master, CVW следует за Sail 0.16 — одно является опережающим действием по миграции стратегии веток, другое — синхронизацией версии эталонной модели ISA; оба указывают на общую цель «верифицируемость».
  • Оба пути экспансии китайских команд уже дошли до этапа «экосистемы»: Yixing Intelligent — от серийного производства чипов к поставке суперузлов и далее к совместному строительству сообщества Ruyi; Youzhi Chuangxin — от финансирования к внедрению и далее к совместному строительству библиотеки операторов OpenCL. Аппаратное обеспечение — лишь входной билет, программное обеспечение и сообщество — то, на что они действительно делают ставку.
  • На периферии программное обеспечение дополняется интенсивнее, чем вычисления: у Jindie Shikong в этом выпуске нет новых чипов, но открыт исходный код подсистемы памяти Agent и сопутствующих плагинов, что делает память, права доступа и вызов инструментов границами продукта. Для устройств воплощённого интеллекта такое «невидимое промежуточное ПО» становится ограничителем раньше, чем пиковая производительность вычислений.
  • Пояснение об ограничениях: содержание отчётов Anthropic и Theorem Labs передано по вторичным публикациям 36Kr и Xinzhiyuan, полный текст оригинальных отчётов не получен, масштабы ошибок в документации x86 и аппаратных дефектов CPU приведены по формулировкам авторов отчётов; статья о Youzhi Chuangxin основана на пользовательской очереди и публикации Changsha Evening News, данные о сумме финансирования, объёме производства и вычислениях приведены по формулировкам публикации; формулировки Yixing Intelligent «первый в отрасли серийно поставленный суперузел RISC-V» и «пост-инвестиционная оценка около 15 млрд юаней» являются формулировками компании и СМИ и не подтверждены финансовой отчётностью; содержание материалов Hejian Gongruan и Reisense является мнением интервьюируемых в медийных интервью и не представляет консенсус отрасли; конкретный план миграции после замораживания master в CVA6 не обнаружен в объявлениях проекта, в этом выпуске он изложен только по заголовкам коммитов; содержание коммитов openRuyi, Suanneng и Jindie Shikong оценено по заголовкам коммитов и README, патчи не проверялись построчно; все 45 изменений, обнаруженных при обходе сайтов членов, являются плановыми обновлениями главных страниц вузов, организаций и производителей, существенных релизов продуктов, финансирования или архитектуры не обнаружено; гуманоидный робот RoboParty RP1, о котором сообщал CNX, после проверки использует RK3588, A733 и Jetson Orin NX и не относится к RISC-V решениям, поэтому исключён.

Приложение: полный перечень источников

Таблица проверки источников

Источники Результаты проверки
Агрегация Google News (22 дополнительные группы запросов на китайском и английском, окно 72 часа) После дедупликации около 90 записей: 10-23 — день наибольшей плотности публикаций после саммита (60 млрд ядер XuanTie, IPO ESWIN, V100, «Жуйсин» D35, Zhongke Tongliang, приобретение Akeana и др.), 10-24–10-25 заметно тише; события, уже включённые в предыдущие три выпуска, использованы только для фоновой сверки и в этом выпуске не повторяются; в китайские запросы «Соу нэн» и «Исывэй» по-прежнему попадают биржевые сводки и материалы о снятии ограничений на продажу акций — отфильтровано по заголовкам
Hacker News, Phoronix, CNX Software, LinuxGizmos, riscv.org Две валидные записи CNX: LILYGO T-Halow P4 уже включён; RoboParty RP1 после проверки использует RK3588, A733 и Jetson Orin NX, не является RISC-V решением — исключён; в окне мониторинга у Phoronix, LinuxGizmos и riscv.org новых записей о RISC-V нет
Проверка организаций и ключевых репозиториев на GitHub (окно 72 часа) Пуши в окне: espressif 31, sipeed 8, spacemit-com 7, sophgo 2, Nuclei-Software 2, openhwfoundation 2, XUANTIE-RV 1, spacemit-robotics 1, openRuyi-Project 1; у eswincomputing (последний пуш 10-19), revyos (10-21), radxa-linkr (10-21) пушей в окне не было. В семействе XiangShan — XiangShan, NEMU, difftest, GEM5, XSCache — активность есть, записи включены
Два источника openRuyi В основном репозитории 20 коммитов, все — добавление пакетов Go; последнее объявление на странице новостей сайта по-прежнему версия 2026.09, новых релизов в окне нет
Ключевые репозитории DAMO Academy XuanTie, Sophon, SpacemiT Ветка по умолчанию CubeSandbox — add_riscv_support, новых коммитов в ветке по умолчанию в окне нет, только 10-23 опубликован образ бинарных артефактов CI; zsbl 8 (переименование фреймворка в eboot), первый пуш bianbu-agent-memory и bibit-memory-plugin, обновление подмодуля ai-sdk 1, правка документации model-zoo-tts 1
Обход сайтов членов (391 организация) Заняло 190 секунд: 277 без изменений, 45 с изменениями содержимого страниц, 69 ошибок получения; изменения — рутинные обновления главных страниц вузов, институтов и компаний (анонсы участия в SC26 от Google, Samsung, MIT, Inspire Semiconductor и др.), существенных анонсов продуктов, финансирования или архитектуры не обнаружено
Список членов RISC-V International 391 организация (Premier 20 / Strategic 169 / Community 202), список обновляется автоматической задачей 5-го числа каждого месяца, в этом выпуске срок ещё не наступил
Сайт 6-го саммита RISC-V China Summit Основная программа саммита 10-18–20 и дни Bay Area / Hong Kong 10-21 завершены, окно мониторинга изменений сайта истекло, с этого выпуска отдельно не выделяется
Очередь на включение 1 запись, указанная пользователем (Youzhi Chuangxin / Quanyingxin RISC-V GPGPU), включена в главу 3 согласно предложенной структуре и заархивирована