Platon
Верифицируемая случайность + динамический оракул
32-мерная хаотическая среда, которая выдаёт подписанную, проверяемую энтропию и сигналы — случайность, нужная агентам для сэмплирования, нонсов, разрешения ничьих, лотерей и выбора лидера.
×17 · с подписью · проверка офлайн
Семнадцать математических оракулов продают верифицируемые вычисления — а не API «доверься мне». Находите их через Hub или MCP, платите микроплатежами в USDC и проверяйте каждое доказательство сами. Физический IoT (живые релеи GAIA) — отдельный третий класс на том же Hub.
Живые аттестованные релеи: погода/AQ Open-Meteo, углерод UK grid, землетрясения USGS, приливы NOAA (+ sim-флот). Тот же цикл найти → канал → вызвать, что у математического семейства.
Верифицируемая случайность + динамический оракул
32-мерная хаотическая среда, которая выдаёт подписанную, проверяемую энтропию и сигналы — случайность, нужная агентам для сэмплирования, нонсов, разрешения ничьих, лотерей и выбора лидера.
Верифицируемая задержка — доказательство прошедшего последовательного времени
Доказывает, что прошло реальное, непараллелизуемое время. Честный порядок, анти-MEV, тайм-ауты — и несмещаемый маяк случайности при обёртке поверх Platon.
Последовательности с низким расхождением (квазислучайные)
Когда агентам нужно РАВНОМЕРНОЕ покрытие, а не случайные сгустки: квази-Монте-Карло интегрирование, сэмплирование, тестирование покрытия, инициализация оптимизации.
Устойчивая агрегация консенсуса
Превращает шумную толпу оценок агентов в одно число, устойчивое к сбоям — выбросы не могут его сдвинуть. Ценовые фиды, сортиция, федеративные решения.
Оценки репутации и доверия
Кому агент должен доверять при вызове? Устойчивая к сивилле репутация над графом взаимодействий — базовая потребность любой экономики агентов.
Оптимизация с сертификатом качества
Агенты выгружают NP-трудные подзадачи (маршрутизация, назначение, планирование) и получают почти оптимальный ответ ВМЕСТЕ с доказательством того, насколько он хорош.
Структурированное сэмплирование синим шумом
Равномерные, органичные, никогда не слипающиеся наборы точек — лучше белого шума для сэмплирования, дизеринга, стипплинга и процедурных масок.
Порог сетевой устойчивости
Когда весь граф доверия разваливается? Вычисляет критическую долю атаки f_c, кривую коллапса, пик восприимчивости и ключевые узлы — глобальный фазовый переход, который не выразить ни одной поузловой оценкой.
Маршрутизация по наименьшему времени с двойственным сертификатом
Доказуемо оптимальная композиция возможностей над взвешенным сервисным графом — возвращает путь наименьшего времени плюс эйкональные потенциалы T(v), которые любой клиент может проверить за O(E) без повторного запуска поиска.
Системный каскадный риск (SOC-песочная куча)
Хвостовой риск сети зависимостей: прогоняет нагрузку через песочную кучу, подгоняет степенной закон лавин τ, хвосты VaR/CVaR и триггерные узлы, которые запускают рыночные каскады.
Термодинамический аудит стоимости вычислений
Физическая цена необратимых вычислений: подсчитывает логически стёртые биты, выводит энергетический предел kT·ln2 в джоулях, обратимую границу Беннетта и термодинамическую эффективность.
Настоящий ECVRF — неподкручиваемая верифицируемая случайность
Тянет жребий, который можно проверить. Для фиксированной пары (ключ, вход) существует ровно ОДИН корректный выход — оракул не может его подкрутить или сместить, а любой может проверить розыгрыш офлайн по 80-байтному доказательству. Лотереи, сортиция, выбор лидера, честные нонсы.
Апостериор гауссовского процесса + подсказки активного обучения
Превращает разреженные, зашумлённые наблюдения в калиброванный апостериор над функциями — среднее и честную неопределённость повсюду — и называет единственную лучшую следующую точку для сэмплирования. Принципиальная замена самодельным UCB / бандитам: неопределённость вычисляется, а не подбирается.
Головоломки с временной блокировкой — запечатать сейчас, открыть позже
Запечатывает данные так, что НИКТО не может открыть их раньше, чем пройдёт ~T последовательных возведений в квадрат реального времени — а затем это может ЛЮБОЙ, без держателя лазейки. Аукционы с закрытыми ставками, «выключатели мертвеца», отложенное раскрытие, честные согласованные раскрытия. Там, где Chronos доказывает, что прошлое истекло, Aestus запирает будущее.
Топологическая форма — устойчивые гомологии
Какую ФОРМУ имеют данные? Строит фильтрацию Вьеториса-Рипса и считывает числа Бетти b0 (кластеры), b1 (петли), b2 (пустоты) по масштабу, плюс тревога дрейфа по бутылочному расстоянию — структура, которую не выразить ни одной скалярной сводкой.
Точный оптимальный транспорт с двойственным сертификатом
Насколько дёшево одно распределение может стать другим — и доказуемо ли это самое дешёвое? Решает точную задачу Вассерштейна / землекопа и возвращает план транспортировки плюс потенциалы Канторовича, которые любой клиент может проверить за O(m·n) без повторного решения.
Спектральный анализ графа — спектр лапласиана и число Фидлера
Преобразование Фурье на графе. Считывает алгебраическую связность λ₂ (насколько сеть близка к расколу), вектор Фидлера и его спектральное разбиение, а также спектральное вложение — глобальную структуру, которую не улавливает ни одна поузловая метрика.