#sxt $SXT @SpaceandTime
Au début, je pensais que Space and Time consistait principalement à prouver l’exactitude des données de la blockchain. Mais plus je me suis penché sur la question, plus j’ai remarqué que la difficulté ne réside pas seulement dans la vérification des données. Il s’agit aussi de prouver que la requête elle-même a été exécutée correctement. C’est l’approche Proof of SQL qui a retenu mon attention : le résultat d’une requête est accompagné d’une preuve cryptographique qui peut être vérifiée sans répéter toute l’opération sur la base de données. Il existe ici une dépendance discrète : le résultat dépend toujours de la manière dont la requête a été définie et des données auxquelles elle a été autorisée à accéder. Une preuve valide peut confirmer que l’exécution est correcte, mais elle ne permet pas automatiquement de déterminer si la question initiale était la bonne. Cette distinction prend davantage d’importance lorsque des institutions utilisent des données externes pour étayer des décisions financières ou opérationnelles. La vérification et la responsabilité ne sont pas tout à fait la même chose. Alors, peut-être que la question n’est pas de savoir si un résultat peut être prouvé, mais qui reste responsable de décider ce qu’il faut interroger au départ ?
#sxt $SXT @SpaceandTime $SXT
Au début, je pensais que Space and Time consistait principalement à prouver l’exactitude des données de la blockchain. Mais plus je me suis penché sur la question, plus j’ai remarqué que la difficulté ne réside pas seulement dans la vérification des données. Il s’agit aussi de prouver que la requête elle-même a été exécutée correctement. C’est l’approche Proof of SQL qui a retenu mon attention : le résultat d’une requête est accompagné d’une preuve cryptographique qui peut être vérifiée sans répéter toute l’opération sur la base de données. Il existe ici une dépendance discrète : le résultat dépend toujours de la manière dont la requête a été définie et des données auxquelles elle a été autorisée à accéder. Une preuve valide peut confirmer que l’exécution est correcte, mais elle ne permet pas automatiquement de déterminer si la question initiale était la bonne. Cette distinction prend davantage d’importance lorsque des institutions utilisent des données externes pour étayer des décisions financières ou opérationnelles. La vérification et la responsabilité ne sont pas tout à fait la même chose. Alors, peut-être que la question n’est pas de savoir si un résultat peut être prouvé, mais qui reste responsable de décider ce qu’il faut interroger au départ ?
#sxt $SXT @SpaceandTime $SXT
