T27.AI

Блог

TRI CLAW: агент, которого можно проверить

2026-08-31 · 8 мин чтения

Три кристалла, не доехавшие до фабрики, становятся тремя слоями гейтвера на самом изученном семействе FPGA: аттестация при загрузке, BLAKE3-квитанция на каждое действие, тернарный двигатель с пустой колонкой DSP. Агент-в-коробке существует; проверяемое устройство существует; пересечение пусто.

Три чипа не доехали до фабрики. TRI-1 Phi, Euler и Gamma — кристалл аттестации, кристалл аудита и тернарная сетка на 32 PE — были поданы на шаттл TTSKY26b в мае, заявка отозвана, а на следующем шаттле свободных мест оказалось ноль. Выжило всё, кроме кремния: зелёный в CI RTL, воспроизводимая сборка GDS, конформанс-векторы, Apache-2.0 и DOI. Этот пост — о продуктовом повороте: доставить эти три кристалла как гейтвер на самом изученном семействе FPGA в мире, под именем, которое и есть заявка — TRI CLAW, агент, которого можно проверить.

Пересечение, которое никто не занял

Агент-в-коробке уже существует: приставка на Jetson Orin Nano с предустановленным агентным стеком продаётся за 549 евро — на закрытом кремнии и без единого способа проверить, что агент сделал. Проверяемое устройство тоже существует: Precursor собрал больше 220 тысяч долларов на Crowd Supply за карманный компьютер, чей процессор развёрнут в Spartan-7 именно затем, чтобы владелец мог его инспектировать, — и автор выбрал 7-ю серию как самый изученный доступный кремний. А тернарный LLM-инференс на FPGA — самый горячий угол академической литературы про edge-AI: TeLLMe даёт 9 токенов в секунду при 7 ваттах на весах 1.58 бита, TerEffic — 16 300 токенов в секунду на модели 370M целиком on-chip. Но ничто из этого не продаётся как продукт, и никто из них не продаёт проверяемость.

Чем становятся три кристалла

• Phi становится слоем загрузки: самопроверка при включении, считающая тождество phi^2 + phi^-2 = 3 в железе, и уникальный для экземпляра nonce — узел доказывает при старте, что он тот, за кого себя выдаёт.
• Euler становится совестью: тракт BLAKE3-квитанций, где каждое действие агента оставляет хэш, который владелец может пересчитать на другой машине.
• Gamma становится двигателем: тернарная сетка на 32 PE с нативным кодировщиком BitNet b1.58, где вес — двухбитный код, его применение — смена знака, а колонка DSP остаётся пустой.

Тулчейн под этим — открытый: yosys и nextpnr-xilinx, слой place-and-route, в котором двадцать семь моих влитых исправлений. Арифметика под этим — доказанная: замыкание тернарного тракта машинно проверено в Coq, двадцать две теоремы без admitted. Экономика LUT под этим — измеренная: тернарный узел скалярного произведения стоит в 1.4-1.9 раза меньше LUT, чем int4, и в 3.2-4.1 раза меньше, чем int8, на fan-in от 8 до 64, пост-синтез, развёрнутая схема, и немонотонный ряд на вес (56.2, 75.4, 66.8, 68.1) назван, а не сглажен. То, что академическое поле сошлось на table-lookup matmul ровно для этого семейства весов, я читаю как независимое подтверждение: тернарности место в LUT.

Почему предел 7-й серии здесь — достоинство

Открытый флоу кончается на 7-й серии Xilinx, и я прямо говорил в других местах: до UltraScale+ сегодня не достаёт ни один открытый маршрут. Для агента, который продаёт доверие, предел переворачивается: 7-я серия — семейство, которое десятилетие реверс-инжинирили, документировали и изучали, — тот же довод, которым Precursor обосновал Spartan-7 в устройстве безопасности. TRI CLAW целится в кремний, которому можно продуктивно не доверять.

Не доказано / открыто

• Числа токенов-в-секунду для TRI CLAW на целевом кристалле не существует. 9 ток/с у TeLLMe — это KV260, Zynq UltraScale+ вне открытого флоу, и ни во что не переносится.
• Тернарной модели на 2B параметров нужно около 475 МБ весов — на Artix-7 200T on-chip она не помещается; v1 целится в модели 0.1-0.7B, и тракт декода обопрётся на DDR. Сначала измерение, потом любые обещания.
• Агентному циклу нужно хост-ядро рядом с тканью — как softcore-SoC у Precursor.
• Три кристалла так и не изготовлены; TRI CLAW поставляет гейтвер на серийной плате, а не «наш чип».
• Пространство имён занято — агент-боксы со словом «claw» существуют; вопрос товарного знака не проверен.

Следующие три шага

1. Портировать малую тернарную модель через table-lookup matmul на Artix-7 200T и опубликовать измеренные токены-в-секунду — какими бы они ни оказались.
2. Поставить сверху агентный цикл и записать 90-секундное демо: загрузка, аттестация, одна задача, одна квитанция — и квитанция, проверенная на другом компьютере.
3. Пойти с результатом на Crowd Supply, где сосед по полке — Precursor: меньше 500 устройств по 512-768 долларов доказали, что кампанию может вывезти одна проверяемость.

Поработаем вместе

Хотите так же проверить собственный дизайн?

Я аудирую RTL и строю независимые побитово точные модели, затем провожу результат через синтез и, когда это полезно, проверяю на плате Artix-7. Первый модуль проверки — бесплатно.

Обсудить задачуУслуга верификации