Contratos inteligentes têm muito mais usos do que o nome sugere, diz o CEO da Blockstack

A Blockstack e a Algorand formaram uma parceria para criar o Clarity, uma linguagem segura criada especificamente para realizar todo o potencial dos contratos inteligentes

Muneeb Ali, co-fundador e CEO da rede de computação descentralizada Blockstack, disse que os contratos inteligentes devem ter um novo nome, já que seus aplicativos vão muito além dos contratos.

A Blockstack vai colaborar com o protocolo blockchain de prova de participação, Algorand, para adotar uma linguagem de contratos inteligente chamada ‘Clarity’.

Em uma entrevista à Coin Telegraph, Ali disse que os contratos inteligentes terão aplicações em diversos setores além do financeiro:

“Eles nem deveriam ser chamados contratos inteligentes porque é um nome bastante limitador. Esses são programas verificáveis ​​que não poderiam existir na era da computação em nuvem”, afirmou.

Comentando sobre a colaboração, o Dr. Ali disse que “nossa indústria precisa de uma alternativa previsível, segura e de código aberto às abordagens atuais, como o Solidity”. Ele acrescentou que era necessário oferecer suporte a idiomas seguros feitos sob medida para contratos inteligentes, já que “o valor trancado em contratos inteligentes pode eventualmente chegar a trilhões”.

O Clarity foi desenvolvido especificamente para desenvolvedores que trabalham em transações de alto risco e, portanto, visa obter mais previsibilidade e confiabilidade do que as soluções atuais. É uma linguagem “decidível”, o que significa que os desenvolvedores podem saber como o programa será executado com a taxa precisa de gás com antecedência, com certeza matemática. Isso resolve um obstáculo importante no desenvolvimento para facilitar a adoção em larga escala.

“A capacidade de escrever código verificável é como uma superpotência para os desenvolvedores. Isso pode reformular a forma como o software é distribuído e verificado na Internet, como os desenvolvedores são pagos por contribuir com o código, como o controle de acesso aos serviços de Internet é implementado e assim por diante ”, explicou Ali. Ele acrescentou que os contratos inteligentes são projetados para superar as desvantagens de humanos ou outros intermediários e são “muito diferentes dos programas e sites típicos de computador”. Portanto, “eles precisam ser programas verificáveis ​​para operações de alto risco. Idiomas de uso geral podem ser perigosos aqui ”, acrescentou.

Falando sobre a colaboração, o fundador da Algorand, Dr. Silvio Micali, disse que “o surgimento de uma linguagem de programação de próxima geração como a Clarity tem o potencial de desbloquear soluções baseadas em blockchain para empresas e governos de grande escala, que exigem um nível mais alto de confiança e segurança. “