Quantstamp – sistema para auditar contratos inteligentes

Desenvolver contratos inteligentes não é, nem de longe, uma tarefa fácil. Qualquer pequena falha pode dar brecha para prejuízos enormes. O Ethereum, por exemplo, já mostrou que pode atingir níveis excelentes de segurança.

Publicado em 3 de setembro de 2018 por

Quantstamp

Desenvolver contratos inteligentes não é, nem de longe, uma tarefa fácil. Qualquer pequena falha pode dar brecha para prejuízos enormes. O Ethereum, por exemplo, já mostrou que pode atingir níveis excelentes de segurança. Contudo, em sua história, é possível perceber momentos em as falhas foram usadas de forma mal-intencionada por usuários. Em julho do ano passado, por exemplo, a carteira Paraty foi rackeada e cerca de US$ 30 milhões foram roubados.

Além do prejuízo gerado aos investidores, que têm o dinheiro roubado, todo o mercado acaba por sofrer consequências por conta da perda de credibilidade. No dia do roubo da carteira Paraty, as quedas na cotação do ETH ultrapassaram a casa dos 14%.

Nesse sentido, a preocupação com o desenvolvimento dos contratos inteligentes é proporcional ao seu papel. No entanto, escrevê-los sem nenhum erro é um trabalho quase impossível. Mesmo passando por uma auditoria pente fino, uma pequena falha ainda poderia ficar despercebida e gerar catástrofes. Além disso, os custos dessas auditorias são demasiados caros, por vezes quase ultrapassando o custo de desenvolvimento do contrato.

Por isso, a Quantstamp desenvolveu um protocolo que inclui um sistema escalável e barato para ajudar a auditar contratos inteligentes baseados no Ethereum.

Protoco Quantstamp

Com o intuito de evitar perdas desastrosas no mercado, o protocolo está deixando os contratos inteligentes mais seguros a um custo menor, por meio de testes de software automatizados e um sistema de recompensa.

O Quantstamp tem um modelo que aborda duas frentes para a auditoria de segurança: 1) sistema automatizado de verificação de software; e 2) sistema de pagamento de recompensa de pagamentos automatizados.

O Validation Node, do Quantstamp, usa técnicas de auditoria a partir de métodos formais enviados pelos colaboradores. Essas técnicas contemplam verificações de segurança, análise estática e verificação simbólica, além de ferramentas de raciocínio automatizado como SAT e MAT.

Dentro do ecossistema os colaboradores recebem recompensas distribuídas em tokens Quantstamp (QSP) pelo envio de software de verificação. Para evitar que usuários enviem software maliciosos, os colaboradores são selecionados de acordo com mecanismos de controle.

Além disso, uma vez que a execução do Validation Node exige alta quantidade de poder de computação, os validadores também recebem QSP por fornecerem essa energia.

Dessa maneira, o Quantstamp não garante um código perfeito completamente imune a erros, mas garante uma redução significativa nos erros por meio dos testes automatizados e a busca de bugs por crowdsourcing.

Sistema de recompensas

Ao enviar um contrato inteligente para auditoria, o usuário deve incluir também um montante de tokens QSP para as recompensas. O tamanho da recompensa e o prazo em que ela é válida é de escolha do próprio usuário. Se o prazo determinado para a recompensa terminar sem eu erros tenham sido encontrados, o valor é devolvido ao dono.

ICO e Pós-ICO

Em novembro do ano passado a equipe Quantstamp realizou uma ICO próspera, na qual foram levantados mais de US $ 30 milhões.

Após a ICO, o QSP se manteve constantemente abaixo dos US$ 0,20 até o final de dezembro, quando iniciou uma trajetória de alta. Em janeiro deste ano, o token atingiu seu maior valor tendo sido negociado no dia 8 por US$ 0,7802, de acordo com dados do CoinGecko.

De lá para cá o QSP assumiu uma tendência de baixa como a maioria dos altcoins. Desde o seu melhor valor até a cotação no momento dessa redação o valor caiu cerca de 90% estando cotado em US$ 0,078892 segundo CoinMarketCap.

No entanto, para uma análise de espaço de tempo menor, a perspectiva é outra. No agregado de sete dias, imediatamente anteriores a essa redação, o valor do QSP apresentava um alta de 27%.

Os tokens QSP podem ser negociados por Bitcoin e Ethereum em maior volume pela Binance ou Huobi. Além disso, é possível conferir uma lista com mais informações sobre o mercado através do link: https://coinmarketcap.com/pt-br/currencies/quantstamp/#markets

Para saber mais isobre o Quantstamp acesse o site oficial: https://quantstamp.com/

Chrys
Chrys é fundadora e escritora ativa do BTCSoul. Desde que ouviu falar sobre Bitcoin e criptomoedas ela não parou mais de descobrir novidades. Atualmente ela se dedica para trazer o melhor conteúdo sobre as tecnologias disruptivas para o website.

Compartilhe!

Leave a Comment