3 coisas que os contratos inteligentes precisam antes de finalmente poderem decolar

Arthur Breitman é o CEO e Kathleen Breitman a COO da Tezos (Tezos.com), uma nova plataforma de blockchain atualmente em desenvolvimento. Antes de fundar a Tezos, Arthur trabalhou no Goldman Sachs e no Morgan Stanley, onde atuou como vice-presidente. Kathleen foi associada sênior de estratégia para o consórcio de blockchain R3.

Nesta edição especial do CoinDesk 2016 in Review, os Breitmans fornecem sua visão geral dos problemas atuais com o desenvolvimento de contratos inteligentes, selecionando apenas três que eles acreditam que continuam sendo barreiras ao uso convencional.

Os contratos inteligentes são extremamente promissores como o "aplicativo matador" para blockchains.

Se você não estiver familiarizado, umcontrato inteligenteé um programa de computador que executa automaticamente os termos de um contrato em um blockchain. Em princípio, você pode usar contratos inteligentes para uma ampla variedade de propósitos, como contratos de serviços sem fio, aluguel de apartamentos e quartos de hotel, contratos de trabalho freelance, automatização de pagamentos – em qualquer lugar que você queira cortar o intermediário.

Com mais deUS$ 17 bilhões em ativosarmazenados apenas nas 10 principais criptomoedas, atualmente há uma grande oportunidade de dar aos ativos de blockchain existentes flexibilidade e utilidade adicionais adicionando recursos de contrato inteligente.

Também é óbvio que a Tecnologia oferece um forte potencial de crescimento em relação aos Mercados tradicionais.

Por exemplo, considere o caso de uso do mercado de derivativos de balcão (OTC), que responde por US$ 700 trilhões em valor nocional por ano. Mover até mesmo uma pequena porcentagem dessas negociações para contratos inteligentes representa uma enorme economia potencial.

Mas antes que os contratos inteligentes possam cumprir sua promessa, as plataformas que os viabilizam precisam de mais desenvolvimento.

Aqui estão três maneiras pelas quais os sistemas de contratos inteligentes podem ganhar nossa confiança em 2017:

1. Fornecer capacidades de verificação formal

Escrever código que funcione exatamente do jeito que queremos é incrivelmente difícil.

Todo software é vulnerável a bugs ou ataques de vários tipos – mas com contratos inteligentes, ativos reais estão em jogo. Precisamos de uma maneira melhor de garantir que esses contratos sejam robustos e seguros. Uma maneira é usar verificação formal, uma técnica matemática de verificação de código para provar que ele será executado conforme o esperado.

Contratos inteligentes devem ser implementados em uma linguagem que seja fácil de verificar. Por esse motivo, linguagens funcionais, como Haskell e OCaml, são mais adequadas para código de contrato inteligente do que as imperativas como C/C++, Java e JavaScript, porque sua estrutura é mais fácil de raciocinar e verificar formalmente.

É verdade que mais programadores estão familiarizados com JavaScript, mas o foco precisa mudar da facilidade de uso para a segurança.

Tenha em mente que a verificação formal tem algumas limitações. Ela não é completamente automática e ainda requer habilidade Human .

Além disso, a verificação formal só pode provar as propriedades que realmente pensamos em verificar; se você T verificar as coisas certas, ainda poderá deixar vulnerabilidades abertas. Mas ainda assim, é um passo na direção certa quando implementado corretamente.

2. Garanta a transparência para que o código possa ser inspecionado

Um dos maiores experimentos com contratos inteligentes foi o The DAO, um veículo de investimento virtualizado que levantou US$ 150 milhões e imediatamente foi vítima de um invasor que desviou US$ 50 milhões para sua própria conta.

Quando os pesquisadores de segurança começaram a analisar o DAO, foi difícil entender o que ele realmente estava fazendo porque o bytecode do DAO (o código da máquina virtual) era tudo o que era visível no blockchain, e não estava claro qual versão do código-fonte estava realmente sendo implantada.

O código de contrato inteligente precisa ser transparente, sem brechas, para que saibamos exatamente o que estamos assinando quando entramos em um acordo – e também para que os erros sejam mais fáceis de detectar. Uma maneira de fazer isso é usando uma linguagem interpretada, em vez de uma compilada, para que o código real seja visível no blockchain e possa ser facilmente inspecionado.

Caso contrário, o bytecode precisa mapear exatamente para o código-fonte que o criou para garantir que eles correspondam. Isso requer que o próprio compilador seja certificado.

3. Fornecer um mecanismo de governança claro

Como os contratos inteligentes são armazenados em um blockchain, por definição o código é imutável – ou seja, em um mundo perfeito, o código T muda.

Mas o software nunca é perfeito. Mudanças na plataforma subjacente podem e vão acontecer, o que pode afetar como o código do contrato inteligente é executado. Como um determinado blockchain lida com essas mudanças é essencial para incutir confiança em sua plataforma.

Onde não há um modelo de governança claro, não há certeza de que o chão T vai mudar repentinamente sob seus pés. Quando funciona a seu favor, os desenvolvedores CORE ou quem quer que esteja comandando o show tem o poder de mudar as regras do jogo no meio do caminho.

Claro, o quão vulnerável um blockchain é a esse tipo de abuso de poder depende em grande parte de sua comunidade. Ainda assim, os blockchains do futuro devem ter princípios claros de governança estabelecidos desde o início, para que as mudanças de protocolo sejam feitas de forma previsível e ninguém seja atingido por grandes surpresas.

Assim que resolvermos os problemas, os contratos inteligentes decolarão e formarão a espinha dorsal de muitos dos contratos com os quais nos envolvemos todos os dias, lidando com tudo, desde suas contas de luz até o cuidador de seu cachorro e o acordo que você tem com o proprietário — tudo nos bastidores e pela Internet, tornando nossas vidas mais fáceis.

E assim como a Internet, T pensamos na Tecnologia por trás dela, apenas sabemos que ela funciona – de forma consistente e confiável.

Correção: Uma versão anterior deste artigo indicou que a empresa-mãe da CoinDesk, Digital Currency Group, havia investido na Tezos. Isso foi revisado.

Imagem de decolagem de aviãovia Shutterstock