Un détail de l’infrastructure des données que j’ai tendance à négliger est la différence entre un calcul correct et une réponse digne de confiance.
Un tableau de bord peut afficher un nombre parfaitement calculé et néanmoins induire en erreur si les données sources étaient incomplètes ou ont été modifiées. En général, les utilisateurs doivent faire confiance à la fois à l’opérateur de la base de données et au code qui produit le résultat. C’est une hypothèse importante lorsque ce nombre sert à prendre des décisions en matière de prêts, de vérifications de garanties, de paiements ou des prochaines actions d’un agent d’IA.
Space and Time dissocie le calcul de la vérification. Sa documentation décrit des engagements cryptographiques pour les tables de données, mis à jour par consensus entre validateurs. Un prouveur peut exécuter une requête SQL hors chaîne et générer une preuve SQL. Un vérificateur peut contrôler que les données correspondent à leur engagement et que le calcul demandé a été correctement effectué. Un contrat intelligent peut vérifier cette preuve sans stocker lui-même l’intégralité du jeu de données.
Cette distinction est importante. Une preuve peut montrer qu’un résultat découle d’un jeu de données engagé et d’une requête. Elle ne prouve pas automatiquement que la source d’origine était honnête, complète ou pertinente. La qualité des données et leur ingestion restent essentielles.
Cette distinction pourrait prendre de l’importance à mesure que les protocoles DeFi s’appuient sur des informations historiques ou interchaînes, et que les systèmes d’IA agissent sur la base de données externes. Au lieu d’accepter une réponse d’API en se fiant uniquement à sa réputation, une application peut demander des éléments attestant la manière dont la réponse a été produite.
Le calcul vérifiable offre un pont entre les grands jeux de données hors chaîne et les décisions sur chaîne. Sa valeur dépendra de la capacité des développeurs à l’utiliser là où des vérifications indépendantes peuvent changer les résultats, plutôt que de traiter les preuves comme de simples ornements.
Je suis curieux de voir comment les développeurs appliqueront ce modèle.
#sxt $SXT @SpaceandTime
Un tableau de bord peut afficher un nombre parfaitement calculé et néanmoins induire en erreur si les données sources étaient incomplètes ou ont été modifiées. En général, les utilisateurs doivent faire confiance à la fois à l’opérateur de la base de données et au code qui produit le résultat. C’est une hypothèse importante lorsque ce nombre sert à prendre des décisions en matière de prêts, de vérifications de garanties, de paiements ou des prochaines actions d’un agent d’IA.
Space and Time dissocie le calcul de la vérification. Sa documentation décrit des engagements cryptographiques pour les tables de données, mis à jour par consensus entre validateurs. Un prouveur peut exécuter une requête SQL hors chaîne et générer une preuve SQL. Un vérificateur peut contrôler que les données correspondent à leur engagement et que le calcul demandé a été correctement effectué. Un contrat intelligent peut vérifier cette preuve sans stocker lui-même l’intégralité du jeu de données.
Cette distinction est importante. Une preuve peut montrer qu’un résultat découle d’un jeu de données engagé et d’une requête. Elle ne prouve pas automatiquement que la source d’origine était honnête, complète ou pertinente. La qualité des données et leur ingestion restent essentielles.
Cette distinction pourrait prendre de l’importance à mesure que les protocoles DeFi s’appuient sur des informations historiques ou interchaînes, et que les systèmes d’IA agissent sur la base de données externes. Au lieu d’accepter une réponse d’API en se fiant uniquement à sa réputation, une application peut demander des éléments attestant la manière dont la réponse a été produite.
Le calcul vérifiable offre un pont entre les grands jeux de données hors chaîne et les décisions sur chaîne. Sa valeur dépendra de la capacité des développeurs à l’utiliser là où des vérifications indépendantes peuvent changer les résultats, plutôt que de traiter les preuves comme de simples ornements.
Je suis curieux de voir comment les développeurs appliqueront ce modèle.
#sxt $SXT @SpaceandTime
