O Bitcoin sempre foi considerado a blockchain mais segura e descentralizada, mas suas capacidades nativas de script são limitadas, o que dificulta o suporte direto a Contratos Inteligentes complexos e aplicações financeiras on-chain. Com o amadurecimento das tecnologias rollup e Layer2 do Ethereum, o mercado passou a explorar formas de oferecer maior escalabilidade e programabilidade ao BTC sem comprometer a segurança do Bitcoin.
Nesse cenário, os conceitos de Bitcoin rollup e BTCFi ganharam força. O Citrea, um projeto de destaque no segmento de ZK rollup para Bitcoin, busca permitir que o BTC suporte DeFi, stablecoins, empréstimos, mercados financeiros on-chain e outros casos de uso por meio de zkEVM, BitVM e provas de conhecimento zero — tudo com o mínimo de dependência de mecanismos de confiança externos.
O ZK rollup do Citrea é uma arquitetura de execução off-chain construída sobre o Bitcoin. Seu objetivo principal é aumentar a taxa de transferência da rede e oferecer capacidades de Contrato Inteligente para o BTC sem modificar as regras de consenso do Bitcoin.
Em uma rede Bitcoin tradicional, cada transação precisa ser registrada diretamente na chain principal, o que limita a escalabilidade. No modelo rollup, um grande volume de transações é executado primeiro na Layer2, e então provas de estado compactadas são submetidas à chain principal.
O Citrea utiliza uma zkEVM Tipo 2 como ambiente de execução, permitindo que desenvolvedores do Ethereum migrem contratos Solidity e aplicações DeFi existentes. Ao mesmo tempo, o Citrea adota o Bitcoin como camada de disponibilidade de dados (DA) e como camada de liquidação final, verificando a correção do estado por meio do BitVM.
Esse design faz do Citrea não apenas uma rede de escalabilidade, mas também a infraestrutura subjacente do BTCFi.
Quando um usuário realiza uma transação no Citrea — como uma transferência, negociação em DEX ou operação de empréstimo — ela não vai diretamente para a chain principal do Bitcoin. Em vez disso, é enviada para a rede Layer2 do Citrea.
O Sequenciador recebe e ordena essas transações, depois as empacota no ambiente de execução zkEVM. Toda a lógica de Contrato Inteligente, atualizações de estado e operações DeFi são concluídas na Layer2.
Em comparação com a execução direta no Bitcoin, essa abordagem melhora significativamente a taxa de transferência e reduz os custos on-chain.
O processo geral é semelhante ao funcionamento dos rollups do Ethereum, mas o Citrea dá mais ênfase à necessidade de o estado final retornar ao Bitcoin para verificação de segurança.
A zkEVM é a camada de execução central do Citrea.
Sua função principal é ser compatível com o ecossistema de contratos inteligentes do Ethereum, permitindo que desenvolvedores Solidity implantem aplicações na Layer2 do Bitcoin sem precisar reescrever completamente a lógica do código.
O Citrea usa uma zkEVM Tipo 2, o que significa que a maioria das ferramentas do Ethereum é compatível, contratos Solidity podem ser migrados, aplicações DeFi podem ser integradas com mais facilidade e a curva de aprendizado para desenvolvedores é reduzida.
A zkEVM também registra as mudanças de estado das transações e fornece os dados subjacentes para a geração subsequente da Prova ZK.
Essa estrutura permite que o Citrea adote rapidamente o ecossistema DeFi existente do Ethereum e impulsione a expansão do mercado BTCFi.
Após a execução das transações, o Citrea compacta um grande número de atualizações de estado para gerar uma prova de conhecimento zero (Prova ZK).
A função central da Prova ZK é provar ao Bitcoin que essas transações foram executadas corretamente de acordo com as regras, sem que o Bitcoin precise recalcular todos os processos de transação.
Durante esse processo, o nó provador agrega transações, calcula mudanças de estado, gera os dados finais da prova e os submete ao Bitcoin.
| Módulo | Função |
|---|---|
| Lote de Transações | Agrupa transações |
| Transição de Estado | Calcula mudanças de estado |
| provador | Gera Prova ZK |
| Compactação | Compacta dados da prova |
| Submissão | Submete ao Bitcoin |
Como as Provas ZK conseguem provar diretamente que "o cálculo está correto", o rollup pode aumentar significativamente a taxa de transferência de transações mantendo a segurança.
Após gerar a Prova ZK, o Citrea submete os dados de estado e a prova ao Bitcoin.
Aqui, o Bitcoin não é responsável por executar transações, mas serve principalmente para armazenamento de disponibilidade de dados, confirmação final do estado e liquidação de segurança.
O Citrea escolhe o Bitcoin como camada de Disponibilidade de Dados (DA), o que significa que os dados relacionados às transações retornarão, em última análise, à chain principal do Bitcoin.
Comparado a depender de uma rede DA externa, essa abordagem minimiza suposições de confiança adicionais. No entanto, devido ao espaço limitado de blocos do Bitcoin, gerenciar os custos de dados e a eficiência da compactação tornou-se um dos principais desafios para os rollups do Bitcoin.
O BitVM é um componente-chave da arquitetura do Citrea. Seu objetivo é permitir a verificação de computação off-chain complexa sem modificar as regras de consenso do Bitcoin.
No Citrea, o BitVM verifica se a prova de estado submetida pelo rollup está correta.
De forma simplificada, a Layer2 executa as transações primeiro, depois o provador gera uma Prova ZK, e o BitVM verifica a prova, com o Bitcoin confirmando o estado por fim.
Comparado aos mecanismos de verificação por ponte de assinatura múltipla e federação comumente usados em sidechains tradicionais, o BitVM enfatiza permitir que o próprio Bitcoin participe da lógica de verificação.
Isso significa que o Citrea visa minimizar os riscos associados a pontes custodiais, dependência de verificadores centralizados e comitês de segurança externos.
No entanto, o BitVM ainda é uma abordagem tecnológica relativamente nova, e sua eficiência de verificação de longo prazo e capacidade operacional em larga escala ainda estão sob observação do mercado.
O Citrea usa ZK rollup, e não rollup otimista.
A maior diferença entre os dois está na forma como a verificação de estado é realizada.
O rollup otimista assume que as transações são válidas por padrão e só realiza verificação de Prova de Fraude se surgir uma disputa durante o período de contestação. O ZK rollup, por outro lado, submete diretamente uma Prova de Validade para demonstrar que as transações foram executadas corretamente.
| Dimensão de Comparação | ZK rollup | rollup otimista |
|---|---|---|
| Método de verificação | Prova de Validade | Prova de Fraude |
| Período de espera para saque | Mais curto | Geralmente mais longo |
| Eficiência de compactação de dados | Mais alta | Média |
| Complexidade computacional | Mais alta | Relativamente mais baixa |
| Velocidade de finalidade | Mais rápida | Mais lenta |
O Citrea escolheu o ZK rollup principalmente porque ele é mais adequado a uma arquitetura que enfatiza "a segurança final do Bitcoin".
A Disponibilidade de Dados determina se os usuários podem verificar o estado da rede e recuperar dados de transação.
Ao usar o Bitcoin como camada DA, o Citrea garante que os dados do rollup sejam armazenados na rede Bitcoin.
Esse design significa que os dados de estado não dependem inteiramente de sistemas externos, o Bitcoin pode participar da confirmação final de segurança e o rollup fica mais próximo de uma estrutura "nativa do Bitcoin".
Para os rollups do Bitcoin, a segurança da camada DA é um fator crítico para determinar a credibilidade de longo prazo. Por isso, o Citrea enfatiza a DA do Bitcoin em vez de depender inteiramente de redes de dados independentes.
A arquitetura ZK rollup do Citrea essencialmente herda a segurança do Bitcoin enquanto oferece capacidades de Contrato Inteligente e BTCFi para o BTC.
Por meio de zkEVM, Prova ZK, BitVM e Liquidação Bitcoin, o Citrea transfere a execução de transações para a Layer2 e, em última análise, retorna a segurança do estado à chain principal do Bitcoin.
Essa estrutura transforma o Bitcoin de uma mera rede de reserva de valor em uma infraestrutura financeira on-chain que se expande gradualmente.
No entanto, o ecossistema Bitcoin rollup ainda está em estágios iniciais. A eficiência de verificação do BitVM, os custos de DA, a maturidade da infraestrutura ZK e a escala de liquidez do BTCFi continuam sendo questões-chave que o mercado acompanha de perto.
A zkEVM é a camada de execução do Citrea, usada para executar Contratos Inteligentes Solidity e aplicações DeFi.
O BitVM permite a verificação do estado do rollup sem modificar as regras de consenso do Bitcoin.
O Citrea busca retornar a segurança final e a disponibilidade de dados à chain principal do Bitcoin, reduzindo assim suposições de confiança externas.
O Citrea é um ZK rollup que usa Prova de Validade para verificar a correção do estado.
O Citrea enfatiza uma arquitetura rollup nativa do Bitcoin, enquanto as sidechains tradicionais geralmente dependem de verificadores de federação ou pontes custodiais.
O objetivo principal do Bitcoin rollup é melhorar a escalabilidade e a eficiência de capital on-chain para o BTC enquanto herda a segurança do Bitcoin.





