Uma máquina virtual de conhecimento zero que gera provas de execução correta para programas escritos em Rust ou em outras linguagens compiladas com LLVM.
aleo-labs-protocol/snarkOS
Sistema operacional descentralizado e software de nós que executam a rede Aleo para aplicações de conhecimento zero.
- Estrelas
- 4,530
- Forks
- 2,697
- Issues abertas
- 131
- Último commit
- há 24 horas
O que é?
snarkOS é a implementação de nós por trás da rede Aleo, uma blockchain para aplicações de conhecimento zero. Ele verifica transações e armazena o estado criptografado das aplicações de forma publicamente verificável. O software oferece três funções de nó: validadores, que participam do consenso AleoBFT; clientes, que mantêm uma cópia do ledger e retransmitem transações e soluções; e provers, que resolvem o puzzle da Aleo sem manter o ledger.
O projeto é escrito em Rust e instalado a partir do código-fonte com cargo. Ele oferece uma CLI snarkos para iniciar nós, criar contas Aleo e assinar com elas, além de um servidor REST na porta 3030 para clientes. Os validadores podem disponibilizar telemetria e métricas do Prometheus, e um devnet local pode ser iniciado com um script para testar vários nós em uma única máquina.
Quem opera nós precisa de hardware robusto: as especificações para validadores indicam 64 ou mais núcleos, 256 GiB de RAM e vários terabytes de armazenamento NVMe. O repositório também inclui ferramentas de backup local baseadas em checkpoints do RocksDB e documentação para migrar formatos de armazenamento mais antigos.
Recursos principais
- 01Executa as funções de validador, cliente e prover na rede Aleo.
- 02Oferece a CLI snarkos para iniciar nós e gerenciar contas Aleo.
- 03Disponibiliza um servidor REST para clientes e endpoints de telemetria para validadores.
- 04Inclui um script de devnet local para executar vários nós em uma única máquina.
- 05Oferece backups locais baseados em RocksDB que usam hard links para economizar espaço.
Casos de uso
- Operar um nó validador ou cliente na rede Aleo.
- Contribuir com capacidade de prova como nó prover.
- Testar o comportamento da Aleo com vários nós em uma devnet local.
- Estudar o código de consenso e de rede de uma blockchain de conhecimento zero.
Início rápido
- 1
Instale o Rust (consulte o link de instalação do Rust no README).
- 2
Clone a branch mainnet do repositório.
git clone --branch mainnet --single-branch https://github.com/ProvableHQ/snarkOS.git - 3
Instale o snarkOS a partir do diretório clonado.
cargo install --locked --path . - 4
Inicie um nó cliente (após a instalação, execute-o de qualquer diretório).
snarkos start --client --nodisplay --node 0.0.0.0:4130 --peers "core_client_ip_1:4130,core_client_ip_2:4130,core_client_ip3:4130,outer_client_ip_1:4130,..." --verbosity 1 --rest 0.0.0.0:3030
Antes de usar
- As únicas plataformas de cliente compatíveis são Ubuntu, macOS e Windows; validadores exigem Ubuntu 22.04.
- A execução de um nó exige hardware de altíssimo desempenho. Clientes precisam, por exemplo, de 128 GiB ou mais de RAM e vários terabytes de armazenamento.
- O recurso CUDA prover é experimental e pode sofrer alterações incompatíveis.
Tópicos
Perguntas frequentes
- O que é snarkOS?
- Sistema operacional descentralizado e software de nós que executam a rede Aleo para aplicações de conhecimento zero. snarkOS é a implementação de nós por trás da rede Aleo, uma blockchain para aplicações de conhecimento zero. Ele verifica transações e armazena o estado criptografado das aplicações de forma publicamente verificável. O software oferece três funções de nó: validadores, que participam do consenso AleoBFT; clientes, que mantêm uma cópia do ledger e retransmitem transações e soluções; e provers, que resolvem o puzzle da Aleo sem manter o ledger.
- snarkOS é gratuito? Qual é a licença?
- snarkOS é open source sob a licença Apache-2.0. Confira os termos da licença antes de usá-lo em produtos comerciais.
- snarkOS ainda é mantido?
- Manutenção ativa. O último commit de snarkOS foi em 6 de nov. de 2026.
- Para que posso usar snarkOS?
- Operar um nó validador ou cliente na rede Aleo. Contribuir com capacidade de prova como nó prover. Testar o comportamento da Aleo com vários nós em uma devnet local. Estudar o código de consenso e de rede de uma blockchain de conhecimento zero.
- Como instalar snarkOS?
- Instale o Rust (consulte o link de instalação do Rust no README). Clone a branch mainnet do repositório.: git clone --branch mainnet --single-branch https://github.com/ProvableHQ/snarkOS.git Instale o snarkOS a partir do diretório clonado.: cargo install --locked --path . Inicie um nó cliente (após a instalação, execute-o de qualquer diretório).: snarkos start --client --nodisplay --node 0.0.0.0:4130 --peers "core_client_ip_1:4130,core_client_ip_2:4130,core_client_ip3:4130,outer_client_ip_1:4130,..." --verbosity 1 --rest 0.0.0.0:3030
- Onde consigo snarkOS?
- O código-fonte e as instruções de instalação estão no GitHub: https://github.com/aleo-labs-protocol/snarkOS
Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.
Projetos relacionados
Implementação em Rust do nó da blockchain Proof-of-Stake da Nimiq, baseada no algoritmo de consenso Albatross.
Framework TypeScript para criar circuitos de conhecimento zero e zkApps, com geração e verificação de provas no navegador, no Node ou para o Mina Protocol.
Implementação em Rust de prova e verificação de Circle STARK sobre o campo M31, com um verificador no_std e backend de prova com SIMD.
Biblioteca JavaScript e WebAssembly para gerar e verificar provas zkSNARK com Groth16, PLONK e FFLONK, usada com circuitos circom.
App de votação privada on-chain na Cardano, em que os eleitores comprovam sua participação com provas de conhecimento zero e mantêm seus votos anônimos.