Computação verificável e verdade verificada não são a mesma coisa, e essa distinção importa mais do que a maioria das pessoas imagina.
A Space and Time desenvolveu o Proof of SQL, um sistema de provas de conhecimento zero no qual um provador executa uma consulta SQL sobre dados comprometidos criptograficamente e gera uma prova. Um verificador, seja um contrato inteligente on-chain ou um cliente off-chain, pode então confirmar que o resultado corresponde à consulta especificada e ao conjunto de dados comprometido, sem executá-la novamente. Isso elimina uma lacuna real de confiança na camada de computação.
Veja uma hipótese para ilustrar esse limite: imagine que um fundo imobiliário tokenizado armazene dados sobre suas reservas em uma tabela da Space and Time. Neste exemplo, o Proof of SQL poderia verificar uma consulta que totaliza as reservas registradas para o fundo. Mas não pode determinar se esses registros correspondem aos ativos reais mantidos off-chain. A prova garante a integridade da computação, não que as informações externas reflitam a realidade.
Isso importa para IA, tokenização e DeFi, pois os três dependem da recuperação de dados em grande escala. Um agente de IA que consulta análises on-chain tem a garantia de que os resultados não foram adulterados entre o banco de dados e a entrega. Um protocolo DeFi que verifica índices de colateral obtém a mesma garantia. A camada de entrada de dados continua sendo um desafio à parte, a ser tratado por oráculos, auditorias ou outros mecanismos. Entender onde os limites da prova começam e terminam é o que distingue uma análise bem fundamentada do exagero.
#sxt $SXT @SpaceandTime
A Space and Time desenvolveu o Proof of SQL, um sistema de provas de conhecimento zero no qual um provador executa uma consulta SQL sobre dados comprometidos criptograficamente e gera uma prova. Um verificador, seja um contrato inteligente on-chain ou um cliente off-chain, pode então confirmar que o resultado corresponde à consulta especificada e ao conjunto de dados comprometido, sem executá-la novamente. Isso elimina uma lacuna real de confiança na camada de computação.
Veja uma hipótese para ilustrar esse limite: imagine que um fundo imobiliário tokenizado armazene dados sobre suas reservas em uma tabela da Space and Time. Neste exemplo, o Proof of SQL poderia verificar uma consulta que totaliza as reservas registradas para o fundo. Mas não pode determinar se esses registros correspondem aos ativos reais mantidos off-chain. A prova garante a integridade da computação, não que as informações externas reflitam a realidade.
Isso importa para IA, tokenização e DeFi, pois os três dependem da recuperação de dados em grande escala. Um agente de IA que consulta análises on-chain tem a garantia de que os resultados não foram adulterados entre o banco de dados e a entrega. Um protocolo DeFi que verifica índices de colateral obtém a mesma garantia. A camada de entrada de dados continua sendo um desafio à parte, a ser tratado por oráculos, auditorias ou outros mecanismos. Entender onde os limites da prova começam e terminam é o que distingue uma análise bem fundamentada do exagero.
#sxt $SXT @SpaceandTime
