Un contrat intelligent peut être parfaitement honnête et pourtant se tromper. Il ne connaît que ce qu'on lui dit.
Cette idée m'a obsédé cette semaine. Le code sur une blockchain est conçu pour être indépendant de la confiance, pourtant les données qui l'alimentent arrivent généralement avec un « faites-moi confiance » tacite. Un oracle confirme que le nombre est correct. Une API atteste que la requête s'est exécutée sans problème. J'ai accepté cela pendant des années sans me demander qui vérifie ces vérifications.
C'est pourquoi @SpaceandTime a attiré mon attention. La preuve SQL produit une preuve à divulgation nulle de connaissance qu'une requête s'est exécutée correctement sur des données intactes, et le résultat peut être vérifié sur la blockchain. Personne n'est obligé de se fier aveuglément au résultat.
Ce procédé correspond aux trois domaines ciblés par le projet : les agents d'IA agissant sur des données vérifiables, les actifs tokenisés contenant des enregistrements prouvés et la DeFi se basant sur des résultats calculés.
Mon interrogation porte sur l'adoption. Les données vérifiables n'ont d'importance que si les développeurs les utilisent pour acheminer de véritables requêtes ; je m'intéresse donc davantage à l'utilisation qu'aux graphiques.
$SXT
#sxt $SXT @SpaceandTime
Cette idée m'a obsédé cette semaine. Le code sur une blockchain est conçu pour être indépendant de la confiance, pourtant les données qui l'alimentent arrivent généralement avec un « faites-moi confiance » tacite. Un oracle confirme que le nombre est correct. Une API atteste que la requête s'est exécutée sans problème. J'ai accepté cela pendant des années sans me demander qui vérifie ces vérifications.
C'est pourquoi @SpaceandTime a attiré mon attention. La preuve SQL produit une preuve à divulgation nulle de connaissance qu'une requête s'est exécutée correctement sur des données intactes, et le résultat peut être vérifié sur la blockchain. Personne n'est obligé de se fier aveuglément au résultat.
Ce procédé correspond aux trois domaines ciblés par le projet : les agents d'IA agissant sur des données vérifiables, les actifs tokenisés contenant des enregistrements prouvés et la DeFi se basant sur des résultats calculés.
Mon interrogation porte sur l'adoption. Les données vérifiables n'ont d'importance que si les développeurs les utilisent pour acheminer de véritables requêtes ; je m'intéresse donc davantage à l'utilisation qu'aux graphiques.
$SXT
#sxt $SXT @SpaceandTime
