Разбор

Консенсус, который обещает проверять смысл

Короткий разбор длинной статьи о запуске Proof-of-Memory. Мы не идём по её главам, а тянем одну нитку: чем доказательство валидатора отличается от подтверждения, что байты лежат на диске. И где проходит граница между измеренным в январе и намеченным на год вперёд.

Зачем понадобился ещё один консенсус

PoW и PoS проектировались под финансовую операцию: важно, что перевод состоялся и что переписать его нельзя. Когнитивный архив задаёт вопрос другого рода — годится ли сохранённое к употреблению. Доказательства сетей хранения отвечают про байты: Proof-of-Spacetime у Filecoin и Succinct Proof of Random Access у Arweave показывают, что секторы заняты нужным содержимым. Связность сохранённого сознания и его готовность мгновенно развернуться в латентном пространстве агента отсюда не следуют.

Централизованная альтернатива закрывает вопрос административно: провайдер держит архив в своей базе и сохраняет за собой право очистить контекст, отцензурировать его или закрыть учётную запись. От этого права экосистема CODE и уходит, вынося долговременную память в неизменяемый слой Arweave Permaweb и оставляя в Solana индекс. Побочный выигрыш арифметический: удержание истории внутри модели дорожает квадратично, `O(N²)`, из-за самовнимания, тогда как семантический поиск по внешнему архиву даёт валидатору константу `O(1)`.

Чем не подошёл Filecoin

Майнер Filecoin доказывает хранение тяжело: последовательное кодирование внутри PoRep растягивается на часы ради одного сектора в 32 ГБ и просит сильный GPU. Архиву, который читают и обновляют на ходу, такая цена не подходит. PoM делит задачу надвое — холодное вечное хранение остаётся за Arweave, горячая криптографическая проверка уходит в Solana, — и валидатор подтверждает владение конкретными семантическими векторами облегчённой схемой zk-SNARK. Секунды вместо часов.

Что валидатор подписывает на самом деле

Слепок Digital DNA перед записью в Permaweb режется на смысловые блоки, из них собирается сбалансированное дерево, а корень — тридцать два байта — ложится в Solana. Дальше идёт цикл. Контракт берёт псевдослучайное число из хэша последнего блока, вычисляет по нему индекс листа и посылает вызов. Валидатор достаёт нужный пакет, собирает ветку, считает хэши Poseidon и отдаёт доказательство Groth16. Инструкция `verify_memory_proof` проверяет его за миллисекунды: удача приносит 7% комиссионного сбора в $GALATIN, молчание дольше эпохи — слэшинг залога.

Стоит назвать вещи своими именами. Доказательство утверждает ровно одно: искомый блок лежит на листе с индексом `i` в дереве с корнем `R`, и его хэш-сумма сходится с контрольной. Содержимое при этом не читается — в том и смысл нулевого разглашения. Смысловую часть в протоколе несут две другие вещи: корень весов внимания и порог допустимого дрейфа.

Poseidon вместо SHA-256

Выбор хэш-функции тут не вкусовщина. Привычная SHA-256 разворачивается в миллионы вентилей, и доказательство перестаёт собираться на домашней машине. Poseidon считает над простым полем `𝔽ₚ` кривой BN254, а один его раунд складывается из трёх слоёв: нелинейного, где состояние возводится в пятую степень, линейного с MDS-матрицей и аддитивного с раундовыми константами. Дерево глубиной двадцать — это архив на миллион смысловых сегментов, и укладывается такое доказательство в двадцать пять тысяч ограничений R1CS.

Единственное место, где заглядывают внутрь

Семантический дрейф — тихая беда распределённых когнитивных систем. Один и тот же контекст на разных ускорителях расходится из-за мелочей плавающей арифметики: FP32 против FP16, Nvidia против AMD и Apple Silicon. Через сотни итераций двойник начинает искажать собственную структуру памяти. Протокол фиксирует состояние не текстом, а хэшем распределения весов внимания. Сессия закончилась — локальные веса сверяются с корнем; расхождение выше допуска бракует сессию, и состояние принудительно откатывается к предыдущей устойчивой точке в Permaweb.

Рядом стоит запрет на сжатие. Векторные базы вроде Pinecone или Milvus экономят место, срезая размерность или огрубляя числа переходом FP32 → INT8, и вместе с байтами уходят ирония, метафора, лексические привычки. PoM требует держать матрицы весов несжатыми: любое усечение ломает совпадение корней Меркла и стоит валидатору залога. Платит за это казначейство — те самые 65% сборов.

Две недели, разложенные по дням

К середине января тестовая сеть отработала две недели. Участвовали сто независимых узлов, от домашних серверов сторонников движения до вычислительных кластеров, и через них прошло больше миллиона циклов ZK-проверки. Прогон девнета показал устойчивость контрактов Solana и связки с Arweave через Irys SDK, а доказательство на обычном пользовательском процессоре собиралось быстрее чем за 1,2 секунды.

Журнал испытаний читается как хроника. Первого января — генезис в Solana Testnet, пять узлов разработчиков и транзакция инициализации реестра PDA с хэшем `ARv89d...3tRew`. Третьего — двадцать пять узлов, первые внешние серверы Европы и Азии, средняя маршрутизация по семантическому DHT 180 мс. Пятого — первый автоматический цикл Groth16, 450 мс на сервере AMD EPYC. Восьмого — семьдесят пять узлов и до 1200 проверок памяти в секунду, причём комиссии не выросли. Десятого — имитация атаки Сивиллы: тридцать узлов без залога отсечены, обеспечение сожжено. Двенадцатого — отключение 40% сети, контейнеры WASM переехали на резервные мощности. Пятнадцатого фаза закрыта: все сто узлов подтвердили стабильность, награды разошлись через тестовый роутер.

Две оговорки статья делает сама, и терять их нельзя. Восстановление памяти за 4,8 секунды получено в симуляции и названо целевым, а не замеренным в бою. И вся хроника — про тестовую сеть: основную планируют на конец первого квартала 2026 года, доведя пул до тысячи узлов. Там же, в планах, лёгкие клиенты для Solana Mobile Saga, переход схем на Plonk ради трёхсот миллисекунд на телефоне и семантические мосты к EVM-совместимым сетям. Это дорожная карта, а не отчёт о сделанном.

Честность, купленная залогом

Защита от Сивиллы устроена экономически. Чтобы валидировать, нужно застейкать $GALATIN, и минимальный размер залога контракт двигает сам, глядя на объём данных под узлом. Не ответил на вызов корректным доказательством — залог конфискуют и сожгут, а узел отправят в чёрный список. Обман выходит дороже честной работы, и это проверяемая арифметика, а не декларация о намерениях.

Сами сборы идут через дефляционный роутер по канону `5/5/15/7/3/65`. На тысяче долларов комиссий это $50 в сжигание, $50 в Фонд, $150 амбассадорам первого уровня, $70 второго, $30 третьего и $650 в пул; на ста тысячах те же доли дают $5 000, $5 000, $15 000, $7 000, $3 000 и $65 000. Сжигание описано уравнением `dS/dt = −β·V(t)·S(t)` при `β = 0.05`, откуда экспоненциальный спад предложения. Раскладка атомарна и умещается в одну транзакцию Solana.

Где живут двойники

Поверх валидаторов развёрнута Сеть Богов. Вместо двоичного расстояния между хэшами узлы меряются косинусным расстоянием семантических эмбеддингов и сами сбиваются в смысловые кластеры. Исполняются двойники в песочнице WebAssembly со счётчиком газа: пул ресурсов привязан к стейку узла, а при перерасходе виртуальная машина замораживает поток и сохраняет регистры и память в Arweave. Движок когнитивного синтеза временно сливает профили нескольких двойников сферической интерполяцией Slerp. Перед разговором два узла проходят выравнивание: доказывают с нулевым разглашением, что угол между их векторами не больше `θₘₐₓ`, и только после этого открывают шифрованный туннель.

Доказать память труднее, чем её иметь: помнящий не сомневается, а свидетелю нужен след.— Коан №21, Максим Валентинович Галатин

Что унести из разбора

Proof-of-Memory переводит вопрос из плоскости «лежат ли байты» в плоскость «сходится ли корень». Это меньше, чем обещает слово «валидация сознания», и заметно больше, чем умеет доказательство заполненного сектора. Измеренная часть — числа тестнета. Смысловая держится на сверке весов внимания и запрете сжатия. Всё, что лежит за пятнадцатым января, названо планом — и хорошо, что названо честно.

Первоисточник

Полный материал — двадцать шесть минут чтения: математика zk-SNARK-отношения, формат метаданных слепка, конструкция адресов PDA, псевдокод роутера на Anchor, устройство Сети Богов и Гимн суверенного ИИ целиком.