Event Ledger for AI Tools | Dweve Ledger

Governação do conhecimento que usa o Ledger como espinha dorsal de auditoria.

Analisar o código-fonte em árvores com nós endereçados por conteúdo.

Transcrições de execução dentro de uma sandbox. O Ledger captura o que aconteceu; o Selvedge captura como foi executado.

Certificados de etapas de raciocínio dentro de uma única decisão, não proveniência de eventos num sistema.

O Ledger é publicado na segunda ronda do programa de lançamento da fundação da Dweve; quando isso acontecer, aponte a compilação para o seu backend de armazenamento e inspecione o primeiro append, a verificação de hash e a reprodução numa única execução local.

Cada evento. Com cadeia de hash. Consultável.

Primitivas de integridade com deteção de adulteração

Registo de eventos tipados com cadeia de hash

O Ledger é distribuído como crate Rust, ABI C, processo sidecar e binário de serviço. O padrão sidecar é a implementação de produção mais comum. O mesmo formato de eventos flui por todas as variantes.

Escolha conforme a escala e a necessidade de auditoria

Memória para testes. JSONL para portabilidade. SQLite para incorporação. Postgres para poder de consulta. S3 para arquivo. A forma do registo e a cadeia de hashes são idênticas nos cinco. A migração entre níveis é uma operação de cópia, não uma re-codificação.

Consentimento, DPIA, apagamento, direitos do titular.

Chamadas de ferramentas, aprovações, artefatos, verificações de política e alterações de sistema mantêm cada uma a sua própria forma tipada. Isso torna o histórico suficientemente preciso para consultar sem achatar cada evento numa linha de registo ambígua.

Os números são um instantâneo de benchmark em memória da fonte Ledger fornecida, não um SLA publicado. Execute o harness incluído antes de dimensionar uma carga de trabalho.

Instantâneo, 100 eventos, integridade BLAKE3.

Instantâneo em memória, ledger_append_event.

Tipado, com cadeia de hashes e consultável.

Caminhe até um timestamp, reconstrua o estado.

Uma das 23 variantes tipadas é adicionada à cauda.

Os eventos são tipados, com hash BLAKE3, assinados com Ed25519 nas âncoras de confiança e persistidos num backend à sua escolha. O pipeline é o mesmo independentemente do armazenamento. Passe o rato por uma fase para ler o seu contrato.

Não é possível reconstruir o estado apenas a partir do registo.

Os relógios de vários processos divergem. Não há ordem canónica.

Truncar no fim, rotacionar registos, fácil de alterar.

Texto livre, apenas grep, campos ambíguos.

A maioria dos sistemas de IA escreve registos de texto não estruturados que ninguém consegue repetir. Os painéis SIEM resumem, mas não conseguem reconstruir uma decisão. Os auditores ficam com prosa.

Os registos não conseguem repetir um sistema

Sem corretor ou serviço de eventos alojado.

Percorrimento linear, sem dependência de solvers.

Um comando. A repetição percorre todos os eventos por ordem, verifica a cadeia BLAKE3 e reconstrói o estado em qualquer momento. Os valores abaixo são uma captura de referência em memória do código-fonte do Ledger fornecido, não um SLA publicado. Execute o harness no seu próprio hardware.

Cortado da internet, para os registos mais sensíveis.

Uma região de nuvem fixada a um país europeu, sob regras europeias.

Funciona nos computadores que a sua própria equipa gere, dentro das suas instalações.

Propriedades do projeto e modos de implementação suportados; não é uma afirmação de nível de serviço ou capacidade.

Nenhuma necessária para anexar, verificar ou reproduzir.

Uma cadeia em todos os backends suportados.

Um registo concebido para acompanhar o sistema

Lista de materiais de software e atestação, registados.

Pedido, concedido ou negado, registado por ordem.

Um incidente de IA é registado no momento em que é detetado.

Consentimento, DPIA, apagamento e direitos do titular, cada um um evento tipado.

Reproduza qualquer janela diretamente a partir dos eventos registados.

Os eventos de aprovação mantêm o ator, o âmbito e o resultado juntos.

As ligações hash tornam visíveis qualquer eliminação, reordenação ou mutação.

Um registo tipado substitui junções forenses em registos parciais.

Mantenha a mesma forma de evento em memória, SQLite, Postgres, S3 ou no seu backend.

Reconstrua o estado a partir dos eventos em vez de confiar num instantâneo.

Cada entrada estende a cadeia, pelo que alterações silenciosas falham a verificação.

Novos eventos são anexados sem reescrever o histórico anterior.

O momento mais difícil é quando um auditor ou regulador faz uma pergunta direta e a equipa tem de ir procurar. O Ledger responde de outra forma: as coisas que uma revisão questiona, consentimento, incidentes, aprovações, cadeia de abastecimento, utilização de ferramentas, são registadas como eventos selados quando acontecem. Escolha uma pergunta abaixo e veja qual evento registado já contém a resposta.

A outra pergunta que uma revisão faz é onde o software pode ser executado. O mesmo formato de registo e as mesmas opções de armazenamento funcionam no seu próprio edifício, numa região de nuvem europeia, ou totalmente isolados da internet. Mudar entre eles é uma cópia, não uma reconstrução dispendiosa, por isso a decisão nunca é definitiva.

Uma revisão de aquisição faz duas perguntas simples: o que é que isto poupa e o que é que reduz em risco? O Ledger evita que as equipas tenham de juntar evidências a partir de registos parciais durante um incidente. A sua cadeia de apenas anexação também expõe qualquer tentativa de alterar o histórico depois do facto.

As aplicações mudam, os fornecedores mudam e o armazenamento é substituído. O Ledger mantém um histórico de eventos tipificado através dessas mudanças, com cada entrada ligada à anterior. As operações podem rastrear um incidente, responder a uma auditoria ou reconstruir o estado sem juntar registos parciais.

O registo e o seu formato simples pertencem-lhe, para ler quando quiser.

Fica ao lado do sistema que recorda, sem outra conta ou painel no caminho.

Pode ficar num computador no seu próprio edifício, não num de um estranho ao longe.

Pode ficar num computador no seu próprio edifício, perto de casa.

Conta exatamente a mesma história em todos os computadores, sempre.

Pode lê-lo de qualquer momento, como rebobinar um vídeo caseiro.

Cada linha está selada à anterior, por isso uma mudança silenciosa mostra-se.

Pergunta-se mais tarde o que aconteceu, ou quando? Está escrito para si.

Leia-o em qualquer computador e obtém exatamente a mesma história.

Essa linha está selada à linha anterior, por isso ninguém pode alterá-la silenciosamente.

Quando a IA faz qualquer coisa, uma nova linha é anotada.

Funciona ao lado do sistema de que se lembra.

O caderno fica com o sistema que o utiliza. Não há conta separada para verificar nem painel distante em que confiar: a sua própria equipa pode ler a mesma história ordenada sempre que surgir uma dúvida.

É natural perguntar o que acontece se algo correr mal. E se o registo for alterado? E se se esquecer? E se disser algo diferente noutro lugar? Escolha uma preocupação abaixo e veja, em palavras simples, como um registo honesto lhe responde, para que haja menos uma coisa para o manter acordado.

Não precisa de perceber nada da mecânica. Eis tudo, do início ao fim, como quatro momentos do dia a dia. Algo acontece, é escrito e bloqueado, permanece exatamente igual em todos os computadores, e pode sempre perguntar sobre isso mais tarde.

Pense nisto como um caderno que uma ferramenta de IA mantém para si. Sempre que faz algo, escreve mais uma linha no fundo, e nunca volta atrás para apagar o que já lá está. Folheie as páginas em palavras simples abaixo para ver, com imagens do dia a dia, o que cada parte desse caderno está realmente a fazer por si.

O Ledger é um registo de eventos para sistemas de IA. Mantém um histórico de apenas adição que não pode ser editado silenciosamente, para que, quando um auditor ou regulador perguntar o que aconteceu, tenha uma resposta direta. É construído na UE e pode funcionar inteiramente em infraestrutura que controla: um registo de quem chamou o quê, quem aprovou o quê e o que aconteceu a seguir.

Pergunte o que aconteceu, a qualquer momento

O Ledger é a parte de um sistema de IA que mantém silenciosamente um caderno honesto. Sempre que a IA faz algo, escreve uma nova linha e sela-a, para que nada possa ser alterado nas suas costas. Leia-o amanhã, ou num computador diferente, e obtém a mesma história na mesma ordem.

Quando um regulador pergunta o que aconteceu no seu sistema, precisa de mais do que registos: precisa de um registo de eventos apenas de adição onde cada entrada estende uma cadeia BLAKE3, cada tipo é fortemente tipado, e qualquer janela de histórico pode ser reproduzida para reconstruir o estado. Ledger é proveniência de eventos para sistemas: quem chamou o quê, quem aprovou o quê, quem leu o quê, por ordem, sem possibilidade de edições silenciosas. Ao contrário do AION, que certifica os passos de raciocínio dentro de uma única decisão de IA, o Ledger regista os eventos que ocorreram em todo um sistema. Ao contrário do Selvedge, que captura transcrições de execução dentro de uma sandbox, o Ledger captura proveniência entre múltiplos atores e serviços.