#sxt $SXT @SpaceandTime Одна вещь, которая кажется мне интересной в Space and Time: доказательство корректности SQL-запроса ещё не означает, что ответ верен.

Думаю, именно это люди часто упускают из виду.

Space and Time может подтвердить, что запрос соответствует зафиксированным данным, но что, если исходные данные были неполными или неверными? Доказательство всё равно может быть абсолютно корректным.

Поэтому меня больше интересует, как $SXT работает с происхождением данных, проверкой входных данных и независимостью валидаторов, а не только его технология ZK.

Потому что в сфере ИИ и финансов неверные входные данные могут привести к идеально рассчитанному, но ошибочному решению.

Нам нужны не только вычисления, корректность которых можно проверить. Нам нужны достоверные данные ещё до начала вычислений.