O principal desafio da computação confiável on-chain reside em demonstrar “por que motivo o resultado é digno de confiança”. Embora as provas criptográficas proporcionem o mais elevado grau de determinismo, a sua geração implica hardware especializado e hashrate, o que limita a eficiência e aumenta os custos. Para equilibrar determinismo e desempenho, a Brevis (BREV) apresenta o modelo de segurança criptoeconómica coChain, recorrendo a mecanismos de staking Proof-of-Stake (PoS) e slashing, oferecendo uma fonte alternativa e fiável para resultados otimistas sujeitos a contestação.
Neste modelo, o BREV funciona como ativo de pagamento, garantia e governança. As suas funcionalidades, aliadas ao funcionamento do coChain, constituem a base da segurança criptoeconómica da Brevis.
O que é o token BREV?
BREV é o token de utilidade e governança nativo da rede Brevis. Representa mais do que um simples token de taxas de transação—é um instrumento económico que liga diretamente a qualidade da oferta de provas à segurança da rede.
No ecossistema Brevis, o BREV conecta três intervenientes principais: o solicitante da computação, o Prover responsável pela geração de provas de conhecimento zero e o validador encarregado de manter o consenso do coChain. Os solicitantes pagam pelas provas, enquanto Provers e validadores têm de bloquear BREV como garantia para assegurar o cumprimento, estando sujeitos a slashing em caso de violação, o que garante que a circulação do BREV está intimamente ligada à atividade da rede.
Quais são as utilizações do BREV?
O BREV assume três funções principais: pagamento, garantia e governança. Estes papéis sustentam a economia de oferta de provas da Brevis, apoiando o objetivo de “produzir cálculos precisos e penalizar comportamentos incorretos”.
| Função |
Papel |
Descrição |
| Pagar taxas de prova |
Solicitante |
Utilizar BREV para pagar computação off-chain e geração de provas |
| Garantia de staking do Prover |
Prover |
Bloquear BREV como garantia de staking para receber tarefas; aplica-se slashing em caso de incumprimento |
| Governança do protocolo |
Titular |
Participar em decisões de governança para parâmetros críticos do protocolo |
Estas três utilidades formam um ciclo fechado: os solicitantes liquidam taxas de prova em BREV; os Provers têm de fazer staking de BREV para aceitar tarefas, convertendo o seu compromisso de serviço numa promessa economicamente vinculativa; os titulares ajustam parâmetros do protocolo, permitindo à rede evoluir de forma segura.
Figura 1. As três utilidades centrais do token BREV: pagamento de taxas de prova, garantia de staking do Prover e governança do protocolo.
O que é o coChain e porque é necessário?
O coChain é o modelo de segurança criptoeconómica da Brevis—uma blockchain PoS com staking e slashing on-Ethereum, concebida para garantir computação verificável com baixa latência, custos reduzidos e confiança minimizada.
O coChain foi criado para ultrapassar limitações do modelo puramente ZK. Num cenário estritamente ZK, cada resultado exige uma prova de conhecimento zero antes da entrega, o que maximiza o determinismo, mas acarreta custos elevados de hardware, hashrate e latência—particularmente em operações complexas e aplicações em tempo real. A camada de execução generalista Pico zkVM suporta este processo de geração de provas.
O coChain resolve este desafio através de uma abordagem “proposta otimista + contestação”: os resultados submetidos pelos validadores são considerados fiáveis por defeito, e só são exigidas provas de conhecimento zero se houver contestação. Na maioria dos casos, isto elimina custos de geração de provas, mantendo uma via criptográfica para correção de erros. Este modelo, tal como a diferença entre Brevis e oráculos, privilegia a computação verificável on-chain em vez da transmissão de dados externos, ancorando a confiança no staking e slashing do coChain.
Como funciona o modelo de segurança criptoeconómica do coChain?
O modelo coChain desenvolve-se em três fases: proposta, contestação e slashing. Este processo ancora a fiabilidade dos resultados em garantias suscetíveis de slashing, começando com computação off-chain e terminando com decisão final na Ethereum.
- Os validadores do coChain geram resultados do coprocessador usando dados brutos de nodos de arquivo—seguindo a lógica dos coprocessadores de dados ZK que acedem e processam dados off-chain—e alcançam consenso via PoS.
- Os validadores submetem o resultado e assinaturas de quórum agregadas como proposta à cadeia solicitante, ativando dois temporizadores: uma janela de contestação configurável pela aplicação e uma janela de slashing do coChain, a nível do sistema.
- Durante a janela de contestação, qualquer parte pode apresentar uma prova de conhecimento zero para contestar uma proposta incorreta. Se a contestação for válida, o staking do validador é penalizado na Ethereum; se não houver contestação, o resultado é aceite pela dApp sem custos adicionais de prova.
A Brevis prevê também integrar o EigenLayer, permitindo aos programadores ajustar dinamicamente os níveis de segurança na fase de proposta—combinando incentivos criptoeconómicos com provas de conhecimento zero para oferecer diferentes equilíbrios entre segurança e custo, conforme o caso de uso.
Figura 2. Fluxo de segurança criptoeconómica do coChain: resultado de computação PoS → proposta (com assinaturas de quórum agregadas) → janela de contestação → contestação ZK provoca slashing na Ethereum, ou o resultado é adotado pela dApp se não for contestado.
Como escolher entre pure-ZK e coChain (OP)?
A principal diferença entre pure-ZK e coChain reside no mecanismo de confiança: pure-ZK depende apenas de provas criptográficas, enquanto coChain acrescenta incentivos criptoeconómicos via staking e slashing. Estes modelos não são excludentes—respondem a diferentes necessidades de determinismo e custo.
| Dimensão |
pure-ZK |
coChain (Modelo OP) |
| Fonte de confiança |
Prova criptográfica |
Staking, slashing e contestação ZK opcional |
| Latência do resultado |
Espera pela prova |
Disponível após janela de contestação |
| Custo de computação |
Prova exigida sempre |
Sem custo de prova se não for contestado |
| Nível de segurança |
Garantido por prova ZK |
Ajustável dinamicamente via EigenLayer |
| Casos de uso |
Determinismo máximo |
Cenários sensíveis a custos e latência |
Em síntese: pure-ZK proporciona simplicidade e determinismo máximo, com custos e latência superiores; coChain recorre a propostas otimistas para obter menor latência e custo, com segurança dependente do processo de contestação e da escala de staking. Com o SDK Brevis, os programadores podem desenvolver lógica de negócio uma vez e implementá-la em ambos os modelos.
Como é que o staking e o slashing de BREV garantem o desempenho dos Provers?
O mecanismo de staking e slashing do BREV garante que os Provers entregam provas dentro do prazo. Para aceitar uma tarefa, os Provers têm de bloquear previamente BREV como garantia, convertendo o compromisso de entrega numa obrigação financeiramente vinculativa.
Este mecanismo é implementado no ProverNet, o mercado descentralizado de provas ZK da Brevis, já disponível em mainnet e operando num rollup dedicado da Brevis Chain para coordenação de leilões. Os Provers fazem staking de BREV para participar em leilões de tarefas de prova.
O fator determinante é o prazo: se um Prover falhar o prazo ou não entregar uma prova qualificada, o BREV bloqueado é penalizado. Isto liga diretamente a fiabilidade da oferta de provas a garantias reais, incentivando os Provers a aceitar apenas tarefas que possam concluir a tempo, assegurando a qualidade do serviço no mercado de provas.
Quais as vantagens, riscos e limitações de deter ou utilizar BREV?
O valor do BREV reside na utilidade da rede: como ativo de liquidação, garantia e governança da economia de provas, a sua procura está diretamente associada ao uso efetivo da computação verificável da Brevis. Segundo o blog oficial da Brevis (2025), a rede já gerou mais de 340 milhões de provas, abrangendo mais de 50 protocolos em mais de 8 blockchains, com uma base operacional robusta.
As limitações principais derivam do próprio desenho do mecanismo. A segurança do coChain depende da existência de contestadores ativos e de staking suficiente dos validadores; se faltar contestação ou o staking for insuficiente, a capacidade de correção de erros das propostas otimistas é reduzida. Parâmetros críticos como a duração da janela de contestação e as taxas de slashing são definidos por governança, sendo a sua adequação determinante para a segurança.
Os riscos incluem a dependência do BREV da adoção no ecossistema Brevis e da procura de provas, a oferta do ProverNet depender da participação dos Provers e eventuais falhas de implementação em contratos inteligentes e integrações SDK. Estes são constrangimentos objetivos do mecanismo e não constituem aconselhamento de investimento nem previsão de preço.
Resumo
O BREV, token nativo de utilidade e governança da rede Brevis, liga a qualidade da oferta de provas e a segurança da rede através de três funções essenciais: pagamento de taxas de prova, garantia de staking do Prover e governança do protocolo. O coChain, blockchain PoS com staking e slashing do lado da Ethereum, oferece um caminho de “proposta otimista + contestação”: propostas incorretas levam a slashing na Ethereum, enquanto resultados não contestados evitam custos de prova. Ambos os modelos podem ser implementados conforme necessário com o SDK Brevis, formando uma estrutura de segurança flexível que equilibra determinismo e eficiência.
Perguntas frequentes
Quais são os casos de uso do token BREV?
O BREV, enquanto token nativo de utilidade e governança da rede Brevis, tem três principais casos de uso: solicitantes utilizam BREV para pagar taxas de prova, Provers bloqueiam BREV como garantia de staking para receber tarefas e estão sujeitos a slashing em caso de incumprimento, e titulares participam na governança do protocolo.
Qual a diferença entre coChain e pure-ZK?
O pure-ZK baseia-se inteiramente em provas criptográficas para confiança, exigindo uma prova de conhecimento zero para cada resultado, o que proporciona determinismo máximo, mas implica custos e latência superiores. O coChain acrescenta uma camada de incentivos com staking e slashing, recorrendo a propostas otimistas e mecanismos de contestação para reduzir custos e latência quando não há contestação.
Como é que o modelo de segurança criptoeconómica do coChain previne má conduta dos validadores?
O coChain exige que os validadores façam staking na Ethereum e submetam resultados de computação como propostas à cadeia solicitante, iniciando uma janela de contestação. Qualquer parte pode apresentar uma prova de conhecimento zero para contestar uma proposta defeituosa durante esta janela; se a contestação for bem-sucedida, o staking do validador é penalizado na Ethereum, desencorajando comportamentos maliciosos.
Quando é que o BREV em staking de um Prover será penalizado?
Os Provers fazem staking de BREV no ProverNet para conquistar tarefas de prova. Se um Prover falhar o prazo ou não entregar uma prova de conhecimento zero qualificada a tempo, o BREV em staking será penalizado, garantindo a entrega fiável no mercado descentralizado de provas.
