ZK já não é um "livro de céu", Brevis torna-o uma "ferramenta essencial" para Blockchain.

O que é Brevis?

Para entender o Brevis, não se pode ignorar o ZK (prova de conhecimento zero).

Costumamos dizer que a blockchain é um livro-razão compartilhado, onde todos fazem anotação e garantem a equidade. Mas sua capacidade de processamento é limitada: cada transação precisa ser validada por todos os nós, e ao lidar com tarefas complexas (como análise de grandes dados ou raciocínio de IA), torna-se lenta como uma lesma e extremamente cara.

A emergência da tecnologia ZK visa resolver este "gargalo de poder computacional". Você pode imaginar o ZK como uma calculadora ao resolver problemas matemáticos — ao encontrar cálculos complexos, não é mais necessário fazer repetidas contas, mas sim pressionar algumas teclas no teclado, obtendo facilmente a resposta, e o resultado tem o respaldo da "máquina", sendo absolutamente confiável.

Brevis é exatamente uma potente "calculadora ZK". O seu objetivo é ajudar as aplicações Web3 a superar as limitações de poder computacional na blockchain, transferindo tarefas de cálculo complexas de forma segura para fora da cadeia, e depois trazendo os resultados de volta para a cadeia para verificação através de provas ZK. Assim, os desenvolvedores de dApp podem, como em um exame com uma calculadora, realizar qualquer cálculo, por mais complexo que seja, de forma eficiente e tranquila.

Dois, dois principais produtos

A principal vantagem competitiva da Brevis está refletida nos dois principais produtos que lançou:

1. Pico zkVM: O "calculador ZK universal" do mundo blockchain

Pico zkVM é uma máquina virtual de conhecimento zero genérica desenvolvida pela equipe Brevis. É como se pudéssemos usar uma calculadora para rapidamente calcular expressões variadas com adição, subtração, multiplicação e divisão. O Pico zkVM permite que os desenvolvedores escolham livremente diferentes sistemas de prova (como STARK, CircleSTARK, etc.), diferentes arquiteturas de operação (conjunto de instruções RISC-V) e até conectem módulos de "coprocessadores" personalizados para diferentes aplicações. Ele se adapta rapidamente a diferentes cenários de negócios e necessidades de otimização, equilibrando segurança, velocidade e custo.

Comparado a outros concorrentes de zkVM, o Pico é 70-155% mais rápido que o RISC0, SP1 e outros em CPU, sendo o zkVM mais rápido com um único GPU. Além disso, suporta programação em Rust, permitindo que os desenvolvedores se concentrem na lógica de negócios sem a necessidade de dominar a criptografia, para que possam construir aplicações eficientes e aproveitar o poder do ZK.

2. ZK Data Co-Processor: A High-Level Calculator for One-Click Operations on Complex Business

Se o Pico é uma calculadora básica versátil, o ZK Data Co-Processor é uma calculadora inteligente que integra "funções avançadas". Foi projetado para cenários no mundo Web3 que precisam processar grandes quantidades de dados históricos, dados entre cadeias e lógicas de negócios complexas, encapsulando muitas operações de agregação, análise e verificação complicadas em APIs padronizadas, permitindo que os desenvolvedores chamem e completem automaticamente todo o processamento de dados, gerando provas de conhecimento zero com um único clique, e validando de forma eficiente na cadeia.

As capacidades específicas incluem:

• Estatísticas automáticas do comportamento do usuário: por exemplo, contabilizar o volume de transações de um usuário em um determinado protocolo, a duração da atividade, etc., gerando uma "pontuação de comportamento" ou "qualificação para recompensas" verificável. Projetos como Uniswap e PancakeSwap já utilizaram essa capacidade para implementar a redução de taxas de gas e a distribuição de recompensas.
• Integração de dados em múltiplas cadeias: já abrange cinco das principais blockchains, incluindo Ethereum, BNB Chain e Base, permitindo a estatística unificada de ativos, transações e envolvimento dos usuários entre cadeias. Projetos como Euler e Usual estão utilizando esta solução para alcançar um verdadeiro "dados é rei" incentivo em múltiplas cadeias.
• Lógica de negócios complexa em cadeia de forma unificada: como distribuição de recompensas, gestão de fidelidade, autenticação de identidade, etc., toda a lógica pode ser diretamente chamada por contratos inteligentes, sem depender de serviços de terceiros ou centralizados. Protocolos como OpenEden, Thena, Kernel, Vana, entre outros, estão utilizando a Brevis para implementar cenários avançados como identidade em cadeia, incentivos entre cadeias, computação confiável de dados de IA, recomendações personalizadas.

A aparição do processador de dados ZK reduziu drasticamente a barreira de entrada para o desenvolvimento com ZK, permitindo que os desenvolvedores utilizem poderosas capacidades sem a necessidade de "programar" lógicas de prova complexas, resultando na rápida adoção por projetos líderes da indústria.

Três, Expansão Ecológica

Além dos casos de uso típicos mencionados anteriormente, a influência da Brevis está se expandindo rapidamente em ecossistemas multichain e multidomínio. De acordo com estatísticas, atualmente, o número de usuários ativos diários da Brevis está próximo de 8000, com um total de mais de 70 mil usuários e 5 principais blockchains gerando quase 50 milhões de provas computacionais verificáveis. No ecossistema da BNB Chain, a Brevis está profundamente integrada com projetos como o maior DEX PancakeSwap, Kernel, Thena, entre outros, alcançando e servindo efetivamente milhões de usuários ativos diários, tornando-se a força central da pilha de tecnologia ZK da BNB Chain. Enquanto isso, o Pico zkVM também foi incluído no plano de expansão "giga-gas" do Ethereum, ajudando a aumentar significativamente a capacidade de throughput da cadeia principal do Ethereum, garantindo segurança e descentralização. É previsível que a Brevis tenha a chance de construir influência gradualmente no ecossistema do Ethereum.

No campo da IA, a Brevis permite que cada inferência e decisão do modelo de IA possa ser comprovada matematicamente, aumentando significativamente a credibilidade e a auditabilidade dos resultados da IA. Isso é especialmente importante em indústrias como finanças e saúde, que exigem auditorias rigorosas e confiabilidade, permitindo que cada participante da rede de IA descentralizada contribua com modelos e dados sem se preocupar com fraudes ou manipulações.

E no tradicional domínio Web2, o Brevis também tem seu lugar. Por exemplo, as empresas podem usá-lo para verificar se os provedores de serviços em nuvem realmente cumpriram as tarefas conforme exigido; várias APIs e serviços de terceiros também podem usá-lo para provar que suas ações são reais e confiáveis; indústrias como finanças e cadeia de suprimentos podem usar o Brevis para garantir conformidade e auditoria em nível de criptografia para o processamento de dados e fluxos de trabalho. Em suma, o Brevis transforma "confiança" em um fato que pode ser verificado.

Quatro, Conclusão

O ZK tem sido sempre como a questão final de uma competição matemática, de grande dificuldade, com um alto nível de exigência, parecendo muito distante do usuário comum e das aplicações práticas. A chegada da Brevis transformou o ZK de um "livro de matemática" em uma infraestrutura acessível a todos. Seja em DeFi, GameFi, IA, cross-chain, ou em cenários diversos como distribuição de recompensas impulsionadas por dados, autenticação de identidade, perfis de usuários, entre outros, a Brevis pode ajudar os desenvolvedores a alcançar inovações de forma mais eficiente, segura e com um nível de exigência mais baixo. O que você acha do futuro da Brevis e do ZK? Sinta-se à vontade para compartilhar seus pensamentos e insights na seção de comentários.