Brevis revela Pico: a próxima geração de zkVMs

Motor de computação off-chain verificável apresentação anunciou o lançamento do Pico v1.0, uma máquina virtual de conhecimento zero (zkVM) projetada para computação verificável modular e flexível. O Pico é o primeiro zkVM que permite que os desenvolvedores personalizem campos principais, sistemas de comprovação, fluxos de trabalho, integrações de coprocessador em nível de aplicativo e acesso a dados históricos on-chain. Essa flexibilidade dá aos aplicativos controle completo sobre como as provas de conhecimento zero (ZKPs) são geradas e otimizadas, permitindo maior personalização e eficiência no processo de geração de provas. 

“O Pico representa uma mudança na forma como as zkVMs são projetadas e implantadas”, disse Michael Dong, cofundador da Brevis, em uma declaração por escrito. “Ao trazer uma zkVM modular e com reconhecimento de aplicativo com zkCoprocessors integrados, estamos otimizando o desempenho e criando um nível sem precedentes de personalização em computação verificável para Web3", Acrescentou.

Ao contrário dos zkVMs tradicionais, que normalmente oferecem uma abordagem de tamanho único, o Pico adota um design modular que permite maior personalização. Este design permite que o Pico ofereça o desempenho mais rápido em CPUs, atingindo velocidades de 84% a 155% mais rápidas do que a próxima melhor solução. Atualizações futuras introduzirão aceleração de GPU, aprimorando ainda mais o desempenho. Esta abordagem fornece protocolos on-chain e aplicativos descentralizados (dApps) com um zkVM que garante eficiência, expressividade e confiança aprimoradas.

A arquitetura modular “glue-and-coprocessor” do Pico combina um zkVM de uso geral com circuitos especializados de alto desempenho, oferecendo flexibilidade em campos de prova, sistemas e fluxos de trabalho. Ao contrário dos zkVMs tradicionais que dependem de pré-compilações de baixo nível, o Pico permite circuitos específicos de aplicativos que são personalizados para atender a diversas necessidades de aplicativos. Os desenvolvedores têm a capacidade de integrar circuitos personalizados como coprocessadores ou pré-compilações, por meio de opções integradas ou implementações personalizadas. Este design resulta em melhorias de desempenho de 35X para processamento de dados históricos de blockchain, reduzindo o tempo de geração de prova.

Pico: Habilitando estruturas de comprovação específicas de domínio, apresentando o fluxo de trabalho de comprovação personalizável ProverChain e oferecendo suporte a RISC-V e Rust

Com o Pico, os desenvolvedores podem criar estruturas de comprovação específicas de domínio que alinham as provas com linguagens especializadas ou sistemas de comprovação personalizados. Pela primeira vez, um zkVM suporta sistemas de comprovação personalizáveis ​​e campos principais sem exigir nenhuma modificação de código. Essa flexibilidade aprimora a criptografia de conhecimento zero (ZK), melhorando a velocidade, o tamanho da prova e a eficiência geral.

Além disso, a Pico apresenta o ProverChain, um fluxo de trabalho de comprovação personalizável. Esse fluxo de trabalho permite que os desenvolvedores gerem provas que verificam a validade de uma declaração, permitindo o ajuste fino da geração de provas com base na velocidade, uso de memória ou tamanho. Ele também permite que os desenvolvedores ajustem as etapas de comprovação para otimizar o custo e a escalabilidade, ignorando a compressão desnecessária de provas em casos de verificação off-chain.

O Pico suporta RISC-V, uma arquitetura de conjunto de instruções modular de código aberto, e Rust, uma linguagem de programação de sistemas conhecida por sua ênfase em segurança e desempenho. Essa combinação permite que os desenvolvedores criem aplicativos ZK usando ferramentas e configurações familiares. 

Vários Web3 protocolos e dApps já lançaram recursos com tecnologia Brevis na mainnet, incluindo Kwenta, Usual, Algebra Labs, JoJo Exchange e Trusta. Muitos outros, como PancakeSwap , Celer, Frax, Gamma, Quickswap, Máscara de rede, Kernel, Então uma , Protocolo Kim, 0G , Bedrock, Mellow Finance, ZettaBlock, Hemera e Mendi Finance estão construindo produtos e recursos de última geração com tecnologia apresentação .