EctoLedger: Sandbox de microVM de código aberto para agentes de IA locais com acesso ao terminal

EctoLedger é um firewall e livro-razão de tempo de execução de código aberto projetado para executar com segurança agentes de IA autônomos localmente com acesso ao terminal ou a ferramentas. A ferramenta aborda o risco de segurança de que os sandboxes padrão do Docker ou chroot podem eventualmente falhar, potencialmente permitindo que um comando alucinado como curl | bash ou uma exploração do kernel comprometa o sistema hospedeiro.

Camadas de segurança e isolamento

EctoLedger implementa quatro camadas de prevenção que são executadas antes de qualquer ação ser realizada:

• Verificações de política semântica
• Validador de LLM duplo
• Impositor de esquema
• Interruptor de emergência Tripwire

Só após essas verificações o sistema executa comandos em isolamento real usando o Apple Hypervisor.framework no macOS ou o Firecracker microVM no Linux. De acordo com a fonte, isso proporciona acesso zero possível ao hospedeiro.

Implementação técnica

O núcleo é escrito em Rust com uma interface gráfica Tauri. O sistema cria um rastreamento de auditoria verificável por ZK de cada chamada de ferramenta, fornecendo um livro-razão das ações do agente. O projeto é totalmente de código aberto sob a licença Apache 2.0 sem paywalls.

Começando

O início rápido envolve executar docker compose up de acordo com as instruções da demonstração e do início rápido. A fonte fornece dois links principais:

• Demonstração + início rápido: https://ectospace.com/EctoLedger
• Repositório GitHub: https://github.com/EctoSpace/EctoLedger

O material de origem enquadra isso como uma solução para desenvolvedores que executam agentes de IA locais e precisam de um isolamento mais forte do que o fornecido pela conteinerização padrão, especialmente quando os agentes têm acesso ao terminal que poderia executar comandos potencialmente prejudiciais.