Platon
Aleatoriedad verificable + oráculo dinámico
Un sustrato caótico de 32 dimensiones que emite entropía y señales firmadas y auditables — la aleatoriedad que los agentes necesitan para muestreo, nonces, desempates, loterías y elección de líder.
×17 · firmados · verificación offline
Diecisiete oráculos matemáticos venden cómputo verificable — no API de «confía en mí». Descúbrelos vía Hub o MCP, paga con micropagos en USDC y verifica cada prueba tú mismo. IoT físico (relés en vivo de GAIA) es una tercera clase aparte en el mismo Hub.
Relés atestiguados en vivo: clima/AQ Open-Meteo, carbono UK grid, sismos USGS, mareas NOAA (+ flota sim). El mismo bucle descubrir → canal → invocar que la familia matemática.
Aleatoriedad verificable + oráculo dinámico
Un sustrato caótico de 32 dimensiones que emite entropía y señales firmadas y auditables — la aleatoriedad que los agentes necesitan para muestreo, nonces, desempates, loterías y elección de líder.
Retardo verificable — prueba de tiempo secuencial transcurrido
Demuestra que ha transcurrido tiempo real y no paralelizable. Orden justo, anti-MEV, tiempos de espera — y un faro de aleatoriedad insesgable cuando se envuelve sobre Platon.
Secuencias de baja discrepancia (cuasi-aleatorias)
Cuando los agentes necesitan cobertura UNIFORME, no cúmulos aleatorios: integración cuasi-Monte-Carlo, muestreo, pruebas de cobertura y siembra de optimización.
Agregación robusta de consenso
Convierte una multitud ruidosa de estimaciones de agentes en un único número resistente a fallos — los valores atípicos no pueden moverlo. Feeds de precios, sorteo, decisiones federadas.
Puntuaciones de reputación y confianza
¿En quién debería confiar un agente para invocar? Reputación resistente a Sybil sobre un grafo de interacciones — la necesidad básica de cualquier economía de agentes.
Optimización con un certificado de calidad
Los agentes descargan subproblemas NP-difíciles (enrutamiento, asignación, planificación) y obtienen una respuesta casi óptima JUNTO con una prueba de lo buena que es.
Muestreo estructurado con ruido azul
Conjuntos de puntos uniformes, orgánicos y nunca agrupados — superiores al ruido blanco para muestreo, tramado, punteado y máscaras procedurales.
Umbral de resiliencia de red
¿Cuándo se desmorona todo el grafo de confianza? Calcula la fracción crítica de ataque f_c, la curva de colapso, el pico de susceptibilidad y los nodos clave — una transición de fase global que ninguna puntuación por nodo puede expresar.
Enrutamiento de tiempo mínimo con certificado dual
Composición de capacidades demostrablemente óptima sobre un grafo de servicios ponderado — devuelve la ruta de tiempo mínimo más los potenciales eikonales T(v) que cualquier cliente puede verificar en O(E) sin volver a ejecutar la búsqueda.
Riesgo sistémico de cascada (montón de arena SOC)
El riesgo de cola de una red de dependencias: propaga estrés por un montón de arena, ajusta la ley de potencias de avalanchas τ, las colas VaR/CVaR y los nodos disparadores que encienden cascadas en todo el mercado.
Auditoría termodinámica del coste de cómputo
El precio físico del cómputo irreversible: cuenta los bits borrados lógicamente, deriva el piso energético kT·ln2 en julios, el límite reversible de Bennett y la eficiencia termodinámica.
ECVRF real — aleatoriedad verificable no manipulable
Echa suertes que puedes verificar. Para un par fijo (clave, entrada) existe exactamente UNA salida válida — el oráculo no puede manipularla ni sesgarla, y cualquiera puede verificar el sorteo offline con una prueba de 80 bytes. Loterías, sorteo, elección de líder, nonces justos.
Posterior de proceso gaussiano + sugerencias de aprendizaje activo
Convierte observaciones escasas y ruidosas en un posterior calibrado sobre funciones — una media y una incertidumbre honesta en todas partes — y nombra el mejor punto siguiente para muestrear. El reemplazo con fundamento de los UCB / bandidos hechos a mano: la incertidumbre se calcula, no se ajusta a mano.
Rompecabezas con bloqueo temporal — sellar ahora, abrir después
Sella datos de modo que NADIE pueda abrirlos antes de que transcurran ~T elevaciones al cuadrado secuenciales de tiempo real — y luego CUALQUIERA puede, sin poseedor de trampa. Subastas de sobre cerrado, interruptores de hombre muerto, divulgación temporizada, revelaciones coordinadas justas. Donde Chronos prueba que el pasado transcurrió, Aestus bloquea el futuro.
Forma topológica — homología persistente
¿Qué FORMA tienen los datos? Construye una filtración de Vietoris-Rips y lee los números de Betti b0 (clústeres), b1 (bucles), b2 (huecos) a lo largo de la escala, más una alarma de deriva por distancia de cuello de botella — estructura que ningún resumen escalar puede expresar.
Transporte óptimo exacto con certificado dual
¿Cuán barato puede una distribución convertirse en otra — y es demostrablemente la más barata? Resuelve el problema exacto de Wasserstein / del transportista de tierra y devuelve el plan de transporte más los potenciales de Kantorovich que cualquier cliente puede verificar en O(m·n) sin volver a resolver.
Análisis espectral de grafos — espectro laplaciano y valor de Fiedler
La transformada de Fourier sobre un grafo. Lee la conectividad algebraica λ₂ (cuán cerca está una red de dividirse), el vector de Fiedler y su bisección espectral, y una incrustación espectral — la estructura global que ninguna métrica por nodo captura.