StarkWare Verifica a Primeira Prova ZK-STARK no Signet do Bitcoin — Provas de Conhecimento Zero Chegam de Forma Nativa ao Bitcoin
O Bitcoin sempre foi a blockchain mais segura e descentralizada existente — mas também a mais limitada em programabilidade. Essa tensão está se dissolvendo. A StarkWare, equipe por trás da rede Starknet Layer 2, verificou com sucesso uma prova ZK-STARK na rede de teste Signet do Bitcoin, marcando um marco fundamental em trazer a criptografia de conhecimento zero nativamente para a maior blockchain do mundo.
Esta conquista, combinada com a pesquisa ColliderVM, o lançamento da mainnet da Citrea e o impulso mais amplo para a infraestrutura de Layer 2 do Bitcoin, sinaliza que 2026 pode ser o ano em que o Bitcoin se transforma de uma rede apenas de liquidação em uma plataforma financeira programável — sem sacrificar nenhum de seus princípios fundamentais.
O que a StarkWare Realmente Provou na Signet
Em uma demonstração histórica, a StarkWare implantou um verificador STARK na rede de teste Signet do Bitcoin — um ambiente de teste controlado que espelha o comportamento da mainnet do Bitcoin. O verificador, construído em parceria com a empresa de capital de risco L2 Iterative (L2IV), verificou com sucesso o cálculo do 32º número na sequência de Fibonacci ao quadrado usando uma prova de conhecimento zero.
Os detalhes técnicos importam. A verificação consumiu aproximadamente 790.000 bytes virtuais (vBytes) na rede Signet. Se isso fosse replicado na mainnet do Bitcoin com o OP_CAT ativado e uma taxa de taxa de 2 sat / vByte, o custo seria de aproximadamente US$ 950 por verificação — caro para os padrões de L2 da Ethereum, mas uma prova de conceito que antes era considerada impossível no ambiente de script restrito do Bitcoin.
O principal facilitador é o OP_CAT, um opcode de concatenação originalmente parte da linguagem de script do Bitcoin. Satoshi Nakamoto o desativou em 2010 devido a preocupações com possíveis ataques de negação de serviço. Sua reativação, agora formalizada como BIP-347, permitiria que scripts concatenassem dois elementos da pilha — uma operação aparentemente simples que desbloqueia capacidades poderosas, incluindo verificação de árvore Merkle, execução de covenants e, fundamentalmente, verificação de provas STARK.
Da Signet para o ColliderVM: Removendo a Dependência do OP_CAT
Embora a demonstração na Signet dependesse do OP_CAT, os pesquisadores da StarkWare reconheceram que esperar por um soft fork do Bitcoin poderia levar anos — ou nunca acontecer, dada a abordagem cautelosa da comunidade em relação a mudanças de consenso. Em abril de 2025, o cofundador da StarkWare, Eli Ben-Sasson, e pesquisadores do Instituto Weizmann publicaram o ColliderVM, um protocolo que permite computação com estado no Bitcoin sem exigir nenhuma alteração no protocolo.
O ColliderVM funciona por meio de um esquema de compromisso baseado em colisão de hash. Um provador deve produzir uma entrada que, quando processada por meio de uma função de hash, gera uma saída com características pré-determinadas. Esse mecanismo permite que cálculos em várias etapas abranjam várias transações de Bitcoin, mantendo a integridade criptográfica — tudo dentro das restrições de Script existentes do Bitcoin.
Os ganhos de eficiência são drásticos. De acordo com Ben-Sasson, o ColliderVM é "pelo menos 10.000 vezes mais eficiente" que seu antecessor, o ColliderScript. Embora os pesquisadores reconheçam que isso ainda é P&D e ainda não está pronto para produção, o artigo demonstra que a verificação de provas STARK on-chain no Bitcoin é "quase prática" hoje.
Isso é importante porque desvincula o roteiro de programabilidade do Bitcoin do processo de ativação de soft fork politicamente carregado. Independentemente de o OP_CAT ser reativado ou não, o ColliderVM fornece um caminho para a verificação ZK no Bitcoin.
A Corrida para Construir a Infraestrutura ZK do Bitcoin
A StarkWare não está sozinha. Um ecossistema competitivo de projetos está correndo para trazer capacidades de conhecimento zero para o Bitcoin, cada um adotando uma abordagem arquitetônica diferente.
BitcoinOS e BitSNARK
O BitcoinOS fez história em 24 de julho de 2024, ao verificar a primeira prova de conhecimento zero na mainnet do Bitcoin no bloco 853.626. Seu protocolo BitSNARK permite a verificação de zk-SNARK no Bitcoin sem alterar o protocolo principal, usando um sistema de desafio-resposta de duas partes. O BitcoinOS abriu o código do BitSNARK v0.1 em setembro de 2024, tornando-se o primeiro projeto a lançar tecnologia de criptografia ZK de código aberto para a mainnet do Bitcoin.
Citrea: O Primeiro Rollup ZK de Produção do Bitcoin
A Citrea ativou sua mainnet em 27 de janeiro de 2026, tornando-se o primeiro rollup ZK de nível de produção do Bitcoin. Usando a tecnologia zkEVM da RISC Zero, a Citrea agrupa milhares de transações fora da cadeia, gera provas de conhecimento zero e as inscreve na camada base do Bitcoin. Sua ponte Clementine, construída no paradigma BitVM, permite transferências de ativos com minimização de confiança entre o Bitcoin e o rollup.
A Citrea foi lançada com o ctUSD, uma stablecoin lastreada em fiduciário construída na infraestrutura M0 e MoonPay, visando duas categorias principais de produtos: empréstimos garantidos por BTC e produtos estruturados. Isso representa uma aplicação concreta e utilizável da tecnologia ZK no Bitcoin — não apenas uma prova de conceito.
Botanix Labs e a Spider Chain
A Botanix foi pioneira no design "spider chain" — uma nova arquitetura L2 que permite sidechains com peg bidirecional com o Bitcoin. Lançada no início de 2025, a Botanix oferece compatibilidade com EVM enquanto mantém uma forte conexão com o modelo de segurança do Bitcoin, unindo a robustez do Bitcoin com o ecossistema de contratos inteligentes do Ethereum.
A Ambição de Liquidação Dupla da Starknet
Talvez a visão mais ambiciosa venha da própria Starknet. O projeto visa tornar-se a primeira Camada 2 a liquidar simultaneamente tanto no Bitcoin quanto no Ethereum — uma única rede que unifica os dois maiores ecossistemas de blockchain.
O roteiro é concreto. Através de uma parceria com a Alpen Labs, a Starknet planeja entregar uma ponte com minimização de confiança entre o Bitcoin e sua rede até o final de 2026. A plataforma introduziu o strkBTC para transações protegidas de Bitcoin na Camada 2 do Ethereum, e delineou planos para escalar o Bitcoin de 7 transações por segundo para milhares, reduzindo as taxas de 0,002 e encolhendo os tempos de confirmação de bloco de 10 minutos para 2 segundos.
Até o final de 2026, a Starknet prevê escalar três pilares da Web3: Bitcoin como dinheiro forte através de BTCFi e pontes com minimização de confiança, privacidade Zcash através da Ztarknet, e execução de contratos inteligentes de propósito geral através de sua L2 existente no Ethereum. Se executado, isso posicionaria a Starknet como o tecido conectivo entre a capitalização de mercado de $ 1,4 trilhão do Bitcoin e o ecossistema DeFi do Ethereum.
Por que ZK no Bitcoin Muda Tudo
As implicações da verificação ZK nativa no Bitcoin vão muito além da escalabilidade. Três capacidades transformadoras emergem.
Camadas 2 trustless sem provas de fraude. As abordagens atuais de L2 do Bitcoin, como a Lightning Network ou sistemas baseados em BitVM, dependem de provas de fraude com períodos de desafio — o que significa que os usuários devem esperar dias ou semanas pela finalidade e alguém deve estar sempre atento a comportamentos desonestos. As provas ZK fornecem finalidade criptográfica instantânea: ou a prova é válida, ou não é. Sem watchtowers, sem períodos de desafio, sem suposições de confiança além da matemática.
Privacidade sem mudanças no protocolo. Provas de conhecimento zero podem permitir transações privadas no Bitcoin sem exigir novos opcodes ou mudan ças no consenso. Esquemas de Proof-of-Reserve permitem que custodiantes provem as reservas de Bitcoin acima de um limite sem revelar endereços ou saldos reais. Isso é particularmente relevante à medida que a adoção institucional acelera e as demandas de conformidade regulatória coexistem com os requisitos de privacidade.
Resistência quântica. À medida que a computação quântica avança, os ZK-STARKs — que dependem de funções hash em vez de criptografia de curva elíptica — fornecem uma camada de verificação natural resistente a computação quântica. Isso posiciona a infraestrutura ZK do Bitcoin como compatível com o futuro em relação aos requisitos de segurança pós-quântica, uma preocupação que se torna mais urgente a cada ano.
A Questão do OP_CAT
O elefante na sala continua sendo a ativação do OP_CAT. Formalizado como BIP-347 em abril de 2024, sua reativação simplificaria drasticamente a verificação ZK no Bitcoin e permitiria uma nova classe de aplicações de Bitcoin, incluindo covenants, vaults e esquemas avançados de multiassinatura.
Mas o processo de soft fork do Bitcoin é deliberadamente lento e politicamente carregado. O último soft fork bem-sucedido da comunidade — Taproot — levou anos de deliberação antes da ativação em novembro de 2021. O debate sobre o OP_CAT tornou-se emaranhado com disputas mais amplas sobre a direção do desenvolvimento do Bitcoin, incluindo discussões contenciosas sobre Ordinals, tokens BRC-20 e a remoção do limite de relay de 80 bytes.
A genialidade de projetos como ColliderVM e BitSNARK é que eles não esperam por permissão. Ao trabalhar dentro das restrições existentes do Bitcoin, eles demonstram que a programabilidade pode ser alcançada através da engenhosidade da engenharia, em vez de consenso político. Se o OP_CAT eventualmente for ativado, esses sistemas tornam-se drasticamente mais eficientes. Se não for, eles ainda funcionam.
O Que Vem a Seguir
Os próximos 12 meses determinarão se o momento ZK do Bitcoin se traduz em adoção significativa. Marcos importantes para observar:
- Maturação do ColliderVM de artigo de pesquisa para protótipo funcional
- Entrega da liquidação dupla da Starknet para Bitcoin e Ethereum
- Crescimento do ecossistema da Citrea como o primeiro ZK rollup em produção no Bitcoin
- Trajetória de ativação do OP_CAT e o debate mais amplo sobre o soft fork
As apostas são enormes. O Bitcoin detém aproximadamente 55% da capitalização total do mercado cripto — mais de $ 1,4 trilhão em valor que tem estado amplamente bloqueado fora das capacidades de DeFi, contratos inteligentes e finanças programáveis que cadeias menores consideram garantidas. A tecnologia ZK é a chave que poderia desbloquear esse valor sem comprometer as propostas de valor centrais do Bitcoin de segurança, descentralização e simplicidade.
Para construtores, desenvolvedores e provedores de infraestrutura, a mensagem é clara: o Bitcoin não é mais apenas uma camada de liquidação. Está se tornando uma plataforma programável — e as provas de conhecimento zero são a tecnologia que torna isso possível.
BlockEden.xyz fornece infraestrutura de API de blockchain de nível empresarial suportando múltiplas cadeias, incluindo os ecossistemas Bitcoin e Ethereum. À medida que as Camadas 2 de Bitcoin movidas a ZK surgem, uma infraestrutura de nós confiável torna-se crítica para desenvolvedores que constroem nesta nova fronteira. Explore nosso marketplace de APIs para construir sobre fundamentos projetados para durar.