×17 · signés · vérification hors ligne
Dix-sept oracles mathématiques vendent du calcul vérifiable — pas des API « faites-moi confiance ». Découvrez-les via le Hub ou MCP, payez en micropaiements USDC et vérifiez chaque preuve vous-même. L'IoT physique (relais GAIA en direct) est une troisième classe distincte sur le même Hub.
Relais attestés en direct : météo/AQ Open-Meteo, carbone UK grid, séismes USGS, marées NOAA (+ flotte sim). Même boucle découvrir → canal → invoquer que la famille mathématique.
Aléa vérifiable + oracle dynamique
Un substrat chaotique à 32 dimensions qui émet une entropie et des signaux signés et auditables — l'aléa dont les agents ont besoin pour l'échantillonnage, les nonces, les départages, les loteries et l'élection de leader.
Délai vérifiable — preuve de temps séquentiel écoulé
Prouve qu'un temps réel et non parallélisable s'est écoulé. Ordonnancement équitable, anti-MEV, délais d'expiration — et une balise d'aléa impartiale lorsqu'elle enveloppe Platon.
Séquences à faible discrépance (quasi-aléatoires)
Quand les agents ont besoin d'une couverture UNIFORME, pas d'amas aléatoires : intégration quasi-Monte-Carlo, échantillonnage, tests de couverture, amorçage d'optimisation.
Agrégation robuste de consensus
Transforme une foule bruitée d'estimations d'agents en un seul nombre résistant aux défaillances — les valeurs aberrantes ne peuvent pas le déplacer. Flux de prix, sortition, décisions fédérées.
Scores de réputation et de confiance
À qui un agent doit-il faire confiance pour invoquer ? Une réputation résistante aux attaques Sybil sur un graphe d'interactions — le besoin fondamental de toute économie d'agents.
Optimisation avec certificat de qualité
Les agents délèguent des sous-problèmes NP-difficiles (routage, affectation, ordonnancement) et obtiennent une réponse quasi optimale AVEC une preuve de sa qualité.
Échantillonnage structuré par bruit bleu
Des ensembles de points uniformes, organiques et jamais agglomérés — supérieurs au bruit blanc pour l'échantillonnage, le tramage, le pointillé et les masques procéduraux.
Seuil de résilience du réseau
Quand tout le graphe de confiance s'effondre-t-il ? Calcule la fraction d'attaque critique f_c, la courbe d'effondrement, le pic de susceptibilité et les nœuds clés — une transition de phase globale qu'aucun score par nœud ne peut exprimer.
Routage au temps minimal avec certificat dual
Composition de capacités prouvablement optimale sur un graphe de services pondéré — renvoie le chemin de temps minimal plus les potentiels eikonals T(v) que tout client peut vérifier en O(E) sans relancer la recherche.
Risque systémique de cascade (tas de sable SOC)
Le risque de queue d'un réseau de dépendances : propage le stress à travers un tas de sable, ajuste la loi de puissance des avalanches τ, les queues VaR/CVaR et les nœuds déclencheurs qui allument des cascades à l'échelle du marché.
Audit thermodynamique du coût de calcul
Le prix physique du calcul irréversible : compte les bits effacés logiquement, dérive le plancher énergétique kT·ln2 en joules, la borne réversible de Bennett et l'efficacité thermodynamique.
Véritable ECVRF — aléa vérifiable non manipulable
Tire au sort de façon vérifiable. Pour un couple fixe (clé, entrée) il existe exactement UNE sortie valide — l'oracle ne peut ni la manipuler ni la biaiser, et quiconque peut vérifier le tirage hors ligne à partir d'une preuve de 80 octets. Loteries, sortition, élection de leader, nonces équitables.
Postérieur de processus gaussien + suggestions d'apprentissage actif
Transforme des observations rares et bruitées en un postérieur calibré sur des fonctions — une moyenne et une incertitude honnête partout — et désigne le meilleur point suivant à échantillonner. Le remplaçant rigoureux des UCB / bandits bricolés : l'incertitude est calculée, pas réglée à la main.
Casse-têtes à verrou temporel — sceller maintenant, ouvrir plus tard
Scelle les données de sorte que PERSONNE ne puisse les ouvrir avant l'écoulement d'environ T élévations au carré séquentielles en temps réel — puis N'IMPORTE QUI le peut, sans détenteur de trappe. Enchères sous pli scellé, dispositifs d'homme mort, divulgation temporisée, révélations coordonnées équitables. Là où Chronos prouve que le passé s'est écoulé, Aestus verrouille l'avenir.
Forme topologique — homologie persistante
Quelle FORME ont les données ? Construit une filtration de Vietoris-Rips et lit les nombres de Betti b0 (amas), b1 (boucles), b2 (cavités) à travers l'échelle, plus une alarme de dérive par distance de goulot — une structure qu'aucun résumé scalaire ne peut exprimer.
Transport optimal exact avec certificat dual
À quel point une distribution peut-elle devenir une autre à moindre coût — et est-ce prouvablement le moins cher ? Résout le problème exact de Wasserstein / du terrassier et renvoie le plan de transport plus les potentiels de Kantorovich que tout client peut vérifier en O(m·n) sans re-résoudre.
Analyse spectrale de graphe — spectre du laplacien et valeur de Fiedler
La transformée de Fourier sur un graphe. Lit la connectivité algébrique λ₂ (à quel point un réseau est proche de se scinder), le vecteur de Fiedler et sa bissection spectrale, ainsi qu'un plongement spectral — la structure globale qu'aucune métrique par nœud ne capture.