Um protocolo para tornar a AI verificada e verificável.

O recibo é um resumo compacto de como o modelo chegou à sua resposta. Qualquer outro operador pode reproduzi-lo contra a cópia pública do modelo e decidir se a resposta foi honesta. Uma verificação ingénua do tipo 'voltar a executar e comparar cada dígito' não funciona em IA: o mesmo modelo em placas gráficas diferentes produz internamente números ligeiramente distintos, mesmo quando a resposta é genuína (porquê?)O mesmo modelo de IA em placas gráficas diferentes produz minúsculas diferenças numéricas (kernels de atenção, tamanhos de lote, logits) — inofensivas, mas que descartam verificações simples bit-a-bit.. Por isso usamos antes um teste estatísticoUm teste de passa/chumba calibrado para que fornecedores honestos passem com elevada probabilidade e os batoteiros sejam apanhados — usado porque a repetição exata não é possível em IA., calibrado para que os fornecedores honestos passem e os batoteiros sejam apanhados. O teste corre em três níveis crescentes — uma verificação rápida, uma verificação de profundidade média e uma auditoria completa (Quick / Smell / Full)Três camadas crescentes de verificação: Quick (em menos de um segundo), Smell (amostragem de profundidade média) e Full (auditoria completa). Cada uma é mais exigente do que a anterior. — e cada nível é mais exigente do que o anterior. O software de verificação é open-source: qualquer pessoa o pode correr, e quem detete um bloco desonesto pode contestá-lo.

Servir e minerar são um único trabalho, não dois. Corremos uma versão personalizada dos motores de serviço de IA open-source de referênciaVersões em fork de vLLM (o motor de serviço em GPU de referência) e llama.cpp (um motor para CPU / Apple Silicon) — modificados para registar a transcrição da prova enquanto respondem. — a captura da prova acontece dentro do mesmo passo que produz a resposta, pelo que os utilizadores não notam qualquer abrandamento. O tempo de GPU em inatividade é preenchido com prompts internos de prática, que cedem a vez no momento em que chega um utilizador pagante. Se por acaso uma resposta ultrapassar a barra de dificuldadeO limiar de raridade que uma prova tem de superar para ser aceite como um novo bloco — ajustado automaticamente para manter o tempo de bloco estável. da rede, torna-se um bloco candidato; se não ultrapassar, terá ainda assim servido um cliente pagante. De qualquer das formas, a eletricidade não é desperdiçada e não há hardware de mineração separado para comprar.

TensorCash é uma fork do Bitcoin Core. Mantemos a forma como o Bitcoin regista as moedasO modelo contabilístico do Bitcoin — em vez de saldos ao estilo bancário, as moedas existem como 'outputs não gastos' discretos, herdados de transações anteriores., como assina transaçõesA forma já existente do Bitcoin assinar e verificar transações com chaves criptográficas. e como os blocos são passados entre nós — e depois adicionamos um pequeno conjunto de regras novas, todas propositadamente restritas. Cada bloco transporta uma prova compacta de trabalho de IAProof-of-inference — um recibo compacto e replicável anexado a cada resposta de IA, para que outros possam verificar que foi mesmo um modelo real a produzi-la. e um alvo de dificuldadeO limiar de raridade que uma prova tem de superar para ser aceite como um novo bloco — ajustado automaticamente para manter o tempo de bloco estável., além de um relógio criptográficoVerifiable Delay Function — um relógio criptográfico baseado na construção de Wesolowski, que prova que decorreu tempo real, mesmo com hardware paralelo ilimitado. que prova que decorreu tempo real durante a mineração. As provas são verificadas em três camadas crescentes (Quick / Smell / Full)Três camadas crescentes de verificação: Quick (em menos de um segundo), Smell (amostragem de profundidade média) e Full (auditoria completa). Cada uma é mais exigente do que a anterior.: duas rápidas que controlam o modo como os blocos circulam entre nós, e uma auditoria completa que corre em segundo plano. Antes de aceitar uma cadeia concorrente, os nós também pesam quanto tempo real foi honestamente gasto nela (proof-of-time)Uma medida do esforço em tempo real por trás de uma cadeia (via VDF), usada em conjunto com o proof-of-work para pontuar cadeias concorrentes., e não apenas o poder computacional bruto — e qualquer reescrita profunda do histórico recente desencadeia um aviso forense antes de a cadeia ser trocada. Crucialmente, não acoplámos uma camada de programação de uso geral (sem máquina virtual de smart contracts)Ao contrário da Ethereum e da maioria das cadeias modernas, a TensorCash não tem qualquer linguagem de programação de smart contracts de uso geral — a superfície de ataque que causou a maior parte dos hacks de DeFi não existe aqui. — o tipo que esteve na origem da maioria dos hacks de DeFi mais mediáticos da última década. A cadeia faz apenas o que tem de fazer, e nada mais.

Os ativos emitidos vivem na cadeia da mesma forma que a TSC — não como IOUs a correr dentro de um smart contract. O emitente preenche um registo de ativoO registo na cadeia onde vivem os parâmetros de um ativo — ticker, limite de fornecimento, regras de transferência, termos legais, regras de governance e bond. que fixa as regras: símbolo do ticker, casas decimais, fornecimento máximo, quem pode transferir, quem precisa de passar verificações de identidade, os termos legais, as regras de voto e um depósito de garantia reembolsávelUm depósito reembolsável em moeda nativa (Issuance Control Unit bond) que um emitente bloqueia ao criar um ativo — libertado assim que o ativo tenha acumulado atividade suficiente para provar que não é spam.. Não há taxa de listagem, mas o depósito permanece bloqueado até o ativo ter pago taxas de mineração suficientes para provar que é um ativo genuíno, e não spam. Uma vez publicadas, as regras são impostas por cada nó da rede: a cadeia recusa-se a emitir acima do limite, recusa-se a reutilizar ou renomear um ticker, recusa transferências para destinatários inelegíveis e recusa edições silenciosas aos termos legais.

Os emitentes podem publicar os documentos legais que pertencem a um ativo — prospeto, term sheet, registos de governance, divulgações restritas a detentores — e prendê-los diretamente ao ativo na cadeia. Os documentos públicos são legíveis por qualquer pessoa. Os documentos restritos a detentores são cifrados; apenas as carteiras dos detentores reais recebem a chave para os desbloquear. Em qualquer caso, a cadeia regista uma impressão digitalUma impressão digital criptográfica curta e de comprimento fixo de um documento — qualquer alteração ao documento produz uma impressão completamente diferente. permanente do documento, com selo temporal. Se alguém tentar substituí-lo mais tarde por uma versão diferente, os detentores apercebem-se de imediato. Assinaturas digitais reguladas pela UEQualified Electronic Signature — o nível mais elevado de assinatura digital regulada pela UE ao abrigo do quadro eIDAS, juridicamente equivalente a uma assinatura manuscrita., registos notariais ou assinaturas PGP podem todos apontar para essa mesma impressão digital — a cadeia não precisa de compreender o artefacto jurídico em si, apenas de atestar o que foi assinado e quando.

Três das estruturas de negociação mais comuns nas finanças — compra imediata (spot), empréstimo com colateral contra dinheiro (repo) e acordo hoje para entrega futura (forward) — partilham todas uma regra que a cadeia impõe: a transação de gasto tem de conter exatamente este output, deste montante, neste ativoOP_OUTPUTMATCH — um novo opcode de Tapscript introduzido pela TensorCash. Impõe uma única regra: a transação de gasto tem de conter um output exatamente deste montante, exatamente neste ativo, bloqueado a exatamente este script.. Essa única regra basta para exprimir todas as variantes destes contratos, sem que a cadeia precise de uma linguagem de programação de uso geral — e sem as falhas de segurança que vêm com uma. A verificação olha apenas para a transação atual: sem remexer no histórico, sem estado mutável de contrato, sem nada para explorar. As condições do negócio mantêm-se privadas até ao momento em que uma perna do negócio é executadaUma atualização do Bitcoin de 2021 que mantém o detalhe de um contrato escondido até ao momento em que é executado — quem observa vê apenas um output bloqueado genérico. — a cadeia pública vê um output bloqueado genérico, e não o term sheet que está por trás.

A carteira trata de todo o fluxo pré e pós-negociação num só sítio. Acontecem três coisas nos bastidores: primeiro, uma rede de mensagens descentralizadaUm protocolo de mensagens simples e resistente à censura, usado aqui para divulgar ofertas de negociação em aberto sem passar por qualquer venue central. permite-te consultar as ofertas em aberto sem passar por qualquer venue único; depois, assim que encontres uma contraparte, as vossas carteiras abrem um canal privado e cifradoDois protocolos criptográficos bem estudados (Noise e SPAKE2) que, em conjunto, abrem um canal privado e autenticado por palavra-passe entre duas carteiras. que apenas os dois conseguem ler; por fim, uma cerimónia criptográficaUm negócio que ou se conclui para ambas as partes ou para nenhuma — nunca a meio caminho. Construído aqui com recurso a Hash Time-Locked Contracts e adaptor signatures. garante que o negócio é atómico — ou ambos os lados recebem o que esperavam, ou nenhum dos lados move fundos. Uma única página da carteira cobre as seis etapas do ciclo de vida do negócio — descoberta, ofertas, negociação, governance, debate e trocas cross-chain. Para negócios que atravessam TensorCash e Ethereum, um smart contract complementarTensorSwap — um pequeno contrato em Solidity sobre a Ethereum Virtual Machine, que trata do lado Ethereum de um negócio cross-chain TensorCash↔Ethereum. trata do lado Ethereum.

Desde o primeiríssimo bloco, a TensorCash suporta dois esquemas de assinatura paralelos lado a lado: os mesmos esquemas comprovados que o Bitcoin usa hojeOs dois esquemas de assinatura que o Bitcoin já usa — ECDSA (legado) e Schnorr (moderno). Ambos suportados na TensorCash desde o primeiro dia., e um novo esquema resistente ao quânticoML-DSA (NIST FIPS 204) — um esquema de assinatura desenhado para permanecer seguro mesmo contra um futuro computador quântico. Padronizado pelo NIST em 2024. padronizado pelo National Institute of Standards and Technology dos EUA em 2024. Os utilizadores escolhem qual o esquema que querem no momento em que criam um endereço — e ambos os esquemas permanecem válidos para sempre. Como a TensorCash arrancou com os dois logo de início (uma fork de génese)Uma blockchain que arranca como a sua própria génese (bloco zero), em vez de se separar de uma cadeia existente — para que regras novas possam entrar em vigor desde o primeiro bloco, sem necessidade de votação de upgrade., não há nenhum upgrade desajeitado mais tarde, nem espera por uma votação da rede para uma nova regra, nem necessidade de migrar fundos antigos.

Algumas componentes da negociação — matching rápido de ordens, alavancagem, liquidez profunda — não podem ser feitas numa blockchain à velocidade que os traders sérios exigem. A TensorCash especifica uma camada de bolsa separada e mais rápida, que se coloca acima da cadeia. O que a torna diferente é que nenhum servidor isolado vê alguma vez o livro de ordens completo: é repartido criptograficamente por dez validadores independentesUma técnica criptográfica que reparte um segredo por N partes, de modo a que quaisquer K delas o consigam reconstruir, mas menos de K não aprendem nada. Aqui, 6 em 10 entre validadores independentes., e são precisos seis deles, em conjunto, para agir sobre qualquer parte dele. Nenhuma parte sozinha pode espreitar o fluxo de ordens antes de um negócio fechar, nem pode pôr a negociação em pausa. Assim que um negócio é emparelhado, é liquidado de volta na cadeia base usando as mesmas regras de atomic swap que qualquer negócio entre duas partes usa.

A dificuldade de mineração sobe e desce conforme a computação de IA que a rede está a correr, pelo que funciona como um índice em tempo real da procura por computação de IA. Duas partes depositam margem em cofres privadosUma atualização do Bitcoin de 2021 que mantém o detalhe de um contrato escondido até ao momento em que é executado — quem observa vê apenas um output bloqueado genérico. separados e a cadeia liquida-as contra essa dificuldade num bloco futuro fixadoO contrato lê a dificuldade num bloco comprometido e já consolidado — não no bloco que o liquida — para que nenhuma das partes consiga calcular o momento da liquidação à volta de uma mudança de dificuldade. Assim que esse bloco é final, o pagamento fica fixado. — resistente a manipulação, porque o pagamento fica fechado assim que esse bloco fica consolidado. A forma mais simples é um CFD com perda limitadaUm contrato por diferenças cuja perda é limitada: cada lado deposita colateral à partida e pode perder, no máximo, esse montante, sem margin calls e sem liquidações.: tomas posição longa ou curta sobre o ciclo da computação, e o máximo que podes alguma vez perder é a tua própria margem. Um pequeno prémio inicial transforma-o numa opçãoPagar um prémio único transforma o contrato numa call coberta ou put coberta sobre computação de IA — a perda do comprador limita-se ao prémio, e o vendedor recebe-o por depositar colateral. — uma call coberta ou put coberta sobre computação. Os mineradores e os fornecedores de IA usam-no para cobrir receita quando a dificuldade sobe; quem faz cobertura por fora ganha exposição às tendências da computação de IA sem ter de pôr a correr uma única GPU. Como tudo o resto por aqui, é imposto nativamente pelo consenso (sem VM de smart contracts)Ao contrário da Ethereum e da maioria das cadeias modernas, a TensorCash não tem qualquer linguagem de programação de smart contracts de uso geral — a superfície de ataque que causou a maior parte dos hacks de DeFi não existe aqui., e uma liquidação cooperativa é em tudo igual a um pagamento normal.