Cardano

Cardano é uma rede Proof of Stake que utiliza o modelo EUTXO, uma extensão do modelo de saídas não gastas. Uma aplicação representa estados por meio de saídas que podem ser consumidas se a transação satisfizer suas condições. ADA é o ativo nativo usado em taxas e outras funções do protocolo.

O desenvolvimento de contratos inclui validadores Plutus e ferramentas como Aiken ou Plinth, antes Plutus Tx. Escolher Cardano exige projetar tanto as regras de validação quanto o componente que constrói as transações e as apresenta à wallet.

Os validadores são executados on-chain para verificar condições de gasto. A lógica off-chain seleciona entradas, prepara saídas e fornece dados e assinaturas. Confundir as duas camadas leva a uma integração incompleta: um validador correto não garante que a aplicação construa operações utilizáveis.

Datums, redeemers e entradas de referência permitem organizar informações e ações conforme o design do contrato. As transações têm limites de tamanho e de orçamento de execução. Além disso, várias operações que tentem consumir a mesma saída podem entrar em conflito, o que exige pensar em como o estado é distribuído.

Cardano pode se encaixar em processos em que seja útil modelar transições explícitas e condições de autorização. Um depósito pode representar os fundos em uma saída e permitir liquidação ou devolução conforme assinaturas, prazos e regras acordadas. Os testes verificam a conservação dos valores e a rejeição de transições não permitidas.

Os ativos nativos podem ser gerenciados por meio de funções do ledger e políticas de emissão, sem que cada transferência precise de um contrato equivalente ao ERC-20. Isso não elimina a necessidade de projetar permissões e condições do produto. A natureza do direito representado por um token é definida fora de sua mera existência técnica.

O modelo EUTXO não elimina por si só disputas de ordenação, erros de autorização ou problemas de concorrência. A pesquisa formal do protocolo tampouco demonstra a correção de todos os contratos construídos sobre ele. Cada aplicação precisa de especificações, testes e revisão de suas dependências.

Antes de selecionar a rede, verificam-se wallets, construção de transações, fontes de dados e manutenção das ferramentas. Um protótipo deve incluir uso simultâneo, transações expiradas e recuperação após falhas de envio. A comparação com EVM deve considerar o redesenho necessário e o suporte operacional, além das taxas.