➥ A Camada GPU para Blockchains - Coprocessadores ZK As blockchains movem valor, não computação. Quando contratos executam lógica complexa ou consultas de dados, eles atingem o limite de gás. Os Coprocessadores ZK resolvem isso. Eles atuam como a camada GPU para blockchains, executando fora da cadeia e provando resultados na cadeia. Deixe-me explicar em 30s 🧵 — — — ► O que são Coprocessadores ZK? Os Coprocessadores ZK são camadas de computação fora da cadeia que permitem que contratos inteligentes lidem com lógica complexa sem altos custos de gás ou problemas de confiança. Eles executam tarefas fora da cadeia, geram provas de conhecimento zero e permitem que a cadeia as verifique de forma econômica. Em resumo, eles escalonam a computação enquanto permanecem verificáveis. Características principais: ➤ Execução fora da cadeia: 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 na cadeia. ➤ Sem estado e agnóstica à cadeia: Funciona em L1s, L2s e rollups. ➤ Custo-efetivo: Reduz gás e 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 das blockchains como uma camada de computação que verifica o trabalho sem adicionar congestionamento. Como eles diferem: ➤ Rollups: Escalam transações e mantêm estado. Coprocessadores escalam computação e permanecem sem estado. ➤ Oráculos: Entregam dados sem prova. Coprocessadores retornam dados com provas. ➤ TEEs: Dependem de hardware confiável. Coprocessadores verificam através de matemática, não de máquinas. Juntos, eles estendem a pilha modular, rollups movem dados, oráculos buscam, coprocessadores provam. — ► Como os Coprocessadores ZK Funcionam Fluxo de trabalho: Contrato Inteligente → Coprocessador ZK → Geração de Prova → Verificação na Cadeia Passo a passo: ➤ Contrato Inteligente: Envia um pedido para uma tarefa pesada, como buscar dados ou executar um modelo de IA. ➤ Coprocessador ZK: Executa a computação fora da cadeia para evitar gás e latência. ➤ Geração de Prova: Cria uma prova ZK de que a computação foi correta. ➤ Verificação na Cadeia: O contrato verifica a prova e atualiza os resultados. — ► Principais Projetos de Coprocessadores ZK ➤ Lagrange ( @LagrangeDev ) Fornece um coprocessador ZK baseado em SQL com comitês de clientes leves para consultas cross-chain de finalização rápida. Usado por @eigenlayer, @Mantle_Official e @base para interoperabilidade verificável. ➤ Space and Time ( @SpaceandTimeDB ) Fornece um coprocessador Proof-of-SQL que permite consultas verificáveis em dados on-chain e off-chain. Usado por @chainlink e parceiros empresariais para análises escaláveis e feeds de oráculos. ➤ RISC Zero ( @RiscZero ) Fornece um zkVM RISC-V com serviço de prova Bonsai para computação verificável de propósito 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 cross-chain e dados cross-chain sem confiança. Usado por @Uniswap V4 Hooks e @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Fornece uma estrutura zkML que converte modelos de IA em forma verificável de conhecimento zero. Usado por projetos de IA baseados em @Starknet para detecção de fraudes e gestão de ativos. ➤ =nil; Foundation ( @nil_foundation ) Fornece o compilador zkLLVM e o Mercado de Provas para converter código padrão em circuitos prováveis. Usado por pontes, rollups e protocolos financeiros para geração de provas. ➤ Boundless ( @BoundlessXYZ ) Fornece coprocessadores ZK programáveis para acesso ao estado histórico e computação cross-chain. Usado por rollups parceiros para indexação de dados e mecanismos de incentivo. ➤ Succinct ( @SuccinctLabs ) Fornece o zkVM SP1 e uma rede de provadores descentralizada para provas de validade. Usado por @Mantle_Official para substituir provas de fraude e reduzir retiradas de sete dias para seis horas. ➤ Axiom ( @axiom_xyz ) Fornece uma API de prova e OpenVM para consultar dados históricos do @ethereum fora da cadeia e verificá-los na cadeia. Usado por @Scroll_ZKP para finalizar blocos e reduzir a latência de retirada. — ► Riscos e Compensações ➤ Altos custos de prova: Provas precisam de hardware forte e longa computação. ➤ Desenvolvimento complexo: Requer expertise em criptografia e ferramentas especializadas. ➤ Risco de centralização: Redes de provadores iniciais dependem de poucos nós. ➤ Ciclos rápidos de hardware: O hardware evolui rapidamente, tornando as configurações caras e de curta duração. — ► Conclusão Os Coprocessadores ZK removem o maior gargalo das blockchains — a computação. Eles transformam 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 cairão e o desempenho aumentará. Construtores em DeFi, rollups, IA e sistemas de intenção estão usando-os para trazer computação verificável para blockchains modulares.

Marquei os 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

— Aviso de isenção de responsabilidade