O consenso Blockchain obriga cada validador a executar cálculos idênticos de forma repetida, tornando o processamento direto e on-chain de lógica complexa simultaneamente dispendioso e limitado. O valor do zkVM consiste em transferir a execução para off-chain, com apenas uma prova sucinta verificada on-chain, superando o teto computacional das transações individuais.
Como camada universal de execução para a computação verificável do Brevis (BREV), o Pico zkVM recorre a uma arquitetura glue-and-coprocessor que equilibra flexibilidade e desempenho, oferecendo uma cadeia de ferramentas unificada para programação e prova, abrangendo processamento de dados, verificação de assinaturas, inferência de machine learning e cenários de prova de bloco Ethereum.
O que é o Pico zkVM?
O Pico zkVM, enquanto camada universal de execução de computação verificável do Brevis, integra a “escrita de programas” e a “prova de execução correta” numa única cadeia de ferramentas open-source. Os programadores podem definir lógica de computação em Rust sem necessidade de criar circuitos de baixo nível; o Pico gere a execução off-chain e a geração de provas.
A modularidade funciona em dois níveis: o núcleo universal executa qualquer programa, enquanto coprocessadores dedicados plugáveis estão otimizados para operações de alta frequência. Este modelo permite ao Pico suportar computações amplas e aproximar-se do desempenho de circuitos especializados para operações críticas, evitando as limitações típicas de “flexível mas lento” dos zkVM generalistas.
O que é a arquitetura glue-and-coprocessor?
A arquitetura glue-and-coprocessor é central no design do Pico zkVM: um núcleo universal atua como “cola”, conectando todo o fluxo de programa, enquanto tarefas intensivas e frequentes são delegadas a coprocessadores dedicados ou circuitos pré-compilados.
O núcleo universal RISC-V executa qualquer programa Rust, garantindo flexibilidade. Quando o programa encontra operações como hashing Keccak-256, verificação de assinaturas, inferência de machine learning ou processamento de dados Blockchain, o Pico encaminha estas tarefas para circuitos especializados, dispensando a necessidade de gerar provas em cada instrução RISC-V.
A prova ao nível de instrução é intensiva em recursos e representa o principal gargalo dos zkVM generalistas. Ao substituir este processo por circuitos otimizados para provas de conhecimento zero, o Brevis reporta melhorias de velocidade de prova entre 10x e 80x, reduzindo drasticamente os custos de prova sem sacrificar versatilidade.
Como funcionam em conjunto o núcleo universal e os coprocessadores dedicados?
O núcleo universal e os coprocessadores dedicados combinam “execução flexível” com “prova eficiente”: o núcleo gere qualquer lógica, enquanto os coprocessadores aceleram operações de alta frequência.
| Componente |
Função |
Computação |
Método de prova |
| Núcleo universal RISC-V (Glue) |
Camada glue |
Qualquer fluxo de programa Rust |
Prova ao nível de instrução |
| Circuito pré-compilado Keccak-256 |
Coprocessador dedicado |
Computação de hash |
Circuito otimizado |
| Coprocessador de verificação de assinaturas |
Coprocessador dedicado |
Validação de assinaturas |
Circuito otimizado |
| Coprocessador de inferência ML |
Coprocessador dedicado |
Inferência de machine learning |
Circuito otimizado |
| Coprocessador de dados Blockchain |
Coprocessador dedicado |
Processamento de dados on-chain/históricos |
Circuito otimizado |
Como ilustrado acima, o núcleo universal permite que o Pico execute qualquer programa, enquanto os coprocessadores dedicados transformam operações de alta frequência—hashing, verificação de assinaturas, inferência ML e processamento de dados—de prova ao nível de instrução para prova de circuito completo. O encaminhamento é automático, pelo que raramente é necessário alterar manualmente os caminhos de execução.
Figura 1. Arquitetura glue-and-coprocessor do Pico zkVM: O núcleo universal RISC-V (glue) executa qualquer programa, encaminhando tarefas Keccak-256, verificação de assinaturas, inferência ML e dados Blockchain para coprocessadores dedicados ou circuitos pré-compilados.
O fluxo de desenvolvimento do Pico foca-se em “execução off-chain, verificação on-chain” em quatro etapas: escrever a computação em Rust, o Pico executa off-chain e produz resultados, gerar uma prova criptográfica de execução correta, e finalmente, um contrato inteligente verifica a prova sucinta on-chain.
A etapa decisiva é a última: os contratos on-chain verificam a prova, não o programa completo. Verificar uma prova sucinta demora apenas milissegundos e é largamente independente da escala da computação original, permitindo validar lógica complexa on-chain a custos mínimos.
Para os programadores, o Pico reduz a barreira de desenvolvimento zero-knowledge ao utilizar Rust. Não é necessário dominar o design de circuitos para criar programas verificáveis—a complexidade criptográfica está contida na cadeia de ferramentas.
Figura 2. Fluxo de desenvolvimento do Pico zkVM: Escrever programa em Rust → Pico executa off-chain → Gerar prova ZK → Contrato inteligente verifica on-chain.
Qual é a relação entre o Pico e os ZK Data Coprocessors?
O Pico zkVM e os coprocessadores ao nível da aplicação constituem uma relação de “cola universal” e “motor dedicado”. O ZK Data Coprocessor é um exemplo paradigmático: acede a dados históricos e entre cadeias off-chain, realiza a computação e anexa provas criptográficas de autenticidade e correção dos dados.
Nesta divisão de tarefas, o Pico atua como cola, encaminhando eficientemente dados entre módulos dedicados e mantendo a flexibilidade de um zkVM de uso geral. A lógica da aplicação pode recorrer ao núcleo universal para computação personalizada ou ao data coprocessor para acesso eficiente ao histórico on-chain.
Em resumo, o Pico oferece capacidade universal de computação, enquanto os coprocessadores ao nível da aplicação fornecem processamento especializado e rápido para cenários específicos. Juntos, compõem a stack de execução de computação verificável do Brevis.
Quais são os casos de utilização do Pico zkVM?
O Pico zkVM é ideal para cenários que exigem “computação de confiança + verificação on-chain”, sendo processamento de dados, verificação de assinaturas, inferência de machine learning e prova de bloco Ethereum quatro aplicações típicas.
| Cenário |
Função do Pico |
Sistema ou circuito representativo |
| Processamento de dados |
Agregação e análise de histórico on-chain e dados entre cadeias |
ZK Data Coprocessor |
| Verificação de assinaturas |
Validação de assinaturas em lote |
Coprocessador de verificação de assinaturas |
| Inferência ML |
Geração de resultados verificáveis para inferência de modelos off-chain |
Coprocessador de inferência ML |
| Prova de bloco Ethereum |
Geração de provas de bloco Ethereum em tempo real |
Pico Prism |
A tabela acima resume quatro cenários típicos e os respetivos componentes de execução. O processamento de dados e a verificação de assinaturas dependem de coprocessadores dedicados para aceleração, a inferência ML anexa provas aos outputs de modelos off-chain, e a prova de bloco Ethereum é o caso de uso mais proeminente.
A prova de bloco Ethereum é gerida pelo Pico Prism, um sistema de prova em tempo real construído sobre o Pico. Segundo o Brevis, atinge cerca de 99,8% de cobertura em tempo real em 16 GPU, igualando o objetivo de hardware de 100 000 $ da Ethereum Foundation. Ao contrário dos oráculos que trazem dados off-chain para on-chain, o Pico foca-se na computação verificável de dados on-chain. A diferença entre Brevis e oráculos é que o Pico enfatiza a computação verificável de dados Blockchain em vez de feeds de preços externos. A iniciativa On-Prem Proving da Ethereum Foundation (Ethproof) selecionou o Brevis como uma das quatro equipas em março de 2026.
Quais são as vantagens e considerações de utilizar o Pico zkVM?
A principal vantagem do Pico zkVM está na combinação de flexibilidade e desempenho: o núcleo universal permite executar qualquer programa, os coprocessadores dedicados aproximam operações de alta frequência da eficiência de circuitos especializados e a cadeia de ferramentas Rust reduz a barreira de desenvolvimento zero-knowledge.
As considerações relacionam-se sobretudo com a cobertura de circuitos especializados e a dinâmica do mercado de provas. Coprocessadores e circuitos pré-compilados aplicam-se apenas a operações otimizadas; programas que dependam fortemente de computações não suportadas têm de recorrer à prova ao nível de instrução com o núcleo universal, reduzindo os ganhos de desempenho. O staking e slashing de provadores em tokens BREV e coChain ligam a fiabilidade da entrega de provas à garantia em tokens.
Os custos de prova são uma restrição estrutural. A geração de provas de conhecimento zero exige hardware especializado e hashrate, e o overhead de prova para computação generalista permanece superior à execução nativa. O custo e a latência da lógica complexa devem ser considerados durante o design. Estas são restrições objetivas ao nível do mecanismo e não constituem aconselhamento de investimento.
Resumo
O Pico zkVM, máquina virtual modular open-source de conhecimento zero do Brevis, integra o núcleo universal RISC-V e circuitos pré-compilados dedicados numa arquitetura glue-and-coprocessor: o núcleo executa qualquer programa Rust, tarefas de alta frequência são encaminhadas para coprocessadores especializados, e o Brevis reporta melhorias de velocidade de prova entre 10x e 80x. Os programadores escrevem computação em Rust, executam off-chain e geram provas, com apenas provas sucintas verificadas on-chain. Juntamente com coprocessadores ao nível da aplicação como o ZK Data Coprocessor e sistemas implementados como o Pico Prism, o Pico constitui a camada universal de execução para a computação verificável do Brevis.
Perguntas Frequentes
O que é o Pico zkVM?
O Pico zkVM, máquina virtual modular open-source de conhecimento zero (zkVM) do Brevis, permite aos programadores escrever qualquer lógica de computação em Rust, executar off-chain e gerar provas de conhecimento zero. Os contratos inteligentes só necessitam de verificar provas sucintas on-chain, eliminando a necessidade de reexecutar programas completos.
Como acelera a arquitetura glue-and-coprocessor as provas?
A arquitetura utiliza o núcleo universal RISC-V como cola para executar programas, encaminhando operações comuns como hashing Keccak-256, verificação de assinaturas e inferência ML para coprocessadores dedicados (pré-compilados). Circuitos otimizados para provas de conhecimento zero substituem a prova ao nível de instrução, melhorando a velocidade de prova entre 10x e 80x segundo o Brevis.
Como podem os programadores construir programas verificáveis com o Pico?
Os programadores escrevem lógica de computação em Rust, o Pico executa off-chain e produz resultados, depois gera uma prova criptográfica de execução correta. Os contratos inteligentes verificam esta prova sucinta on-chain, com overhead de verificação ao nível de milissegundos e essencialmente independente da escala da computação original.
Qual é a relação entre o Pico zkVM e os ZK Data Coprocessors?
O Pico zkVM atua como cola, encaminhando eficientemente dados entre módulos dedicados e mantendo a generalidade. Os ZK Data Coprocessors são os coprocessadores de aplicação mais proeminentes, acedendo a dados históricos e entre cadeias off-chain e anexando provas de computação correta. Juntos, formam a stack completa de execução.
O que é o Pico Prism?
O Pico Prism, construído sobre o Pico, é um sistema de prova de bloco Ethereum em tempo real. Segundo o Brevis, atinge aproximadamente 99,8% de cobertura em tempo real em 16 GPU, igualando o objetivo de hardware de 100 000 $ da Ethereum Foundation. A iniciativa On-Prem Proving da Ethereum Foundation (Ethproof) selecionou o Brevis como uma das quatro equipas em março de 2026.
