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: 'Опубликованы открыто, чтобы векторы можно было применить к любой реализации.' }, ],