br.br

Governo de código aberto para o Brasil

br.br escreve os sistemas do Estado como protocolos abertos, cada um com especificação, implementação de referência e vetores de teste. Justiça, dados públicos, regulação, verificação e moeda rodam sobre o mesmo motor de procedimentos, o Rito. Cada ato do sistema vira um registro assinado que qualquer pessoa pode conferir.

Rodar o núcleo Código no GitHub

Proposta independente da Dover Labs, sem vínculo com o governo.

brbr.call/1 pagamento a fornecedor 
{
  "account": "ed25519:286ba17b4de2ffb7f25b65e712e1a1755ea0105be6cb70e13bf60fe3d62104fb",
  "account_key": "068a18ff1931cda94ed23efa5e14e8188c07c19a63634c6662b23190deaae888",
  "args": {
    "amount": "200000",
    "key_digest": "sha256:d7e5f9c84ac7ae83febe7ec983667db1f38584a1e9e536acd6135b7d1d25a9ac",
    "kind": "supplier",
    "to": "ed25519:b99a55a795e5d7b40df21786bcca2e1ce77005de316008ac6133e40d8c8574a4"
  },
  "call": "transfer",
  "network": "brbr:vectors",
  "nonce": "1",
  "schema": "brbr.call/1",
  "sig": {
    "alg": "ed25519",
    "key_id": "ed25519:286ba17b4de2ffb7f25b65e712e1a1755ea0105be6cb70e13bf60fe3d62104fb",
    "value": "fUtxrPlpHhnlgYLdv92kN2V5Kmjl13kqkttGJIgC14Zq1OKrwbALhUarCAK3WYPaQad+fsVdsYwigCgXU88TDw=="
  }
}
id
conferindo
forma canônica
conferindo
assinatura
conferindo
Um pagamento de R$ 2.000,00 a um fornecedor, com a chave da nota fiscal, tirado dos vetores de teste. O núcleo em Rust, compilado para WebAssembly, recalcula o id e confere a assinatura no seu navegador.

Módulos

Cada módulo começa como especificação. Construído, ganha implementação de referência, vetores de teste e um verificador independente escrito só a partir do texto.

  • construído

    Sistemas judiciais

    O Rito executa procedimentos publicados e congelados. Um caso compromete suas entradas, cada etapa é provada, reexecutada, atestada ou decidida por comitê, e o resultado só vale depois do prazo de contestação. No br.br, notas fiscais, disputas sobre PEP, habilitação e emissão de moeda já correm como procedimentos do Rito.

    rito

  • especificado

    Portais e serviços de dados

    Consolidação pública dos dados de governo de todos os setores e níveis, do registro bruto à publicação, com padrões por domínio, sanitização, reconciliação de cobertura e acesso verificável.

    spec 07

  • especificado

    Regulação

    Atos normativos brutos e camadas de interpretação registradas, cada uma assinada por quem a publicou, com testemunhas de publicação e registro explícito de divergência entre camadas.

    spec 05

  • construído

    Trilhos de verificação

    O Envelope define registros canônicos, assinaturas, árvores de Merkle, ancoragem em cadeia e atestados de enclave. Todo registro do br.br e do Rito usa esse formato.

    envelope

  • núcleo construído

    Sistemas monetários

    Dinheiro público com orçamento como tipo, a origem de cada real e a regra de PEP, mais um portão para dinheiro privado, que não deixa rastro nem publica totais.

    spec 01 spec 02 spec 03 laboratório

Laboratório

O núcleo de referência do módulo monetário roda aqui os mesmos cenários que servem de vetores de teste. Cada passo é um registro assinado que o núcleo aceita ou recusa, sempre com o motivo.

Carregando o núcleo

Especificações

O texto é normativo. Onde a implementação precisa decidir algo que o texto deixa aberto, as notas de construção registram a decisão e a pergunta correspondente.

EspecificaçãoRascunhoEstado
00 Convenções6no núcleo de referência
01 Moeda6no núcleo de referência
02 Ponte6no núcleo de referência
03 Regra de PEP4no núcleo de referência
04 Rede e validadores6especificado
05 Atos e interpretação4especificado
06 Cadeia privada4requisitos
07 Dados2especificado
rito Procedimentos verificáveis4construído
envelope Registros e verificação2construído

Estado

O que existe

Envelope
Rust, vetores, verificador independente com 603 de 603 itens e módulo de âncora em Move.
Rito
Rust, Move, verificador independente com 509 de 509 itens e provas RISC Zero para etapas E1.
Núcleo monetário
Especificações 00 a 03 em Rust, com verificador independente em 1.465 de 1.465 itens e compilação para o navegador.
brbr-dist/1
Circuito Groth16 sobre BN254 para relatórios de distribuição, verificado em Rust, em Move e no navegador.
Sui
Verificações nativas em Move prontas. O núcleo provado em RISC Zero, com a Sui guardando a raiz de estado, está em construção.

O que falta

  • Nada foi publicado em nenhuma cadeia.
  • Dados, regulação e rede estão especificados, sem implementação.
  • A cadeia privada existe como requisitos.
  • As chaves deste laboratório são públicas, só para demonstração.