O principal desafio da computação confiável on-chain está em definir “por que o resultado pode ser confiável”. Provas criptográficas garantem o mais alto grau de determinismo, mas sua geração demanda hardware especializado e taxa de hash, limitando a eficiência e elevando custos. Para equilibrar determinismo e desempenho, Brevis (BREV) apresenta o modelo de segurança criptoeconômica coChain, que utiliza mecanismos de staking e slashing Proof-of-Stake (PoS) para oferecer uma fonte alternativa, confiável e contestável para resultados otimistas.
Nesse modelo, BREV é o ativo de pagamento, garantia e governança. Suas funcionalidades, integradas ao fluxo operacional do coChain, compõem a base da segurança criptoeconômica da Brevis.
O que é o token BREV?
BREV é o token nativo de utilidade e governança da rede Brevis. Mais do que um token de taxas de transação, ele é um instrumento econômico que conecta diretamente a qualidade da oferta de provas à segurança da rede.
No ecossistema Brevis, BREV une três participantes principais: o solicitante da computação, o Prover responsável por gerar provas de conhecimento zero e o validador que mantém o consenso do coChain. Solicitantes pagam pelas provas, enquanto Provers e validadores precisam bloquear BREV como garantia, com slashing aplicado em caso de descumprimento — garantindo que a circulação de BREV esteja alinhada à atividade da rede.
Quais são os usos do BREV?
BREV exerce três funções essenciais: pagamento, garantia e governança. Essas funções sustentam a economia de oferta de provas da Brevis, promovendo o objetivo de “produzir computação precisa e penalizar comportamentos incorretos”.
| Função |
Papel |
Descrição |
| Pagamento de taxas de prova |
Solicitante |
Usar BREV para pagar por computação off-chain e geração de provas |
| Garantia de staking do Prover |
Prover |
Bloquear BREV como garantia de staking para receber tarefas; slashing em caso de descumprimento |
| Governança do protocolo |
Holder |
Participar das decisões de governança sobre parâmetros críticos do protocolo |
Essas três utilidades formam um ciclo fechado: solicitantes liquidam taxas de prova em BREV; Provers fazem staking de BREV para aceitar tarefas, transformando seu compromisso de serviço em uma promessa economicamente executável; holders ajustam parâmetros do protocolo, permitindo evolução segura da rede.
Figura 1. As três utilidades principais do token BREV: pagamento de taxas de prova, garantia de staking do Prover e governança do protocolo.
O que é o coChain e por que ele é necessário?
coChain é o modelo de segurança criptoeconômica da Brevis — uma blockchain PoS com staking e slashing on-Ethereum, projetada para oferecer computação verificável com baixa latência, eficiência de custos e confiança minimizada.
O coChain foi criado para superar as limitações do modelo ZK puro. Em um setup ZK puro, cada resultado precisa de uma prova de conhecimento zero antes da entrega, maximizando o determinismo, mas impondo custos elevados de hardware, taxa de hash e latência — especialmente em operações complexas e aplicações em tempo real. A camada de execução Pico zkVM suporta esse processo de geração de provas.
coChain resolve esse desafio com uma abordagem de “proposta otimista + contestação”: resultados enviados por validadores são confiáveis por padrão, e provas de conhecimento zero só são exigidas em caso de contestação. Na maioria dos casos, isso elimina custos de geração de provas, mantendo um recurso criptográfico para correção de erros. Assim como a diferença entre Brevis e oracles, esse modelo prioriza computação verificável on-chain, com o coChain ancorando a confiança nos mecanismos de staking e slashing.
Como funciona o modelo de segurança criptoeconômica do coChain?
O modelo coChain opera em três etapas principais: proposta, contestação e slashing. O processo garante a confiabilidade dos resultados por meio de garantia passível de slashing, começando pela computação off-chain e finalizando com adjudicação na Ethereum.
- Validadores do coChain geram resultados de coprocessador usando dados brutos de nós de arquivo — seguindo a lógica de coprocessadores de dados ZK que acessam e computam dados off-chain — e chegam a consenso via PoS.
- Validadores submetem o resultado e assinaturas de quórum agregadas como proposta para a chain solicitante, ativando dois temporizadores: uma janela de contestação configurável pela aplicação e uma janela de slashing do coChain em nível de sistema.
- Durante a janela de contestação, qualquer parte pode enviar uma prova de conhecimento zero para contestar uma proposta incorreta. Se a contestação for válida, o stake do validador é slashed na Ethereum; se não houver contestação, o resultado é adotado pela dApp sem custo adicional de prova.
A Brevis planeja integrar o EigenLayer, permitindo que desenvolvedores ajustem dinamicamente os níveis de segurança na etapa de proposta — unindo incentivos criptoeconômicos e provas de conhecimento zero para oferecer trade-offs flexíveis 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 aciona slashing na Ethereum, ou resultado é adotado pela dApp se não houver contestação.
Como escolher entre os modelos pure-ZK e coChain (OP)?
A diferença central entre pure-ZK e coChain está no mecanismo de confiança: pure-ZK depende exclusivamente de provas criptográficas, enquanto coChain adiciona incentivos criptoeconômicos por meio de staking e slashing. Os modelos não são excludentes — cada um atende a necessidades distintas 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 |
Utilizável após janela de contestação |
| Custo de computação |
Prova exigida sempre |
Sem custo de prova se não houver contestação |
| Nível de segurança |
Garantido por prova ZK |
Ajustável dinamicamente via EigenLayer |
| Casos de uso |
Máximo determinismo |
Cenários sensíveis a custo e latência |
Em resumo: pure-ZK oferece simplicidade e máximo determinismo, com custos e latência mais altos; coChain utiliza propostas otimistas para obter menor latência e custo, com segurança dependente do processo de contestação e escala de staking. Com o SDK Brevis, desenvolvedores podem escrever lógica de negócios uma vez e implementar em ambos os modelos.
O mecanismo de staking e slashing de BREV garante que Provers entreguem provas dentro do prazo. Para aceitar uma tarefa, Provers precisam bloquear BREV como garantia, convertendo o compromisso de entrega pontual em obrigação economicamente executável.
Esse mecanismo opera no ProverNet, o marketplace descentralizado de provas ZK da Brevis, já disponível no mainnet e executado em um rollup dedicado da Brevis Chain para coordenação de leilões. Provers fazem staking de BREV para participar de leilões de tarefas de prova.
O principal critério é o prazo: se um Prover perde o prazo ou não entrega uma prova qualificada, seu BREV em staking é slashed. Isso vincula diretamente a confiabilidade da oferta de provas à garantia real, incentivando Provers a aceitar apenas tarefas que possam cumprir dentro do prazo, mantendo a qualidade do serviço no mercado de provas.
Quais são as vantagens, riscos e limitações de manter ou usar BREV?
O valor de BREV está na utilidade da rede: como ativo de liquidação, garantia e governança da economia de provas, sua demanda está diretamente ligada ao uso real 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 principais limitações são inerentes ao design do mecanismo. A segurança do coChain depende de contestadores ativos e staking suficiente de validadores; se não houver contestadores ou o staking for baixo, a capacidade de correção de erros das propostas otimistas é reduzida. Parâmetros críticos como duração da janela de contestação e proporções de slashing são definidos pela governança, e sua adequação impacta diretamente a segurança.
Os riscos envolvem a dependência de BREV na adoção dentro do ecossistema Brevis e demanda por provas, a oferta do ProverNet dependendo da participação dos Provers, e possíveis falhas de implementação em contratos inteligentes e integrações SDK. Essas são restrições objetivas do mecanismo e não constituem aconselhamento de investimento ou previsão de preço.
Resumo
BREV, o token nativo de utilidade e governança da rede Brevis, conecta a qualidade da oferta de provas e a segurança da rede por meio de três funções essenciais: pagamento de taxas de prova, garantia de staking do Prover e governança do protocolo. coChain, uma blockchain PoS com staking e slashing na Ethereum, oferece um caminho de “proposta otimista + contestação”: propostas incorretas acionam 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 um framework flexível de segurança que equilibra determinismo e eficiência.
Perguntas frequentes
Quais são os casos de uso do token BREV?
BREV, como token nativo de utilidade e governança da rede Brevis, possui três principais casos de uso: solicitantes usam 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 descumprimento, e holders participam da governança do protocolo.
Qual a diferença entre coChain e pure-ZK?
pure-ZK depende totalmente de provas criptográficas para confiança, exigindo uma prova de conhecimento zero para cada resultado, o que oferece máximo determinismo, mas com custos e latência mais elevados. coChain adiciona uma camada de incentivos criptoeconômicos com staking e slashing, utilizando propostas otimistas e um mecanismo de contestação para reduzir custos e latência quando não há contestação.
Como o modelo de segurança criptoeconômica do coChain evita má conduta de validadores?
coChain exige que validadores façam staking na Ethereum e submetam resultados de computação como propostas para a chain solicitante, iniciando uma janela de contestação. Qualquer parte pode enviar uma prova de conhecimento zero para contestar uma proposta incorreta durante essa janela; se a contestação for válida, o stake do validador é slashed na Ethereum, desestimulando comportamento malicioso.
Quando o BREV em staking de um Prover será slashed?
Provers fazem staking de BREV no ProverNet para ganhar tarefas de prova. Se um Prover perder o prazo ou não entregar uma prova de conhecimento zero qualificada dentro do tempo, seu BREV em staking será slashed, garantindo entrega confiável no mercado descentralizado de provas.
