Atualmente, um dos principais desafios do setor é a sua limitação inerente de capacidade de computação. Para garantir a Descentralização e a segurança, todos os nós da rede devem executar os mesmos cálculos repetidamente, o que resulta em altos custos e baixa eficiência.

—————————————————————————

Para resolver essa contradição, @brevis_zk se posiciona como uma camada de computação infinita, visando fornecer poder computacional por meio de um método de computação verificável de "cálculos fora da cadeia e validação na cadeia", enquanto mantém sua segurança à prova de confiança.

O núcleo do Brevis é a "computação verificável", que desacopla o processo de cálculo do processo de verificação. Tarefas de cálculo intensivas são executadas fora da cadeia e geram uma prova ZK concisa, enquanto os contratos inteligentes na cadeia precisam apenas validar a correção dessa prova a um custo extremamente baixo, sem precisar repetir todo o processo de cálculo.

No processo de implementação, a Brevis adotou principalmente uma arquitetura híbrida única, que inclui dois módulos centrais: Pico zkVM e zkCoprocessor.

Pico zkVM (Máquina Virtual de Zero Conhecimento Genérica)

Um motor de cálculo genérico que pode gerar provas ZK para o processo de execução de qualquer programa. Mesmo que os desenvolvedores não tenham conhecimento em criptografia, podem construir um ambiente de aplicações ZK. O Pico zkVM adota um design altamente modular, permitindo a conexão de co-processadores externos para acelerar tarefas específicas.

zkCoprocessor (Processador de Co-processamento ZK)

Co-processador personalizado para cenários de dados de blockchain. Os contratos inteligentes não podem acessar ou calcular diretamente o estado histórico. O zkCoprocessor lê e agrega dados históricos fora da cadeia (como transações de usuários, saldos, posições, etc.) e gera provas para verificar a autenticidade desses dados.

A arquitetura "zkVM genérico + processador coadjuvante especializado", que combina flexibilidade e alto desempenho, permite que @brevis_zk processe de forma eficiente uma variedade de tarefas, desde análise de dados DeFi até validação de algoritmos complexos.

Com a contínua melhoria do desempenho do Pico zkVM e a expansão contínua dos cenários de aplicação do zkCoprocessor, a Brevis está em um avanço de escalabilidade para verificabilidade.