Microsoft

Em 3 de junho, a equipe de Pesquisa da Microsoft anunciou um novo ferramenta de verificação para garantir contratos inteligentes escritos em Solidity, a linguagem de programação predominante da rede Ethereum.

Essa ferramenta, apelidada VeriSol, foi produzido em um esforço colaborativo entre a Microsoft Research, o braço de inovação do gigante da tecnologia, e o Microsoft Azure Blockchain, o braço de computação em nuvem da empresa que visa ajudar empresas e instituições a construir facilmente seus próprios aplicativos de blockchain.

Microsoft

Notavelmente, a ferramenta não é meramente uma contribuição de boa vontade para a criptoeconomia (embora tenha sido de código aberto), já que o Azure Blockchain aproveitará o analisador de Solidity para ajudar os produtos de seus próprios clientes institucionais. Como o engenheiro de software sênior da equipe, Cody Born, explicou na notícia:

“O VeriSol nos permite iterar mais rapidamente por causa da verificação automática e contínua, e nos permite detectar bugs mais rapidamente sem ter que nos preocupar com o potencial de afetar os clientes.”

Os contratos inteligentes não podem ser editados rapidamente quando estão ativos, por isso é fundamental revisar meticulosamente seu código antes de ativá-los na rede principal Ethereum – caso contrário, os bugs podem causar uma catástrofe com consequências econômicas tangíveis.

Abril, uma rampa de criptografia fiat para o Dai stablecoin chamada DAIHard conduziu seu lançamento beta, mas devido a bugs, um hacker de whitehat esvaziou os contratos antes que um agente mais malicioso pudesse. Assim, a ideia com o VeriSol é capturar de forma rápida e eficiente tais discrepâncias de Solidez antes, não depois, que causem problemas.

Microsoft abraça Blockchain

O anúncio da VeriSol vem na esteira de vários abraços de blockchain de alto perfil no ecossistema da Microsoft recentemente.

Apenas neste mês, a empresa ou seus vários braços adicionaram o símbolo Unicode Bitcoin ao amplamente popular sistema de planilhas do Microsoft Excel; revelou um projeto de ID descentralizado construído sobre Bitcoin; e anunciou o suporte do Azure Blockchain para Quorum, fork autorizado do Ethereum do JP Morgan.

Na verdade, a posição da Microsoft como parte interessada no espaço mais amplo de blockchain está crescendo, e ferramentas como o VeriSol de código aberto agora ajudarão projetos além de seu alcance direto a crescer também. Para esse fim, o pesquisador principal da Microsoft, Shuvendu Lahiri, observou o verificador:

“Pretendemos capacitar não apenas os desenvolvedores e clientes do Azure Blockchain, mas contribuir para um ecossistema completo de blockchain que seja mais seguro e ajudar as pessoas a aproveitar todo o potencial da tecnologia sem serem atormentadas por erros caros em contratos inteligentes.”

E, portanto, a atividade e a infraestrutura pública em torno da tecnologia de contrato inteligente – e particularmente em torno de Ethereum, a maior plataforma de contrato inteligente até hoje – continua a florescer continuamente.

Infelizmente, a Microsoft não é o único titã da indústria a lançar tecnologia gratuita centrada no Ethereum. A potência contábil das “Quatro Grandes” A EY lançou sua ferramenta de privacidade Nightfall poucos dias atrás.

Solidity 101

Descrito pela primeira vez em 2014 pelo co-fundador do Ethereum Gavin Wood, o Solidity foi eventualmente construído por um grupo de desenvolvedores do Ethereum liderado por Christian Reitwiessner.

A linguagem foi vagamente inspirada por aspectos de outras linguagens de programação populares e mais convencionais, como JavaScript, Python e C ++. Por esse motivo, os iniciantes na programação que estão interessados ​​em aprender Solidity são recomendados a mergulhar em um de seus influenciadores como ponto de partida.

De acordo com a documentação da Solidity, a linguagem fundamentalmente constrói contratos da seguinte forma:

“Um contrato no sentido de Solidity é uma coleção de código (suas funções) e dados (seu estado) que reside em um endereço específico no blockchain Ethereum.”

Assim, o Solidity dá aos desenvolvedores a capacidade de “controlar o comportamento das contas no estado Ethereum”, explica sua documentação.

Os interessados ​​em dar mais uma volta ao Solidity podem explorar o texto explicativo de Andreas Antonopoulos e Gavin Wood Mastering Ethereum ou se inscrever no CryptoZombies, um recurso educacional gratuito que ajuda iniciantes a aprender a codificar um jogo baseado em zumbis na linguagem.

O madrugador pega o verme, é claro. De acordo com o ímpeto que o Ethereum já ganhou até agora, parece que o Solidity existirá nas próximas décadas.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me