La computación verificable y la verdad verificada no son lo mismo, y esa distinción importa más de lo que la mayoría cree.
Space and Time desarrolló Proof of SQL, un sistema de prueba de conocimiento cero en el que un probador ejecuta una consulta SQL sobre datos comprometidos criptográficamente y genera una prueba. Luego, un verificador, ya sea un contrato inteligente en cadena o un cliente fuera de cadena, puede comprobar que el resultado coincide con la consulta especificada y el conjunto de datos comprometido, sin volver a ejecutarla. Esto cierra una brecha de confianza real en la capa de computación.
He aquí un ejemplo hipotético para ilustrar el límite: imaginemos que un fondo inmobiliario tokenizado almacena las cifras de sus reservas en una tabla de Space and Time. En este ejemplo, Proof of SQL podría verificar una consulta que sume las reservas registradas para el fondo. No puede determinar si esas cifras coinciden con los activos reales que se mantienen fuera de cadena. La prueba abarca la integridad de la computación, no si los datos externos reflejan la realidad.
Esto importa en los ámbitos de la IA, la tokenización y las DeFi porque los tres dependen de la recuperación de datos a gran escala. Un agente de IA que consulta análisis en cadena obtiene garantías de que los resultados no fueron manipulados entre la base de datos y su entrega. Un protocolo DeFi que verifica los coeficientes de garantía obtiene lo mismo. La capa de entrada de datos sigue siendo un desafío aparte que deben abordar los oráculos, las auditorías u otros mecanismos. Entender dónde empieza y termina el límite de la prueba es lo que distingue un análisis informado del bombo publicitario.
#sxt $SXT @SpaceandTime
Space and Time desarrolló Proof of SQL, un sistema de prueba de conocimiento cero en el que un probador ejecuta una consulta SQL sobre datos comprometidos criptográficamente y genera una prueba. Luego, un verificador, ya sea un contrato inteligente en cadena o un cliente fuera de cadena, puede comprobar que el resultado coincide con la consulta especificada y el conjunto de datos comprometido, sin volver a ejecutarla. Esto cierra una brecha de confianza real en la capa de computación.
He aquí un ejemplo hipotético para ilustrar el límite: imaginemos que un fondo inmobiliario tokenizado almacena las cifras de sus reservas en una tabla de Space and Time. En este ejemplo, Proof of SQL podría verificar una consulta que sume las reservas registradas para el fondo. No puede determinar si esas cifras coinciden con los activos reales que se mantienen fuera de cadena. La prueba abarca la integridad de la computación, no si los datos externos reflejan la realidad.
Esto importa en los ámbitos de la IA, la tokenización y las DeFi porque los tres dependen de la recuperación de datos a gran escala. Un agente de IA que consulta análisis en cadena obtiene garantías de que los resultados no fueron manipulados entre la base de datos y su entrega. Un protocolo DeFi que verifica los coeficientes de garantía obtiene lo mismo. La capa de entrada de datos sigue siendo un desafío aparte que deben abordar los oráculos, las auditorías u otros mecanismos. Entender dónde empieza y termina el límite de la prueba es lo que distingue un análisis informado del bombo publicitario.
#sxt $SXT @SpaceandTime
