O ano de 2023 foi rico em desenvolvimento para a rede Bitcoin. Na verdade, isto viu o surgimento dos Ordinais e depois do BRC-20. Isso abriu novas possibilidades no Bitcoin. Em particular, introduzindo NFTs via Ordinals e tokens fungíveis via BRC-20. Finalmente, no final do ano, a introdução do BitVM permitiu considerar a criação de L2 no Bitcoin. Agora, o BitVM está evoluindo com o lançamento do BitVM2 no Bitcoin.

BitVM: uma solução revolucionária

Desde a sua criação, o Bitcoin se destacou pela robustez e simplicidade. No entanto, esta simplicidade também levou a certas limitações, particularmente em termos de programabilidade. 

Ao contrário do Ethereum, cuja máquina virtual (EVM) permite a execução de contratos inteligentes complexos, o Bitcoin foi projetado com uma linguagem de script limitada, incapaz de suportar os chamados contratos inteligentes Turing-completos. No entanto, esta limitação não desanimou os desenvolvedores. 

Então, em 9 de outubro de 2023, o BitVM nasceu das mãos de Robin Linus. Esta é uma abordagem que permite executar contratos completos de Turing na rede Bitcoin. E isso, sem exigir nenhuma alteração no consenso ou no código Bitcoin. Um componente central, pois a ossificação do Bitcoin é uma característica central do projeto.

BitVM apresenta uma nova maneira de usar Bitcoin como uma espécie de calculadora universal. Em vez de executar cálculos diretamente no blockchain, o BitVM depende da verificação otimista dos resultados. 

O princípio é simples. Um provador (o participante que deseja executar um contrato) realiza um cálculo fora da cadeia e afirma que o resultado está correto. Um verificador (a outra parte do contrato) tem então a possibilidade de contestar este resultado, fornecendo provas de fraude em cadeia, caso o cálculo se revele incorreto. Este modelo de verificação baseado em evidências de fraude é inspirado nos rollups otimistas já bem conhecidos no ecossistema Ethereum.

Um sistema limitado

No entanto, o BitVM tem limitações. O modelo atual está restrito a uma estrutura bipartida, em que um provador interage com um verificador. Além disso, a complexidade da computação fora da cadeia e a comunicação necessária entre as partes podem representar desafios para implementações em grande escala. Apesar disso, o BitVM inaugura uma nova era para o Bitcoin.

O entusiasmo foi tanto que diversas soluções de segunda camada para Bitcoin já integraram o BitVM em seu sistema. Este é particularmente o caso do L2 Citrea,

BitVM2: BitVM mas mais forte

Quinta-feira, 15 de agosto, contra todas as expectativas, Alexei Zamyatin revelou na rede social X, o white paper BitVM2. O BitVM2 é considerado uma “grande melhoria em relação às versões anteriores do BitVM”.

A publicação é acompanhada por um link para o whitepaper intitulado “BitVM2: Bridging Bitcoin to Second Layers”.

Na prática, o BitVM2 foi criado por Robin Linus, o criador do BitVM. Ele está acompanhado por Lukas Aumayr, Alexei Zamyatin, Andrea Pelosi, Zeta Avarikioti e Matteo Maffei.





O BitVM2 se destaca por diversas melhorias significativas, projetadas para expandir os recursos de computação do Bitcoin e, ao mesmo tempo, otimizar a eficiência e a segurança do protocolo. Vamos explorar juntos os desenvolvimentos do BitVM2.

Desafios sem permissão

Uma das principais inovações do BitVM2 reside na introdução de desafios sem permissão. 

Assim, no BitVM, apenas intervenientes específicos poderiam iniciar desafios, nomeadamente contestar provas.

Por sua vez, o BitVM2 permite a qualquer utilizador desafiar os resultados dos cálculos, tornando o sistema mais robusto e descentralizado.

Portanto, qualquer usuário com um nó Bitcoin completo pode desafiar uma operadora. Isso abre caminho para o gerenciamento de evidências sem permissão, onde qualquer usuário pode contestar uma reivindicação do operador, fortalecendo assim a segurança do protocolo.

Recorde-se que um desafio é um mecanismo de verificação onde um utilizador questiona a validade de um cálculo realizado fora da cadeia por um operador. 

O sistema baseia-se num modelo à prova de fraude, onde o provador, ou seja, a parte que realiza o cálculo, afirma que o resultado está correto. Se o verificador ou qualquer outro usuário acreditar que o provador está mentindo ou cometeu um erro, ele poderá iniciar um desafio. 

Isto desencadeia um procedimento em cadeia onde o provador deve demonstrar a exatidão do seu cálculo. Se o provador não demonstrar boa-fé, o desafiante vence e o provador é penalizado, garantindo assim a integridade do protocolo. Este sistema de desafios e provas já é amplamente utilizado pelos diversos rollups do Ethereum.

Redução no número de transações on-chain

Esta nova versão também melhora a eficiência do protocolo. Para fazer isso, reduz drasticamente o número de transações na rede necessárias para resolver disputas.

Embora o BitVM possa exigir até 70 transações para concluir uma verificação, o BitVM2 reduz isso para apenas três transações, tornando o processo não apenas mais rápido, mas também mais econômico em termos de taxas de transação.

Introdução aos SNARKs

Isso não é tudo! BitVM2 agora inclui SNARKs. Isso permite que cálculos complexos sejam verificados de forma mais concisa e segura. 

Assim, o BitVM limitou-se a simples provas de fraude num contexto bipartido. Por sua vez, a versão 2 melhora a capacidade de prova de fraude ao integrar SNARKs, permitindo verificar cálculos complexos utilizando menos recursos.

Para isso, o BitVM2 utiliza um verificador SNARK implementado no script Bitcoin, que é dividido em pedaços gerenciáveis ​​que podem ser processados ​​em transações Bitcoin. Isto permite a verificação compacta de evidências de fraude.

Segurança de ponte aprimorada

Até agora, o BitVM tem sido usado e explorado principalmente no contexto da criação de uma ponte entre o Bitcoin e um L2. No entanto, no contexto do BitVM, as pontes exigiam uma maioria honesta entre os signatários para garantir a segurança.

Uma limitação que poderia ser contornada com o BitVM2. Portanto, enquanto o BitVM dependia de uma maioria honesta de assinantes para garantir a segurança dos fundos, o BitVM2 reduz esse requisito à simples honestidade durante a configuração inicial. Posteriormente, a solução requer apenas um operador ativo e honesto para manter a segurança. 

Durante a configuração inicial, um conjunto de atores é formado para definir as regras e transações que serão utilizadas para a execução do contrato. A noção de “simples honestidade” significa que para que o sistema seja seguro, basta que pelo menos um dos signatários seja honesto durante esta configuração inicial. Este ator honesto garante que as transações ou scripts criados não contêm falhas ou condições maliciosas.

Esse desenvolvimento é particularmente importante para soluções de segunda camada, que agora podem aproveitar o BitVM2 para fornecer pontes mais seguras e eficientes entre o Bitcoin e outros blockchains.

Como você deve ter entendido, o BitVM2 apresenta muitas melhorias em comparação ao BitVM. Isso poderia muito bem acelerar o crescimento de sidechains e outros rollups no Bitcoin.

Em julho, o projeto BitcoinOS conseguiu a façanha de verificar a primeira prova de conhecimento zero no Bitcoin. Um feito que foi alcançado sem qualquer modificação no código Bitcoin. Esses desenvolvimentos e aqueles introduzidos pelo BitVM2 pressagiam uma segunda parte de 2024 provavelmente rica em desenvolvimentos para o Bitcoin.#Bitcoin❗ #BinanceTurns7 #trainding