➥ A camada de GPU para blockchains - coprocessadores ZK Blockchains movem valor, não computação. Quando os contratos executam lógicas complexas ou consultas de dados, eles atingem a barreira de gás. Os coprocessadores ZK corrigem isso. Eles atuam como a camada de GPU para blockchains, executando off-chain e provando resultados on-chain. Deixe-me explicar em 30s 🧵 — — — ► O que são coprocessadores ZK? Os coprocessadores ZK são camadas de computação off-chain que permitem que contratos inteligentes lidem com lógica complexa sem problemas de alto gás ou confiança. Eles executam tarefas off-chain, geram provas de conhecimento zero e permitem que a cadeia as verifique de forma barata. Em suma, eles dimensionam a computação enquanto permanecem verificáveis. Características principais: ➤ Execução off-chain: executa cargas de trabalho pesadas, como consultas de dados ou inferência de IA. ➤ Prova de correção: Cada resultado inclui uma prova ZK verificada on-chain. ➤ Sem estado e independente de cadeia: funciona em L1s, L2s e rollups. ➤ Custo-benefício: Reduz o gás e a latência. — ► Onde os coprocessadores ZK se encaixam Os coprocessadores ZK não são rollups ou oráculos; eles os complementam. Eles ficam ao lado de blockchains como uma camada de computação que verifica o trabalho sem adicionar congestionamento. Como eles diferem: ➤ Rollups: Dimensione as transações e mantenha o estado. Os coprocessadores dimensionam a computação e permanecem sem estado. ➤ Oráculos: Entregue dados sem provas. Os coprocessadores retornam dados com provas. ➤ TEEs: Conte com hardware confiável. Os coprocessadores verificam por meio de matemática, não de máquinas. Juntos, eles estendem a pilha modular, os rollups movem os dados, os oráculos os buscam, os coprocessadores provam isso. — ► Como funcionam os coprocessadores ZK Fluxo de trabalho: Contrato inteligente → coprocessador ZK → geração de prova → verificação on-chain Passo a passo: ➤ Contrato inteligente: envia uma solicitação para uma tarefa pesada, como buscar dados ou executar um modelo de IA. ➤ Coprocessador ZK: Executa a computação off-chain para evitar gás e latência. ➤ Geração de prova: Cria uma prova ZK de que o cálculo estava correto. ➤ Verificação on-chain: O contrato verifica a prova e atualiza os resultados. — ► Liderando projetos de coprocessadores ZK ➤ Lagrange ( @LagrangeDev ) Fornece um coprocessador ZK baseado em SQL com comitês de cliente leve para consultas de cadeia cruzada de finalidade rápida. Usado por @eigenlayer, @Mantle_Official e @base para interoperabilidade verificável. ➤ Espaço e Tempo ( @SpaceandTimeDB ) Fornece um coprocessador de prova de SQL que permite consultas verificáveis em dados on-chain e off-chain. Usado por parceiros @chainlink e corporativos para análises escaláveis e feeds de oráculo. ➤ RISC Zero ( @RiscZero ) Fornece um ZKVM RISC-V com serviço de prova Bonsai para computação verificável de uso geral. Usado por @citrea_xyz e @PhalaNetwork para provas de execução confiáveis. ➤ Brevis ( @brevis_zk ) Fornece um coprocessador de dados ZK programável para consultas de cadeia cruzada e dados de cadeia cruzada sem confiança. Usado por @Uniswap ganchos V4 e @LineaBuild ignição. ➤ Gizé ( @Gizatechxyz ) Fornece uma estrutura zkML que converte modelos de IA em um formato verificável por conhecimento zero. Usado por projetos de IA baseados em @Starknet para detecção de fraudes e gerenciamento de ativos. ➤ = nulo; Fundação ( @nil_foundation ) Fornece o compilador zkLLVM e o Proof Market para converter código padrão em circuitos comprováveis. Usado por pontes, rollups e protocolos financeiros para geração de provas. ➤ Sem limites ( @BoundlessXYZ ) Fornece coprocessadores ZK programáveis para acesso ao estado histórico e computação entre cadeias. Usado por rollups de parceiros para indexação de dados e mecanismos de incentivo. ➤ Sucinta ( @SuccinctLabs ) Fornece o SP1 zkVM e uma rede de provadores descentralizada para provas de validade. Usado pela @Mantle_Official para substituir provas de fraude e reduzir saques de sete dias para seis horas. ➤ Axioma ( @axiom_xyz ) Fornece uma API de comprovação e OpenVM para consultar os dados históricos de @ethereum off-chain e verificá-los on-chain. Usado por @Scroll_ZKP para finalizar blocos e reduzir a latência de retirada. — ► Riscos e Compensações ➤ Altos custos de prova: As provas precisam de hardware forte e computação longa. ➤ Desenvolvimento complexo: Requer experiência em criptografia e ferramentas especializadas. ➤ Risco de centralização: As primeiras redes de provadores dependem de poucos nós. ➤ Ciclos de hardware rápidos: O hardware evolui rapidamente, tornando as configurações caras e de curta duração. — ► Embrulhar Os coprocessadores ZK removem o maior gargalo do blockchain - a computação. Eles transformam uma lógica lenta e cara em execução escalável e verificável para contratos inteligentes complexos. À medida que o hardware melhora e as redes de provadores se descentralizam, os custos de prova caem e o desempenho aumenta. Construtores em DeFi, rollups, IA e sistemas de intenção estão usando-os para trazer computação verificável para blockchains modulares.

Marcou meus amigos que remodelam a narrativa e elevam a conversa. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Isenção de responsabilidade