Contratos inteligentes são acordos automatizados ou softwares escritos para executar tarefas em função do cumprimento de parâmetros ou cenários inclusos no código escrito à cada contrato, não estando sujeito a interpretação das partes. As condições serão cumpridas para que cada ação estabelecida no contrato se execute automáticamente, garantindo cumprimento de parte dos envolvidos, independendo de terceiros para geração de confiança. Os contratos inteligentes correspondentes aos tokens ERC-20, somam aos mais de 2 mil contratos de tokens construidos no ERC-721 ou tokens não fungíveis ou não monetários.
Entre as blockchains que operam contratos inteligentes a de maior popularidade é o Ethereum. Os contratos inteligentes no Ethereum são em parte destinados ao mercado das Finanças Descentralizadas conhecidas como DeFi. Na blockchain Ethereum estão escritos mais de 200 mil contratos inteligentes, segundo levantamento recente, cujos ativos simbólicos gerados já somam mais de 15 bilhões de dólares. Além do Ethereum, Rootstock e Couterparty que incorporam acordos automatizados na blockchain do Bitcoin, outras redes como a Zilliqa anunciam lançamento de plataforma própria de contrato inteligente, enquanto a Cardano atualizou desenvolvimento para incorporá-los na rede, assim como Tron, EOS e outras redes.
Moral da Nota: a Microsoft lançou a ferramenta chamada VeriSol ou Solidity Verifier, para auditar e analisar contratos inteligentes escritos na Solidity uma das linguagens mais utilizadas no Ethereum. A Stratis Group Ltd, empresa de desenvolvimento Blockchain, lançou os primeiros contratos inteligentes na arquitetura .NET da Microsoft, que permitirá empresas implementar smart contracts na blockchain de propósito geral subjacente. O produto, focado em empresas de serviços financeiros e organizações governamentais cujos sistemas operam dentro da estrutura .NET da Microsoft, fornece “casos de uso corporativo, tokens, plataformas de empréstimo, soluções de identidade, de origem e auto-soberania”.