mirim

Versão 1.1.0 · 15 de julho de 2026

Ergonomia de consulta, e pacotes que você instala.

Nenhum formato em disco mudou. Todo vault, exportação selada, log e manifesto da 1.0.0 abre sem alteração na 1.1.0, o SQL novo é só de consulta, e a pilha criptográfica não se moveu. Esta versão cuida das partes que você toca: moldar resultados, carregar um arquivo, e obter um binário sem compilador.

Histórico completo no changelog, no formato Keep a Changelog, com versionamento semântico.

Download

mirim 1.1.0 para Linux x86-64.

Todo artefato está listado no SHA256SUMS e carrega uma assinatura ML-DSA-87 destacada, produzida pela própria ferramenta de assinatura do mirim. Os builds de release são reprodutíveis: o job compila duas vezes e se recusa a publicar se os dois digests não baterem.

# 1. checksums
$ sha256sum -c SHA256SUMS --ignore-missing
mirim_1.1.0-1_amd64.deb: OK

# 2. assinatura pos-quantica (ML-DSA-87)
$ mirim-sign verify mirim_1.1.0-1_amd64.deb \
      mirim_1.1.0-1_amd64.deb.mf mirim-release.pub
ok

# 3. instale
$ sudo apt install ./mirim_1.1.0-1_amd64.deb
$ mirim notas.mrm

# Guix
$ guix shell rust rust:cargo gcc-toolchain -- \
      cargo build --release

# Debian / Ubuntu
$ sudo apt install curl build-essential
$ curl --proto '=https' --tlsv1.2 -sSf \
      https://sh.rustup.rs | sh
$ cargo build --release

# com a ferramenta de assinatura, ou so a biblioteca
$ cargo build --release --features cli,sign
$ cargo build --release --no-default-features

c7be647a9bc4251c985db233cc79e934fa3d21226b6bc68f336df4c44d1737df  mirim-1.1.0-1.x86_64.rpm
06b1968f8f82fff743efc64b0724793d13a2913e5aa1ff1ad2feb19833dc7175  mirim-1.1.0-1.x86_64.rpm.mf
ec12a859015d57a4615f04aea673f67ab6a44292889d70081a2b5623f6ba9ca7  mirim-1.1.0-x86_64-linux.tar.gz
1cf660b778952cfce737910cb982d86ca970871415ce8aa5ac401c9070aaff8b  mirim-1.1.0-x86_64-linux.tar.gz.mf
4415a703c6a4616d13fc6a39b7d4c5e003c6d1afdc98e05f5df0a7b44db10a89  mirim-gui-1.1.0-x86_64-linux
cacc3174fbef141fcb1133419611c4d51216a436a860eb8f38fa35608d738180  mirim-gui-1.1.0-x86_64-linux.mf
9dc874c918a8d6811ca4d500df1912044503c4e1e1650c1862aabab501559648  mirim-release.pub
73232994a8106337ed30d83bab1fec36cd3415d1a5210fffbed00a907ad93b35  mirim_1.1.0-1_amd64.deb
716e2d940e52102664f3eb5d107bebb1e58d9e184f5946703e3c261f77cb5fad  mirim_1.1.0-1_amd64.deb.mf

macOS e Windows: compile a partir do código. O procedimento é cargo build --release com a toolchain fixada, e nada além disso.
Espelhos: os mesmos bytes estão no Codeberg e no GitHub. O SHA256SUMS é idêntico nos três, então verifique contra o que você confia e baixe de onde for rápido.

O que ele faz

Dados pequenos, mantidos privados e duráveis.

O mirim guarda dados que devem ficar em memória, cifrados em disco, e recuperáveis depois de uma queda: chaves, credenciais, registros de permissão, trilhas de auditoria, configuração.

Dialeto

Toda a superfície SQL, em uma tela.

Dois tipos, nenhuma coerção, nenhuma surpresa. O que segue não é um resumo da linguagem. É a linguagem.

-- Comentarios de linha, e /* de bloco */ (1.1.0).

CREATE TABLE users (
  id    INTEGER PRIMARY KEY,  -- unico, indexado
  email TEXT UNIQUE,          -- aceita varios NULL
  age   INTEGER
);

-- Uma linha por INSERT. Colunas omitidas viram NULL.
INSERT INTO users VALUES (1, 'ana@x.io', 30);
INSERT INTO users (id, email) VALUES (2, 'bia@x.io');

SELECT email, age FROM users
  WHERE age >= 18 AND email IS NOT NULL;
SELECT * FROM users ORDER BY age DESC;
SELECT id FROM users ORDER BY id LIMIT 10 OFFSET 20;
SELECT COUNT(*) FROM users WHERE age IS NULL;

-- Atomico por instrucao: uma violacao nao muda nada.
UPDATE users SET age = 31 WHERE id = 1;
DELETE FROM users WHERE id = 2;

Entrada não confiável entra como parâmetro ? vinculado, nunca como texto SQL. Passo a passo completo no guia. Cinco esquemas prontos em samples/.

Medido

Todo número aqui é reproduzível.

Sem adjetivos. Medianas do Criterion em x86-64, em memória, contra o SQLite via rusqlite com a biblioteca embutida. Onde o mirim é mais lento, está escrito.

rustc 1.96.0, 30 amostras em 3 s (grupos duráveis com 20). O armazenamento era virtualizado, então os números de fsync em especial variam em discos reais. Igualdade em coluna não indexada ainda varre O(linhas), e o DELETE reconstrói o índice da tabela afetada depois: assintoticamente igual, uma constante modesta.

Comparação

Onde o mirim realmente difere.

Não é em poder de SQL. SQLite, DuckDB e libSQL passam longe do mirim nisso, por projeto. A diferença é a postura de segurança: o mirim é o único aqui que deriva a chave em repouso com um KDF memory-hard por padrão, e o único que oferece selagem e assinatura pós-quânticas.

Os números são medidos aqui, citados da documentação de cada fornecedor, ou fatos simples do formato em disco. A análise completa, com todas as fontes, está em docs/comparison.md.

Criptografia

Primitivas com nome, e com o padrão delas.

Nenhuma cifra caseira, e nenhum protocolo inventado internamente. Cada primitiva é uma implementação revisada, exercitada contra os vetores de teste oficiais.

A decapsulação do ML-KEM é por rejeição implícita, então chave errada e arquivo adulterado são indistinguíveis: os dois viram um único Error::Crypto sem detalhe. A suíte fixa vetores oficiais, todos extraídos por máquina das fontes: AEAD da RFC 8439 §2.8.2, KATs do NIST ACVP FIPS 203 (keyGen e encap/decap, incluindo um caso de rejeição implícita com texto cifrado modificado), KATs do NIST ACVP FIPS 204 (keyGen, sigGen determinístico com contexto, e sigVer com negativos de assinatura modificada), e o vetor Argon2id da RFC 9106 §5.3.

Em disco

Seis formatos. Todos congelados desde a 1.0.0.

Estes layouts continuarão legíveis. Uma mudança que quebrasse formato seria uma nova versão maior, e a 1.1.0 não encostou em um único byte de nenhum deles.

Todo cabeçalho é vinculado como dado associado AEAD, então um bit invertido em qualquer lugar falha na autenticação e não existe decodificação parcial de arquivo adulterado. Chaveamento e AAD vinculam cada registro do log aos bytes exatos do snapshot que ele estende, então replay entre vaults, reordenação e emenda falham fechado. Os layouts byte a byte estão no README.

Modelo de ameaças

Os não-objetivos são a metade que importa.

Uma ferramenta que só diz o que defende está vendendo alguma coisa. Aqui está a forma do modelo; o SECURITY.md traz o texto completo, e vale ler antes de depender de qualquer coisa disto.

Postura de tempo constante, revisada ponto a ponto e registrada no SECURITY.md: nenhum desvio, comparação ou índice de tabela pertencente ao mirim depende de material secreto. Dois sinais de tempo deliberados permanecem e estão documentados, ambos sem oráculo controlável por atacante. Reporte uma vulnerabilidade pelo contato no SECURITY.md.

Licença

Licença dupla. Escolha a que serve.

Aberto por padrão sob AGPL-3.0-only. Existe uma licença comercial para os casos em que os termos da AGPL não servem.

Termos completos em LICENSE e LICENSING.md. Copyright (c) 2026 Cristian Cezar Moisés.