Bitcoin é há muito tida como a rede Blockchain mais segura e descentralizada, mas as suas capacidades de scripting nativas são limitadas, o que dificulta o suporte direto a Contratos inteligentes complexos e a aplicações financeiras on-chain. À medida que as tecnologias Rollup e Layer2 do Ethereum amadurecem, o mercado começou a explorar formas de dotar o BTC de maior escalabilidade e programabilidade sem comprometer a segurança do Bitcoin.
É neste contexto que os conceitos de Bitcoin Rollup e BTCFi emergem gradualmente. A Citrea, um projeto de referência no espaço Bitcoin ZK Rollup, procura capacitar o BTC para suportar DeFi, Stablecoins, empréstimos, mercados financeiros on-chain e outros casos de uso — recorrendo à zkEVM, BitVM e tecnologia de prova de conhecimento zero, com o mínimo de dependência de mecanismos de confiança externos.
O que é o ZK Rollup da Citrea?
O ZK Rollup da Citrea é uma arquitetura de execução off-chain construída sobre o Bitcoin. O seu objetivo central é aumentar a capacidade de processamento da rede e dotar o BTC de capacidades de Contrato inteligente sem alterar as regras de consenso do Bitcoin.
Numa rede Bitcoin tradicional, cada transação tem de ser registada diretamente na cadeia principal, o que limita a escalabilidade. No modelo Rollup, um grande volume de transações é executado primeiro na Layer2, sendo depois submetidas à cadeia principal provas de estado comprimidas.
A Citrea utiliza uma zkEVM Tipo 2 como ambiente de execução, o que permite aos programadores do Ethereum migrar contratos Solidity e aplicações DeFi existentes. Em simultâneo, a Citrea usa o Bitcoin como camada de disponibilidade de dados (DA) e camada de liquidação final, verificando a correção do estado através da BitVM.
Este design faz da Citrea não apenas uma rede de escalabilidade, mas também a infraestrutura subjacente do BTCFi.
Como entram as transações dos utilizadores na rede Citrea?
Quando um utilizador realiza uma transação na Citrea — como uma transferência, negociação DEX ou operação de empréstimo — a transação não entra diretamente na cadeia principal do Bitcoin. Em vez disso, é enviada para a rede Layer2 da Citrea.
O Sequenciador recebe e ordena essas transações, empacotando-as no ambiente de execução zkEVM. Toda a lógica de Contrato inteligente, as atualizações de estado e as operações DeFi são processadas na Layer2.
Comparativamente com a execução direta no Bitcoin, esta abordagem aumenta significativamente o débito e reduz os custos on-chain.
O processo global assemelha-se ao funcionamento dos Rollup do Ethereum, mas a Citrea dá maior ênfase à necessidade de o estado final regressar ao Bitcoin para verificação de segurança.
Qual o papel da zkEVM na Citrea?
A zkEVM é a camada de execução central da Citrea.
A sua função principal é ser compatível com o ecossistema de contratos inteligentes do Ethereum, permitindo que programadores de Solidity implementem aplicações na Layer2 do Bitcoin sem reescrever toda a lógica do código.
A Citrea utiliza uma zkEVM Tipo 2, o que significa que a maioria das ferramentas do Ethereum é compatível, os contratos Solidity podem ser migrados, as aplicações DeFi integram-se com maior facilidade e a curva de aprendizagem para programadores é reduzida.
A zkEVM regista ainda as alterações de estado das transações e fornece os dados de base para a geração subsequente da ZK Proof.
Esta estrutura permite à Citrea adotar rapidamente o ecossistema DeFi existente do Ethereum e impulsionar a expansão do mercado BTCFi.
Como são geradas as ZK Proof?
Concluída a execução das transações, a Citrea comprime um grande número de atualizações de estado para gerar uma prova de conhecimento zero (ZK Proof).
A função central de uma ZK Proof é demonstrar ao Bitcoin que essas transações foram executadas corretamente segundo as regras, sem que o Bitcoin tenha de recalcular todo o processo.
Ao longo deste processo, o nodo provador agrega as transações, calcula as alterações de estado, gera os dados finais da prova e submete-os ao Bitcoin.
| Módulo |
Função |
| Lote de transações |
Agrega transações |
| Transição de estado |
Calcula alterações de estado |
| Provador |
Gera ZK Proof |
| Compressão |
Comprime dados da prova |
| Submissão |
Submete ao Bitcoin |
Uma vez que as ZK Proof podem provar diretamente que "o cálculo está correto", o Rollup consegue aumentar substancialmente o débito de transações sem comprometer a segurança.
Como é que a Citrea submete dados ao Bitcoin?
Depois de gerar a ZK Proof, a Citrea submete os dados de estado e a prova ao Bitcoin.
Aqui, o Bitcoin não executa transações: a sua função é essencialmente o armazenamento da disponibilidade de dados, a confirmação do estado final e a liquidação de segurança.
A Citrea escolhe o Bitcoin como camada de Disponibilidade de Dados (DA), o que significa que os dados relativos às transações regressam, em última análise, à cadeia principal do Bitcoin.
Comparativamente com a dependência de uma rede DA externa, esta abordagem reduz ao mínimo os pressupostos de confiança adicionais. No entanto, o espaço limitado dos blocos do Bitcoin torna a gestão dos custos dos dados e da eficiência da compressão um dos principais desafios para os Bitcoin Rollup.
Como é que a BitVM verifica o estado do Rollup?
A BitVM é um componente-chave da arquitetura da Citrea. O seu objetivo é permitir a verificação de computações off-chain complexas sem modificar as regras de consenso do Bitcoin.
Na Citrea, a BitVM verifica se a prova de estado submetida pelo Rollup está correta.
Em termos simples, a Layer2 executa primeiro as transações, o provador gera depois uma ZK Proof, a BitVM verifica a prova e o Bitcoin confirma, finalmente, o estado.
Em comparação com as pontes de assinatura múltipla e os mecanismos de verificação baseados em federações, comuns nas cadeias laterais tradicionais, a BitVM privilegia a participação do próprio Bitcoin na lógica de verificação.
Isto significa que a Citrea procura minimizar os riscos associados a pontes de custódia, à dependência de verificadores centralizados e a comités de segurança externos.
No entanto, a BitVM é ainda uma abordagem tecnológica relativamente recente, e a sua eficiência de verificação a longo prazo e a capacidade operacional em larga escala continuam a ser acompanhadas pelo mercado.
Como é que a Citrea difere do Rollup Otimista?
A Citrea utiliza ZK Rollup, e não Rollup Otimista.
A principal diferença entre ambos reside no método de verificação do estado.
O Rollup Otimista assume que as transações são válidas por defeito e só realiza a verificação Fraud Proof se surgir uma disputa durante o período de contestação. O ZK Rollup, por seu turno, submete diretamente uma Validity Proof para demonstrar que as transações foram executadas corretamente.
| Dimensão de comparação |
ZK Rollup |
Rollup Otimista |
| Método de verificação |
Validity Proof |
Fraud Proof |
| Período de espera de levantamento |
Mais curto |
Geralmente mais longo |
| Eficiência de compressão de dados |
Mais elevada |
Média |
| Complexidade computacional |
Mais elevada |
Relativamente inferior |
| Velocidade de finalidade |
Mais rápida |
Mais lenta |
A Citrea optou pelo ZK Rollup principalmente por estar mais alinhado com uma arquitetura que privilegia "a segurança definitiva do Bitcoin".
Porque é importante a DA do Bitcoin?
A Disponibilidade de Dados determina se os utilizadores conseguem verificar o estado da rede e recuperar dados de transações.
Ao usar o Bitcoin como camada DA, a Citrea garante que os dados do Rollup ficam, em última instância, armazenados na rede Bitcoin.
Este design implica que os dados de estado não dependem inteiramente de sistemas externos, que o Bitcoin pode participar na confirmação final de segurança e que o Rollup se aproxima de uma estrutura "nativa do Bitcoin".
Para os Bitcoin Rollup, a segurança da camada DA é um fator crítico para a credibilidade a longo prazo. Por isso, a Citrea privilegia a DA do Bitcoin em vez de depender exclusivamente de redes de dados independentes.
Resumo
A arquitetura ZK Rollup da Citrea herda essencialmente a segurança do Bitcoin ao mesmo tempo que dota o BTC de capacidades de Contrato inteligente e BTCFi.
Através da zkEVM, da ZK Proof, da BitVM e da Liquidação Bitcoin, a Citrea desloca a execução de transações para a Layer2 e devolve, em última análise, a segurança do estado à cadeia principal do Bitcoin.
Esta estrutura transforma o Bitcoin de uma mera rede de reserva de valor numa infraestrutura financeira on-chain em expansão gradual.
No entanto, o ecossistema Bitcoin Rollup encontra-se ainda numa fase inicial. A eficiência de verificação da BitVM, os custos de DA, a maturidade da infraestrutura ZK e a escala de liquidez do BTCFi continuam a ser as principais questões que o mercado acompanha de perto.
Perguntas Frequentes
Qual o papel da zkEVM na Citrea?
A zkEVM é a camada de execução da Citrea, utilizada para executar Contratos inteligentes Solidity e aplicações DeFi.
Porque é importante a BitVM?
A BitVM permite verificar o estado do Rollup sem modificar as regras de consenso do Bitcoin.
Porque é que a Citrea usa o Bitcoin como camada DA?
A Citrea pretende devolver a segurança definitiva e a disponibilidade de dados à cadeia principal do Bitcoin, reduzindo assim os pressupostos de confiança externos.
A Citrea é um ZK Rollup ou um Rollup Otimista?
A Citrea é um ZK Rollup que utiliza Validity Proof para verificar a correção do estado.
Como se distingue a Citrea das cadeias laterais tradicionais do Bitcoin?
A Citrea privilegia uma arquitetura Rollup nativa do Bitcoin, enquanto as cadeias laterais tradicionais dependem geralmente de verificadores de federação ou pontes de custódia.
Qual é o valor central do Bitcoin Rollup?
O objetivo central do Bitcoin Rollup é melhorar a escalabilidade e a eficiência de capital on-chain do BTC, herdando ao mesmo tempo a segurança do Bitcoin.
