Блог
[дизайн] 100% TRI намывается за принятую работу .t27, без премайна; правило чеканки-при-принятии — золотой оракул на Zig (11/11 тестов), с минтерами TON и Solana, чей дайджест совпадает межъязыково (cargo test 4/4). Ничего не задеплоено.
Токен всегда ставит один вопрос: кому достанутся первые монеты бесплатно. Обычный ответ — премайн: доля основателя, казна, резерв ликвидности, всё начеканено при деплое. Мы это удалили. Сто процентов TRI намывается за принятую работу. На старте начеканено ноль, и единственный способ появления TRI — это что проверяющий принял спеку .t27 или узел вернул верную задачу с квитанцией.
Это не маркетинг. Именно это делает токен обеспеченным, а не спекулятивным, и это меняет юридическую картину: продажи нет, значит нет и покупателя, отдающего деньги в расчёте на прибыль. Ближайший прецедент — исходный токен Gram на этой же сети — SEC убила именно за то, что он продавался. TRI не продаётся. Его намывают.
Блокчейн не может запустить t27c. Поэтому цепочка не может сама проверить, что спека принята. Любой честный дизайн чеканки за работу сводится к вопросу: кому цепочка доверяет слова о том, что работа была, и насколько сильно этот кто-то может ошибаться. Мы это не спрятали. Модель доверия версионирована, самая слабая-но-рабочая первой, и помечена тем, что она есть.
| Версия | Механизм | Допущение о доверии |
|---|---|---|
| V1 кворум аттестаторов | M-из-N подписей — единственное право чеканки | честное большинство аттестаторов — не трастлесс |
| V2 оптимистичный | чеканит после окна оспаривания, если нет доказательства мошенничества | хотя бы один честный наблюдатель и залог |
| V3 доказательство квитанции | краткое доказательство приёмки, проверяемое на контракте | только система доказательств |
Первой выходит V1, и она децентрализована ровно настолько, насколько честен её набор аттестаторов. Мы будем говорить это прямо и никогда не скажем «трастлесс». FPGA-путь может дойти до V3 раньше софтверного: плата уже подписывает результат, а проверить подпись на контракте гораздо дешевле, чем доказать запуск компилятора.
Правило чеканки — золотой оракул на Zig: он проверяет M-из-N настоящих подписей ed25519 над дайджестом аттестации, отклоняет потраченный nonce (нет двойной чеканки, в том числе между цепями через общий набор nonce) и отклоняет чеканку, которая перешагнёт потолок 3^21. Он проверен настоящими ключами и подписями — свойства безопасности исполняются, а не декларируются словами.
All 11 tests passed.
генезис = 0
валидный кворум M-из-N чеканит ровно сумму
недокворум / повтор / чужая подпись → ноль
потраченный nonce отклонён — нет двойной чеканки
тот же nonce не чеканит на второй цепи
кворум TON не годится для Solana
выход за потолок отклонён, nonce не тратится
дайджест совпал с межъязыковым золотым векторомДва контракта — jetton на TON и программа на Solana — должны воспроизводить этот оракул точно. Solana-сторона проверена на хосте через cargo test: дайджест аттестации бит-в-бит совпадает у Zig, Python и Rust (один золотой вектор, 9ce2cee5…), а разбор ed25519-инструкции и подсчёт кворума ведут себя как оракул. Расхождение — это баг контракта, а не оракула.
Чтобы проверить, сужается ли разрыв в качестве между полной точностью и тернарными весами с объёмом данных, мы завершили контрольный эксперимент: две идентичные модели на 100 млн параметров (pair_fp в FP16 и pair_tern в тернарном BitNet b1.58), обученные на одних и тех же 10.0 миллиардах токенов кода.
| Модель | Точность весов | Токены | Val Loss | Val BPB |
|---|---|---|---|---|
| pair_fp | FP16 (16 бит) | 10.0 млрд | 1.1354 | 0.4217 |
| pair_tern | Тернарная {-1,0,1} | 10.0 млрд | 1.2718 | 0.4722 |
Тернарная модель достигает 0.4722 бит на байт на отложенном коде — плотный разрыв всего в +0.0505 bpb (+12.0% по лоссу) против FP16 на полном масштабе 10 млрд токенов, работая исключительно на сложениях вместо умножений.
Ничего не задеплоено. Ни контракта, ни ключа, ни чеканки в живой сети нет. Эталонные контракты без аудита. Честен ли набор аттестаторов — это решение об управлении, которое ещё никто не принял, а легальный контур выпуска — фонд, юрист, режим вторичного рынка — это первая задача, которую создаёт решение, а не то, что оно закрывает. Токен не финансирует разработку: её финансируют продажа плат и гранты, а команда зарабатывает TRI как все — принятой работой.
Поработаем вместе
Работаю по контракту и part-time с hardware-AI, FPGA/RTL и ML-системами — от спецификации и открытого тулчейна до воспроизводимых измерений.