💻 computer science

Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State)

Este artigo apresenta o Symfrog-512, um algoritmo de criptografia autenticada (AEAD) baseado em esponja com estado de 1024 bits, acompanhado de uma implementação de referência completa, vetores de teste determinísticos e um conjunto de benchmarks reproduzíveis, todos disponíveis publicamente sob licença MIT para verificação independente e análise criptográfica.

Autores originais: Victor Duarte Melo

Publicado 2026-02-23

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Victor Duarte Melo

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você precisa enviar um pacote valioso pelo correio, mas não quer que ninguém saiba o que tem dentro, nem que alguém troque o conteúdo ou adicione algo falso sem você perceber.

O SymFrog-512 é um novo "sistema de correio super seguro" criado pelo pesquisador Victor Duarte Melo. Ele é um método de criptografia (escrever códigos secretos) que faz duas coisas ao mesmo tempo: esconde o segredo e garante que o pacote não foi adulterado.

Aqui está uma explicação simples, usando analogias do dia a dia:

1. O Motor do Sistema: A "Fábrica de Mistura" (Permutação)

No coração desse sistema existe uma máquina chamada P1024-v2.

A Analogia: Imagine uma máquina de lavar roupa gigante com 16 baldes de água (cada um representando uma parte do estado).
Como funciona: Quando você coloca algo dentro, a máquina não apenas mistura a água; ela aplica 24 ciclos de lavagens diferentes. Ela joga sabão, torce a roupa, gira os baldes e mistura tudo de formas complexas e aleatórias.
O Objetivo: Mesmo que você coloque apenas uma gota de corante (uma pequena mudança no dado), após 24 ciclos, a cor de todos os baldes muda completamente. É impossível saber como a água estava antes apenas olhando para ela depois. Isso garante que o segredo fique bem escondido.

2. O Método de Envio: A "Esponja Dupla" (Duplex Sponge)

O SymFrog usa um método chamado "Esponja Dupla".

A Analogia: Pense em uma esponja de cozinha muito grande.
- Absorção (Encher a esponja): Você joga o texto original (e qualquer informação extra, como o endereço) na esponja. A esponja "bebe" essa informação e a mistura internamente.
- Espremer (Sair o segredo): Você aperta a esponja e sai um líquido novo. Esse líquido é o texto criptografado.
O Diferencial: A maioria dos sistemas só usa metade da esponja para espremer. O SymFrog usa toda a esponja (512 bits de entrada e 512 bits de "segurança" interna). Isso é como ter uma esponja com um fundo de aço: é muito difícil para um hacker furar o fundo e descobrir o que estava lá dentro, mesmo que ele tente espremer a esponja milhões de vezes.

3. A "Etiqueta de Segurança" (Tag de Autenticação)

Ao final do processo, o sistema gera uma "etiqueta" de 32 bytes (como um selo de cera).

A Analogia: Imagine que, além de fechar o pacote, você cola um selo de cera que só você e o destinatário conhecem.
A Mágica: Se alguém tentar abrir o pacote, mudar uma letra ou adicionar um bilhete falso, o selo de cera vai quebrar ou ficar diferente. O destinatário vai saber imediatamente: "Ei, esse pacote foi violado!". O SymFrog usa um selo gigante (256 bits), o que significa que a chance de alguém adivinhar o selo correto por sorte é de 1 em um número maior do que o número de átomos no universo.

4. A Chave e a "Carta de Apresentação" (Arquivo Criptografado)

O sistema cria um arquivo especial com um cabeçalho (o topo do arquivo).

A Chave: Você pode usar uma senha longa ou uma frase secreta. Se for uma frase, o sistema usa uma "ferramenta de fortalecimento" (Argon2id) que transforma a frase em uma chave matemática complexa, difícil de ser descoberta mesmo por computadores superpotentes.
O Cabeçalho: Antes de começar a ler o conteúdo secreto, o sistema verifica a "capa" do arquivo. Se a capa não tiver o selo correto, o sistema diz "Não, isso não é meu" e para imediatamente. Isso economiza tempo e evita que você tente decifrar lixo.

5. Por que isso é importante? (Segurança e Velocidade)

Segurança Conservadora: O autor diz: "Não prometo que minha máquina é perfeita contra todos os ataques do mundo, mas construí com margens de segurança enormes". É como construir um cofre com paredes de 1 metro de espessura, mesmo que o ladrão só tenha um martelo pequeno.
Velocidade: O sistema é rápido. Em testes, ele conseguiu criptografar dados na velocidade de 131,7 Megabytes por segundo. É como encher um caminhão de dados em menos de um segundo.
Fluxo Contínuo: Ele funciona como uma mangueira de água. Você pode enviar dados aos poucos (streaming) sem precisar esperar o arquivo todo estar pronto.

Resumo Final

O SymFrog-512 é um novo jeito de proteger dados que:

Usa uma máquina de mistura complexa para embaralhar informações.
Usa uma esponja gigante para garantir que ninguém consiga ver o que está escondido.
Coloca um selo de segurança que prova que o pacote é original e não foi mexido.
É rápido e foi feito para ser fácil de usar em arquivos reais, com verificações de segurança desde o primeiro byte.

É um projeto experimental (ainda não foi testado por todos os especialistas do mundo), mas foi construído com princípios sólidos e transparência total, convidando a comunidade a tentar "quebrar" o código para ver se aguenta o tranco.

1. Problema e Contexto

A criptografia baseada em permutações (como o framework Sponge) oferece uma estrutura unificada e eficiente para primitivas criptográficas, popularizada pelo Keccak/SHA-3. No entanto, a maioria das soluções existentes foca em padrões específicos (como AES-GCM ou ChaCha20-Poly1305) ou em permutações padronizadas (Keccak). O SymFrog-512 surge como uma proposta experimental de Autenticação de Dados com Criptografia Associada (AEAD) que busca:

Oferecer limites de segurança genéricos conservadores através de uma grande capacidade interna.
Manter uma implementação simples baseada em operações de 64 bits.
Definir um formato de arquivo robusto com autenticação de cabeçalho para rejeição precoce de chaves incorretas.
Preencher a lacuna entre a teoria de modelos ideais e implementações práticas com artefatos verificáveis.

2. Metodologia e Especificação Técnica

O SymFrog-512 é construído sobre dois pilares principais: uma permutação customizada e um modo de operação Duplex Sponge.

A. Permutação P1024-v2

Estado: 1024 bits (128 bytes), divididos em 16 palavras de 64 bits.
Estrutura: O estado é particionado em Rate (R, 512 bits) e Capacity (C, 512 bits).
Rodadas: 24 rodadas.
Camadas da Função de Rodada:
1. Adição de Constantes de Rodada: Derivadas deterministicamente via SHAKE256.
2. Mixer: XOR entre as palavras do Rate e da Capacity.
3. Não-linearidade (Chi): Aplicação de uma função booleana não-linear (similar ao Keccak) em grupos de 4 palavras.
4. Camada "Kick": Mistura multiplicativa baseada em máscaras de "impares" e constantes, introduzindo complexidade algébrica.
5. Rotação e Embaralhamento: Rotações de bits dependentes do índice e uma permutação de posições (P-box) para difundir dependências.

B. Modo Duplex Sponge

Parâmetros: Taxa ( $r$ ) = 512 bits, Capacidade ( $c$ ) = 512 bits.
Fluxo de Operação:
1. Inicialização: O estado é carregado com a chave (1024 bits) e o nonce (256 bits), seguido de uma permutação.
2. Absorção: Dados associados (AD) e texto cifrado são absorvidos no Rate. O texto cifrado é absorvido após a geração do fluxo de chaves (padrão Duplex).
3. Separação de Domínio: Constantes específicas (0xA0, 0xC0, 0xF0, etc.) são XORadas no estado antes de cada chamada à permutação para distinguir fases (AD, Cifragem, Tag).
4. Transformação de Saída (Out): Antes de gerar o fluxo de chaves, o estado sofre uma transformação não-linear (usando a função SplitMix64) que mistura o Rate e a Capacity. Isso evita padrões simples de "leitura do Rate" comuns em esponjas.
5. Tag Final: Um tag de autenticação de 256 bits é gerado após o processamento final.

C. Formato de Arquivo e Derivação de Chave

Cabeçalho: 152 bytes, incluindo "magic", versão, flags, salt (32 bytes), nonce, tamanho do texto cifrado e um tag de autenticação do cabeçalho.
Segurança do Cabeçalho: O cabeçalho possui seu próprio tag autenticado. Isso permite que o sistema rejeite imediatamente arquivos com chaves erradas ou cabeçalhos corrompidos sem tentar descriptografar o conteúdo.
Derivação de Chave: Suporta chaves brutas de 1024 bits ou derivadas de senhas via Argon2id (usando libsodium), com o salt armazenado no cabeçalho.

3. Principais Contribuições

Especificação Completa e Implementação de Referência: O artigo fornece uma especificação precisa que corresponde exatamente ao código público disponível no GitHub, incluindo artefatos de teste e checksums SHA-256 para reprodução.
Análise de Segurança no Modelo de Permutação Ideal:
- Demonstra limites teóricos para Confidencialidade (IND-CPA) e Autenticidade (INT-CTXT).
- A segurança depende da ausência de colisões na Capacity (512 bits), resultando em um limite de segurança genérico de aproximadamente $q^2/2^{513}$ , onde $q$ é o número de chamadas à permutação.
- O tag de 256 bits oferece uma probabilidade de forjamento de $2^{-256}$ .
Avaliação Empírica:
- Benchmarks: Mediu-se 435,1 ns por permutação e uma vazão de 131,7 MiB/s no caminho de criptografia AEAD (sem I/O de arquivo ou derivação de chave) em um buffer de 64 MiB.
- Testes de Difusão: Verificou-se que a diferença de um único bit se espalha por todo o estado de 1024 bits em cerca de 4 rodadas, atingindo a expectativa aleatória (512 bits de distância de Hamming) nas 24 rodadas finais.
Engenharia Robusta: O código de referência prioriza segurança de implementação, incluindo zeroização de buffers sensíveis, travamento de memória, escrita atômica de arquivos e comparações de tag em tempo constante.

4. Resultados

Desempenho: O sistema atingiu 131,7 MiB/s em criptografia pura, demonstrando viabilidade prática para aplicações de alto volume.
Segurança Teórica: Os limites de segurança são conservadores, baseados em uma capacidade de 512 bits, o que torna ataques de colisão estatisticamente impossíveis para cargas de trabalho de arquivos realistas.
Validação: Os vetores de teste (Table 1) confirmam que a descriptografia recupera o texto original bit a bit para vários tamanhos de entrada (de 0 a 1 MiB+), e os tamanhos dos arquivos cifrados correspondem exatamente ao esperado (Cabeçalho + Texto + Tag).

5. Significância

O SymFrog-512 é significativo por ser uma proposta experimental e transparente que combina:

Alta Capacidade: Diferente de muitas construções modernas que usam capacidades menores (ex: 256 ou 320 bits) para ganho de velocidade, o SymFrog prioriza a segurança teórica com 512 bits de capacidade.
Transparência: Ao fornecer o código, os vetores de teste e os checksums, o autor convida explicitamente para a análise criptográfica pública, reconhecendo que a segurança da permutação P1024-v2 não foi provada contra todas as análises dedicadas, mas é segura no modelo ideal.
Robustez Operacional: A inclusão de um mecanismo de autenticação de cabeçalho e suporte a derivação de chave via Argon2id torna a solução pronta para uso em cenários de armazenamento de arquivos seguros, mitigando erros operacionais comuns (como tentar descriptografar com a chave errada).

Em resumo, o trabalho apresenta uma construção AEAD conservadora, bem documentada e implementada com boas práticas de engenharia, servindo como um caso de estudo para o design de primitivas baseadas em permutações de alta capacidade.