Em um escritório em Londres nesta quinta-feira (20), os desenvolvedores do BitcoinOS concluíram o commit (alteração final) do código que tornaria o BitSNARK de código aberto um protocolo especializado que permite a verificação de zero-knowledge (conhecimento zero) no Bitcoin.
A mudança para o BitSNARK de código aberto “desbloqueia a programabilidade no Bitcoin” e visa ajudar os desenvolvedores a “construir e experimentar de maneiras que antes eram impossíveis”, disse Edan Yago, CEO e cofundador do BitcoinOS, ao Decrypt .
O lançamento segue a demonstração de julho de 2024 do BitcoinOS, que verificou a primeira prova de conhecimento zero na rede principal do Bitcoin no Bloco 853626.
Durante anos, os desenvolvedores do Bitcoin enfrentaram um trilema aparentemente intratável: melhorar a escala, adicionar expressividade computacional ou preservar a descentralização — escolha dois no máximo.
O BitcoinOS aborda isso sem exigir modificações no protocolo principal do Bitcoin. Esse aspecto pode transformar a maneira como os desenvolvedores constroem para a maior rede de criptomoedas do mundo por meio de linguagens com as quais já estão familiarizados, como Rust e Solidity.
Esses esforços para tornar o protocolo de código aberto visam melhorar a forma como os SNARKs (Argumento Sucinto e Não Interativo de Conhecimento) são usados no Bitcoin.
SNARKs são provas criptográficas que permitem que alguém prove que sabe de algo ou fez algo corretamente sem revelar nenhum outro detalhe, usando um esquema de verificação simples que qualquer pessoa pode verificar facilmente.
Esse método já existe há algum tempo, mas o BitSNARK se baseia nele com uma abordagem supostamente simplificada.
Pequenos passos, grandes ideias
Ao contrário de implementações mais complexas, o BitSNARK otimiza a verificação SNARK, exigindo apenas três instruções em vez de dezenas e encapsulando esses cálculos complexos em provas com tamanho de apenas 350 bytes.
Essa eficiência torna o conceito antes teórico de executar provas de conhecimento zero no ambiente de script limitado do Bitcoin “pequeno o suficiente” para ser prático para aplicações do mundo real, afirmou Yago.
Leia Também
Isso é feito usando um modelo de “provador-verificador” (prover-verifier) no qual os participantes preparam e assinam uma série de transações de Bitcoin que permitem a verificação de provas.
O protocolo usa algoritmos de busca binária para localizar operações contenciosas e tentar resolver disputas, garantidos por incentivos econômicos que, segundo ele, tornam a desonestidade no sistema proibitivamente cara para ambas as partes.
Trazendo aplicações para Bitcoin
As implicações da adoção do código aberto do BitSNARK vão além dos círculos técnicos.
Aplicações financeiras antes exclusivas de blockchains programáveis como Ethereum agora se tornam possíveis no Bitcoin: pontes confiáveis para ativos entre redes, exchanges descentralizadas e até mesmo stablecoins lastreadas em Bitcoin .
No entanto, nem todos na comunidade Bitcoin acolhem essas novidades.
Preocupações sobre o aumento da complexidade e potenciais riscos de segurança com conhecimento zero surgiram de críticos que veem mais valor na simplicidade e na autocustódia do que nas perspectivas de funcionalidade expandida.
Para o repositório, Yago confirmou ao Decrypt que a infraestrutura principal seria totalmente de código aberto, enquanto alguns elementos proprietários permaneceriam limitados aos aplicativos que o BitcoinOS já construiu.
Questionado sobre segurança, Yago disse ao Decrypt que o BitcoinOS vê o BitSNARK como uma forma de construir uma “camada de segurança universal para toda a internet”.
Se tiver sucesso, as iniciativas do BitcoinOS com BitSNARKs podem ajudar o Bitcoin a encontrar e “remodelar a maneira como todos podemos usar o Bitcoin” e garantir que a “promessa original” da criptomoeda alfa seja “realizada para todos”, disse Yago em um comunicado.
* Traduzido e editado com autorização do Decrypt.
- Você tem dúvidas de como montar uma carteira estratégica? O MB quer ajudar você com um portfólio pronto, com as principais criptomoedas relacionadas à inteligência artificial. Clique aqui para responder uma pesquisa e ajudar o MB nesta construção.
