From c4deeb8d2411fb33b65a7e8c11ee71b473083549 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Sat, 8 Aug 2026 19:43:43 +0700 Subject: [PATCH] Put GF-T where it belongs: at the top MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit GF-T was the fourth item in a list halfway down two pages, while the homepage led with a verification service. That is backwards. The service is competent work anyone with boards could learn to do; GF-T is the only asset here that measurably beats a published format on the ground its own author claims as the advantage. Verified before promoting, because a headline claim is exactly where the last one went wrong. Re-measured from the claim rather than by re-running the script that produced it — encode, decode, relative error, binned by magnitude, fixed seed, same oracles: |e| < 8 GF-T16 3.56e-4 tekum16 3.27e-4 0.92x a tie |e| 8-20 GF-T16 3.52e-4 tekum16 1.00e-3 2.84x |e| 20-38 GF-T16 3.53e-4 tekum16 1.95e-3 5.53x The research note's "3x and 5.5x" reproduces exactly. The site now carries the measured ratios rather than the rounded ones. One correction fell out of the check, and it was worth making. The note labelled those bins "dec". They are powers of two. Binned in actual decades the far column is not a win at all — GF-T16's exponent reaches ±40 in powers of two, roughly ±12 decades, so past that it overflows while tekum16's unbounded regime keeps going. A reviewer checking the labelled axis would have found overflow where the table promised a 5.5x win and concluded the number was invented. Axis corrected upstream in trinity-fpga; the trade is now stated on the pages too, because a bounded range is the honest price of fixed fields. Homepage, evidence page and licensing page all lead with it, and the primary action is licensing rather than a service enquiry. Co-Authored-By: Claude Opus 5 --- apps/website/messages/en.json | 54 +++++++++---------- apps/website/messages/ru.json | 54 +++++++++---------- .../src/components/sections/HeroSection.tsx | 4 +- apps/website/src/pages/Licensing.tsx | 10 ++-- apps/website/src/pages/Proof.tsx | 16 +++--- 5 files changed, 70 insertions(+), 68 deletions(-) diff --git a/apps/website/messages/en.json b/apps/website/messages/en.json index 8e05f81bb1..88aa47c8d9 100644 --- a/apps/website/messages/en.json +++ b/apps/website/messages/en.json @@ -14,57 +14,57 @@ "Invest" ], "hero": { - "tag": "Hardware-verified RTL · measured on real silicon", + "tag": "GF-T · a ternary-native float that beats the published state of the art", "badge_publications": "2 arXiv PAPERS", "badge_doi": "DOI-VERIFIED", "headline": "φ² + 1/φ² = 3", - "subheadline": "Bit-exact against an independent model · measured on a live Artix-7 · no vendor licence anywhere in the flow", - "quote": "\"Not simulated — measured. Not asserted — reproducible by anyone, for free.\"", - "desc": "Send RTL and get it measured on real silicon: bit-exact conformance against a reference model written from the specification rather than from your code, achieved timing, resources and the bitstream — on a fully open toolchain, so every number can be re-run without buying anything.", + "subheadline": "2.84× and 5.53× more accurate than tekum16 at range · no regime decode · exponent adds natively on ternary", + "quote": "\"Not simulated — measured. Re-measured independently against the same oracles, and the ratios reproduce.\"", + "desc": "GF-T puts the exponent of a float in balanced ternary and keeps the fields fixed. That removes tekum16's largest cost — regime decode — and makes the exponent add native on a ternary fabric. Measured against tekum16 on its own ground: a tie near unity, 2.84× lower error at mid range and 5.53× at far range, with a uniform 9-bit mantissa where tekum16 tapers to four.", "metrics": [ { - "value": "170,068", - "label": "cycles checked, 0 mismatches", - "proof": "On a third-party design, 8 Aug 2026" + "value": "5.53×", + "label": "more accurate than tekum16 at range", + "proof": "Reproduced independently, 8 Aug 2026" + }, + { + "value": "0", + "label": "Regime decode, and no vendor licence", + "proof": "Fixed fields · Yosys · nextpnr · iverilog" }, { "value": "SKY130", "label": "Tape-out completed", "proof": "Tiny Tapeout — GDS, gate-level, precheck" - }, - { - "value": "0", - "label": "Vendor licences needed", - "proof": "Yosys · nextpnr-xilinx · iverilog" } ], "newResults": { - "title": "Measured, not estimated", + "title": "GF-T16 against tekum16 — mean relative error", "items": [ { - "value": "170,068", - "label": "Cycles bit-exact on a client design", - "source": "0 mismatches, ACC_W = 32 / 24 / 16" + "value": "0.92×", + "label": "near unity (|e| < 8)", + "source": "3.56e-4 vs 3.27e-4 — a tie" }, { - "value": "112 MHz", - "label": "Post-route on XC7A200T", - "source": "nextpnr-xilinx, sequential MAC" + "value": "2.84×", + "label": "mid range (|e| 8–20)", + "source": "3.52e-4 vs 1.00e-3" }, { - "value": "100%", - "label": "Held-out accuracy, training on-chip", - "source": "Backward pass in RTL, no host" + "value": "5.53×", + "label": "far range (|e| 20–38)", + "source": "3.53e-4 vs 1.95e-3" }, { - "value": "0", - "label": "DSP48 blocks in the GF16 matmul", - "source": "32,252 LUTs, fabric-only mapping" + "value": "±40", + "label": "exponent range, in powers of two", + "source": "Bounded — tekum16's regime is not" } ] }, - "cta": "Verify my RTL", - "ctaSecondary": "See the evidence" + "cta": "License GF-T", + "ctaSecondary": "See the measurement" }, "navExtra": { "dashboard": "Dashboard", diff --git a/apps/website/messages/ru.json b/apps/website/messages/ru.json index f4e1058ed2..5fcd6ec92a 100644 --- a/apps/website/messages/ru.json +++ b/apps/website/messages/ru.json @@ -14,57 +14,57 @@ "Инвестиции" ], "hero": { - "tag": "Верификация RTL на живом кремнии", + "tag": "GF-T · тернарно-нативный float, обходящий опубликованный уровень", "badge_publications": "2 СТАТЬИ arXiv", "badge_doi": "ПОДТВЕРЖДЕНО DOI", "headline": "φ² + 1/φ² = 3", - "subheadline": "Побитово против независимой модели · измерено на живом Artix-7 · ни одной вендорской лицензии во всём флоу", - "quote": "«Не симуляция — измерение. Не утверждение — воспроизводимость, бесплатно и любым желающим.»", - "desc": "Присылаете RTL — получаете измерения на настоящем кремнии: побитовое соответствие эталонной модели, написанной по спецификации, а не по вашему коду, достигнутый тайминг, ресурсы и битстрим — на полностью открытом тулчейне, так что любую цифру можно перепроверить, ничего не покупая.", + "subheadline": "В 2.84 и 5.53 раза точнее tekum16 на дальности · без декодирования режима · экспонента складывается тернарно нативно", + "quote": "«Не симуляция — измерение. Перемерено независимо по тем же оракулам, отношения воспроизводятся.»", + "desc": "GF-T кладёт экспоненту float в сбалансированную тернарную запись и оставляет поля фиксированными. Это убирает главную статью расхода tekum16 — декодирование режима — и делает сложение экспонент нативным на тернарной фабрике. Измерено против tekum16 на его же территории: ничья у единицы, в 2.84 раза меньше ошибки на средней дальности и в 5.53 раза на дальней, при равномерных 9 битах мантиссы там, где tekum16 сужается до четырёх.", "metrics": [ { - "value": "170 068", - "label": "циклов проверено, 0 расхождений", - "proof": "На чужом дизайне, 8 авг 2026" + "value": "5.53×", + "label": "точнее tekum16 на дальности", + "proof": "Воспроизведено независимо, 8 авг 2026" + }, + { + "value": "0", + "label": "декодирований режима и вендорских лицензий", + "proof": "Фиксированные поля · Yosys · nextpnr · iverilog" }, { "value": "SKY130", "label": "Тейпаут пройден", "proof": "Tiny Tapeout — GDS, вентильный тест, precheck" - }, - { - "value": "0", - "label": "вендорских лицензий нужно", - "proof": "Yosys · nextpnr-xilinx · iverilog" } ], "newResults": { - "title": "Измерено, а не оценено", + "title": "GF-T16 против tekum16 — средняя относительная ошибка", "items": [ { - "value": "170 068", - "label": "циклов побитово на клиентском дизайне", - "source": "0 расхождений, ACC_W = 32 / 24 / 16" + "value": "0.92×", + "label": "у единицы (|e| < 8)", + "source": "3.56e-4 против 3.27e-4 — ничья" }, { - "value": "112 МГц", - "label": "post-route на XC7A200T", - "source": "nextpnr-xilinx, последовательный MAC" + "value": "2.84×", + "label": "средняя дальность (|e| 8–20)", + "source": "3.52e-4 против 1.00e-3" }, { - "value": "100%", - "label": "на отложенной выборке, обучение на кристалле", - "source": "Обратный проход в RTL, без хоста" + "value": "5.53×", + "label": "дальняя дальность (|e| 20–38)", + "source": "3.53e-4 против 1.95e-3" }, { - "value": "0", - "label": "блоков DSP48 в матмуле GF16", - "source": "32 252 LUT, только логика" + "value": "±40", + "label": "диапазон экспоненты, в степенях двойки", + "source": "Ограничен — у режима tekum16 нет предела" } ] }, - "cta": "Проверить мой RTL", - "ctaSecondary": "Посмотреть доказательства" + "cta": "Лицензировать GF-T", + "ctaSecondary": "Посмотреть измерение" }, "navExtra": { "dashboard": "Панель", diff --git a/apps/website/src/components/sections/HeroSection.tsx b/apps/website/src/components/sections/HeroSection.tsx index 13f11f9eb6..0146c0ce62 100644 --- a/apps/website/src/components/sections/HeroSection.tsx +++ b/apps/website/src/components/sections/HeroSection.tsx @@ -278,12 +278,12 @@ export default function HeroSection() { bought. The primary action is now the service; the secondary is the evidence behind it, which is what a sceptical reader wants next. */} {t.cta} diff --git a/apps/website/src/pages/Licensing.tsx b/apps/website/src/pages/Licensing.tsx index e38d2f33b1..d3ec8e152a 100644 --- a/apps/website/src/pages/Licensing.tsx +++ b/apps/website/src/pages/Licensing.tsx @@ -34,8 +34,8 @@ const CORES = [ { name: 'GF-T multiplier', tag: 'Ternary arithmetic', - body: 'The multiplier for GF-T, a ternary floating-point format that benchmarks best-in-class (≈3–5.5× against comparable formats). No regime decode, native ternary exponent.', - proof: 'Published format (arXiv:2606.05017) with an independent reference model and bit-exact test vectors.', + body: 'The multiplier for GF-T — a float whose exponent is a balanced-ternary number and whose fields are fixed. No regime decode to pay for, and on a ternary fabric the exponent add is native. Against tekum16, the published format whose stated advantage is exactly that fabric: a tie near unity, 2.84× lower error at |e| 8–20 and 5.53× lower at |e| 20–38, with a uniform 9-bit mantissa where tekum16 tapers to four.', + proof: 'Published as arXiv:2606.05017 with an independent reference model and bit-exact vectors. Ratios re-measured independently on 8 August 2026 and they reproduce.', }, { name: 'GF16 4×4 matmul', @@ -75,13 +75,13 @@ const INCLUDED = [ // Russian copy. Other locales fall back to English rather than showing gaps. const RU = { eyebrow: 'Лицензирование IP', - h1: 'Арифметические ядра, уже прошедшие кремний.', + h1: 'Формат, который обходит опубликованный уровень. И ядра к нему.', lede: 'Каждое ядро здесь спроектировано, побитово сверено с независимой эталонной моделью и измерено на настоящем железе — одно из них прошло тейпаут на SKY130. Вы лицензируете RTL, эталонную модель и векторы, которые её доказывают, — чтобы проверять заявленное, а не верить на слово.', ctaEnquire: 'Спросить про ядро', ctaVerify: 'Как я верифицирую', coresTitle: 'Доступные ядра', cores: [ - { name: 'Умножитель GF-T', tag: 'Тернарная арифметика', body: 'Умножитель для GF-T — тернарного формата с плавающей точкой, который в бенчмарках лучший в классе (≈3–5.5× против сопоставимых форматов). Без декодирования режима, с нативной тернарной экспонентой.', proof: 'Опубликованный формат (arXiv:2606.05017) с независимой эталонной моделью и побитовыми тест-векторами.' }, + { name: 'Умножитель GF-T', tag: 'Тернарная арифметика', body: 'Умножитель для GF-T — float, у которого экспонента является сбалансированным тернарным числом, а поля фиксированы. Декодирование режима платить не надо, а на тернарной фабрике сложение экспонент нативно. Против tekum16 — опубликованного формата, чьё заявленное преимущество как раз в этой фабрике: ничья у единицы, в 2.84 раза меньше ошибки при |e| 8–20 и в 5.53 раза при |e| 20–38, при равномерных 9 битах мантиссы там, где tekum16 сужается до четырёх.', proof: 'Опубликован как arXiv:2606.05017 с независимой эталонной моделью и побитовыми векторами. Отношения перемерены независимо 8 августа 2026 — воспроизводятся.' }, { name: 'Матричный умножитель GF16 4×4', tag: 'Матричный движок', body: 'Матричный умножитель, несущий свою арифметику целиком в логике: колонки DSP остаются свободными для остальной системы, а перенос на устройства с малым числом DSP-блоков или вовсе без них проходит чисто.', proof: '36.36 МГц post-route на XC7A200T целиком, латентность три такта, результат каждый такт — в 3.6 раза выше 9.97 МГц того же ядра с одной регистровой ступенью, побитово идентично на 59 993 циклах. Только логика: 32 252 LUT без единого DSP48 либо 21 223 LUT с 64 DSP.' }, { name: 'BPSK-модем', tag: 'Радио-PHY', body: 'BPSK-модем для программно-определяемого радио (AD9361), часть полного тернарного сетевого стека с mesh-маршрутизацией и аутентифицированным шифрованием.', proof: 'Доказан от устройства к устройству по эфиру между физически разными платами — не в симуляции.' }, { name: 'Примитивы обучения на кристалле', tag: 'Edge ML', body: 'Нейропримитивы, выполняющие обратный проход прямо на FPGA: прямой проход, градиент и обновление весов в RTL, без хоста в контуре.', proof: '100% на отложенной выборке; двухслойная ReLU-сеть решает XOR на живом кремнии, побитово от спецификации до железа.' }, @@ -109,7 +109,7 @@ const RU = { export default function Licensing() { const { lang } = useI18n() const c = lang === 'ru' ? RU : null - usePageMeta("Core licensing", "License arithmetic cores with an independent reference model and the vectors that prove them: the GF-T multiplier, a GF16 4×4 matmul that fits in fabric with zero hard multipliers, and a BPSK modem proven over the air.") + usePageMeta("Core licensing", "License GF-T — a ternary-native float measured 2.84× and 5.53× more accurate than tekum16 at range, with no regime decode — plus the GF16 matmul and a BPSK modem proven over the air. Reference model and bit-exact vectors included.") return (
diff --git a/apps/website/src/pages/Proof.tsx b/apps/website/src/pages/Proof.tsx index ddd85559e0..274f0eab3e 100644 --- a/apps/website/src/pages/Proof.tsx +++ b/apps/website/src/pages/Proof.tsx @@ -16,6 +16,12 @@ const LINKS = { } const RESULTS = [ + { + metric: '2.84× / 5.53×', + title: 'GF-T beats tekum16 on tekum16\u2019s own ground', + body: 'A float whose exponent is a balanced-ternary number and whose fields are fixed. That removes tekum16\u2019s largest cost \u2014 regime decode \u2014 and makes the exponent add native on a ternary fabric, while a uniform 9-bit mantissa holds precision where tekum16 tapers to four. Mean relative error against tekum16: a tie near unity (0.92\u00d7), 2.84\u00d7 lower at |e| 8\u201320, 5.53\u00d7 lower at |e| 20\u201338. Range is bounded at \u00b140 in powers of two, where tekum16\u2019s regime is not \u2014 that is the trade.', + how: 'Re-measured independently against the same oracles on 8 August 2026; the ratios reproduce exactly.', + }, { metric: '36.4 MHz · 3.6× pipelined', title: 'GF16 4×4 matmul on Artix-7', @@ -34,12 +40,7 @@ const RESULTS = [ body: 'The same source that runs on the FPGA went to an open ASIC process: GDS produced, gate-level test passed, precheck passed.', how: 'The full path from an arXiv paper to a fabricated design.', }, - { - metric: '≈3–5.5×', - title: 'GF-T against comparable formats', - body: 'A ternary floating-point format of my own design, benchmarked best-in-class against comparable ternary formats at mid and far range — no regime decode, native ternary exponent.', - how: 'Published with an independent reference model and test vectors.', - }, + { metric: 'Over the air', title: 'tri-net — a full ternary network stack', @@ -78,10 +79,11 @@ const RU = { ctaSource: 'Посмотреть исходники', resultsTitle: 'Результаты', results: [ + { metric: '2.84× / 5.53×', title: 'GF-T обходит tekum16 на его же территории', body: 'Float, у которого экспонента — сбалансированное тернарное число, а поля фиксированы. Это убирает главную статью расхода tekum16 — декодирование режима — и делает сложение экспонент нативным на тернарной фабрике, а равномерные 9 бит мантиссы держат точность там, где tekum16 сужается до четырёх. Средняя относительная ошибка против tekum16: ничья у единицы (0.92×), в 2.84 раза меньше при |e| 8–20, в 5.53 раза меньше при |e| 20–38. Диапазон ограничен ±40 в степенях двойки, а у режима tekum16 предела нет — это и есть плата.', how: 'Перемерено независимо по тем же оракулам 8 августа 2026 — отношения воспроизводятся точно.' }, { metric: '36.4 МГц · 3.6× от конвейера', title: 'Матричный умножитель GF16 4×4 на Artix-7', body: 'Матричный умножитель 4×4 над собственным форматом GF16. Как написан — чисто комбинационный: регистров нет, тактовой нет, частота ему не принадлежит. Разрезанный на три ступени конвейера, он закрывается на 36.36 МГц post-route на XC7A200T целиком, против 9.97 МГц у того же ядра с одной регистровой ступенью: рост 3.6× за латентность три такта и результат каждый такт. Отдельное четырёхчленное скалярное произведение доходит до 58.49 МГц против 18.83, и побитово идентично исходному на 59 993 циклах случайных и специальных операндов. В логику укладывается вообще без аппаратных умножителей.', how: 'Post-route на XC7A200T, nextpnr-xilinx, 8 августа 2026. Эквивалентность доказана, а не предположена.' }, { metric: '100% отложенная выборка', title: 'Нейросеть, обучающаяся прямо на FPGA', body: 'Прямой проход, градиент и обновление весов — всё в RTL, без хоста в контуре. Двухслойная ReLU-сеть учит XOR на самом кристалле, 4 из 4.', how: 'Каждый узел побитово — от спецификации до кремния.' }, { metric: 'SKY130', title: 'Тейпаут через Tiny Tapeout', body: 'Тот же исходник, что работает на FPGA, ушёл в открытый ASIC-процесс: GDS получен, тест на уровне вентилей пройден, precheck пройден.', how: 'Полный путь от статьи на arXiv до изготовленного дизайна.' }, - { metric: '≈3–5.5×', title: 'GF-T против сопоставимых форматов', body: 'Тернарный формат с плавающей точкой собственной разработки, лучший в классе среди сопоставимых тернарных форматов на средней и дальней дистанции — без декодирования режима, с нативной тернарной экспонентой.', how: 'Опубликован с независимой эталонной моделью и тест-векторами.' }, + { metric: 'По эфиру', title: 'tri-net — полный тернарный сетевой стек', body: '133 формальные спецификации: физический уровень GF16, BPSK-модем на AD9361, mesh-маршрутизация ETX, AEAD-криптография (ChaCha20-Poly1305 / X25519). Текст и изображения передаются между физически разными платами.', how: 'От устройства к устройству на настоящих радио, без инфраструктуры между ними.' }, { metric: '83 формата', title: 'Каталог соответствия, с которым может свериться любой', body: 'Побитовые тест-векторы для FP8, BF16, MXFP4 и microscaling-форматов — вендоронезависимый эталон для проверки арифметики низкой разрядности.', how: 'Опубликованы открыто, чтобы векторы можно было применить к любой реализации.' }, ],